关键词: 基于模型诊断, 冲突集, 极小碰集, 集合枚举树

Abstract: A new method is proposed to compute hitting sets by using the number of conflict sets corresponding to the components. Furthermore, the computing procedure is formalized by combining SE\|tree with closed nodes to generate all the minimal hitting sets. Since closed nodes are added into SE\|tree, the search efficiency is highly improved. The program is easy to realize, and the algorithm can improve the diagnosis efficiency to satisfy real-time requirement even for a complex system.

Key words: modelbased diagnosis, conflict set, minimal hitting set, set enumeration tree