基于值傳遞的故障診斷——模型、診斷和測試.pdf

1、基于模型的診斷是由Reiter在1987年提出的一種基于邏輯推理的故障診斷方法.待診斷系統(tǒng)的行為可以通過系統(tǒng)的輸入輸出變量之間的對應(yīng)關(guān)系來描述.由于其一般性和在許多領(lǐng)域的應(yīng)用價值，基于模型的診斷在人工智能領(lǐng)域被廣泛關(guān)注. 本文對基于模型的診斷的一些方面進行了研究，包括診斷模型的建立、極小診斷的求解方法、診斷過程的重用、診斷的分解和診斷的測試等內(nèi)容. 本文的第4章首先提出了一種基于值傳遞的系統(tǒng)模型，重新定義了診斷，它與Re

2、iter的基于邏輯框架的診斷概念是等價的.然后給出了快速找到一個極小診斷的算法.該算法不需要計算沖突集，并且在計算極小診斷的同時給出一種合理的診斷解釋. 在上述基礎(chǔ)上，第5章提出了獨立于系統(tǒng)輸入輸出的值傳遞路徑的概念，實現(xiàn)了值傳遞診斷過程的抽象，并根據(jù)等價路徑對系統(tǒng)值傳遞路徑空間進行約簡.以約簡的值傳遞路徑空間作為一種新的系統(tǒng)描述，給出了一種故障診斷算法，對滿足特定條件的系統(tǒng)，該算法多項式時間結(jié)束.同時，本文給出了必要的證明和實

3、驗結(jié)果. 第6章對診斷問題的分解進行了研究，給出了候選診斷的分解與組合定理.在此基礎(chǔ)上，提出了利用分步求解方法實現(xiàn)診斷分解的算法，并對算法的正確性、完備性和復(fù)雜性進行了證明.實驗結(jié)果表明分步求解方法明顯提高了含多個輸出的系統(tǒng)的診斷效率.與利用變量假定例化值分解診斷問題的方法比較，本文的算法能提高效率并且擴大了適用范圍. 最后，為找到故障系統(tǒng)的真實診斷，第7章討論了候選診斷和真實診斷之間的關(guān)系，定義了診斷系統(tǒng)的可采納性并證