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