本文關(guān)鍵詞：經(jīng)典與隨機(jī)離散事件系統(tǒng)的可糾錯性研究

  更多相關(guān)文章： 離散事件系統(tǒng) 容錯系統(tǒng) 可糾錯性

【摘要】：故障診斷及糾錯是離散事件系統(tǒng)研究熱點(diǎn)之一。本文主要研究在控制器實施控制的情況下,如何對離散事件系統(tǒng)的故障實行糾錯,使系統(tǒng)運(yùn)行在可接受狀態(tài)范圍內(nèi)的相關(guān)問題。本文通過對可糾錯狀態(tài)的形式化,提出一種基于狀態(tài)樹的可糾錯狀態(tài)判定方法。在經(jīng)典情況下,提出一種基于系統(tǒng)狀態(tài)圈的糾錯方法,給出了構(gòu)造糾錯控制器的算法；在隨機(jī)情況下,給出控制器糾錯對應(yīng)的方程,并在此方程下實施最優(yōu)化糾錯。同時,本文對可糾錯性作出適當(dāng)延伸,探討可控性與可糾錯的關(guān)系,以及故障糾錯與診斷、預(yù)防之間的聯(lián)系。本文的主要貢獻(xiàn)如下：首先,詳細(xì)探討了經(jīng)典離散事件系統(tǒng)的可糾錯性。第一,提出一種基于狀態(tài)樹的可糾錯狀態(tài)的形式化定義,并在可糾錯狀態(tài)的基礎(chǔ)上提出可糾錯語言的形式化定義,給出可糾錯狀態(tài)的判定算法。第二,分情況地討論了帶延遲的離散事件系統(tǒng)的可糾錯性,說明各種情況下系統(tǒng)糾錯的優(yōu)劣,并簡要分析各種情況下控制器如何實施糾錯。第三,給出基于狀態(tài)圈的糾錯控制器的構(gòu)造,使得控制器能應(yīng)對多重錯誤,同時給出糾錯控制器的構(gòu)造算法。第四,給出經(jīng)典離散事件系統(tǒng)的糾錯方案,使得系統(tǒng)在糾錯的同時,能夠預(yù)防故障的再次發(fā)生。第五,在糾錯方案的基礎(chǔ)上,給出一個糾錯實例,說明糾錯方案是有效的、可行的。然后,探討了隨機(jī)離散事件系統(tǒng)的基于狀態(tài)樹的可糾錯性。第一,給出隨機(jī)離散事件系統(tǒng)k步可糾錯概率和無窮步可糾錯概率的定義,使得這兩個定義符合實際應(yīng)用。第二,給出無窮步可糾錯概率基于線性方程組的求取方法。第三,探討了控制器在隨機(jī)離散事件系統(tǒng)中的功能,給出控制器基于糾錯方程的最優(yōu)化糾錯。第四,給出隨機(jī)離散事件系統(tǒng)的可糾錯實例,說明如何構(gòu)造k層判定樹、如何求得一個狀態(tài)的無窮步可糾錯概率以及控制器實施干預(yù)下的最優(yōu)化糾錯。最后,簡要探討了與可糾錯性有關(guān)的課題。第一,探討了可糾錯性與可控性的關(guān)系,說明可糾錯性是可控性的特例。第二,討論了故障診斷與故障糾錯的聯(lián)系。第三,討論了故障糾錯與故障預(yù)防的聯(lián)系。
【關(guān)鍵詞】：離散事件系統(tǒng) 容錯系統(tǒng) 可糾錯性
【學(xué)位授予單位】：廣東工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP302.8;TP277
【目錄】：

• 摘要4-5
• ABSTRACT5-7
• 目錄7-9
• CONTENTS9-11
• 第一章 緒論11-15
• 1.1 國內(nèi)外研究現(xiàn)狀11-12
• 1.2 研究背景及意義12-13
• 1.3 章節(jié)安排13-15
• 第二章 經(jīng)典離散事件系統(tǒng)可糾錯性的研究15-33
• 2.1 問題引入15-16
• 2.2 經(jīng)典離散事件系統(tǒng)可糾錯性的形式化16-21
• 2.2.1 可糾錯狀態(tài)的形式化16-20
• 2.2.2 可糾錯語言的形式化20-21
• 2.3 可糾錯狀態(tài)的判定算法21-22
• 2.4 帶延遲的離散事件系統(tǒng)可糾錯性研究22-25
• 2.5 糾錯控制器的構(gòu)造25-28
• 2.6 經(jīng)典離散事件系統(tǒng)的糾錯方案28-30
• 2.7 經(jīng)典離散事件系統(tǒng)的可糾錯實例30-32
• 2.8 本章總結(jié)32-33
• 第三章 隨機(jī)離散事件系統(tǒng)可糾錯性的研究33-43
• 3.1 隨機(jī)離散事件系統(tǒng)可糾錯性的形式化33-39
• 3.2 隨機(jī)離散事件系統(tǒng)的可糾錯實例39-41
• 3.3 本章總結(jié)41-43
• 第四章 可糾錯性課題的延伸43-49
• 4.1 可控性與可糾錯性43-44
• 4.2 故障的診斷、糾錯與預(yù)防44-48
• 4.2.1 故障的診斷與糾錯45-47
• 4.2.2 故障的糾錯與預(yù)防47-48
• 4.3 本章總結(jié)48-49
• 總結(jié)與展望49-51
• 參考文獻(xiàn)51-55
• 攻讀碩士學(xué)位期間發(fā)表的論文55-59
• 致謝5

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前1條

1 莫日翔;劉富春;;離散事件系統(tǒng)的可糾錯性研究[J];云南大學(xué)學(xué)報(自然科學(xué)版);2015年02期

，

本文編號：866241