經(jīng)典與隨機(jī)離散事件系統(tǒng)的可糾錯(cuò)性研究.pdf

1、故障診斷及糾錯(cuò)是離散事件系統(tǒng)研究熱點(diǎn)之一。本文主要研究在控制器實(shí)施控制的情況下，如何對(duì)離散事件系統(tǒng)的故障實(shí)行糾錯(cuò)，使系統(tǒng)運(yùn)行在可接受狀態(tài)范圍內(nèi)的相關(guān)問題。本文通過對(duì)可糾錯(cuò)狀態(tài)的形式化，提出一種基于狀態(tài)樹的可糾錯(cuò)狀態(tài)判定方法。在經(jīng)典情況下，提出一種基于系統(tǒng)狀態(tài)圈的糾錯(cuò)方法，給出了構(gòu)造糾錯(cuò)控制器的算法;在隨機(jī)情況下，給出控制器糾錯(cuò)對(duì)應(yīng)的方程，并在此方程下實(shí)施最優(yōu)化糾錯(cuò)。同時(shí)，本文對(duì)可糾錯(cuò)性作出適當(dāng)延伸，探討可控性與可糾錯(cuò)的關(guān)系，以及故障糾錯(cuò)

2、與診斷、預(yù)防之間的聯(lián)系。本文的主要貢獻(xiàn)如下:
　　本文首先探討了經(jīng)典離散事件系統(tǒng)的可糾錯(cuò)性。第一，提出一種基于狀態(tài)樹的可糾錯(cuò)狀態(tài)的形式化定義，并在可糾錯(cuò)狀態(tài)的基礎(chǔ)上提出可糾錯(cuò)語言的形式化定義，給出可糾錯(cuò)狀態(tài)的判定算法。第二，分情況地討論了帶延遲的離散事件系統(tǒng)的可糾錯(cuò)性，說明各種情況下系統(tǒng)糾錯(cuò)的優(yōu)劣，并簡要分析各種情況下控制器如何實(shí)施糾錯(cuò)。第三，給出基于狀態(tài)圈的糾錯(cuò)控制器的構(gòu)造，使得控制器能應(yīng)對(duì)多重錯(cuò)誤，同時(shí)給出糾錯(cuò)控制器的構(gòu)造算法

3、。第四，給出經(jīng)典離散事件系統(tǒng)的糾錯(cuò)方案，使得系統(tǒng)在糾錯(cuò)的同時(shí)，能夠預(yù)防故障的再次發(fā)生。第五，在糾錯(cuò)方案的基礎(chǔ)上，給出一個(gè)糾錯(cuò)實(shí)例，說明糾錯(cuò)方案是有效的、可行的。然后，探討了隨機(jī)離散事件系統(tǒng)的基于狀態(tài)樹的可糾錯(cuò)性。第一，給出隨機(jī)離散事件系統(tǒng)k步可糾錯(cuò)概率和無窮步可糾錯(cuò)概率的定義，使得這兩個(gè)定義符合實(shí)際應(yīng)用。第二，給出無窮步可糾錯(cuò)概率基于線性方程組的求取方法。第三，探討了控制器在隨機(jī)離散事件系統(tǒng)中的功能，給出控制器基于糾錯(cuò)方程的最優(yōu)化糾錯(cuò)。