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ò)語(yǔ)言的形式化定義,給出可糾錯(cuò)狀態(tài)的判定算法。第二,分情況地討論了帶延遲的離散事件系統(tǒng)的可糾錯(cuò)性,說明各種情況下系統(tǒng)糾錯(cuò)的優(yōu)劣,并簡(jiǎn)要分析各種情況下控制器如何實(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ò)概率和無(wú)窮步可糾錯(cuò)概率的定義,使得這兩個(gè)定義符合實(shí)際應(yīng)用。第二,給出無(wú)窮步可糾錯(cuò)概率基于線性方程組的求取方法。第三,探討了控制器在隨機(jī)離散事件系統(tǒng)中的功能,給出控制器基于糾錯(cuò)方程的最優(yōu)化糾錯(cuò)。
經(jīng)典與隨機(jī)離散事件系統(tǒng)的可糾錯(cuò)性研究.pdf
認(rèn)證信息
個(gè)人認(rèn)證
常**(實(shí)名認(rèn)證)
河北
下載本文檔
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
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ò)語(yǔ)言的形式化定義,給出可糾錯(cuò)狀態(tài)的判定算法。第二,分情況地討論了帶延遲的離散事件系統(tǒng)的可糾錯(cuò)性,說明各種情況下系統(tǒng)糾錯(cuò)的優(yōu)劣,并簡(jiǎn)要分析各種情況下控制器如何實(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ò)概率和無(wú)窮步可糾錯(cuò)概率的定義,使得這兩個(gè)定義符合實(shí)際應(yīng)用。第二,給出無(wú)窮步可糾錯(cuò)概率基于線性方程組的求取方法。第三,探討了控制器在隨機(jī)離散事件系統(tǒng)中的功能,給出控制器基于糾錯(cuò)方程的最優(yōu)化糾錯(cuò)。
溫馨提示
最新文檔
評(píng)論
0/150
提交評(píng)論
聯(lián)系客服
本站為文檔C2C交易模式,即用戶上傳的文檔直接被用戶下載,本站只是中間服務(wù)平臺(tái),本站所有文檔下載所得的收益歸上傳人(含作者)所有。眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)上載內(nèi)容本身不做任何修改或編輯。若文檔所含內(nèi)容侵犯了您的版權(quán)或隱私,請(qǐng)立即通知眾賞文庫(kù),我們立即給予刪除!
Copyright ? 2013-2023 眾賞文庫(kù)版權(quán)所有 違法與不良信息舉報(bào)電話:15067167862
復(fù)制分享文檔地址
http://facezit.com/shtml/view-3169590.html
復(fù)制
下載本文檔