结合伪故障度的基于模型诊断方法研究

发布时间：2021-04-27 07:53

　　百度无人驾驶汽车的推出和棋圣李世石在“人机大战”中以1:4惨败于Google的AlphaGo事件的发生,使得人工智能迅速被大众所熟知。作为人工智能（Artificial Intelligence,AI）领域的一个重要分支——基于模型诊断（Model-Based Diagnosis,MBD）,自从该问题被提出,就一直备受科学家的青睐,越来越多的学者参与到该问题的研究当中且成果显著。目前,基于模型诊断已经被广泛应用于航空航天诊断、芯片诊断、汽车故障诊断、电网等领域。基于模型诊断的主要思想是根据待诊断设备的内部组织架构以及相应的行为来诊断该设备,从设备的模型和实际行为出发推理出故障组件,解释设备的预期行为和实际观测之间的不同。理论上,基于模型诊断问题有两个研究方向:1)溯因诊断,该方法求解效率较高,能快速求出设备的诊断解,但如果待诊断设备不符合要求,可能会丢失诊断解;2)基于一致性诊断,和溯因诊断相比,该方法的缺点是求解效率慢,优点是能遍历整个诊断空间,求出系统所有诊断解。故在算法实现上,基于模型诊断也有两类算法:完备性算法和非完备性算法,Reiter提出的著名算法HS-Tree就是非完备算... 

【文章来源】：吉林大学吉林省 211工程院校 985工程院校 教育部直属院校

【文章页数】：49 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
第1章 绪论
    1.1 研究背景和意义
    1.2 研究现状
    1.3 本文工作
第2章 基于模型诊断问题
    2.1 基于模型诊断的相关概念
    2.2 基于模型诊断问题转换成命题可满足问题
    2.3 本章小结
第3章 基于模型诊断几种算法介绍
    3.1 HS-TREE算法
    3.2 基于动态极大度求极小碰集
    3.3 LLBRS-TREE算法求诊断解
    3.4 本章小结
第4章 基于伪故障度动态生成枚举树求诊断解的方法
    4.1 DYN-TREE算法求极小诊断解
    4.2 实验结果及分析
    4.3 本章小结
第5章 总结与展望
    5.1 工作总结
    5.2 工作展望
参考文献
作者简介及在学期间所取得的科研成果
致谢


【参考文献】：
期刊论文
[1]基于模型诊断中结合问题特征的新方法[J]. 欧阳丹彤,周建华,刘伯文,张立明.  计算机研究与发展. 2017(03)
[2]配电网线路故障的基于模型诊断方法[J]. 胡非,刘志刚,范福强,关龙.  电力系统自动化. 2012(10)
[3]利用标志传播求解基于模型的故障诊断[J]. 欧阳丹彤,张立明,赵剑,白洪涛.  仪器仪表学报. 2011(12)
[4]基于动态极大度的极小碰集求解方法[J]. 张立明,欧阳丹彤,曾海林.  计算机研究与发展. 2011(02)
[5]牵引变电站故障的基于模型诊断方法[J]. 刘志刚,钟炜,邓云川,曲昌军.  中国电机工程学报. 2010(34)
[6]使用SAT求解器产生所有极小冲突部件集[J]. 赵相福,欧阳丹彤.  电子学报. 2009(04)
[7]A method of combining SE-tree to compute all minimal hitting sets[J]. ZHAO Xiangfu and OUYANG Dantong (School of Computer Science and Technology, Jilin University, Changchun 130012, China; Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Changchun 130012, China).  Progress in Natural Science. 2006(02)
[8]基于多信号模型航天器多故障诊断技术研究[J]. 龙兵,姜兴渭,宋政吉.  宇航学报. 2004(05)
[9]基于模型诊断的研究与新进展[J]. 欧阳丹彤,欧阳继红,刘大有.  吉林大学自然科学学报. 2001(02)
[10]一种基于概率神经网络模型的胃病诊断专家系统[J]. 吴新根,柏毅,罗立民.  东南大学学报. 1999(04)

硕士论文
[1]基于SMT约束求解器的Verilog组合电路等价性验证[D]. 曾海林.吉林大学 2012



本文编号：3163090