基于模型诊断的集合逻辑运算法计算最小碰集

在基于模型的故障诊断仿真系统的诊断流程中,由最小冲突集计算最小碰集是整个流程中的关键步骤。针对现有计算最小碰集方法中存在的缺陷,提出了运用集合逻辑运算法计算最小碰集,将冲突集表示为集合的逻辑"与"、逻辑"或"运算,通过其运算法则进行运算简化,可得到全部的最小碰集。该方法具有简单有效、数据结构简单、计算简便快捷和易于程序实现等优点。最后通过实例计算,验证了该算法的正确性、简单性和高效性。

Computation of Hitting Sets with Logical Operation of Sets in Model-based Diagnosis

In the diagnosis process of fault diagnosis simulation system based on model,computing minimal hitting sets by the minimal conflict sets is a critical step in the entire process. In consideration of the flawed of the existing way to compute minimal hitting sets,the way of logical operation of sets computing minimal hitting sets is proposed,the hitting sets is expressed as logical“and”and“or”by sets,then,operating it through the rules of operation and the all minimal conflict sets can be gotten. This way has the advantages of simple and effective,simple data structure,fast calculation and easy program implementation. In the end,an example is given to prove the correctness,simplicity and efficiency of the algorithm.