时序电路中不可测故障的判别

本文提出了判别时序电路不可测故障的一种有效的方法。它采用了可以在整个电路中传播未知的初始化特征的可控性计算和符号化的模拟程序来完成，通过标识不可初始化的触发状态和不可判别其肯定值的电路线，该方案可分类和标识出四种类型的不可测试的故障。     

时序电路的自锁与自解锁

本文讨论了在不考虑冗余状态设计时序电路时，可能会导致“自锁”现象，并提出了设计自解锁功能异步时序电路应当遵循的一种规范化方法。     

时序电路的模糊化测试生成算法

文章提出的模糊化的时序电路测试生成算法不明确指定故障点的故障值，它将故障值模糊化，并以符号表示。本算法第一阶段通过计算状态线和原始输出端的故障值来寻找测试矢量，通过计算故障点的正常值来 寻找测试矢量对应的故障类型；第二阶段用故障点的正常值作为约束条件计算故障点的另一个测试矢量。与传统的算法不同，它不需要回退和传播的过程。实验结果表明本算法具有较高的故障覆盖率和较少的测试时间。     

基于二叉树的时序电路测试序列设计

为了实现时序电路状态验证和故障检测,需要事先设计一个输入测试序列。基于二叉树节点和树枝的特性,建立时序电路状态二叉树,按照电路二叉树节点(状态)与树枝(输入)的层次逻辑关系,可以直观和便捷地设计出时序电路测试序列。用测试序列激励待测电路,可以验证电路是否具有全部预定状态,是否能够实现预定状态转换。     

时序电路的PLC程序设计

本文从非周期性和周期性时序电路两个方面,介绍了时序电路的PLC程序设计方法。该方法思路清晰,易于掌握。     

单原子微波激射器中的压缩

利用Jaynes-Cummings模型研究单原子微波激射器中光场的量子起伏,得到了场正交分量的方差的一般表达式。并讨论了一种常见初态的最佳压缩及其时间演化。作为例子,详细研究了初始为热平衡分布的裸原子系统的压缩行为。     

时序电路的形式化证明

对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述.本文提出了用等式逻辑ε的一个公式Ws来表示电路的实现,用Tempura的程序B表示对该电路的特性描述.公式B（∈）P引入来证明电路的正确性,这里P是电路的初始状态,是从Ws中抽取的,另外还要从Ws提取输出等式.这样,一旦证明了B（∈）P,就能证明实现满足规格描述.最后,给出了一个例子来说明此证明方法.     

基于压缩传感理论的单像素成像系统设计

近年来,一种新兴的压缩传感理论为数据采集技术带来了革命性的突破,得到了研究人员的广泛关注.该方法通过对稀疏信号进行观测,只需少量观测点就能精确的重构原始信号.基于压缩传感理论,采用DMD数字微镜结合单点探测器,而非传统CCD,进行数字成像,突破了传统数字成像系统的设计,建立了新型的成像系统.为其它光谱成像系统的设计,提供了有益的借鉴.     

单片IC收音机故障速修

<正> TA7641BP是专为调幅(AM)收音机设计的单片集成电路,它内部包含了AM收音机的全部功能,即变频、中放、检波、功放及AGC等。它的直流工作电压宽(V_(CC)=2～6V),内部设有空载控制电路,使其静态工作电流相当小(V_(CC)=3V时,仅为1.6mA),而效率却相当高,与普通分立元件六管机相比可提高约2倍,电池寿命约延长30％,且外围元件少。所以,TA7641BP广泛用于各种低电压袖珍型收音机中,社会拥有量大。     

基于压缩感知的单端口高分辨率DOA估计

基于空间目标空域的稀疏性,提出一种基于压缩感知(CS)的单端口波达方向(DOA)估计算法.在单端口阵列的基础上,验证了其压缩感知模型的感知矩阵满足约束等容(RIP)的条件,并利用丹茨格选择器(DS)恢复原始信号.该算法在一个射频端口的情况下,可在低快拍数情况下有效估计任意相干性信号的DOA,算法具有高的估计精度及角度分辨率,其性能优于传统DOA估计算法.仿真结果验证了该算法的有效性和优越性.     

一种雷达信号的单样本压缩采样方法

本文提出了一种雷达信号的单样本压缩采样方法。该方法在多相随机子采样FFT的模拟信息转换器（Analog to Information Converter,AIC）方案的基础上进行了改进,利用了雷达信号多个连续脉冲相关性较强的特点,提出了一种单样本压缩采样AIC,单个脉冲通过该AIC压缩得到单个样本值,实现了对稀疏信号的压缩采样。此方法降低了硬件电路复杂度,提高了压缩率,能够实现对雷达目标的位置和速度等参数的准确估计。仿真实验验证了此方法的有效性。      

同步时序电路的增广Petri网分析

本文应用抑制弧的增广Ｐｅｔｒｉ网建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型；并运用该模型描述了同步时序电路；提出了增广Ｐｅｔｒｉ网的授权矩阵、状态转移方程和触发展次态与变迁授权条件的关系，在此基础上可对同步时序电路描述和分析，并用实例证明了该方法的有效性。     

压缩感知的多参数链路故障定位算法

为了提高故障定位性能,降低单一判别参数在单位过程中的约束,该文提出一种基于压缩感知和信息熵差的多参数链路故障定位算法。该算法首先利用贝叶斯网络进行快速故障预测,其次引入参数故障覆盖范围,利用压缩感知进行故障筛选,最后定义参数故障信息熵差完成根源故障定位。仿真结果表明,该算法预测出的故障集合具有可压缩性,筛选后的故障集合保留了真实故障,定位时具有较高的故障检测率和较低的故障误检率。     

自启动异步时序电路的设计与思考

本文提出了自启动脉冲异步时序电路的一般设计方法,并举例说明了应用。     

空间单粒子故障容错设计的验证技术研究

由于空间环境的特殊性,可靠性成为航天器的重要指标,容错设计在航天关键电子元器件中必不可少。在航天器进入太空之前,为了模拟空间辐射效应,文中采用一种新颖方法对航天关键电子元器件进行单粒子故障注入,同时通过软件配合测试的方式,达到验证其容错结构的目的。采用了该技术的面向空间应用的高性能高可靠32位嵌入式RISC处理器取得了一次流片成功的结果。     

基于Hopfield网络的时序电路测试方法探析

针对时序电路置初态难的问题,提出了利用假想思想把时序电路转化为组合电路的方法,并结合时序电路的特点来实现测试矢量。发现利用EDA工具软件仿真正常电路的波形。可很快得到稳定状态,选择不同的反馈线可得到各稳定状态的次组合电路。结果表明此方法可实现故障的测试矢量,是一种研究时序电路故障测试产生的有效方法。     

同步和异步时序电路的统一设计和分析理论

本文讨论了时钟信号的普遍描述和含时钟信号的触发器次态方程，并在此基础上提出了同步和异步时序电路的统一设计和分析理论。该理论的有效性已由实例予以证明。     

单原子微波激射器中原子的压缩效应的研究

利用Ｊａｙｎｅｓ－Ｃｕｍｍｉｎｇｓ模型研究单原子微波激射器中的压缩效应。详细讨论了初始光场是真空场和ｎ光子光场的原子压缩行为。     

同步时序电路的增广Petri网分析

本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。