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

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

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

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

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