基于故障行为的模型诊断方法

提出一种利用故障行为求解所有极小诊断的新方法，并结合带有终止节点的集合枚举树形式化地表达计算过程，逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集，一次直接求出所有的极小诊断，避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题。在集合枚举树中添加了终止节点，从而避免了非极小诊断的产生，且不会因剪枝而丢失正确的解。实验结果表明，该算法程序容易编制，且效率较好，可以满足复杂的被诊断对象的实时性要求。