本文關鍵詞：基于Petri網(wǎng)的離散事件系統(tǒng)控制器設計及應用研究

  更多相關文章： 離散事件系統(tǒng) 混合約束 Petri網(wǎng) 不可控變遷

【摘要】：Petri網(wǎng)能很容易地表達狹義相對論的觀點,在形式建模和系統(tǒng)分析時可以采用直觀的圖形化表示。Petri網(wǎng)的建模能力和數(shù)學化表達方法,使其能夠很好的運用于柔性制造系統(tǒng)、交通控制系統(tǒng)、計算機網(wǎng)絡等方面中。雖然Petri網(wǎng)有許多優(yōu)越的性質,面對較為龐大的離散事件系統(tǒng)時,他有狀態(tài)矩陣的維數(shù)極大,運算復雜但缺乏統(tǒng)一的理論體系等問題存在。本文基于Petri網(wǎng)的離散事件系統(tǒng)控制器的設計,主要研究工作摘要如下： (1)提出了設計離散事件系統(tǒng)的Petri網(wǎng)控制器設計方法。改進了基于庫所不變量方法進行離散事件系統(tǒng)控制器設計的方法。通過網(wǎng)簡化技術原則,局部設計原則,讓系統(tǒng)設計程度變得簡便一些。除此之外,在庫所標識和變遷激發(fā)的混合約束中,運用Petri網(wǎng)控制器的方法,使現(xiàn)有的系統(tǒng)和約束變得更一般,由于死鎖的緣故,這些情況無法實現(xiàn),無法通過給定約束實現(xiàn),只在方法的有效性和可行性上予以理論和應用上的驗證。 (2)對于線性不等式約束,本文首先考慮了不含不可控變遷的情況,構建了結構型控制器,這樣構建的控制器不用考慮整個Petri網(wǎng)模型的關聯(lián)矩陣,只需要考慮與約束庫所相關聯(lián)的變遷和約束變遷,通過該方法設計的控制器是最大允許的。然后本文引入了死鎖的概念,因為控制器的引入可能會引入死鎖,造成原本不存在死鎖的系統(tǒng)進入死鎖狀態(tài)。對于這樣的情形需要進行預防死鎖的處理。 (3)針對分散控制的核心問題,有種沖突是可能出現(xiàn)的,就是分散監(jiān)控器與它原有的系統(tǒng)之間發(fā)生的,這就引起了一種阻塞的問題,這是出現(xiàn)在閉環(huán)系統(tǒng)中的,本文引入了協(xié)調器的概念來加以解決。要檢測系統(tǒng)的沖突,可以通過CFN結構來,對協(xié)調器進行設計。這種方法具有很高的計算效率,并且具有形象直觀的優(yōu)點,最后得到的是無阻塞且最大允許的系統(tǒng)。最后,本文用一個例子對整個算法步驟和程序進行了演繹。
【關鍵詞】：離散事件系統(tǒng) 混合約束 Petri網(wǎng) 不可控變遷
【學位授予單位】：浙江工商大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP301.1;TP332
【目錄】：

• 摘要2-4
• ABSTRACT4-8
• 1 緒論8-13
• 1.1 研究背景8-9
• 1.2 研究目的與意義9
• 1.3 國內外研究現(xiàn)狀9-10
• 1.4 研究內容10-11
• 1.5 創(chuàng)新點11-13
• 2 Petri網(wǎng)的相關理論基礎13-20
• 2.1 Petri網(wǎng)基礎理論13-17
• 2.1.1 Petri網(wǎng)基本概念13-15
• 2.1.2 Petri網(wǎng)的性質15-16
• 2.1.3 Petri網(wǎng)的分析方法16-17
• 2.2 控制器設計基礎理論17-19
• 2.2.1 一般線性不等式約束17-18
• 2.2.2 混合線性約束18-19
• 2.2.3 變遷的可控客觀性19
• 2.3 本章小結19-20
• 3 基于Petri網(wǎng)的離散事件系統(tǒng)控制器設計20-42
• 3.1 不含有不可控變遷的混合約束Petri網(wǎng)控制器設計20-26
• 3.2 含有不可控變遷的混合約束Petri網(wǎng)控制器設計26-37
• 3.2.1 不可控變遷的處理26-31
• 3.2.2 約束轉化分析31-32
• 3.2.3 控制器的技術方法32-35
• 3.2.4 控制器的設計實例35-37
• 3.3 無死鎖的Petri網(wǎng)控制器設計37-40
• 3.4 本章小結40-42
• 4 基于Petri網(wǎng)的離散事件系統(tǒng)控制器的混合設計與應用42-54
• 4.1 控制器設計42-44
• 4.2 控制器的算法44-45
• 4.3 控制器的混合設計45-46
• 4.4 應用實例46-53
• 4.5 本章小結53-54
• 5 總結與展望54-55
• 參考文獻55-58
• 本文作者在碩士研究生期間參與的項目及成果58-59
• 致謝59-60

【參考文獻】

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

1 林闖,李雅娟,王忠民;性能評價形式化方法的現(xiàn)狀和發(fā)展[J];電子學報;2002年S1期

2 林闖,魏丫丫;隨機進程代數(shù)與隨機Petri網(wǎng)[J];軟件學報;2002年02期

，

本文編號：1017070