计算机研究与发展

作者：欧阳丹彤,智华云,刘伯文,张立明,张永刚,

关键词：基于模型诊断, 静态伪故障度, 动态伪故障度, 枚举树, 极小诊断解,

基于模型诊断(model-baseddiagnosis,MBD)是人工智能领域一个极富有挑战性的问题.近年来，SAT求解器发展十分迅速，且已被应用于求解基于模型诊断问题并取得了显著成果.在对基于模型诊断问题求解方法LLBRS-Tree深入研究的基础上，根据电路组件的拓扑结构信息、系统的观测行为和预期行为之间的差异以及集合枚举树的特点，首次提出了组件静态伪故障度和动态伪故障度的概念.计算所有组件的静态伪故障度，并根据静态伪故障度从大到小对组件重新排序，生成新的枚举树；并且在遍历到新的极小诊断解时，更新相关组件的动态伪故障度，动态建立新的枚举树，从而能较快地搜索到极小诊断解，删除大量冗余解，较大程度地减少SAT求解器的调用次数.实验结果表明:随着诊断系统中组件个数的增多以及极小诊断解长度的增加，提出的方法较LLBRS-Tree方法效率提升明显.

来源：2018年第4期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2018年第4期