在離散事件系統(tǒng)環(huán)境下，研究基于模型診斷問題。主要包括離線過程中的可診斷性判定及診斷編譯；在線診斷方法及診斷確認以及在不同條件下的診斷方法三類。在可診斷判定方法中，提出用逆向編譯方法對模型進行編譯，將可能發(fā)生故障進行預先判斷，并且模擬在線過程判斷可診斷性，在判斷過程中通過剪枝提高效率。提出離線過程中判斷故障可診斷性及故障集合可診斷性的方法，并研究該類可診斷性的性質。研究在不完備模型中的可診斷性判斷問題及診斷問題，在從物理系統(tǒng)到邏輯系統(tǒng)映射不完全的一類不完備模型上，提出對這類不完備模型的可診斷性判定方法，并進行診斷。通過在線的診斷判斷不完備事件的出現(xiàn)，并根據時序將不完備模型添加到模型中，增量地判斷可診斷性，或進一步得到診斷結果。提出一種增量的診斷方法，通過加入概率來選擇增量診斷中的候選診斷，同時提出一種帶有回溯的增量診斷方法，進一步提高增量診斷效率。并充分利用每一次增量診斷的結果。 

【文章來源】：吉林大學吉林省 211工程院校 985工程院校 教育部直屬院校

【文章頁數】：116 頁

【學位級別】：博士

【部分圖文】：

診斷基本原理

從物理系統(tǒng)到模型物理系統(tǒng)指的是目標系統(tǒng)、待建模系統(tǒng)，而模型指的是能夠被邏輯或計算機接描述。物理系統(tǒng)中具有不同特性的部件、行為可以被定義為離散事件系統(tǒng)中的。物理系統(tǒng)的實際部件沒有被明確表示，而其表現(xiàn)出來的情形可以被描述為模型狀態(tài)，部件可以改變狀態(tài)的行為可以被描述為模型中的事件；而依賴時間改變以被描述為特定的時間函數，狀態(tài)根據時間函數改變；部件的狀態(tài)被觸發(fā)而改狀態(tài)的過程被描述為模型中的轉移函數。而系統(tǒng)的具體特性，被描述為模型中定元組或者狀態(tài)及事件的附加參數。們用一個經典的例子來討論建模，圖 2.1 是三容水箱的簡圖，

們用自動機來描述一個離散事件系統(tǒng)，將其表達為一個五元組的模1（模型）：離散事件系統(tǒng)的模型是一個五元組[64]中 是有限狀態(tài)集合; 是有限事件集合，包含空事件 ; 是有限，表示系統(tǒng)從一個狀態(tài)經某事件觸發(fā)轉移到另外一個狀態(tài) ，表示系統(tǒng)從確定的某些狀態(tài)開始; 是標記狀態(tài)集合， 是終止狀態(tài)集合，在線過程中， 表示當前終止狀態(tài)集合。件集合據其性質可以被分為三個子集[33]:可觀測事件集合 ，正常件集合 ，這些事件集合之間是彼此獨立的，共同構成事件集合。即， ， 。件集合元素的有限長度序列集合記為 。在軌跡中的事件序列描述能夠被模型接受的事件序列被稱為語言，是模型中任意一條軌跡上言的集合記為 ， 。在完備離散事件系統(tǒng)中， 表示 的前綴。 是前綴關閉的，這表示 ， ， 的前綴也是語言[44]。 2.2 描述的是一個基本的離散事件系統(tǒng)模型：其中 是狀態(tài)，

【參考文獻】：
期刊論文
[1]不完備模型下的離散事件系統(tǒng)診斷方法[J]. 王曉宇,歐陽丹彤,趙劍.  軟件學報. 2012(03)
[2]利用結構信息的故障診斷方法[J]. 欒尚敏,戴國忠.  計算機學報. 2005(05)

博士論文
[1]離散事件系統(tǒng)基于模型診斷的若干問題研究[D]. 趙相福.吉林大學 2009



本文編號：3137234