百度無人駕駛汽車的推出和棋圣李世石在“人機大戰(zhàn)”中以1:4慘敗于Google的AlphaGo事件的發(fā)生,使得人工智能迅速被大眾所熟知。作為人工智能（Artificial Intelligence,AI）領(lǐng)域的一個重要分支——基于模型診斷（Model-Based Diagnosis,MBD）,自從該問題被提出,就一直備受科學(xué)家的青睞,越來越多的學(xué)者參與到該問題的研究當(dāng)中且成果顯著。目前,基于模型診斷已經(jīng)被廣泛應(yīng)用于航空航天診斷、芯片診斷、汽車故障診斷、電網(wǎng)等領(lǐng)域�；谀Ｐ驮\斷的主要思想是根據(jù)待診斷設(shè)備的內(nèi)部組織架構(gòu)以及相應(yīng)的行為來診斷該設(shè)備,從設(shè)備的模型和實際行為出發(fā)推理出故障組件,解釋設(shè)備的預(yù)期行為和實際觀測之間的不同。理論上,基于模型診斷問題有兩個研究方向:1)溯因診斷,該方法求解效率較高,能快速求出設(shè)備的診斷解,但如果待診斷設(shè)備不符合要求,可能會丟失診斷解;2)基于一致性診斷,和溯因診斷相比,該方法的缺點是求解效率慢,優(yōu)點是能遍歷整個診斷空間,求出系統(tǒng)所有診斷解。故在算法實現(xiàn)上,基于模型診斷也有兩類算法:完備性算法和非完備性算法,Reiter提出的著名算法HS-Tree就是非完備算... 

【文章來源】：吉林大學(xué)吉林省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：49 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
abstract
第1章 緒論
    1.1 研究背景和意義
    1.2 研究現(xiàn)狀
    1.3 本文工作
第2章 基于模型診斷問題
    2.1 基于模型診斷的相關(guān)概念
    2.2 基于模型診斷問題轉(zhuǎn)換成命題可滿足問題
    2.3 本章小結(jié)
第3章 基于模型診斷幾種算法介紹
    3.1 HS-TREE算法
    3.2 基于動態(tài)極大度求極小碰集
    3.3 LLBRS-TREE算法求診斷解
    3.4 本章小結(jié)
第4章 基于偽故障度動態(tài)生成枚舉樹求診斷解的方法
    4.1 DYN-TREE算法求極小診斷解
    4.2 實驗結(jié)果及分析
    4.3 本章小結(jié)
第5章 總結(jié)與展望
    5.1 工作總結(jié)
    5.2 工作展望
參考文獻
作者簡介及在學(xué)期間所取得的科研成果
致謝


【參考文獻】：
期刊論文
[1]基于模型診斷中結(jié)合問題特征的新方法[J]. 歐陽丹彤,周建華,劉伯文,張立明.  計算機研究與發(fā)展. 2017(03)
[2]配電網(wǎng)線路故障的基于模型診斷方法[J]. 胡非,劉志剛,范福強,關(guān)龍.  電力系統(tǒng)自動化. 2012(10)
[3]利用標志傳播求解基于模型的故障診斷[J]. 歐陽丹彤,張立明,趙劍,白洪濤.  儀器儀表學(xué)報. 2011(12)
[4]基于動態(tài)極大度的極小碰集求解方法[J]. 張立明,歐陽丹彤,曾海林.  計算機研究與發(fā)展. 2011(02)
[5]牽引變電站故障的基于模型診斷方法[J]. 劉志剛,鐘煒,鄧云川,曲昌軍.  中國電機工程學(xué)報. 2010(34)
[6]使用SAT求解器產(chǎn)生所有極小沖突部件集[J]. 趙相福,歐陽丹彤.  電子學(xué)報. 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]基于多信號模型航天器多故障診斷技術(shù)研究[J]. 龍兵,姜興渭,宋政吉.  宇航學(xué)報. 2004(05)
[9]基于模型診斷的研究與新進展[J]. 歐陽丹彤,歐陽繼紅,劉大有.  吉林大學(xué)自然科學(xué)學(xué)報. 2001(02)
[10]一種基于概率神經(jīng)網(wǎng)絡(luò)模型的胃病診斷專家系統(tǒng)[J]. 吳新根,柏毅,羅立民.  東南大學(xué)學(xué)報. 1999(04)

碩士論文
[1]基于SMT約束求解器的Verilog組合電路等價性驗證[D]. 曾海林.吉林大學(xué) 2012



本文編號：3163090