【摘要】： 柔性制造系統中對有限資源的競爭會使系統產生死鎖現象。Petri網作為一種建模分析工具,它能很方便地為柔性制造系統建模并分析和解決這一死鎖問題。目前死鎖預防方法大都是在目標Petri網模型中增加控制器,它由新的控制庫所和相關弧構成。Ezpeleta死鎖預防算法是通過給造成死鎖的每一個嚴格極小信標添加控制庫所和連接弧來保證沒有信標被清空。但隨著網規(guī)模的增大,極小信標的數目會以指數級的規(guī)模激增,其缺點是給網系統添加了過多的控制庫所和連接弧,這樣會使最終網系統比初始網系統復雜很多�；诨拘艠死碚摰乃梨i預防算法雖然使得控制器的結構有所簡化,但它是一種保守的控制策略,它把監(jiān)督庫所的輸出弧前提,結果使得受控網的許可行為有所減少,最終影響控制效果。本文致力于一種優(yōu)化控制器的行為研究,它在得到更為優(yōu)化控制效果的同時能進一步減少新添加控制庫所數量。本算法可以產生結構上更為簡單、同時許可行為更多的受控網模型。通過對幾種不同規(guī)模的柔性制造系統的死鎖分析得知本文算法的優(yōu)越性在規(guī)模越大的網中越明顯。
【圖文】：

第四章 死鎖預防算法2同樣我們可以得到 S2={p4, p10, p11, p12}的控制庫所 Vs2：Vs2 ＝{t1, t8} Vs2＝{t3, t6,t10}最后調整ξi值可以得到M0(Vs1)＝2M0(Vs2)＝2這樣我們得到最終的控制網系統如圖 4.2 所示。很明顯此種算法比前一種算法少加了一個控制庫所，同樣使得網得到控制成為活網，而且可達狀態(tài)數并沒有減少，同樣是 155。此種算法在大規(guī)模的網系統中應用顯得尤為重要，，我們將在下面的章節(jié)中重點分析比較這兩種方法。

第四章 死鎖預防算法s.t.zt≥∑p∈ tvp-| t|+1, t∈T,vp≥zt, (t, p)∈F,vp, zt∈{0, 1}vp≥1{M(p)>0}, p∈P。M=M0+CY, M≥0, Y≥0設(N, M)是一個網系統，該網系統存在可被清空當 G(M)<|P|。從另外一個角度考慮這個問題，當 G(M)=|P|。定義，這個推論是顯然成立的，同時，該推論提出兩個圖給出的就是反例。
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2007
【分類號】：TH165

【共引文獻】

相關期刊論文 前1條

1 王安榮,段江濤,李志武,賈建援;資源分配系統禁止狀態(tài)的避免研究[J];西安電子科技大學學報;2005年05期

相關博士學位論文 前1條

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

相關碩士學位論文 前10條

1 袁偉東;面向類生物化制造系統的協調機制研究與實現[D];南京航空航天大學;2010年

2 郝林;基于Petri網的自動制造系統的死鎖分析[D];西安電子科技大學;2002年

3 王浩;基于Petri網的柔性制造系統死鎖預防策略[D];西安電子科技大學;2004年

4 支運安;基于基本信標的FMS死鎖預防[D];西安電子科技大學;2005年

5 王興平;基于FMS的死鎖預防優(yōu)化控制策略研究[D];西安電子科技大學;2005年

6 曹衛(wèi)賢;基于柔性制造系統的基本信標死鎖預防分析[D];西安電子科技大學;2005年

7 夏海斌;一類柔性制造系統的死鎖研究與分析[D];西安電子科技大學;2005年

8 胡核算;基于MIP算法的系統Petri網模型中的死鎖預防[D];西安電子科技大學;2005年

9 丁偉;基于Petri網的柔性制造系統設備故障建模及死鎖預防[D];西安電子科技大學;2005年

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

本文編號：2689259