本文關(guān)鍵詞：基于Petri網(wǎng)展開理論的離散事件系統(tǒng)活性控制器綜合，，由筆耕文化傳播整理發(fā)布。

【摘要】：離散事件系統(tǒng)是一個(gè)在離散的時(shí)間點(diǎn)由隨機(jī)事件驅(qū)動(dòng)的人造系統(tǒng)。隨著科技的發(fā)展,離散事件系統(tǒng)已經(jīng)深入到社會(huì)生活中的各行各業(yè)。因此,對離散事件系統(tǒng)的研究具有很高的理論和實(shí)際應(yīng)用價(jià)值。離散事件系統(tǒng)的研究包括系統(tǒng)的性能分析和控制器綜合。本文的研究重點(diǎn)在于離散事件系統(tǒng)的控制器綜合。自動(dòng)機(jī)和Petri網(wǎng)是系統(tǒng)控制器綜合的主要工具。因Petri網(wǎng)相比自動(dòng)機(jī)所具有的優(yōu)點(diǎn),使得基于Petri網(wǎng)的離散事件系統(tǒng)控制器綜合成為當(dāng)下離散事件系統(tǒng)的研究熱點(diǎn)。結(jié)構(gòu)分析法和可達(dá)圖法是目前基于Petri網(wǎng)的離散事件系統(tǒng)控制器綜合的兩種主流方法。兩者各有優(yōu)缺點(diǎn):可達(dá)圖法能得到系統(tǒng)全局的信息,獲得的控制策略往往是最大容許的,但計(jì)算復(fù)雜度很高,控制結(jié)構(gòu)也相對復(fù)雜;結(jié)構(gòu)分析法獲得的控制策略計(jì)算復(fù)雜度相對較低且往往結(jié)構(gòu)簡單,然而獲得的控制策略一般不是最大容許的。因此,本文希望利用Petri網(wǎng)展開技術(shù),獲得結(jié)構(gòu)簡單且計(jì)算復(fù)雜度低的控制策略。死鎖問題是基于Petri網(wǎng)的離散事件系統(tǒng)控制器綜合中必須考慮的問題,死鎖的存在會(huì)造成系統(tǒng)局部或整體癱瘓,導(dǎo)致事故的發(fā)生。近十幾年以來,在死鎖問題的研究基礎(chǔ)上,學(xué)者們開始逐漸關(guān)注Petri網(wǎng)的活性問題。Petri網(wǎng)的活性問題和死鎖問題關(guān)系密切,活性問題是死鎖問題的延伸,Petri網(wǎng)是活的,則Petri網(wǎng)中必然無死鎖。Petri網(wǎng)保持活性能最大程度的提高資源利用率,且能保證系統(tǒng)的運(yùn)行是無阻塞的。本文首先針對Petri網(wǎng)的活性判別問題,利用Petri網(wǎng)展開技術(shù),引入最大基礎(chǔ)配置和并發(fā)配置的概念,首次提出了G2型割斷圖,建立了基于G2型割斷圖的普通有界Petri網(wǎng)活性判斷準(zhǔn)則并給出了充分的數(shù)學(xué)證明。其次,目前基于Petri網(wǎng)的離散事件系統(tǒng)活性控制器設(shè)計(jì)方法大都沒有考慮控制器本身的存在性問題,本文依據(jù)Petri網(wǎng)的控制規(guī)則,結(jié)合Petri網(wǎng)展開技術(shù),在G1型割斷圖的基礎(chǔ)上,給出了完全可控普通有界Petri網(wǎng)的活性控制器存在條件,同時(shí)給出了充分的數(shù)學(xué)證明。最后,根據(jù)本文建立的活性判斷準(zhǔn)則和活性控制器存在條件,針對完全可控普通有界Petri網(wǎng),引入臨界非活狀態(tài)和臨界變遷集的概念,在其展開圖的有限前綴上綜合得到邏輯型活性控制器,然后根據(jù)Petri網(wǎng)展開原理,綜合出原網(wǎng)上的結(jié)構(gòu)型活性控制器設(shè)計(jì)方案。并且通過對比庫所不變量法所得結(jié)果,說明了本文算法的可行性。
【關(guān)鍵詞】：離散事件系統(tǒng) 控制器 Petri網(wǎng) 活性 展開原理
【學(xué)位授予單位】：太原科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP301.1
【目錄】：

• 中文摘要4-5
• ABSTRACT5-8
• 第一章 緒論8-14
• 1.1 離散事件系統(tǒng)概述8-9
• 1.2 離散事件系統(tǒng)的監(jiān)控理論9-11
• 1.2.1 監(jiān)控理論概述9-10
• 1.2.2 基于Petri網(wǎng)的監(jiān)控理論10-11
• 1.3 本文主要研究內(nèi)容11-14
• 第二章 Petri網(wǎng)及其展開理論14-24
• 2.1 Petri網(wǎng)基礎(chǔ)14-18
• 2.2 Petri網(wǎng)展開理論18-22
• 2.3 小結(jié)22-24
• 第三章 基于展開圖的普通有界Petri網(wǎng)活性條件24-32
• 3.1 引言24-25
• 3.2 無變遷并發(fā)情況下普通有界Petri網(wǎng)的活性條件25-26
• 3.3 任意普通有界Petri網(wǎng)的活性條件26-30
• 3.4 小結(jié)30-32
• 第四章 基于展開圖的Petri網(wǎng)活性控制器設(shè)計(jì)32-44
• 4.1 引言32
• 4.2 活性控制器存在條件32-34
• 4.3 活性控制器設(shè)計(jì)34-42
• 4.3.1 庫所不變量法34-35
• 4.3.2 控制器設(shè)計(jì)35-42
• 4.4 小結(jié)42-44
• 第五章 總結(jié)與展望44-48
• 參考文獻(xiàn)48-54
• 攻讀學(xué)位期間完成的學(xué)術(shù)論文54-56
• 致謝56-57

【相似文獻(xiàn)】

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

1 夏薇;姚益平;慕曉冬;;基于事件圖的并行離散事件仿真方法[J];計(jì)算機(jī)工程;2012年07期

2 楊新華,林健;并行離散事件仿真及其應(yīng)用研究[J];計(jì)算機(jī)仿真;2001年02期

3 李俊紅;楊洪斌;吳悅;;基于樂觀策略的并行離散事件模擬研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2006年01期

4 張耀程;喬海泉;李革;黃柯棣;;并行離散事件仿真中的回退和持續(xù)機(jī)制研究[J];系統(tǒng)仿真學(xué)報(bào);2007年01期

5 鄧書晶;;計(jì)算機(jī)離散事件仿真的原理[J];計(jì)算機(jī)與現(xiàn)代化;2009年06期

6 蘇年樂;吳雪陽;李群;王維平;朱一凡;;基于多核平臺的樂觀并行離散事件仿真[J];系統(tǒng)仿真學(xué)報(bào);2010年04期

7 段平;;分布式離散事件模擬的進(jìn)展與問題[J];西安電子科技大學(xué)學(xué)報(bào);1991年03期

8 張耀鴻,沙基昌,羅雪山;分布離散事件仿真的集中同步算法[J];計(jì)算機(jī)仿真;2001年01期

9 周喜明,吳悅,楊洪斌;面向?qū)ο蟮碾x散事件仿真核的設(shè)計(jì)和實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2004年16期

10 周喜明,吳悅,楊洪斌;時(shí)間偏差的并行離散事件模擬研究綜述[J];計(jì)算機(jī)應(yīng)用研究;2004年11期

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

1 徐心和;于海斌;劉長有;王黎明;;離散事件星序列的代數(shù)求和與求積[A];第三屆全國控制與決策系統(tǒng)學(xué)術(shù)會(huì)議論文集[C];1991年

2 羅海鵬;;復(fù)雜生產(chǎn)過程中的離散事件問題研究通過鑒定[A];廣西計(jì)算機(jī)學(xué)會(huì)2004年學(xué)術(shù)年會(huì)論文集[C];2004年

3 喬海泉;鞠儒生;張錳;李革;黃柯棣;;并行離散事件仿真系統(tǒng)內(nèi)核及其回退框架[A];'2006系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)交流會(huì)論文集[C];2006年

4 徐心和;于海斌;劉長有;王黎明;;離散事件星序列的幾何求和與求積[A];1992年中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1992年

5 王婷;;一種新的并行離散事件仿真平臺的框架設(shè)計(jì)[A];第十屆中國科協(xié)年會(huì)論文集（一）[C];2008年

6 王緩緩;胡斌;石永;;離散事件與基于智能體的集成模擬研究[A];第13屆中國系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)年會(huì)論文集[C];2011年

7 黃典偉;吳智銘;;實(shí)時(shí)離散事件系統(tǒng)建模[A];1995中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1995年

8 胡斌;牛飛;;離散事件仿真和定性仿真的集成及其人-物互動(dòng)仿真應(yīng)用[A];'2008系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2008年

9 沈劍峰;金淳;霍琳;;基于離散事件仿真的信息系統(tǒng)性能測試方法[A];'2006系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)交流會(huì)論文集[C];2006年

10 吳兆春;徐心和;柏立軍;王梅生;;離散事件過程監(jiān)控的代數(shù)方法[A];1997中國控制與決策學(xué)術(shù)年會(huì)論文集[C];1997年

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

1 唐文杰;基于CMP+GPU異構(gòu)計(jì)算系統(tǒng)的并行離散事件仿真優(yōu)化技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2013年

2 陳莉麗;基于多核集群的并行離散事件仿真性能優(yōu)化技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

3 張佳峰;可重構(gòu)離散事件控制系統(tǒng)的建模與驗(yàn)證[D];西安電子科技大學(xué);2015年

4 王曉鋒;提高大規(guī)模離散事件網(wǎng)絡(luò)模擬性能方法的研究[D];哈爾濱工業(yè)大學(xué);2007年

5 張穎星;面向復(fù)雜系統(tǒng)應(yīng)用的并行離散事件仿真性能優(yōu)化技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

6 張耀程;通用并行離散事件仿真環(huán)境及相關(guān)技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2008年

7 王兵;邏輯進(jìn)程范型的形式語義、算法評估及其在空間隨機(jī)仿真中的應(yīng)用[D];國防科學(xué)技術(shù)大學(xué);2011年

8 王壽光;基于簡化技術(shù)的離散事件系統(tǒng)控制器的綜合[D];浙江大學(xué);2005年

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

1 方偉波;基于Petri網(wǎng)展開理論的離散事件系統(tǒng)活性控制器綜合[D];太原科技大學(xué);2015年

2 侯波南;并行離散事件仿真概念建模技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2008年

3 何駿;通用離散事件仿真平臺的設(shè)計(jì)開發(fā)及應(yīng)用[D];上海交通大學(xué);2008年

4 劉子昱;分布式離散事件仿真平臺研究[D];首都經(jīng)濟(jì)貿(mào)易大學(xué);2008年

5 李發(fā)剛;并行離散事件仿真運(yùn)行信息記錄與分析工具的設(shè)計(jì)與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2009年

6 張盈;并行離散事件仿真數(shù)據(jù)管理技術(shù)的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2009年

7 趙宇亮;并行離散事件仿真多核并行處理技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2009年

8 孫太懷;并行離散事件仿真數(shù)據(jù)采集系統(tǒng)的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2008年

9 解海濤;并行離散事件仿真系統(tǒng)集成環(huán)境的設(shè)計(jì)與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2008年

10 劉金鵬;并行離散事件仿真多樣本任務(wù)分發(fā)與調(diào)度技術(shù)的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2008年

  本文關(guān)鍵詞：基于Petri網(wǎng)展開理論的離散事件系統(tǒng)活性控制器綜合，由筆耕文化傳播整理發(fā)布。

本文編號：351732