在離散事件系統(tǒng)環(huán)境下，研究基于模型診斷問題。主要包括離線過程中的可診斷性判定及診斷編譯；在線診斷方法及診斷確認(rèn)以及在不同條件下的診斷方法三類。在可診斷判定方法中，提出用逆向編譯方法對(duì)模型進(jìn)行編譯，將可能發(fā)生故障進(jìn)行預(yù)先判斷，并且模擬在線過程判斷可診斷性，在判斷過程中通過剪枝提高效率。提出離線過程中判斷故障可診斷性及故障集合可診斷性的方法，并研究該類可診斷性的性質(zhì)。研究在不完備模型中的可診斷性判斷問題及診斷問題，在從物理系統(tǒng)到邏輯系統(tǒng)映射不完全的一類不完備模型上，提出對(duì)這類不完備模型的可診斷性判定方法，并進(jìn)行診斷。通過在線的診斷判斷不完備事件的出現(xiàn)，并根據(jù)時(shí)序?qū)⒉煌陚淠Ｐ吞砑拥侥Ｐ椭校隽康嘏袛嗫稍\斷性，或進(jìn)一步得到診斷結(jié)果。提出一種增量的診斷方法，通過加入概率來選擇增量診斷中的候選診斷，同時(shí)提出一種帶有回溯的增量診斷方法，進(jìn)一步提高增量診斷效率。并充分利用每一次增量診斷的結(jié)果。 

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

【文章頁數(shù)】：116 頁

【學(xué)位級(jí)別】：博士

【部分圖文】：

診斷基本原理

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

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

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

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



本文編號(hào)：3137234