版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、自然世界及工程實(shí)際中的許多現(xiàn)象都可以歸結(jié)為離散事件動(dòng)態(tài)系統(tǒng)(DEDS),這些系統(tǒng)無(wú)一例外的要求具有無(wú)阻塞性,及系統(tǒng)運(yùn)行無(wú)死鎖.科學(xué)界針對(duì)這一問(wèn)題提出了許多先進(jìn)的控制理論及方法,其中Petri網(wǎng)由于具有離散性,并發(fā)性,隨機(jī)性,可以較好的描述此類系統(tǒng)而得到了廣泛應(yīng)用.傳統(tǒng)的基于Petri網(wǎng)的死鎖預(yù)防策略一般遵循控制系統(tǒng)Petri網(wǎng)模型中的所有嚴(yán)格極小信標(biāo)被清空從而達(dá)到控制整個(gè)系統(tǒng)使之無(wú)死鎖的這一基本思想.然而,由于系統(tǒng)Petri網(wǎng)模型中的信
2、標(biāo)的個(gè)數(shù)隨著網(wǎng)規(guī)模呈指數(shù)增長(zhǎng),基于這一思想的控制策略往往不可行.一種基于基本信標(biāo)的死鎖預(yù)防策略應(yīng)運(yùn)而生,該理論指出只要網(wǎng)系統(tǒng)的基本信標(biāo)得到控制,其他的嚴(yán)格極小信標(biāo)也隨之得到控制,而且與嚴(yán)格極小信標(biāo)不同的是,基本信標(biāo)的個(gè)數(shù)是強(qiáng)受限于網(wǎng)系統(tǒng)的規(guī)模的.本文在此研究的基礎(chǔ)上,論證了網(wǎng)系統(tǒng)中的基本信標(biāo)的不唯一性,控制不同的基本信標(biāo)可以得到不同的控制效果,進(jìn)而提出了最優(yōu)基本信標(biāo)的概念并給出了相應(yīng)的計(jì)算方法,應(yīng)用這一計(jì)算方法可以在多項(xiàng)式時(shí)間內(nèi)求得一組
3、最優(yōu)基本信標(biāo),也就是說(shuō),控制該組基本信標(biāo)相對(duì)于其他的基本信標(biāo)可以使得系統(tǒng)Petri網(wǎng)模型具有最多的可達(dá)狀態(tài),這在實(shí)際中,意味著系統(tǒng)具有更大的靈活性.但是上述理論雖然只需要控制基本信標(biāo)即可以控制整個(gè)系統(tǒng),但是由于從屬信標(biāo)滿足一定的可控性條件才能完全受控,這意味著在控制算法的生成過(guò)程中所有的信標(biāo)都要參與,從而大大增加了系統(tǒng)控制的復(fù)雜性.本文在基本信標(biāo)理論基礎(chǔ)上,提出了一種基于MIP算法的死鎖預(yù)防策略,該策略指出了一種思路,可以控制基本信標(biāo),
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 柔性制造系統(tǒng)中基于petri網(wǎng)的死鎖預(yù)防策略.pdf
- 基于Petri網(wǎng)的柔性制造系統(tǒng)死鎖預(yù)防策略.pdf
- 基于信標(biāo)迭代控制的Petri網(wǎng)死鎖預(yù)防策略.pdf
- 基于Petri網(wǎng)的一類并發(fā)程序死鎖預(yù)防策略.pdf
- 基于Petri網(wǎng)的柔性制造系統(tǒng)設(shè)備故障建模及死鎖預(yù)防.pdf
- Petri網(wǎng)死鎖迭代控制算法研究.pdf
- 基于Petri網(wǎng)的自動(dòng)制造系統(tǒng)的死鎖分析.pdf
- 柔性制造系統(tǒng)死鎖預(yù)防的Petri網(wǎng)控制器綜合.pdf
- 基于Petri網(wǎng)的智能機(jī)器人系統(tǒng)死鎖檢測(cè).pdf
- 基于Petri網(wǎng)的多線程死鎖檢測(cè)研究.pdf
- 關(guān)于Petri網(wǎng)可重復(fù)向量及死鎖的求解算法.pdf
- 面向?qū)ο驪etri網(wǎng)的約簡(jiǎn)和系統(tǒng)死鎖的檢測(cè).pdf
- 基于無(wú)死鎖初始標(biāo)識(shí)的Petri網(wǎng)控制器設(shè)計(jì).pdf
- Petri網(wǎng)死鎖迭代控制中若干問(wèn)題研究.pdf
- 基于一般Petri網(wǎng)的死鎖迭代控制策略的研究.pdf
- 基于Petri網(wǎng)的柔性制造系統(tǒng)可達(dá)性分析與死鎖控制.pdf
- Petri網(wǎng)基本信標(biāo)的求取算法及死鎖避免策略研究.pdf
- 存在不可控變遷的Petri網(wǎng)死鎖避免策略.pdf
- 基于多核機(jī)群的Petri網(wǎng)并行模型及其算法研究.pdf
- 基于Petri網(wǎng)的軟件模型驗(yàn)證.pdf
評(píng)論
0/150
提交評(píng)論