结合故障输出结构特征的极小冲突求解算法

• 作者: 刘梦 张永刚 张立明 徐旖旎 欧阳丹彤
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 基于模型诊断 极小冲突集 集合枚举树 SAT求解器 故障输出无关元件
• 年，卷（期）: 2018,（11）
• 所属期刊栏目: 人工智能
• 页码范围: 2386-2394
• 页数: 9页
• 分类号: TP18
• 字数: 6634字
• 语种: 中文
• DOI: 10.7544/issn1000-1239.2018.20170381

摘要

基于模型诊断(model-based diagnosis)是人工智能领域中的重要研究方向,而基于极小冲突求诊断是求解诊断问题的经典方法,因此求解极小冲突是诊断中的一个重要步骤.通过对电路模型特征的研究,结合CSRDSE极小冲突集求解算法,提出结合故障输出结构特征的极小冲突求解算法MCS-SFFO:首先对CSRDSE算法的剪枝规则进行了改进,避免对集合枚举树SE-Tree中非冲突集叶节点对应子叶节点的访问;其次,提出故障输出无关元件集与故障输出相关元件集等相关概念,并根据系统描述和观测给出求解故障输出无关元件集的方法;最后,提出非冲突集定理,即故障输出无关元件集的子集不是冲突集,并根据非冲突集定理,给出极小冲突集求解算法MCS-SFFO.MCS-SFFO算法在基于CSRDSE算法求冲突集方法的基础上对无解空间进一步剪枝,减少了调用SAT求解器的次数.实验结果表明:与CSRDSE算法相比,MCS-SFFO算法求解效率明显提升.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张永刚	吉林大学计算机科学与技术学院	35	296	9.0	16.0
2	刘梦	吉林大学计算机科学与技术学院	3	4	2.0	2.0
3	徐旖旎	吉林大学计算机科学与技术学院	1	2	1.0	1.0