朱亚雄，李星新，郝建平，李智猛，项　波

（1.解放军63798部队，四川　西昌　615000；2.军械工程学院，石家庄　050003；3.解放军63981部队，武汉　430000）

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

朱亚雄1，李星新2，郝建平2，李智猛2，项波3

（1.解放军63798部队，四川西昌615000；2.军械工程学院，石家庄050003；3.解放军63981部队，武汉430000）

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

基于模型诊断，最小碰集，最小冲突集，集合逻辑运算

0　引言

在基于模型的故障诊断中，诊断的实质就是通过对比分析观测行为与预测行为之间的冲突来获取最小冲突集簇，并根据最小冲突集簇求解最小碰集的过程。其中，最小冲突集表示当此集合内部所指的每个最小可更换单元都正常时的预测行为与实际观测行为相冲突，最小碰集就是系统观测行为与预测行为之间发生冲突的诊断，基于模型的故障诊断仿真系统的诊断流程如下页图1所示。

目前，已有众多专家学者对最小碰集的运算方法进行了全面深入的研究，取得了大量的研究成果，主要……