基于模型的候選故障診斷產生系統(tǒng)的研究與實現(xiàn).pdf

1、基于模型的診斷(Model-Based Diagnosis)是人工智能領域中一項智能的故障診斷推理技術，可以克服傳統(tǒng)診斷方法的缺陷。近年來基于模型的診斷被廣泛應用于通信、醫(yī)療、汽車、航天等領域。一般而言，基于模型的診斷主要分為四個過程:系統(tǒng)建模、沖突識別、候選產生以及診斷鑒別。其中沖突識別和候選產生這兩個過程對整個診斷結果尤為重要。因此，一直以來大部分學者都致力于研究求解沖突集和診斷集的方法，其中樹型結構的求解方法最為經典。至今，仍有不

2、少學者致力于樹型結構的研究，不斷進行改進與完善。但遺憾的是，目前還沒有發(fā)現(xiàn)一個比較通用的、可視化的、基于模型的候選故障診斷產生系統(tǒng)，既能夠為學者研究提供便利，也能夠為最終的診斷鑒別提供根據(jù)。
　　基于此，本文在研究了四種經典的求解候選診斷的樹型結構算法(inverse CS-tree算法、CS-tree with mark set算法、CSSE-tree算法以及CSISE-tree算法)的基礎上，設計了一個基于模型的候選故障診斷產

3、生系統(tǒng)，并在研究過程中對原有算法進行了改進，提出了一種新的診斷算法，可以提高診斷效率。
　　本文的主要研究內容如下:
　　1)深入比較了已有的四種求解診斷集的算法，從而給出了各個算法的相對較適用的情況;深入研究了SAT求解器的相關內容，為系統(tǒng)的設計和實現(xiàn)打下基礎。
　　2)基于系統(tǒng)組件的線性連接方式提出了一個新的概念——-Line-cone，并結合Line-cone提出了一種新的求解診斷集的方法DSSE-tree。實驗

4、結果表明，本算法在某些情況下比其他算法具有更高的診斷效率。
　　3)對基于模型的候選故障診斷產生系統(tǒng)進行了需求分析，結合功能圖、時序圖等對功能需求進行了說明，并對其他有效性需求進行了較詳細的分析說明。
　　4)對基于模型的候選故障診斷產生系統(tǒng)進行了整體體系設計、系統(tǒng)的界面設計等。
　　5)實現(xiàn)了基于模型的候選故障診斷產生系統(tǒng)，包括文件的輸入、診斷算法的設計、結果的輸出等，其中診斷算法包含原有的四種經典算法和新提出的DS