柔性制造系統(tǒng)(FMS)通過資源共享的方式生產(chǎn)加工出各種各樣的產(chǎn)品,基于對有限資源的競爭,死鎖現(xiàn)象可能會(huì)出現(xiàn)在FMS中。如果死鎖發(fā)生,就會(huì)導(dǎo)致系統(tǒng)被阻塞,系統(tǒng)的效率和生產(chǎn)力就會(huì)降低。因此,在FMS系統(tǒng)的設(shè)計(jì)與控制過程中,必須考慮死鎖問題。Petri網(wǎng)是一種適合對FMS系統(tǒng)進(jìn)行建模和仿真控制的工具�；诮Y(jié)構(gòu)分析在FMS的死鎖控制中起著重要的作用。Petri網(wǎng)結(jié)構(gòu)中,信標(biāo)和資源環(huán)是兩種特殊的結(jié)構(gòu),它們和死鎖有很強(qiáng)關(guān)聯(lián)。理論上信標(biāo)和資源環(huán)的數(shù)量與Petri網(wǎng)規(guī)模呈指數(shù)增長。有效地計(jì)算Petri網(wǎng)中全部的極小信標(biāo)與資源環(huán)成為科研工作亟需解決的問題。本文提出了一種利用整數(shù)線性規(guī)劃計(jì)算一般Petri網(wǎng)模型中全部極小信標(biāo)以及全部資源環(huán)的方法。基于可達(dá)圖的Petri網(wǎng)分析方法一般能夠?qū)崿F(xiàn)死鎖的最優(yōu)控制,但需要計(jì)算網(wǎng)模型的全部可達(dá)狀態(tài),該方法受狀態(tài)爆炸問題的制約�；诒苊庥�(jì)算Petri網(wǎng)全部可達(dá)狀態(tài),結(jié)合信標(biāo)與可達(dá)圖理論,本文提出一種只搜索部分可達(dá)圖就能得到Petri網(wǎng)死區(qū)標(biāo)識(shí)集(DZ)的策略。本文主要研究內(nèi)容如下:1、本文提出了一種利用整數(shù)線性規(guī)劃計(jì)算一般Petri網(wǎng)模型中全部極小信標(biāo)和全部資源環(huán)的方法...

【文章頁數(shù)】：80 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖10南海海域潛艇各航向各航速的磁異曲線

講獾撓跋旆治觶ㄗ艿?5-）未來士兵系統(tǒng)作戰(zhàn)概念研究基于“作戰(zhàn)云”的“云作戰(zhàn)”問題探析基于動(dòng)態(tài)調(diào)節(jié)時(shí)間的導(dǎo)彈編隊(duì)逆最優(yōu)控制算法動(dòng)態(tài)模糊Petri網(wǎng)下的Adhoc風(fēng)險(xiǎn)評(píng)估航母作戰(zhàn)部署的艦載機(jī)出動(dòng)架次優(yōu)化研究基于ERA和PT的艦艇編隊(duì)多作戰(zhàn)想定下效能評(píng)價(jià)基于偽隨機(jī)線性調(diào)頻的雙序列跳頻通....

圖3.3LPMS算法實(shí)驗(yàn)數(shù)據(jù)圖

實(shí)驗(yàn)的環(huán)境：軟件：C++語言，MicrosoftVisualStudio2010，LINDO計(jì)算包。硬件：Intel(R)Core(TM)i5-3230M，CPU2.60GHz，內(nèi)存4GB，64位windows7系統(tǒng)。實(shí)驗(yàn)數(shù)據(jù)說明：隨機(jī)生成Petri網(wǎng)模型....

圖3.4LPMS算法實(shí)驗(yàn)數(shù)據(jù)對比圖

圖3.4LPMS算法實(shí)驗(yàn)數(shù)據(jù)對比圖進(jìn)行測試的最長用時(shí)限定為2小時(shí)，在規(guī)定時(shí)間內(nèi)對于節(jié)點(diǎn)數(shù)量P+T≤200的般Petri網(wǎng)模型均能夠得到其包含的全部極小信標(biāo)，經(jīng)統(tǒng)計(jì)極小信標(biāo)數(shù)量在區(qū)間500,2500]內(nèi)。從LPMS算法的實(shí)驗(yàn)結(jié)果可以得出如下結(jié)論：1、LPMS....

圖3.6算法LPC0與算法LPC1對比實(shí)驗(yàn)圖

網(wǎng)模型中環(huán)路的數(shù)量，縱坐標(biāo)表示算法運(yùn)行時(shí)間。為將數(shù)據(jù)顯示地更形象，采取單對數(shù)坐標(biāo)軸對數(shù)據(jù)進(jìn)行展示，即橫坐標(biāo)以對數(shù)方式刻度，縱坐標(biāo)以線性比例均勻刻度。圖3.6算法LPC0與算法LPC1對比實(shí)驗(yàn)圖從算法LPC1與算法LPC0的對比實(shí)驗(yàn)結(jié)果中可以得出如下結(jié)論：1、算法....

本文編號(hào)：3906208