云南高校图书馆联盟文献共享服务平台- DPLL

DPLL: 作品数：90被引量：188H指数：7; 导出分析报告; 相关领域：电子电信更多>>; 相关作者：谢强荆明娥唐璞山周电王晓峰更多>>; 相关机构：电子科技大学高通股份有限公司江南大学吉林大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划美国国家科学基金中国博士后科学基金更多>>

面向调制连续波系统的数字锁相环技术发展综述: 《集成电路与嵌入式系统》2025年第5期35-44,共10页陈永利冀子川肖衍宗佳铭; 首先介绍了调制连续波(FMCW)雷达系统对锁相环的3个主要要求:调频带宽、调频斜率和线性度。而后从近10年来高引用量、高影响力文章出发,分析了数字锁相环(DPLL)在频率FMCW系统中的优势及应用难点,并简述了现有的克服应用难点的方法。总...; 关键词：数字锁相环 DPLL FMCW 数字预失真

基于ESMO-DPLL的混合式步进电机主动式阻尼控制: 《电工技术学报》2024年第18期5657-5667,共11页施雨武志涛佟文明; 辽宁省自然科学基金计划(2022-KF-14-03);特种电机与高压电器教育部重点实验室开放课题项目(KFKT202104)资助。; 针对混合式步进电机阻尼系数较小引起的振荡以及失步问题,提出一种主动式阻尼闭环控制方法提高步进电机的控制品质。首先,该方法基于同步旋转dq坐标系下的电机模型,将电流id控制恒为额定电流,利用转速误差调节电流iq生成瞬时转矩,改善...; 关键词：混合式步进电机闭环控制主动式阻尼控制锁相环滑模观测器

可满足性模理论综述: 《计算机工程与科学》2024年第3期400-415,共16页唐傲王晓峰何飞; 国家自然科学基金(62062001);宁夏青年拔尖人才项目(2021)。; 可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广...; 关键词：一阶逻辑可满足性模理论 Lazy方法 DPLL(T) SMT求解器 #SMT

Research on Pulsar Time Steered Atomic Time Algorithm Based on DPLL: 《Research in Astronomy and Astrophysics》2024年第3期237-248,共12页Ze-Hao Zheng Yang Liu Dan Shen Fan Feng Jiu-Long Liu Yue-Xin Ma Xiang-Wei Zhu; supported by the National Key Research and Development Program of China(grant No.2021YFA0716500);the National Natural Science Foundation of China(NSFC,grant Nos.61973328 and 91938301)。; In today’s society,there is a wide demand for high-precision and high-stability time service in the fields of electric power,communication,transportation and finance.At present,the time standard in various countries ...; 关键词：(stars) PULSARS general-time-methods data analysis-instabilities

基于DPLL的扫频信号源系统的设计与实现: 《黑龙江工程学院学报》2023年第1期1-6,13,共7页刘海成宁闯; 教育部产学合作协同育人项目(201901163036)。; 扫频信号源是输出频率可数控步进调整的正弦波信号源。低相位噪声和杂散的高频谱纯度扫频信号源是组成雷达接收机和系统频域分析设备等的核心。文中以数字锁相环技术(DPLL)作为高频谱纯度信号输出核心,用分频寄存器的设置来控制信号的...; 关键词：扫频源数字锁相环自动增益控制 ADF4002 MC12148

基于等效噪声模型的数字锁相环环路参数确定方法被引量：2: 《全球定位系统》2021年第4期93-100,共8页封帆龚航臧文驰陈华明; 国家部委资助项目(2019-JCJQ-JJ-190)。; 理想情况下,数字锁相环(DPLL)的环路参数可以通过直接计算输入原子钟与压控振荡器(VCO)的相位噪声功率谱交点来确定.但该方法不能考虑到锁相环(PLL)其他模块的噪声,这会导致输出性能恶化.针对这一问题,文中从PLL模型出发,基于PLL环路传...; 关键词：数字锁相环(DPLL) 原子钟幂律谱相位噪声环路参数频率稳定度

正则(3,4)-CNF公式的社区结构: 《计算机科学》2021年第4期26-30,共5页何彬许道云; 国家自然科学基金(61762019)。; 通过构造适当的极小不可满足公式以实现在多项式时间内将3-CNF公式归约转换为一个正则(3,4)-CNF公式,转换后的公式与原公式具有相同的可满足性,同时公式的结构也发生相应的变化。图的社区结构反映了图的模块特性,文中将CNF公式转化为相...; 关键词：SAT问题 DPLL 正则(3 4)-CNF公式社区结构模块度

基于重启策略的学习子句优化方法: 《东北大学学报（自然科学版）》2020年第1期44-48,共5页李壮刘磊张桐搏吕帅; 国家重点研发计划项目(2017YFB1003103);国家自然科学基金资助项目(61300049,61763003);吉林省科技发展计划项目(20180101053JC,20190201193JC); 以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点...; 关键词：DPLL 子句学习学习子句数据库 MiniSAT求解器 PARETO最优

A BCH code assisted modified NCO based LSPF-DPLL topology for Nakagami-m, Rayleigh and Rician fading channels被引量：1: 《Digital Communications and Networks》2019年第2期102-110,共9页Sabyasachi Bhattacharyya Aradhana Misra Kandarpa Kumar Sarma; In spite of the rapid developments in communication technologies over the past few decades, which include attractive features offered by the presently used 3G/4G systems,让 continues to be a challenge to render adequa...; 关键词：Coding FADING Frequency tracking Least SQUARES Phase recovery

利用细胞膜演算描述带子句学习的DPLL算法被引量：1: 《哈尔滨工程大学学报》2019年第4期799-804,共6页李壮刘磊吕帅任俊绮; 国家自然科学基金项目(61300049;61502197;61503044;61763003);吉林省科技发展计划项目(20180101053JC); 为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求...; 关键词：人工智能问题求解形式化方法自动推理 DPLL 子句学习演算细胞膜演算

DPLL