期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2007
卷号：7
期号：11
页码：263-267
出版社：International Journal of Computer Science and Network Security
摘要：Model-based diagnosis is a new intelligent diagnostic technique which can overcome the shortcomings of traditional diagnostic methods. In this paper, a novel method of propagating failure value in model-based diagnosis is proposed, and the computing procedure is characterized by combining revised SE-tree (set enumeration tree) with closed nodes to produce all the diagnoses. It can directly compute all minimal diagnoses (MDs), without computing all the conflict sets and therefore the hitting sets of the collection of the corresponding conflict sets like the classical methods, and then the combinatorial explosion caused by calling ATMS, known as an NP-complete problem, can be avoided as well. As the closed nodes are added into the SE-tree, the non-minimal diagnoses can never be produced, and the true resolutions can not be missed by pruning either. The program is easy to be realized, and the diagnosis efficiency is highly improved by this method to satisfy real-time requirement, even for a complex system.
关键词：model-based diagnosis, minimal diagnosis, set enumeration tree (SE-tree), failure value
