賦時離散事件系統(tǒng)的故障診斷方法研究.pdf

1、離散事件系統(tǒng)是以狀態(tài)系列和事件系列刻畫系統(tǒng)演化過程的邏輯類系統(tǒng)。此類系統(tǒng)顯著的功能是利用控制策略，只允許某些符合策略的事件系列發(fā)生以達到某種工程需求；普遍應用于通訊、交通等公共服務設施和計算機信息處理等重要領域。隨著科學技術(shù)的發(fā)展，此類系統(tǒng)結(jié)構(gòu)日趨復雜，故障頻發(fā)；以往的故障診斷技術(shù)益發(fā)捉襟見肘。后由Sampath等人提出離散事件系統(tǒng)的基于診斷器診斷的方法解決了這一難題?；谠\斷器診斷方法其實是對系統(tǒng)擴充性地構(gòu)造其診斷器，診斷器可與系統(tǒng)并

2、行運行，并通過分析診斷器狀態(tài)判斷系統(tǒng)是否發(fā)生故障。盡管由Sampath等提出的離散事件系統(tǒng)的故障診斷方法能有效地診斷系統(tǒng)故障，但是并未考慮在系統(tǒng)故障診斷期間的安全性問題，為此Paoli等人在Sampath的基礎上進一步研究了離散事件系統(tǒng)的安全診斷方法。此方法已被推廣至各類系統(tǒng)，用于解決系統(tǒng)故障的安全性診斷問題。已推廣應用的系統(tǒng)包括：隨機離散事件系統(tǒng)、模糊離散事件系統(tǒng)等。
　　賦時離散事件系統(tǒng)是高時效性類系統(tǒng)，系統(tǒng)的建模不僅需要考慮

3、其運行過程的邏輯行為，還需要進一步捕捉運行過程中的一些時間信息。它在計算機通訊、工業(yè)加工及自動化控制等領域都有著極其廣泛的應用。故為這類系統(tǒng)尋求一種更安全的故障診斷方法不僅具有理論意義而且具有現(xiàn)實意義。
　　本文在賦時離散事件系統(tǒng)的框架下以Paoli等人提出的離散事件系統(tǒng)安全診斷方法為算法基礎，針對一類以自動機為模型的賦時離散事件系統(tǒng)，研究其系統(tǒng)故障診斷的安全性問題，提出一種賦時離散事件系統(tǒng)的安全診斷方法。首先結(jié)合實際系統(tǒng)的邏輯信

4、息和時間信息對賦時離散事件進行模型的構(gòu)造；然后對賦時離散事件系統(tǒng)的安全可診斷性進行形式化刻畫；再通過構(gòu)造賦時離散事件系統(tǒng)非法語言識別器對系統(tǒng)的被禁止操作序列進行識別，以保證在故障診斷期間系統(tǒng)若執(zhí)行了被禁止的操作能及時將其識別到的信息反饋給系統(tǒng)；并在已構(gòu)造的系統(tǒng)非法語言識別器的基礎上構(gòu)建系統(tǒng)的安全診斷器，用于在線或者離線地診斷系統(tǒng)的故障；最后分析安全診斷器的狀態(tài)得到了一個關于賦時離散事件系統(tǒng)安全可診斷性的充分必要條件，實現(xiàn)了賦時離散事件系