同步时序电路的一种设计方法

提出了一种通过矩阵运算实现同步时序电路的设计的方法，有效地解决了时序电路设计中卡诺图不能处理多输入、多状态和多输出的问题。     

同步时序电路设计的状态分配技术

给出寻求较佳或最佳状态分配的六条一般规则，并通过实例设计说明其应用。     

面向同步时序电路的电路并行测试生成算法

面对VLSI设计规模日益增大的挑战，除了电路并行以外，其它已有的基本并行策略都无法从根本上解决测试生成的复杂性问题，然而，已有的电路并行测试生成算法并未取得理想的结果，尤其对时序电路，因此，如何划分电路，成为电路并行算法的设计基础和成功的关键，面向逻辑级描述的同步时序电路，以触发器为核的电路划分算法BWFSF将电路划分为大功能块。对Benchmark-89电路的实验结果表明，基于G-F二值算法和BWFSF算法的电路并行测试生成算法在有效减少存储空间消耗的同时，还能够获得稳定的加速比。     

用矩阵方法分析同步时序电路

提出一种新的同步时序电路的分析方法。该方法引入输入矩阵、次态矩阵等概念，通过矩阵之问的运算求出状态转换图，为计算机辅助分析逻辑电路提供了一条简捷的途径。     

同步时序电路分析解题指导

同步时序电路是数字电路(系统)中应用极为广泛的电路,在数字电子工程中人们经常会碰到同步时序电路分析方面的问题,熟练掌握同步时序电路分析方法就成为每个读者掌握数字电路工作原理、学好数字电路课程的关键。 为了帮助读者全面掌握同步时序电路分     

含三态元件时序电路的故障模拟器

传统的时序电路故障模拟器只能模拟含二值元件的时序电路。而工程实践中的电路常包含的三态元件，发三态门，传输门，总线等，本文研究的一种能处理含二值元件和三态元件的时序电路的故障模拟器。该故障模拟器采用四值逻辑描述电路。实验结果表明，该模拟器既能高效率地模拟测试传统的二值元件时序电路，又能有效地模拟测试由二值元件和三态元件混合     

同步时序电路转换符设计法

本文通过应用转换符法，可以方便地设计中各种状态的同步时序电路。     

时序电路测试生成算法研究

随着大规模集成电路复杂性的提高,时序电路的测试生成变得越来越困难,因此研究有效的时序电路测试生成算法不仅具有学术意义,还具有巨大的经济效益和社会效益。本文对近年国内外学者在时序电路测试生成算法方面的研究进行了综述,对其作了比较,分析了相对的优点及缺点。最后做了总结并展望了未来的发展方向。     

同步时序电路的一个高性能故障模拟器

提出了一个同步时序电路故障模拟的方法，它采用了并行码模拟与并行故障模拟算法，吸收了锥形操作、并行Ｓｔａｒ算法、全局级化和全局故障分组等技术的优点．为了验证这种方法的效率，ＳＵＮＳＰＡＲＣ２工作站上实现了一个高性能的故障模拟器（ＨＳＩＭ），并把ＨＳＩＭ的实验结果和其他故障模拟器ＰＡＲＩＳ、ＴＯＲＳＩＭ作了比较．对于大型同步时序电路，ＨＳＩＭ的平均单码模拟速度是ＴＯＲＳＩＭ的１．８倍，平均性能因子是ＴＯＲＳＩＭ的７倍     

非线性电阻电路的单故障诊断的一种方法

提出了非线性模拟电路故障诊断的一种测前模拟法．应用伴随电路及特勒根定理导出故障诊断方程，用等电位屏蔽技术识别故障．非线性元件用其工作点参数等效线性化，可对故障电路逐级分块诊断，适用于大规模线性和非线性模拟电路．     

非线性电阻电路多故障诊断的一种方法

本文根据改进节点法和替代定理提出一种诊断非线性电阻电路多故障的方法,此方法将每个非线性电阻元件用相应的电流源替代,从而使诊断方程是线性的,诊断也较为简便。本文提出的方法适用于含有各种受控源的电路.     

一种数字电路的桥接故障诊断方法

针对目前数字电路桥接故障诊断效率低的问题,提出了一种基于微分故障模拟算法的数字电路的桥接故障诊断方法,用VHDL语言对电路模型进行了重新建模,利用单固定故障的信息来诊断桥接故障,并对ISCAS85平台下的一些电路进行了模拟,结果表明该方法简单、高效,特别适合于数字电路的故障诊断,对于提升我国数字电路可靠性具有重要的理论意义与实际推广应用价值。     

时序电路SACO和PSO混合算法的测试矢量生成

提出了一种新的测试矢量生成算法,其使用SCOAP测度对蚁群算法进行参数调整,并在粒子群算法的框架下进行测试矢量生成,再使用调整后的蚁群算法进行测试矢量优化。该算法不仅克服了粒子群算法的容易陷入局部最优等缺点,而且利用电路本身的特性来确定蚁群算法的参数。以国际标准电路为例,实验验证本文的算法,结果表明本算法应用于时序电路的测试矢量生成时,相对于粒子群算法提高了其收敛性,提高了故障覆盖率;相对于蚁群算法压缩了测试矢量集,减少了测试诊断时间。     

基于难测故障冲突分析的非扫描可测性设计

时序电路的测试生成非常复杂.时序电路的可测性设计对于指导电路设计及测试生成是十分重要的.基于对在测试生成过程中的难测故障进行冲突分析,提出了一种新的评价电路可测性的测度conflict+,并在此基础上提出了一种两阶段的非扫描可测性设计方法.这种新的测度可以体现出时序ATPG中的绝大部分特征.运用该方法对一些实验电路进行可测性设计后,结果表明比近期的两种非扫描可测性设计方法nscan和lcdft在故障覆盖率、测试效率等方面都取得了更好的效果.     

Fuzzy数学在分层模拟电路故障定位中的应用

本文提出了应用模糊数学进行模拟电路故障定位的一种方法，并运用实例验证此方法是实际可行的。     

应用于GPS接收机的序贯检测器性能分析

为了对使用Tong搜索检测器的全球定位系统(GPS)接收机的信号捕获性能进行理论评估,以及在设计中确定该检测器的参数值,推导了该检测器的总虚警概率、总检测概率以及平均驻留时间的计算公式,修正了在此之前研究领域普遍使用的该检测器捕获性能分析公式中的错误,并通过数值验证讨论了该检测器各参数的作用。仿真结果表明:增加Tong搜索检测器内置的计数器初值可以改善捕获性能。在总虚警概率高于0.1%的情况下,降低计数器最大值,同时增加计数器初值可使同等检测概率条件下,平均滞留时间变短。     

应用于GPS接收机的序贯检测器性能分析

为了对使用Tong搜索检测器的全球定位系统(GPS)接收机的信号捕获性能进行理论评估,以及在设计中确定该检测器的参数值,推导了该检测器的总虚警概率、总检测概率以及平均驻留时间的计算公式,修正了在此之前研究领域普遍使用的该检测器捕获性能分析公式中的错误,并通过数值验证讨论了该检测器各参数的作用。仿真结果表明:增加Tong搜索检测器内置的计数器初值可以改善捕获性能。在总虚警概率高于0.1%的情况下,降低计数器最大值,同时增加计数器初值可使同等检测概率条件下,平均滞留时间变短。     

基于键合图模型的机车制动系统故障检测与隔离

针对机车制动机列车管压力控制模块,采用键合图理论开展了动态建模分析,由建立的故障键合图模型推导出相应的解析冗余关系,提取出完整的故障特征矩阵.利用序贯概率比检验方法对采集的监测数据进行连续判读,实时跟踪识别工况下的系统异常状况,并将得到的残差状态向量同故障特征矩阵进行匹配,实现对故障部件的检测与隔离.仿真实例验证了建议方法的技术可行性.     

基于有限状态机的被动测试错误诊断

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题，提出了一种逐步定位系统实现错误的层次递进的方法．先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合，再依据测试套上下文使用错误检测算法对该集合进行筛选，最后经连续观察或结合主动测试进行错误区分．实例验证结果表明，所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位．