一种数字锁相环频率合成器的设计

介绍了一种采用MC145152实现的数字锁相环频率合成器,其输出频率范围为1420～1920MHz,频率步进为200kHz,相位噪声小于-90dBc/Hz,杂散抑制优于60dB,输出功率P0≥10dBm。该频率合成器在TCL-376型接力机上得以成功运用,运行稳定、可靠。     

一种基于FPGA的旋转机械非接触双向红外信号传输系统的实现

详细介绍了一种旋转机械上非接触红外信号双向传输系统的实现方案.它通过在FPGA内部综合出快速的数字同步接收电路来实现对FIR红外传输数据稳定、可靠地接收和缓存,并将数据通过固定侧的PCI接口传输给应用程序,完成对旋转件上待测量的采集和分析.根据分析结果,也可以由应用程序发出相应操作命令和数据,对旋转件上的激励元件进行反...     

Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT

An analysis of the hardness of resolution of random 3-SAT instances using the Davis–Putnam–Loveland–Logemann (DPLL) algorithm slightly below threshold is presented. While finding a solution for such instances demands exponential effort with high probability, we show that an exponentially small fraction of resolutions require a computation scaling linearly in the size of the instance only. We compute analytically this exponentially small probability of easy resolutions from a large deviation analysis of DPLL with the Generalized Unit Clause search heuristic, and show that the corresponding exponent is smaller (in absolute value) than the growth exponent of the typical resolution time. Our study therefore gives some quantitative basis to heuristic restart solving procedures, and suggests a natural cut-off cost (the size of the instance) for the restart.     

SMT求解技术简述

SMT问题是在特定理论下判定一阶逻辑公式可满足性问题。它在很多领域,尤其是形式验证、程序分析、软件测试等领域,都有重要的应用。介绍了SMT问题的基本概念、相关定义以及目前的主流理论。近年来出现了很多提高SMT求解效率的技术,着重介绍并分析了这些技术,包括积极类算法、惰性算法及其优化技术等。介绍了目前的主流求解器和它们各自的特点,包括Z3、Yices、CVC3/CVC4等。对SMT求解技术的前景进行了展望,量词的处理、优化问题和解空间大小的计算等尤其值得关注。     

一种新颖的频率合成器捷变频方案

本文主要介绍了一种应用数字锁相环技术实现模拟锁相环准确频率预置的频率捕获方法,并在此基础上给出了一种新颖的频率合成器捷变频方案。     

基于随机方法和优化的DPLL算法的测试用例自动生成技术研究

提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。     

TDM／TDMA比特同步系统研究

本文根据 TDM/TDMA 扩频移动通信的特点,提出了一种性能优越而实用的比特同步系统.文中介绍了其主要原理,给出了有关理论、实验结果以及波形照片.值得提出的是:本同步系统亦适用于非时分系统.     

数字中频感应加热电源的研究

针对传统模拟中频控制系统的不足,对新型数字中频控制系统进行了研究和设计。提出一种基于DSP DS80C320微控制器为控制核心,主开关元件采用IGBT的数字感应加热系统,设计了系统的主电路、控制电路的结构。针对串联型感应加热电源频率跟踪的要求,阐述了一种新型的数字锁相环(DPLL)控制方法,并对相位补偿与启动问题进行了探讨,最终给出了实验电路和实验结果。实际应用证明具有功率调节范围宽、频率变化小的优点,适用于在中频感应加热中的应用。     

一种基于FPGA的旋转件非接触双向红外信号传输系统的实现

本文详细介绍了一种旋转件上非接触红外信号双向传输系统的实现方案。它通过在FPGA内部综合出快速的数字同步接收电路来实现对FIR红外传输数据稳定、可靠地接收和缓存,并将数据通过固定侧的PCI接口传输给应用程序,完成对旋转件上待测量的采集和分析。根据分析结果,也可以由应用程序发出相应操作命令和数据,对旋转件上的激励元件进行反馈控制。该方案在旋翼静态条件下进行了试验,结果表明,信号传输可靠,误码率极低。