基于模型故障诊断中的冲突求解

基于模型的故障诊断是一种重要的诊断方法,但它的计算量较大。在Reiter算法的基础上,论证了每次求解冲突集时,每个元件的模型知识仅需调用一次。同时指出了在某些情况下可以利用元件参数矩阵来指导冲突的求解过程,有效减少了调用元件模型的次数。