基于模型诊断中隐式碰集的获取与判断

来源：计算机研究与发展杂志2025年第8期北京时间：

作者：欧阳继红,黄森,

摘要：基于模型诊断主要是根据系统的行为进行建模，一旦观察到异常行为就在系统模型上运行一个诊断算法来返回可能的解释.现有的诊断算法是每求出一个冲突集就计算一次极小碰集，然后再检验该极小碰集是否满足系统观测.这样虽然能够减少冗余解集的生成，但是计算冲突集的极小碰集难度随冲突集数量的增加呈指数级增长，而计算部分冲突集的极小碰集不一定是诊断，检验极小碰集是否满足系统观测也是十分耗时的.针对以上问题，设计了一个筛选函数，在保证所得的碰集尽可能是诊断的情况下，分别从诊断的势和数量上来删除低质量的冲突集.除此之外，为了能够快速检验碰集是否是诊断，还根据电路的逻辑关系提出了一种高效的判定算法.在实验部分，详细分析了在设置不同数量的故障条件下运行时间和求解诊断个数的比较，与目前最先进的算法相比，效率提升2~40倍，诊断数量多出5~200倍.

关键词：基于模型诊断, 系统观测, 极小冲突集, 极小碰集, 极小势诊断,