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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

5 朱森;;一類(lèi)Petri網(wǎng)——S~4R的死鎖預(yù)防策略[J];計(jì)算機(jī)科學(xué);2010年10期

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

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

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

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

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

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

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

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

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

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

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

6 韋娜;基于無(wú)死鎖初始標(biāo)識(shí)的Petri網(wǎng)控制器設(shè)計(jì)[D];西安電子科技大學(xué);2008年

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

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

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

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

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

1 汪成英;S~3PR網(wǎng)的嚴(yán)格極小信標(biāo)計(jì)算及活性控制器設(shè)計(jì)[D];浙江工商大學(xué);2011年

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

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

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

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

6 徐平江;一類(lèi)Petri網(wǎng)的信標(biāo)求取方法及應(yīng)用研究[D];西安電子科技大學(xué);2006年

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

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

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

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

本文編號(hào)：2732780