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

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

执行器故障参数不可测飞行系统的模型跟踪重构控制

针对具有二阶动态特性的执行器故障的飞控系统,在故障参数不可测、并伴有外界未知扰动和建模误差等不确定因素的情况下,克服已有的大部分模型跟踪重构控制所采用的自适应律都存在的双线性问题,研究一种新的直接自适应重构控制方案.在已有的重构控制器基础上,对状态反馈的形式进行改进,并利用Lyapunov稳定性定理,证明了在自适应重构控制器的作用下,故障后系统的跟踪误差渐近地收敛于零.仿真结果证明,存在不确定因素的飞控系统发生不可测的执行器故障后,本文给出的自适应重构控制器能够很好的对故障系统进行重构,证实了所提出的算法的有效性.

同步时序电路故障可测性研究

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法 ,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。

同步时序电路中组合冗余故障识别技术

对时序电路的迭代逻辑阵列(ILA)施加组合ATPG(自动测试模式生成),可得到不可测故障识别的定理和条件,其条件针对故障电路给出。基于无故障电路的条件,其验证过程用状态图表示。并用ILA识别不可测故障均为组合冗余故障,而组合冗余故障可用长度为1的ILA实现。故可由此简化不可测故障的识别过程。并通过时序电路中的组合冗余故障识别以验证。

时序电路故障可测性分析

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。文中提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法,运用该算法无须搜索便可识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。