本文關(guān)鍵詞：模糊離散事件系統(tǒng)中的謂詞變換及控制不變度

  更多相關(guān)文章： 模糊離散事件系統(tǒng) 狀態(tài)反饋控制 謂詞 謂詞變換 控制不變度

【摘要】：本文首先給出了模糊離散事件系統(tǒng)中模糊謂詞的定義.將一般離散事件系統(tǒng)中的最弱前置條件和最強后置條件推廣到模糊離散事件系統(tǒng)中.證明了在一般離散事件系統(tǒng)中,對于給定謂詞,先將其轉(zhuǎn)換為最弱前置條件再將其轉(zhuǎn)換為最強后置條件,與先將其轉(zhuǎn)換為最強后置條件再將其轉(zhuǎn)換為最弱前置條件結(jié)果相同,均為原給定謂詞.并且將上述定理推廣到模糊離散事件系統(tǒng)中.證明了任意模糊狀態(tài)屬于給定謂詞的程度,等于這個模糊狀態(tài)屬于將該謂詞先轉(zhuǎn)換為最弱前置條件再轉(zhuǎn)換為最強后置條件得到謂詞的程度,并且大于這個模糊狀態(tài)屬于將該謂詞先轉(zhuǎn)換為最強后置條件再轉(zhuǎn)換為最弱前置條件后得到謂詞的程度.其次,給出了模糊離散事件系統(tǒng)中謂詞的u?~-不變度的定義,以及謂詞在一般控制器控制下的控制不變度的定義.證明了兩個相關(guān)定理:其一,對于給定謂詞,一定存在一個一般控制器,使得其u?~-不變度與一般控制器控制下的控制不變度相等.其二,對于任意給定的謂詞,一定存在一個一般控制器,使得其在一般控制器控制下的控制不變度達(dá)到最大.最后,進(jìn)一步研究了在模糊控制器控制下系統(tǒng)中謂詞的控制不變度,證明了對于任意給定的謂詞,一定存在一個模糊控制器,使得其在該模糊控制器控制下控制不變度達(dá)到最大.
【關(guān)鍵詞】：模糊離散事件系統(tǒng) 狀態(tài)反饋控制 謂詞 謂詞變換 控制不變度
【學(xué)位授予單位】：太原理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：O141
【目錄】：

• 摘要3-5
• ABSTRACT5-9
• 第一章 緒論9-13
• 1.1 離散事件系統(tǒng)的研究現(xiàn)狀9-10
• 1.2 本文的主要工作10-13
• 第二章 基礎(chǔ)知識13-21
• 2.1 一般離散事件系統(tǒng)（DES）13-18
• 2.1.1 DES的自動機表示13-14
• 2.1.2 DES中的控制理論14-15
• 2.1.3 DES中的謂詞和謂詞變換15-17
• 2.1.4 DES中的控制不變謂詞17-18
• 2.2 模糊離散事件系統(tǒng)（FDES）18-21
• 2.2.1 模糊集18
• 2.2.2 FDES的自動機表示18-21
• 第三章 FDES中的模糊謂詞和模糊謂詞變換21-29
• 3.1 模糊謂詞21-24
• 3.2 模糊謂詞變換24-29
• 3.2.1 模糊謂詞變換wp_σ24-25
• 3.2.2 模糊謂詞變換sp_σ25-29
• 第四章 FDES中的∑_u-不變度和控制不變度29-41
• 4.1 FDES中的∑_u-不變度29-31
• 4.2 FDES中的控制不變度31-36
• 4.3 引入模糊控制器f后謂詞P的控制不變度36-41
• 第五章 本文總結(jié)和某些展望41-43
• 5.1 本文總結(jié)41
• 5.2 某些展望41-43
• 參考文獻(xiàn)43-47
• 致謝47-49
• 攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文49

【相似文獻(xiàn)】

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

1 李桂蓮;離散事件系統(tǒng)之間的等價性[J];華北工學(xué)院學(xué)報;2001年05期

2 王曉宇;歐陽丹彤;趙相福;馮宇軒;;在離散事件系統(tǒng)中尋找診斷路徑的方法[J];吉林大學(xué)學(xué)報(理學(xué)版);2010年03期

3 蔣智平,吳智銘;給定離散事件系統(tǒng)監(jiān)督器的優(yōu)化(英文)[J];控制理論與應(yīng)用;1993年03期

4 蔣智平,吳智銘;一種新的離散事件系統(tǒng)監(jiān)督器綜合方法[J];控制理論與應(yīng)用;1993年05期

5 李惠峰,衛(wèi)軍胡,陳浩勛,孫國基;具有硬實時上限的離散事件系統(tǒng)的建模[J];西安交通大學(xué)學(xué)報;1998年07期

6 舒少龍;劉君;;判定非確定離散事件系統(tǒng)穩(wěn)定性的多項式復(fù)雜度算法[J];控制理論與應(yīng)用;2009年11期

7 王飛;羅繼亮;;連續(xù)計時離散事件系統(tǒng)監(jiān)控及其可觀性[J];控制理論與應(yīng)用;2010年12期

8 于景元,周政,朱嶺;離散事件系統(tǒng)狀態(tài)反饋控制的幾何理論的進(jìn)一步拓廣[J];控制理論與應(yīng)用;1991年03期

9 王加存;離散事件系統(tǒng)任務(wù)處理瓶頸分析[J];系統(tǒng)工程學(xué)報;1998年03期

10 王飛,胡奇英;離散事件系統(tǒng)的混合分散監(jiān)控[J];控制理論與應(yīng)用;2005年02期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 盧建寧;趙光宙;;布爾離散事件系統(tǒng)的監(jiān)控理論[A];第二十四屆中國控制會議論文集（下冊）[C];2005年

2 朱列新;鄭大鐘;;線性離散事件系統(tǒng)頻域分析[A];1989年控制理論及其應(yīng)用年會論文集（中）[C];1989年

3 李勇華;;離散事件系統(tǒng)的一類最優(yōu)控制問題[A];1993中國控制與決策學(xué)術(shù)年會論文集[C];1993年

4 唐乾玉;韓曾晉;;隨機離散事件系統(tǒng)的優(yōu)化[A];1995中國控制與決策學(xué)術(shù)年會論文集[C];1995年

5 陳文德;齊向東;鄧述慧;;離散事件系統(tǒng)的周期分析[A];1989年控制理論及其應(yīng)用年會論文集（中）[C];1989年

6 朱更新;鄭大鐘;;離散事件系統(tǒng)二元變換方法[A];1991年控制理論及其應(yīng)用年會論文集（上）[C];1991年

7 唐乾玉;陳翰馥;韓曾晉;;基于擾動分析的隨機離散事件系統(tǒng)的優(yōu)化算法[A];1995年中國控制會議論文集（下）[C];1995年

8 邢清華;劉付顯;;關(guān)于離散事件系統(tǒng)異步仿真中時鐘管理機制的理論探討[A];1994中國控制與決策學(xué)術(shù)年會論文集[C];1994年

9 張豐;王眾托;;離散事件系統(tǒng)監(jiān)控的受控序貫決策過程模型[A];1993中國控制與決策學(xué)術(shù)年會論文集[C];1993年

10 蔣智平;吳智銘;;給定離散事件系統(tǒng)監(jiān)督器的優(yōu)化[A];1991年控制理論及其應(yīng)用年會論文集（上）[C];1991年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前7條

1 陸飛華;離散事件系統(tǒng)的混合監(jiān)控理論[D];浙江大學(xué);2009年

2 畢翔;帶約束條件的模糊離散事件系統(tǒng)監(jiān)控理論研究[D];合肥工業(yè)大學(xué);2013年

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

4 王曉宇;離散事件系統(tǒng)下基于模型診斷方法的若干問題研究[D];吉林大學(xué);2014年

5 陳曉亮;基于Petri網(wǎng)的離散事件系統(tǒng)混或診斷和監(jiān)督控制研究[D];西安電子科技大學(xué);2014年

6 李旭暉;移動Agent描述與仿真中若干問題的研究[D];武漢大學(xué);2003年

7 張瑤瑤;基于約束轉(zhuǎn)換的離散事件系統(tǒng)監(jiān)控器綜合[D];浙江大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 羅敏楠;模糊離散事件系統(tǒng)的診斷[D];陜西師范大學(xué);2010年

2 王雅楠;模糊離散事件系統(tǒng)中的謂詞變換及控制不變度[D];太原理工大學(xué);2016年

3 劉俊萍;離散事件系統(tǒng)與模糊離散事件系統(tǒng)的可控性及可觀測性關(guān)系研究[D];陜西師范大學(xué);2008年

4 楊芳;離散事件系統(tǒng)中基于模型診斷的符號化計算[D];吉林大學(xué);2012年

5 王曉宇;針對離散事件系統(tǒng)的基于模型故障診斷改進(jìn)方法的研究[D];吉林大學(xué);2010年

6 李婷;基于通信延遲的離散事件系統(tǒng)及模糊離散事件系統(tǒng)的可靠分散控制[D];陜西師范大學(xué);2011年

7 王飛;離散事件系統(tǒng)的混合監(jiān)控[D];西安電子科技大學(xué);2004年

8 藍(lán)維春;基于模糊離散事件系統(tǒng)的空調(diào)節(jié)能控制研究[D];東華大學(xué);2009年

9 卓建詠;離散事件系統(tǒng)基于窗口更新增量診斷方法的研究與實現(xiàn)[D];中山大學(xué);2012年

10 王紅影;離散事件系統(tǒng)基于模型的增量診斷方法的研究[D];吉林大學(xué);2011年

，

本文編號：664717