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

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

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

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