期刊文献+
共找到190篇文章
< 1 2 10 >
每页显示 20 50 100
基于FPGA的DPLL设计与仿真实现 被引量:10
1
作者 沈军 郭勇 李志鹏 《微计算机信息》 北大核心 2007年第05Z期201-203,共3页
本文分析了超前滞后型数字锁相环(LL-DPLL)的基本组成和工作原理,用VHDL语言对该系统进行了设计,给出了数字锁相环电路3个主要模块的设计方法及仿真结果,得到了该系统的顶层电路,最后根据整个系统的仿真结果分析了系统的稳态性能。整个... 本文分析了超前滞后型数字锁相环(LL-DPLL)的基本组成和工作原理,用VHDL语言对该系统进行了设计,给出了数字锁相环电路3个主要模块的设计方法及仿真结果,得到了该系统的顶层电路,最后根据整个系统的仿真结果分析了系统的稳态性能。整个系统的锁相环部分达到了锁定速度快、相位抖动小、锁定精度高的结果。 展开更多
关键词 超前滞后型数字锁相环 现场可编程门阵列 超高速硬件描述语言
下载PDF
基于警示传播与DPLL算法的启发式极性决策算法 被引量:3
2
作者 秦永彬 许道云 王晓峰 《计算机科学》 CSCD 北大核心 2010年第12期178-181,185,共5页
警示传播(WP)算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实... 警示传播(WP)算法是信息传播算法的重要基础,WP算法的本质是因子图上警示信息的迭代过程,在算法收敛时得到一组稳定的警示信息,并利用局部腔域得到公式变元的部分赋值。分析了警示传播算法的基本原理,给出了算法的改进。RB实例集上的实验证明,改进后的算法比原算法具有迭代次数和运行时间,提高了收敛速度。然而,在RB模型产生的大部分实例集上,警示传播算法不收敛,因而不能有效求解公式。警示传播算法与DPLL算法的组合使用使回溯计算次数大大降低,从而有效地弥补了WP算法的不足。通过在RB实例集上的测试实验表明,该方法是有效的。 展开更多
关键词 信息传递 警示传播算法 收敛性 dpll算法
下载PDF
带文字改名策略的DPLL算法 被引量:4
3
作者 许道云 刘长云 《计算机科学与探索》 CSCD 2007年第1期116-125,共10页
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则)。作为一个应用实例,将RSMLS算法应用于鸽巢公式P_(n-1)~n的不可满足... 限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。新的算法带有一条对称规则(文字改名规则)和三条简化规则((1,*)-消解、子公式、重复规则)。作为一个应用实例,将RSMLS算法应用于鸽巢公式P_(n-1)~n的不可满足性证明。证明了:关于RSMLS算法,公式P_(n-1)~n有一棵反驳证明树至多带有O(n^3)个结点。 展开更多
关键词 文字 策略 不可满足性 证明 算法 简化规则 不可满足公式 应用 鸽巢公式 对称规则 结点
下载PDF
一种新型ADPLL在感应加热系统中的应用研究 被引量:4
4
作者 周跃庆 张娟娟 《电力电子技术》 CSCD 北大核心 2006年第2期86-87,125,共3页
针对高频感应加热电源中用模拟锁相环实现频率跟踪存在的问题,提出了一种基于现场可编程门阵列(FildProgramableGateArray,简称FPGA)的全数字锁相环(AllDigitalPhaseLockLoop,简称ADPLL)方法。该方法采用两个模数不同的计数器实现PI控... 针对高频感应加热电源中用模拟锁相环实现频率跟踪存在的问题,提出了一种基于现场可编程门阵列(FildProgramableGateArray,简称FPGA)的全数字锁相环(AllDigitalPhaseLockLoop,简称ADPLL)方法。该方法采用两个模数不同的计数器实现PI控制策略,最大限度地利用了相位误差信息,提高了捕捉速度。实验结果证明,该ADPLL不仅可替代模拟锁相环实现感应加热系统的频率跟踪,而且适用负载范围宽,可调节性强。 展开更多
关键词 锁相环 感应加热/现场可编程门阵列
下载PDF
可满足性模理论综述
5
作者 唐傲 王晓峰 何飞 《计算机工程与科学》 CSCD 北大核心 2024年第3期400-415,共16页
可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广... 可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广泛应用在人工智能、硬件RTL验证、自动化推理和软件工程等领域。根据近些年SMT的发展,首先阐述SMT基本知识和常见的背景理论;然后分析总结Eager方法、Lazy方法和DPLL(T)方法的实现流程,并进一步介绍主流求解器Z3、CVC5和MathSAT5的实现过程;接着介绍SMT的扩展问题#SMT、SMT应用在深度神经网络的SMTlayer方法和量子SMT求解器;最后对SMT的发展进行展望,并讨论其面临的挑战。 展开更多
关键词 一阶逻辑 可满足性模理论 Lazy方法 dpll(T) SMT求解器 #SMT
下载PDF
利用细胞膜演算描述带子句学习的DPLL算法 被引量:1
6
作者 李壮 刘磊 +1 位作者 吕帅 任俊绮 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2019年第4期799-804,共6页
为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求... 为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。 展开更多
关键词 人工智能 问题求解 形式化方法 自动推理 dpll 子句学习 演算 细胞膜演算
下载PDF
高信噪比的VFC/DPLL数据采集装置 被引量:1
7
作者 袁真 《电子测量技术》 2001年第1期46-48,共3页
文中介绍了由VFC芯片鉴频,鉴相器(PFD)组成的数字锁相环路(DPLL)抑制噪声的原理和有关参数的选择和计算;讨论了由DPLL和微处理机结合组成的数据采集系统,信噪比改善的可能性。
关键词 数字锁相环境 电压频率转换 单片机 数据采集装置 信噪比
下载PDF
基于TSDPLL的时钟漂移补偿算法容错研究
8
作者 全渝娟 刘桂雄 +1 位作者 罗三川 刘波 《计算机应用研究》 CSCD 北大核心 2009年第11期4237-4239,4247,共4页
提出集成TSDPLL对系统节点本地时钟计时频率漂移进行有效补偿的时钟同步方法,大大提高了应用网络时间同步技术(如NTP、PTP等)的同步精度。为确保TSDPLL能在网络出现拥塞的情况下仍然正常工作,通过分析收敛函数基本特征,提出基于收敛函... 提出集成TSDPLL对系统节点本地时钟计时频率漂移进行有效补偿的时钟同步方法,大大提高了应用网络时间同步技术(如NTP、PTP等)的同步精度。为确保TSDPLL能在网络出现拥塞的情况下仍然正常工作,通过分析收敛函数基本特征,提出基于收敛函数的容错方案。仿真实验结果表明,该方案算法简单、容错效果明显,是基于DPLL时钟漂移补偿算法不可或缺的关键组成部分。 展开更多
关键词 时钟同步 漂移补偿 数字锁相环 时间戳
下载PDF
基于PI-DPLL的超声波电源频率控制电路的研究
9
作者 屈百达 车保川 《电源技术应用》 2008年第8期29-34,共6页
频率跟踪是超声波电源的一个非常重要的特性。传统的频率跟踪系统又存在频率跟踪范围较窄,可靠性较差等不足。为此,本文在介绍了超声波电源基本原理基础上,提出了一种新颖的比例积分结合数字锁相环(PI-DPLL)的频率跟踪方法。利用DSP作... 频率跟踪是超声波电源的一个非常重要的特性。传统的频率跟踪系统又存在频率跟踪范围较窄,可靠性较差等不足。为此,本文在介绍了超声波电源基本原理基础上,提出了一种新颖的比例积分结合数字锁相环(PI-DPLL)的频率跟踪方法。利用DSP作为主控芯片,设计了一台基于PI-DPLL频率跟踪系统的超声波清洗机试验装置。试验表明,基于PI-DPLL控制的超声波电源具有电路简单、频率跟踪性能好、电源输入因数高等特点。 展开更多
关键词 数字锁相环 比例积分 频率跟踪 超声波电源
下载PDF
一种DPLL的FPGA实现及其特性仿真
10
作者 曹新亮 王栋 《延安大学学报(自然科学版)》 2016年第2期103-105,108,共4页
基于VHDL语言设计了一种面向声波定位的数字锁相环。介绍了数字锁相环路主要模块的结构,利用FPGA实现了这种数字锁相环。通过理论与仿真分析的方法对其性能进行了研究,其技术参数符合声波多普勒频率偏测量要求。
关键词 数字锁相环 FPGA K变模可逆计数器
下载PDF
基于FPGA的提取位同步时钟DPLL设计 被引量:7
11
作者 叶怀胜 谭南林 +1 位作者 苏树强 李国正 《现代电子技术》 2009年第23期43-46,共4页
提出一种基于FPGA的用于提取位同步时钟的片内全数字锁相环电路设计方案。该方案具有同步速度快,结构简洁,失锁后自我调节性能好,即使码元消失或是码元相位出现抖动时,提取的同步时钟也不会有较大变化,仍可以稳定输出。此外,该方案可以... 提出一种基于FPGA的用于提取位同步时钟的片内全数字锁相环电路设计方案。该方案具有同步速度快,结构简洁,失锁后自我调节性能好,即使码元消失或是码元相位出现抖动时,提取的同步时钟也不会有较大变化,仍可以稳定输出。此外,该方案可以稳定地从曼彻斯特码中提取出位时钟,指导编解码器可靠工作。采用Verilog HDL语言描述电路,给出了仿真结果,并对其稳定性和稳态误差进行了理论分析,以实际测验验证了仿真的正确性。 展开更多
关键词 全数字锁相环 曼彻斯特码 VERILOG硬件描述语言 位同步
下载PDF
应用于CDR电路的DPLL设计与实现 被引量:1
12
作者 余发强 徐东明 张云军 《科技信息》 2010年第01X期74-75,共2页
数字锁相环(DPLL)技术在数字通信、无线电电子学等众多领域得到了极为广泛的应用,利用DPLL可以从串行位流数据中恢复出接收位同步时钟。时钟数据恢复(CDR)电路是同步光纤系统中的核心部件,性能优越的锁相环电路对CDR电路的实现有着极其... 数字锁相环(DPLL)技术在数字通信、无线电电子学等众多领域得到了极为广泛的应用,利用DPLL可以从串行位流数据中恢复出接收位同步时钟。时钟数据恢复(CDR)电路是同步光纤系统中的核心部件,性能优越的锁相环电路对CDR电路的实现有着极其关键的作用。本文介绍了一种全数字化CDR电路的设计。仿真和实验测试结果表明,该CDR电路可以对相位变化快速同步,尤其对突发数据的时钟恢复,相位抖动的消除有效。 展开更多
关键词 数字锁相环 时钟数据恢复 同步 FPGA
下载PDF
基于FPGA的DDS+DPLL跳频信号源设计
13
作者 杨红 李海 隆行 《现代电子技术》 2011年第15期101-104,共4页
针对跳频通信系统有固有噪声的特点,结合DDS+DPLL高分辨率、高频率捷变速度的优点,并采用Altera公司的Quartus-Ⅱ_10.1软件进行设计综合,提出了一种新型的跳频信号源。结果表明,该设计中DPLL时钟可达到120MHz,性能较高,而仅使用了30个LU... 针对跳频通信系统有固有噪声的特点,结合DDS+DPLL高分辨率、高频率捷变速度的优点,并采用Altera公司的Quartus-Ⅱ_10.1软件进行设计综合,提出了一种新型的跳频信号源。结果表明,该设计中DPLL时钟可达到120MHz,性能较高,而仅使用了30个LUT和18个触发器,占用资源很少。 展开更多
关键词 数字鉴相器 滤波器 数控振荡器 dpll
下载PDF
DPLL implementation in carrier acquisition and tracking for burst DS-CDMA receivers 被引量:3
14
作者 管云峰 张朝阳 赖利峰 《Journal of Zhejiang University Science》 EI CSCD 2003年第5期526-531,共6页
This paper presents the architectures, algorithms, and implementation considerations of the digital phase locked loop (DPLL) used for burst-mode packet DS-CDMA receivers. As we know, carrier offset is a rather challen... This paper presents the architectures, algorithms, and implementation considerations of the digital phase locked loop (DPLL) used for burst-mode packet DS-CDMA receivers. As we know, carrier offset is a rather challenging problem in CDMA system. According to different applications, different DPLL forms should be adopted to correct different maximum carrier offset in CDMA systems. One classical DPLL and two novel DPLL forms are discussed in the paper. The acquisition range of carrier offset can be widened by using the two novel DPLL forms without any performance degradation such as longer acquisition time or larger variance of the phase error. The maximum acquisition range is 1/(4T), where T is the symbol period. The design can be implemented by FPGA directly. 展开更多
关键词 移动通信 DS-CDMA系统 码分多址 数字锁相环 载流子 频率偏置
下载PDF
基于FUZZY-DPLL的感应加热电源建模与研究
15
作者 王浩然 宋书中 马建伟 《自动化技术与应用》 2008年第10期28-31,共4页
本文提出了在感应加热电源中采用模糊控制与数字锁相环相结合的负载频率跟踪方法,介绍了模糊控制与数字锁相环(FUZZY-DPLL)控制器的原理及设计,并在MATLAB中进行系统建模及验证,其结果表明了该方法的有效性。
关键词 模糊控制 感应加热 数字锁相环
下载PDF
基于随机方法和优化的DPLL算法的测试用例自动生成技术研究
16
作者 查敬芳 白涛 胡立生 《化工自动化及仪表》 CAS 2016年第9期927-931,1008,共6页
提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题... 提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。 展开更多
关键词 测试用例 SAT问题 dpll算法 核电仪控系统
下载PDF
Linearized Phase Detector Zero Crossing DPLL Performance Evaluation in Faded Mobile Channels 被引量:1
17
作者 Qassim Nasir Saleh Al-Araji 《Circuits and Systems》 2011年第3期139-144,共6页
Zero Crossing Digital Phase Locked Loop with Arc Sine block (AS-ZCDPLL) is used to linearize the phase difference detection, and enhance the loop performance. The loop has faster acquisition, less steady state phase e... Zero Crossing Digital Phase Locked Loop with Arc Sine block (AS-ZCDPLL) is used to linearize the phase difference detection, and enhance the loop performance. The loop has faster acquisition, less steady state phase error, and wider locking range compared to the conventional ZCDPLL. This work presents a Zero Crossing Digital Phase Locked Loop with Arc Sine block (ZCDPLL-AS). The performance of the loop is analyzed under mobile faded channel conditions. The mobile channel is assumed to be two path fading channel corrupted by additive white Gaussian noise (AWGM). It is shown that for a constant filter gain, the frequency spread has no effect on the steady state phase error variance when the loop is subjected to a phase step. For a frequency step and under the same conditions, the effect on phase error is minimal. 展开更多
关键词 NON-UNIFORM Sampling Digital Phase Locked LOOPS ZERO CROSSING dpll Mobile Faded CHANNELS
下载PDF
DPLL在高频逆变电源中的分析与设计 被引量:1
18
作者 臧小惠 惠晶 《电气传动自动化》 2008年第1期30-33,共4页
采用基于DSP的数字锁相环(DPLL)对高频逆变电源输出频率的实时控制,可实现逆变器工作频率对负载谐振频率的同步跟踪,确保逆变器开关器件工作在零电压电流软开关(ZVZCS)状态,显著减小功率器件的开关损耗和提高装置效率。在给出DPLL控制... 采用基于DSP的数字锁相环(DPLL)对高频逆变电源输出频率的实时控制,可实现逆变器工作频率对负载谐振频率的同步跟踪,确保逆变器开关器件工作在零电压电流软开关(ZVZCS)状态,显著减小功率器件的开关损耗和提高装置效率。在给出DPLL控制的逆变电源拓扑结构基础上,推出了适用于高频逆变电源的锁相环数学模型,在Z域中对二阶数字锁相环进行了稳定性分析和动态设计。在对锁相环Z域传递函数分析的基础上,得出二阶数字锁相环的稳定条件,并用MATLAB对其进行了仿真分析及实验验证。仿真和实验结果表明在Z域中对基于DSP的二阶数字锁相环的动态分析和设计是合理可行的,用此方法设计的电源具有良好的动态响应和抗扰性能。 展开更多
关键词 数字锁相环 稳定性 动态设计 高频逆变器
下载PDF
Three-Points Modulator Based on DPLL for Wideband Polar Modulation
19
作者 Julien Kieffer +4 位作者 bastien Rieubon Marc Houdebine bastien Dedieu Emil Novakov 《Communications and Network》 2013年第3期140-143,共4页
We present a nonlinear event-driven model of a Digital PLL used in the context of a polar modulation. This modeling has shown that the estimation method of the TDC gain has a big impact on the EVM for wideband modulat... We present a nonlinear event-driven model of a Digital PLL used in the context of a polar modulation. This modeling has shown that the estimation method of the TDC gain has a big impact on the EVM for wideband modulation and a solution has been proposed which consists to add the modulation on the gain after calibration of the gain offset. This transforms the classical two-points modulator into a three-points modulator. This implementation has been validated for WCDMA standard. 展开更多
关键词 dpll POLAR MODULATION WCDMA TDC
下载PDF
Fixed Point Iteration Chaos Controlled ZCDPLL
20
作者 Qassim Nasir 《International Journal of Communications, Network and System Sciences》 2016年第11期535-544,共11页
The stable operation of first and second order Zero Crossing Digital Phase Locked Loop (ZCDPLL) is extended by using a Fixed Point Iteration (FPI) method with relaxation. The non-linear components of ZCDPLL such as sa... The stable operation of first and second order Zero Crossing Digital Phase Locked Loop (ZCDPLL) is extended by using a Fixed Point Iteration (FPI) method with relaxation. The non-linear components of ZCDPLL such as sampler phase detector and Digital Controlled Oscillator (DCO) lead to unstable and chaotic operation when the filter gains are high. FPI will be used to stabilize the chaotic operation and consequently extend the lock range of the loop. The proposed stabilized loop can work in higher filter gains which are needed for faster signal acquisition. 展开更多
关键词 Non-Uniform Sampling Digital Phase Locked Loops Zero Crossing dpll Chaos Control
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部