系统故障可诊断性的形式描述研究

从系统故障及其特性，故障要素等问题的分析入手，就故障诊断的形式化定义，诊断推理过程等基本问题进行探讨，提出了状态故障可诊断性问题，推导了系统状态可诊断所应满足的初步条件，并就这些结论的实践应用进行了初步的研究。