【摘要】 基于模型的故障诊断方法是重要的故障诊断方法之一,该方法主要的问题就是如何求得所有的诊断.该文利用系统的结构信息,给出了求极小冲突集的一个算法,证明了算法的正确性,分析了算法的复杂性;然后介绍了如何由极小冲突求得诊断.其次,还给出了利用结构信息直接求诊断的一个算法,证明了其正确性.最后与相关工作进行了比较.该文给出的算法,对于一些特殊结构的系统可在多项式时间内结束.更多还原

【Abstract】 Model-based diagnosis is one of important methods for diagnosing a system. A important problem for this method is to generate the diagnoses. This paper presents an algorithm for computing minimal conflicts by using structure information. The correctness of the algorithm is shown, and the time complexity of the algorithm is also analyzed. Furthermore, a method for generating diagnoses from minimal conflicts is introduced. This paper also introduce an algorithm for computing diagnoses by using structure information. The correctness of the algorithm is also shown. At last, the proposed approachs are compared with related works. The algorithms presented in this paper terminate in polynomial time for some special systems.更多还原