删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

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

本站小编 Free考研考试/2022-01-01

徐旖旎,欧阳丹彤,刘梦,张立明,张永刚
(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)
出版日期: 2018-11-01


基金资助:国家自然科学基金项目(61672261,61502199,61402196,61373052,61872159)

Algorithm of Computing Minimal Conflict Sets Based on the Structural Feature of Fault Output

Xu Yini, Ouyang Dantong, Liu Meng, Zhang Liming, Zhang Yonggang
(吉林大学计算机科学与技术学院 长春 130012) (符号计算与知识工程教育部重点实验室(吉林大学) 长春 130012) (jlxuyini@126.com)
Online: 2018-11-01







摘要/Abstract


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






[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): 782-790.
[5]邓召勇,欧阳丹彤,耿雪娜,刘杰. 基于动态极大元素覆盖值的极小碰集求解算法[J]. 计算机研究与发展, 2018, 55(4): 791-801.
[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.





PDF全文下载地址:

https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3806
相关话题/计算机 结构 吉林大学 空间 知识

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 多视角特征共享的空间对齐跨领域情感分类
    贾熹滨1,2,靳亚1,2,陈军成11(FacultyofInformationTechnology,BeijingUniversityofTechnology,Beijing100124);2(BeijingMunicipalKeyLaboratoryofMultimediaandIntellige ...
    本站小编 Free考研考试 2022-01-01
  • 2018新型存储系统结构前沿技术专题
    舒继武1,刘志勇21(清华大学);2(中国科学院计算技术研究所)出版日期:2018-09-01Online:2018-09-01摘要/Abstract摘要:信息技术和系统应用的发展对信息存储技术提出了诸多新的要求。一方面,大数据时代对数据存储的规模和处理能力需求越来越高,亟需新型存储系统和技术以提供 ...
    本站小编 Free考研考试 2022-01-01
  • 一个基于日志结构的非易失性内存键值存储系统
    游理通,王振杰,黄林鹏(上海交通大学计算机科学与工程系上海200240)(litong.you@sjtu.edu.cn)出版日期:2018-09-01基金资助:国家重点研发计划项目(2018YFB1003302);国家自然科学基金项目(61472241)Thisworkwassupportedbyt ...
    本站小编 Free考研考试 2022-01-01
  • 一种可度量的贝叶斯网络结构学习方法
    綦小龙1,2,高阳1,王皓1,宋蓓1,周春蕾3,张友卫31(南京大学计算机科学与技术系南京210046);2(伊犁师范学院电子与信息工程学院新疆伊宁835000);3(江苏方天电力技术有限公司南京211102)(qxl_0712@sina.com)出版日期:2018-08-01基金资助:国家自然科学 ...
    本站小编 Free考研考试 2022-01-01
  • 基于符号语义映射的知识图谱表示学习算法
    杨晓慧1,2,万睿1,张海滨1,曾义夫1,刘峤11(电子科技大学信息与软件工程学院成都610054);2(中电科大数据研究院有限公司贵阳550008)(yangxhui@std.uestc.edu.cn)出版日期:2018-08-01基金资助:国家自然科学基金项目(61772117,61133016 ...
    本站小编 Free考研考试 2022-01-01
  • 面向处理器微体系结构评估的高通量MicroBenchmark研究
    薛瑞1,2,苗福涛3,叶笑春1,孙凝晖1,徐文星41(计算机体系结构国家重点实验室(中国科学院计算技术研究所)北京100190);2(中国科学院大学北京100049);3(中国农业银行北京100073);4(北京石油化工学院北京102617)(xuerui@ict.ac.cn)出版日期:2018-0 ...
    本站小编 Free考研考试 2022-01-01
  • 基于自适应网格的隐私空间分割方法
    张啸剑1,金凯忠1,孟小峰21(河南财经政法大学计算机与信息工程学院郑州450002);2(中国人民大学信息学院北京100872)(xjzhang82@ruc.edu.cn)出版日期:2018-06-01基金资助:国家自然科学基金项目(61502146,91746115,91646203,61572 ...
    本站小编 Free考研考试 2022-01-01
  • 基于零知识验证的密文去重与密钥传递方法
    何司蒙,杨超,姜奇,杨力,马建峰(西安电子科技大学网络与信息安全学院西安710071)(陕西省网络与系统安全重点实验室(西安电子科技大学)西安710071)(simenghe@foxmail.com)出版日期:2018-06-01基金资助:国家自然科学基金面上项目(61672415,61672413 ...
    本站小编 Free考研考试 2022-01-01
  • 基于结构并行的MRBP算法
    任刚1,2,3,邓攀2,杨超2,吴长茂21(河南工学院计算机科学与技术系河南新乡453003);2(中国科学院软件研究所并行软件与计算科学实验室北京100190);3(中国科学院大学北京100049)(rengang2013@iscas.ac.cn)出版日期:2018-06-01基金资助:国家自然科 ...
    本站小编 Free考研考试 2022-01-01
  • 基于粗糙集知识发现的开放领域中文问答检索
    韩朝1,2,3,苗夺谦1,2,任福继3,张红云1,21(同济大学电子与信息工程学院上海201804);2(嵌入式系统与服务计算教育部重点实验室(同济大学)上海201804);3(德岛大学工学部日本德岛7708506)(1990hanzhao@tongji.edu.cn)出版日期:2018-05-01 ...
    本站小编 Free考研考试 2022-01-01