(吉林大学计算机科学与技术学院 长春 130012) (符号计算与知识工程教育部重点实验室(吉林大学) 长春 130012) (ouyangdantong@163.com)
出版日期: 2018-04-01基金资助:国家自然科学基金项目(61672261,61502199,61402196,61272208)；浙江省自然科学基金项目(LY16F020004)A Method of Computing Minimal Diagnoses Based on Pseudo-Failure-Degree to Create New Enumeration Tree
Ouyang Dantong, Zhi Huayun, Liu Bowen, Zhang Liming, Zhang Yonggang(College of Computer Science and Technology, Jilin University, Changchun 130012) (Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun 130012)
Online: 2018-04-01摘要/Abstract
摘要： 基于模型诊断(model-based diagnosis, MBD)是人工智能领域一个极富有挑战性的问题.近年来，SAT求解器发展十分迅速，且已被应用于求解基于模型诊断问题并取得了显著成果.在对基于模型诊断问题求解方法LLBRS-Tree深入研究的基础上，根据电路组件的拓扑结构信息、系统的观测行为和预期行为之间的差异以及集合枚举树的特点，首次提出了组件静态伪故障度和动态伪故障度的概念.计算所有组件的静态伪故障度，并根据静态伪故障度从大到小对组件重新排序，生成新的枚举树；并且在遍历到新的极小诊断解时，更新相关组件的动态伪故障度，动态建立新的枚举树，从而能较快地搜索到极小诊断解，删除大量冗余解，较大程度地减少SAT求解器的调用次数.实验结果表明:随着诊断系统中组件个数的增多以及极小诊断解长度的增加，提出的方法较LLBRS-Tree方法效率提升明显.
参考文献
相关文章 10
| [1] | 欧阳丹彤, 高菡, 徐旖旎, 张立明. 结合故障逻辑关系的极小冲突集求解方法[J]. 计算机研究与发展, 2020, 57(7): 1472-1480. |
| [2] | 田乃予,欧阳丹彤,刘梦,张立明. 基于子集一致性检测的诊断解极小性判定方法[J]. 计算机研究与发展, 2019, 56(7): 1396-1407. |
| [3] | 王荣全,欧阳丹彤,王艺源,刘思光,张立明. 结合DOEC极小化策略的SAT求解极小碰集方法[J]. 计算机研究与发展, 2018, 55(6): 1273-1281. |
| [4] | 邓召勇,欧阳丹彤,耿雪娜,刘杰. 基于动态极大元素覆盖值的极小碰集求解算法[J]. 计算机研究与发展, 2018, 55(4): 791-801. |
| [5] | 徐旖旎,欧阳丹彤,刘梦,张立明,张永刚. 结合故障输出结构特征的极小冲突求解算法[J]. 计算机研究与发展, 2018, 55(11): 2386-2394. |
| [6] | 欧阳丹彤,周建华,刘伯文,张立明. 基于模型诊断中结合问题特征的新方法[J]. 计算机研究与发展, 2017, 54(3): 502-513. |
| [7] | 欧阳丹彤,贾凤雨,刘思光,张立明. 结合互补度的基于扩展规则#SAT问题求解方法[J]. 计算机研究与发展, 2016, 53(7): 1596-1604. |
| [8] | 刘思光,欧阳丹彤,王艺源,贾凤雨,张立明. 结合SE-Tree结构特征的极小碰集求解算法[J]. 计算机研究与发展, 2016, 53(11): 2556-2566. |
| [9] | 王艺源,欧阳丹彤,张立明,张永刚. 利用CSP求解极小碰集的方法[J]. 计算机研究与发展, 2015, 52(3): 588-595. |
| [10] | 赵传申 孙志挥 张 净. 基于投影分支的快速频繁子树挖掘算法[J]. , 2006, 43(3): 456-462. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3670
