完整解决了基于Malek模型(集中式、非自适应）的一步ｔ－故障诊断的最优设计问题。给出了在Ｍａｌｅｋ模型下，Ｈａｒａｒｙ图的一步ｔ－故障诊断算法，该算法已达最优。......

自适应诊断是系统级故障诊断的一种方法，该文提出了一个ＰＭＣ模型下的自适应诊断算法，可以较少的诊断开销完成对系统的正确诊断。......

本文提出了多处理机系统故障诊断的一个算法．为了度量该算法的运行时间，定义了算法的概率时间复杂度函数，进而通过仿真实验和理论分析......