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

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

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

【學(xué)位級(jí)別】：博士

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



本文編號(hào)：2957772