模型診斷（Model-Based Diagnosis,MBD）問題是人工智能領(lǐng)域的重要研究方向之一,可追溯至1987年De Kleer、Williams和Reiter的具有重要性標志意義的工作。到目前為止,MBD問題已發(fā)展到利用多種不同的模型進行建模,如離散事件模型、定性模型、不完全因果模型和混合模型。并且其成果也成功應用到多個領(lǐng)域,如航天航空、汽車制造、電信網(wǎng)絡(luò)、燃氣輪機條件監(jiān)測、軟件驗證、以及電路的診斷和故障排除�；谝恢滦缘慕M合電路MBD方法以邏輯公式形式對系統(tǒng)進行建模,旨在高效率獲取所有診斷以及高質(zhì)量的健康態(tài)。本文主要針對單觀測診斷方法及其延伸而來的多觀測診斷方法、健康態(tài)方法進行研究,以達到提高求解效率和求解質(zhì)量的目的。主要內(nèi)容如下:1)結(jié)合SAT技術(shù)來解決MBD問題作為直接診斷方法的重要方式之一,因其求解特征,在解決MBD問題過程中還需其它結(jié)構(gòu)的輔助以生成候選解空間,如集合枚舉樹,并利用SAT（Satisfiability）求解器來判斷候選解是否為診斷。但該類方法存在對候選解空間的冗余解進行一致性檢測的不足,因此,本文提出結(jié)合SAT的分組式診斷方法（Grouped Diagn... 

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

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

【學位級別】：博士

【文章目錄】：
摘要
abstract
第1章 緒論
    1.1 研究背景和意義
    1.2 組合電路模型診斷方法的研究現(xiàn)狀
        1.2.1 組合電路MBD方法分類
        1.2.2 組合電路直接診斷方法研究現(xiàn)狀
    1.3 本文主要研究內(nèi)容和貢獻
    1.4 本文論文結(jié)構(gòu)
第2章 組合電路的模型診斷
    2.1 相關(guān)基本知識
        2.1.1 MBD基本概念
        2.1.2 SAT和 MaxSAT基本定義
    2.2 結(jié)合SAT/MaxSAT的組合電路MBD
        2.2.1 結(jié)合SAT的組合電路MBD
        2.2.2 結(jié)合MaxSAT的組合電路MBD
        2.2.3 兩種方式的區(qū)別
    2.3 本章小結(jié)
第3章 基于SAT的分組式診斷方法
    3.1 引言
    3.2 結(jié)合集合枚舉樹的基于SAT模型診斷
        3.2.1 基本定義
        3.2.2 LLBRS-Tree算法思想
    3.3 GD算法
        3.3.1 基本概念
        3.3.2 元件分組方法
        3.3.3 結(jié)合元件分組的診斷方法
    3.4 實驗結(jié)果
        3.4.1 實驗環(huán)境
        3.4.2 實驗數(shù)據(jù)
    3.5 本章小結(jié)
第4章 基于MaxSAT的區(qū)域化抽象診斷方法
    4.1 引言
    4.2 基于分層抽象的MBD
        4.2.1 基本定義
        4.2.2 分層抽象化診斷過程
    4.3 ZD算法
        4.3.1 基本定義
        4.3.2 區(qū)域化抽象診斷方法
        4.3.3 傳播拓展方法
        4.3.4 完備性分析
        4.3.5 區(qū)域化抽象診斷方法與分層抽象診斷方法
    4.4 實驗結(jié)果
        4.4.1 實驗環(huán)境
        4.4.2 實驗數(shù)據(jù)
    4.5 本章小結(jié)
第5章 結(jié)合多觀測提高健康態(tài)質(zhì)量方法
    5.1 引言
    5.2 基本定義
    5.3 結(jié)合多觀測和診斷差異度提高健康態(tài)質(zhì)量的方法
        5.3.1 基本概念
        5.3.2 IHSD算法流程
    5.4 相關(guān)工作
    5.5 實驗結(jié)果
        5.5.1 實驗環(huán)境
        5.5.2 質(zhì)量評價標準
        5.5.3 實驗數(shù)據(jù)
    5.6 本章小結(jié)
第6章 增量的多觀測極小診斷方法
    6.1 引言
    6.2 組合電路多觀測MBD
        6.2.1 基本定義
        6.2.2 求解極小精確診斷的兩種完備算法
MO算法">    6.3 IMBD_MO算法
        6.3.1 基本定義
MO算法流程">        6.3.2 IMBD_MO算法流程
        6.3.3 相關(guān)工作
    6.4 實驗結(jié)果
        6.4.1 實驗環(huán)境
        6.4.2 實驗數(shù)據(jù)
    6.5 本章小結(jié)
第7章 總結(jié)和展望
    7.1 本文工作總結(jié)
    7.2 未來工作展望
參考文獻
作者簡介及在學期間所取得的科研成果
致謝



本文編號：2957772