發(fā)布時(shí)間：2020-05-31 04:07

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

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

第四章 死鎖預(yù)防算法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設(shè)(N, M)是一個(gè)網(wǎng)系統(tǒng)，該網(wǎng)系統(tǒng)存在可被清空當(dāng) G(M)<|P|。從另外一個(gè)角度考慮這個(gè)問(wèn)題，當(dāng) G(M)=|P|。定義，這個(gè)推論是顯然成立的，同時(shí)，該推論提出兩個(gè)圖給出的就是反例。
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2007
【分類號(hào)】：TH165

【共引文獻(xiàn)】

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

1 王安榮,段江濤,李志武,賈建援;資源分配系統(tǒng)禁止?fàn)顟B(tài)的避免研究[J];西安電子科技大學(xué)學(xué)報(bào);2005年05期

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

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

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

1 袁偉東;面向類生物化制造系統(tǒng)的協(xié)調(diào)機(jī)制研究與實(shí)現(xiàn)[D];南京航空航天大學(xué);2010年

2 郝林;基于Petri網(wǎng)的自動(dòng)制造系統(tǒng)的死鎖分析[D];西安電子科技大學(xué);2002年

3 王浩;基于Petri網(wǎng)的柔性制造系統(tǒng)死鎖預(yù)防策略[D];西安電子科技大學(xué);2004年

4 支運(yùn)安;基于基本信標(biāo)的FMS死鎖預(yù)防[D];西安電子科技大學(xué);2005年

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

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

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

8 胡核算;基于MIP算法的系統(tǒng)Petri網(wǎng)模型中的死鎖預(yù)防[D];西安電子科技大學(xué);2005年

9 丁偉;基于Petri網(wǎng)的柔性制造系統(tǒng)設(shè)備故障建模及死鎖預(yù)防[D];西安電子科技大學(xué);2005年

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

本文編號(hào)：2689259