本文的主要工作是研究在PMC模型下大型多机系统和计算机网络系统的故障诊断算法问题。文中提出了三种新的故障诊断算法。概率性矩阵诊断算法是一个完全基于矩阵与概率计算的算法,即用矩阵表示故障系统中处理单元间的测试结果,通过矩阵计算将所有处理单元分割成一个个准集团,再利用概率计算来分析哪些准集团中元素是故障单元的概率小于该算法的约定值(0.001),从而确定无故障准集团,再根据这些无故障准集团,进一步判断其它哪些准集团是无故障准集团,最终得出该系统的所有无故障集团。SIDSD诊断算法是对DSD算法的进一步改进,特别是在如何生成和查找环的方面有其优越性,使用该算法在诊断完成后能够快速输出无故障单元形成的环。二分诊断算法是一种基于方程诊断算法与集团算法的混合型算法,解决了故障单元数目与无故障单元数目较为接近时,方程诊断算法求解复杂而集团诊断算法无法诊断的问题。