系统诊断的自适应测试

本文给出了从系统的测试响应求故障的新方法,适用于任意故障模型;提出了在系统诊断中采用自适应测试的思想。自适应测试将使自诊断系统的测试次数大大减少,从而可节省时间。自适应测试不仅适用于任意故障模型,而且一步t可测和顺序t可测均可采用自适应测试。本文给出的求自适应诊断树的算法对故障矩阵而言是多项式复杂性的。     

时序机功能最小测试的图论方法

本文提出了一种判别有向图是否欧拉图的充分必要条件,并给出了在有向欧拉图中找一条欧拉巡回的新的算法。除此,还给出了在非有向欧拉图中找一条最短欧拉道路的算法。利用上述结果可以得到时序机的最小功能测试序列,因而使时序机最小功能测试问题得到解决,并证明对于给定时序机的状态图而言算法是多项式复杂性的。     

可诊断系统的最优设计

本文提出了一个自诊断系统最优设计的方法,以Preparata和Barsi模型为例,把一步t可测试和顺序t可测试的最优设计问题统一归结为最小覆盖问题。此外,本文还提出了全局最优设计和局部最优设计的思想。考虑到计算机网络的连线费用,本文还给出了带权最优设计的方法。这方法还可用于除Preparata和Barsi模型以外的其它系统诊断模型。     

自适应测试的最佳性

Kautz[1]提出了设计自适应诊断树的方法.本文证明了在某些情况下按Kautz的方法不仅得不到较好的诊断树,而且可能是所有诊断树中最差(长)的.     

一个新系统诊断模型

针对同构型多处理机系统,本文提出了一个更实用的系统诊断模型。和原有系统诊断模型比较,本模型不仅测试次数少,而且把由测试响应诊断故障单元的计算复杂性从指数降为线性复杂性。对一步及顺序t可测性给出了充分必要条件和诊断算法。