%0 Journal Article
%T 基于故障行为的模型诊断方法
%A 张立明
%A 欧阳丹彤
%A +
%A 赵相福
%J 计算机集成制造系统
%P 0-0
%D 2008
%X 提出一种利用故障行为求解所有极小诊断的新方法，并结合带有终止节点的集合枚举树形式化地表达计算过程，逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集，一次直接求出所有的极小诊断，避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题。在集合枚举树中添加了终止节点，从而避免了非极小诊断的产生，且不会因剪枝而丢失正确的解。实验结果表明，该算法程序容易编制，且效率较好，可以满足复杂的被诊断对象的实时性要求。
%K 故障分析
%K 故障行为
%K 基于模型的诊断
%K 极小诊断
%K 集合枚举树
%U http://www.cims-journal.cn/CN/abstract/abstract2072.shtml