【摘要】： 本文主要研究柔性制造系統(tǒng)中的死鎖問題,利用Petri網(wǎng)對其建模,對一種網(wǎng)的子類-S3PR網(wǎng),提出了幾種新的死鎖預防策略。網(wǎng)模型中的信標可分為基本信標和從屬信標,對每個基本信標添加控制庫所使其不變式可控,并利用混合整數(shù)規(guī)劃方法來保證不會產(chǎn)生新的可被清空的信標。同樣,也可以利用混合整數(shù)規(guī)劃方法找出一個最大無標識信標,并一次又一次的從中導出極小信標,對每個極小信標,添加一個控制庫所,使其不變式可控,并用混合整數(shù)規(guī)劃方法檢驗保證不會產(chǎn)生由添加的控制庫所引起的新的可被清空的信標。這兩種新的死鎖預防策略會得到更多的許可行為,因為添加的控制庫所和弧的數(shù)量比現(xiàn)有的其它方法要少的多。 利用區(qū)域理論設計控制器可以使受控網(wǎng)得到最大許可行為,但是隨著網(wǎng)規(guī)模的擴大,會出現(xiàn)狀態(tài)爆炸的問題,從而導致計算量比較大。而且不同的初始標識對應著不同的控制器,需要一次次重新計算。本文為了避免這些問題,給出了保證原網(wǎng)無死鎖時,初始標識之間應滿足的關(guān)系式。就是說,給定網(wǎng)結(jié)構(gòu),無論初始標識如何變化,都可以通過改變控制庫所中托肯數(shù)來快捷地設計出新的控制器,避免了重復計算。
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2006
【分類號】：TH165
【圖文】：

于混合整數(shù)規(guī)劃的 FMS 活性控制器設計2.2 Petri 網(wǎng)的實例分析候變化看成一個系統(tǒng)，那么它包含四個溫暖花開。我們把四個箭頭代表的變, p3和p4來表示對應的四個庫所，或更冬四季)于是每個條件都有真和非真兩的四季系統(tǒng)的 Petri 網(wǎng)模型如圖 2.2 所示 p3，及炎熱把我們從夏季帶到了秋季流，它的流動不僅有量變，而且有質(zhì)變圖 2.1 初步模型

第二章 Petri 網(wǎng)的基本概念對應的 Petri 網(wǎng)模型中，p1限制進程中的工件個數(shù)至多為 2，p2代表載工件，p3代表機床正在加工工件，p4代表機器人正在卸載工件，pp6代表機器人。裝載工件卸載工件需要機器人完成，而加工工件需，所以 p5輸出弧分別指向 t1、t3，輸入弧與 t2、t4相連。p6只與 t2、t3

【共引文獻】

相關(guān)期刊論文 前10條

1 岳昊;李文杰;;S~3PR網(wǎng)多項式時間復雜度的化簡算法[J];江西師范大學學報(自然科學版);2010年06期

2 丁力;董利達;樸云;;基于Petri網(wǎng)的并發(fā)編程死鎖預防策略[J];浙江大學學報(理學版);2012年01期

3 俞建峰,殷躍紅,陳兆能;一類制造系統(tǒng)活性控制[J];機床與液壓;2003年03期

4 韋娜;趙咪;閆明明;;基于Petri網(wǎng)的無死鎖控制器設計[J];計算機科學;2008年11期

5 朱森;;一類Petri網(wǎng)——S~4R的死鎖預防策略[J];計算機科學;2010年10期

6 趙振宏,肖田元;柔性制造單元的無死鎖監(jiān)控方法[J];計算機集成制造系統(tǒng)-CIMS;2001年05期

7 徐剛,吳智銘;銀行家算法在柔性制造系統(tǒng)中的改進和應用[J];計算機集成制造系統(tǒng)-CIMS;2004年01期

8 閆明明;李志武;韋娜;趙咪;;S~3PMR網(wǎng)的一種死鎖預防優(yōu)化策略[J];計算機集成制造系統(tǒng);2008年01期

9 ;Deadlock prevention for flexible manufacturing system[J];Journal of Control Theory and Applications;2005年04期

10 徐剛,吳智銘;考慮緩沖區(qū)的自動生產(chǎn)單元的無死鎖調(diào)度策略[J];控制理論與應用;2005年02期

相關(guān)博士學位論文 前10條

1 張志明;柔性制造系統(tǒng)死鎖預防的Petri網(wǎng)控制器綜合[D];浙江大學;2010年

2 鐘春富;基于Petri網(wǎng)的柔性制造系統(tǒng)控制器設計[D];西安電子科技大學;2010年

3 劉改云;自動制造系統(tǒng)的Petri網(wǎng)結(jié)構(gòu)分析和控制器設計[D];西安電子科技大學;2011年

4 黃波;基于Petri網(wǎng)的FMS建模與調(diào)度研究[D];南京理工大學;2006年

5 黃忠華;自動制造系統(tǒng)中的無死鎖調(diào)度與控制[D];上海交通大學;2007年

6 韋娜;基于無死鎖初始標識的Petri網(wǎng)控制器設計[D];西安電子科技大學;2008年

7 王安榮;Petri網(wǎng)基本信標的求取算法及死鎖避免策略研究[D];西安電子科技大學;2009年

8 趙咪;基于一般Petri網(wǎng)的自動制造系統(tǒng)活性控制器設計[D];西安電子科技大學;2009年

9 朱森;資源分配系統(tǒng)死鎖控制及其應用研究[D];西安電子科技大學;2009年

10 胡核算;自動制造系統(tǒng)的Petri網(wǎng)控制器設計及優(yōu)化[D];西安電子科技大學;2010年

相關(guān)碩士學位論文 前10條

1 汪成英;S~3PR網(wǎng)的嚴格極小信標計算及活性控制器設計[D];浙江工商大學;2011年

2 丁力;基于Petri網(wǎng)的一類并發(fā)程序死鎖預防策略[D];浙江大學;2011年

3 熊惠明;Petri網(wǎng)在FMS中的若干應用研究[D];西安電子科技大學;2004年

4 張向峰;基于Petri網(wǎng)的柔性制造系統(tǒng)死鎖預防研究[D];西安電子科技大學;2005年

5 馬雄;柔性制造系統(tǒng)無死鎖Petri網(wǎng)控制器的分解研究[D];西安電子科技大學;2006年

6 徐平江;一類Petri網(wǎng)的信標求取方法及應用研究[D];西安電子科技大學;2006年

7 劉鼎;基于一類Petri Net模型的初始狀態(tài)配置與死鎖檢測[D];西安電子科技大學;2006年

8 張建;結(jié)構(gòu)簡化的Petri網(wǎng)活性控制器設計[D];西安電子科技大學;2007年

9 王國鋒;一種基于區(qū)域法的死鎖預防優(yōu)化策略[D];西安電子科技大學;2009年

10 李鑫;WS~3PR網(wǎng)活性研究中的若干算法優(yōu)化與實現(xiàn)[D];西安電子科技大學;2010年

本文編號：2732780