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

The Research of the Formalization Description about Diagnosticable

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

As a applied technique, the fault diagnosis supplies a effective technical way for upraising system reliability. Based on the discussing about the fault, fault chatacter and element of fault, also include the fault diagnosis definition, and the process of the diagnosis, the problem of the diagnosticablility and its ekistence condition isput forward in this paper. Finally, several examples are given.