检索结果-维普期刊中文期刊服务平台

基于警示传播与DPLL算法的启发式极性决策算法被引量：3: 1; 作者秦永彬许道云王晓峰《计算机科学》 CSCD 北大核心 2010年第12期178-181,185,共5页; 警示传播(WP)算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实... 展开更多; 关键词信息传递警示传播算法收敛性 dpll算法; 在线阅读下载PDF 职称材料

带文字改名策略的DPLL算法被引量：4: 2; 作者许道云刘长云《计算机科学与探索》 CSCD 2007年第1期116-125,共10页; 限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则)。作为一个应用实例,将RSMLS算法应用于鸽巢公式P_(n-1)~n的不可满足... 展开更多; 关键词文字策略不可满足性证明算法简化规则不可满足公式应用鸽巢公式对称规则结点; 在线阅读下载PDF 职称材料

布尔不可满足子式的求解方法研究进展被引量：1: 3; 作者李思昆张建民沈胜宇《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第10期1253-1260,共8页; 解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.... 展开更多; 关键词形式化验证布尔公式可满足问题不可满足子式 dpll算法; 在线阅读下载PDF 职称材料

Cordic算法在半球陀螺中的应用及实现被引量：1: 4; 作者韩世川严隆辉 +3 位作者蒋春桥方针江黎方海斌《压电与声光》 CAS CSCD 北大核心 2016年第6期934-937,共4页; 半球谐振陀螺仪是一种新型长寿命、高可靠和高精度固体振动陀螺仪,其谐振频率会随环境温度的改变而变化,这种变化会对陀螺的控制精度产生不利影响。在介绍半球谐振陀螺基本控制原理的基础上,提出了一种基于Cordic算法的数字锁相环（DPLL... 展开更多; 关键词半球谐振陀螺仪 CORDIC算法数字锁相环(dpll) 可编程门阵列(FPGA); 在线阅读下载PDF 职称材料

高阶正交调幅载波恢复算法的研究: 5; 作者王玲王茜阎啸《广东电力》 2013年第1期29-32,共4页; 设计了一种适合于高阶正交调幅(quadrature amplitude modulation,QAM)信号的载波恢复环路结构。此结构从减小相位抖动和增加频率捕获范围的角度出发,采用双模载波同步,且环路带宽可控制的载波恢复环路。在鉴相阶段引入带加权的判决导向... 展开更多; 关键词高阶正交调幅载波恢复带加权的判决导向算法数字锁相环; 在线阅读下载PDF 职称材料

软件接收机中DSB-SC信号载波同步的一种算法被引量：1: 6; 作者李利罗伟雄《电讯技术》北大核心 2002年第1期71-75,共5页; 本文提出了软件接收机中抑制载波双边带调幅 (DSB -SC)信号载波同步的一种算法 ,根据下变频后的基带信号估计出收发载波的频差 ,并经卡尔曼滤波后结合数字锁相环以达到载波捕获范围宽、跟踪速度快、环路噪声小的特点。; 关键词软件无线电接收机载波同步数字锁相环算法 DSB-SC信号; 在线阅读下载PDF 职称材料

题名基于警示传播与DPLL算法的启发式极性决策算法被引量：3: 1; 作者秦永彬许道云王晓峰; 机构贵州大学计算机科学与信息学院; 出处《计算机科学》 CSCD 北大核心 2010年第12期178-181,185,共5页; 基金国家自然科学基金(60863005 61011130038) +1 种基金贵州省省长基金(200404) 贵州大学自然科学青年基金(2009021)资助; 文摘警示传播(WP)算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实验证明,改进后的算法比原算法具有迭代次数和运行时间,提高了收敛速度。然而,在RB模型产生的大部分实例集上,警示传播算法不收敛,因而不能有效求解公式。警示传播算法与DPLL算法的组合使用使回溯计算次数大大降低,从而有效地弥补了WP算法的不足。通过在RB实例集上的测试实验表明,该方法是有效的。; 关键词信息传递警示传播算法收敛性 dpll算法; Keywords Message passing Warning propagation（WP） algorithm Convergence dpll algorithm; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名带文字改名策略的DPLL算法被引量：4: 2; 作者许道云刘长云; 机构贵州大学计算机科学系; 出处《计算机科学与探索》 CSCD 2007年第1期116-125,共10页; 基金 (国家自然科学基金)No.60463001 10410638 60310213.~~; 文摘限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则)。作为一个应用实例,将RSMLS算法应用于鸽巢公式P_(n-1)~n的不可满足性证明。证明了:关于RSMLS算法,公式P_(n-1)~n有一棵反驳证明树至多带有O(n^3)个结点。; 关键词文字策略不可满足性证明算法简化规则不可满足公式应用鸽巢公式对称规则结点; Keywords unsatisfiable formula dpll algorithm symmetry rule hard example; 分类号 TP [自动化与计算机技术]; 在线阅读下载PDF 职称材料

题名布尔不可满足子式的求解方法研究进展被引量：1: 3; 作者李思昆张建民沈胜宇; 机构国防科学技术大学计算机学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第10期1253-1260,共8页; 基金国家自然科学基金(60603088 90707003); 文摘解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.; 关键词形式化验证布尔公式可满足问题不可满足子式 dpll算法; Keywords formal verification Boolean formula dpll algorithm satisfaction problem unsatisfiable subformula; 分类号 TP391.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Cordic算法在半球陀螺中的应用及实现被引量：1: 4; 作者韩世川严隆辉蒋春桥方针江黎方海斌; 机构中国电子科技集团公司第二十六研究所; 出处《压电与声光》 CAS CSCD 北大核心 2016年第6期934-937,共4页; 基金重点预研基金资助项目(9140A09012015DZ36025); 文摘半球谐振陀螺仪是一种新型长寿命、高可靠和高精度固体振动陀螺仪,其谐振频率会随环境温度的改变而变化,这种变化会对陀螺的控制精度产生不利影响。在介绍半球谐振陀螺基本控制原理的基础上,提出了一种基于Cordic算法的数字锁相环（DPLL）,并给出Cordic算法的原理及在现场可编程门阵列（FPGA）上的设计方法。通过Modelsim仿真软件给出了时序仿真结果,系统主时钟20 MHz,频率精度为0.004 6 Hz,相位精度为0.06°,7.2万门FPGA的资源利用率为65%。性能测试结果表明,在4.5~5kHz内,该低频数字锁相环实现了对半球陀螺频率、相位缓慢变化的精确跟踪功能。; 关键词半球谐振陀螺仪 CORDIC算法数字锁相环(dpll) 可编程门阵列(FPGA); Keywords HRG Cordic algorithm dpll FPGA; 分类号 TP24 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名高阶正交调幅载波恢复算法的研究: 5; 作者王玲王茜阎啸; 机构电子科技大学航空航天学院; 出处《广东电力》 2013年第1期29-32,共4页; 基金国家863项目资助(2011AA***4018); 文摘设计了一种适合于高阶正交调幅(quadrature amplitude modulation,QAM)信号的载波恢复环路结构。此结构从减小相位抖动和增加频率捕获范围的角度出发,采用双模载波同步,且环路带宽可控制的载波恢复环路。在鉴相阶段引入带加权的判决导向(decision director,DD)算法,从而获得快速的载波恢复性能。仿真结果验证了该算法的可行性和有效性,可以在较大频率偏移条件下快速实现高阶QAM载波相位精确跟踪,频率偏移估计范围可达0.3符号率,同时证明该算法也同样适用于十字型QAM信号。; 关键词高阶正交调幅载波恢复带加权的判决导向算法数字锁相环; Keywords high order QAM carrier recovery weighted DD algorithm dpll; 分类号 TN919 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名软件接收机中DSB-SC信号载波同步的一种算法被引量：1: 6; 作者李利罗伟雄; 机构北京理工大学电子工程系; 出处《电讯技术》北大核心 2002年第1期71-75,共5页; 文摘本文提出了软件接收机中抑制载波双边带调幅 (DSB -SC)信号载波同步的一种算法 ,根据下变频后的基带信号估计出收发载波的频差 ,并经卡尔曼滤波后结合数字锁相环以达到载波捕获范围宽、跟踪速度快、环路噪声小的特点。; 关键词软件无线电接收机载波同步数字锁相环算法 DSB-SC信号; Keywords Software radio technology Receiver Carrier synchronization dpll(digital phase-locked loop) algorithm; 分类号 TN911.7 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于警示传播与DPLL算法的启发式极性决策算法	秦永彬许道云王晓峰	《计算机科学》 CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
2	带文字改名策略的DPLL算法	许道云刘长云	《计算机科学与探索》 CSCD	2007	4	在线阅读下载PDF 职称材料
3	布尔不可满足子式的求解方法研究进展	李思昆张建民沈胜宇	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
4	Cordic算法在半球陀螺中的应用及实现	韩世川严隆辉蒋春桥方针江黎方海斌	《压电与声光》 CAS CSCD 北大核心	2016	1	在线阅读下载PDF 职称材料
5	高阶正交调幅载波恢复算法的研究	王玲王茜阎啸	《广东电力》	2013	0	在线阅读下载PDF 职称材料
6	软件接收机中DSB-SC信号载波同步的一种算法	李利罗伟雄	《电讯技术》北大核心	2002	1	在线阅读下载PDF 职称材料