基于北斗/GPS秒脉冲的高稳时钟源设计Design of High Stable Clock Source Based on Beidou/GPS Second Pulse
杨建国, 傅瑞峰, 黄旭方 下载量: 2,253 浏览量: 3,571 国家自然科学基金支持
计算机科学与应用 Vol.7 No.1, January 17 2017, PDF, , XML DOI:10.12677/CSA.2017.71001 被引量
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,356 浏览量: 7,236
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量