本文致力于柔性制造系統(tǒng)的死鎖預(yù)防問(wèn)題研究�；陉P(guān)鍵標(biāo)識(shí)、集合覆蓋、信標(biāo)選擇的死鎖控制算法綜合考慮了極小信標(biāo)與可達(dá)標(biāo)識(shí)之間的關(guān)系,從而可以獲得結(jié)構(gòu)相對(duì)簡(jiǎn)單,許可行為較多的活性Petri網(wǎng)控制器。由于同時(shí)考慮了信標(biāo)與標(biāo)識(shí)之間的關(guān)系,使得計(jì)算更加復(fù)雜,因?yàn)閲?yán)格極小信標(biāo)和可達(dá)標(biāo)識(shí)的求取以及集合覆蓋問(wèn)題的計(jì)算復(fù)雜度理論上都是與網(wǎng)規(guī)模呈指數(shù)關(guān)系的。本文從兩個(gè)方面對(duì)該算法加以改進(jìn),提出了一種基于信標(biāo)選擇的死鎖預(yù)防的優(yōu)化策略。優(yōu)化的目的在于簡(jiǎn)化上述算法中的計(jì)算過(guò)程。 首先,本文提出改進(jìn)的信標(biāo)求取算法。利用符號(hào)關(guān)聯(lián)矩陣求取信標(biāo)存在重復(fù)計(jì)算的問(wèn)題。對(duì)此,改進(jìn)的算法在尋找符合構(gòu)成信標(biāo)條件的庫(kù)所時(shí)增加了判定條件,可以避免一些信標(biāo)的重復(fù)計(jì)算。這個(gè)改進(jìn)對(duì)尋找信標(biāo)以及后續(xù)的極小性判斷都是有利的,文中給出了理論證明。其次,在死鎖策略方面,將可達(dá)標(biāo)識(shí)中的非法標(biāo)識(shí)與合法標(biāo)識(shí)分離,從而將關(guān)鍵標(biāo)識(shí)的求取范圍縮小到非法標(biāo)識(shí)集合內(nèi),這樣在獲取信標(biāo)的清空方式時(shí)的計(jì)算量將大大減少。最后通過(guò)實(shí)例對(duì)所給出的算法進(jìn)行了驗(yàn)證。
【學(xué)位單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位年份】：2010
【中圖分類(lèi)】：TH165
【部分圖文】：

圖 3.1 Petri 網(wǎng)實(shí)例示了上述算法，如圖 3.1 所示的 Petri 網(wǎng)。網(wǎng)的關(guān)聯(lián)矩[N] = 01010011010111111100，得其符號(hào)關(guān)聯(lián)矩陣[A]為：[A] = oiioiooioiio00000000第一行并令1A = io00

M1 機(jī)床 M1 就緒 M2 機(jī)床 M2 就緒R 機(jī)器人就緒 B 緩沖器就緒圖4.2 (a)工序序列的Petri網(wǎng)圖，(b)添加資源庫(kù)所后得到的完整的Petri網(wǎng)模型若不能為一個(gè)制造系統(tǒng)建立良好的 Petri 網(wǎng)模型，基于 Petri 網(wǎng)的分析、驗(yàn)證、性能評(píng)價(jià)以及控制實(shí)現(xiàn)都無(wú)從談起。這里所謂的“良好”，是指 Petri 網(wǎng)模型本身要準(zhǔn)確反映和揭示物理系統(tǒng)的本質(zhì)特性，這樣才能通過(guò)對(duì)模型的分析和研究，把握系統(tǒng)的本質(zhì)，以便最終對(duì)系統(tǒng)進(jìn)行控制，使得受控系統(tǒng)具有希望的行為，而不會(huì)出現(xiàn)人們不希望的行為。

基于信標(biāo)選擇的死鎖控制算法研究nt x9nt x10nt x11nt x12nt x13nt x14nt x15indo 計(jì)算結(jié)果為 x3 = 1 和 x5 = 1，分別對(duì)應(yīng)添加控制庫(kù)所 p20、p21和統(tǒng)的信標(biāo) S3和 S5，得到如下控制器：添加控制庫(kù)所 p23： p23= { t7, 2 t11}，p23 = { t1, 2 t9}，M(p23) = 6；添加控制庫(kù)所 p24： p24= { t7, 2 t11}，p24 = { t2, t4, 2 t9}，M(p24) = 5。
【相似文獻(xiàn)】

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

1 羅挺,陳根煜;信標(biāo)GPS測(cè)量精度實(shí)例分析[J];西部探礦工程;2004年08期

2 楊廣治，李士文;補(bǔ)充COSPAS／SARSAT的406MHz搜救靜止衛(wèi)星系統(tǒng)（二）[J];世界海運(yùn);1994年03期

3 溫艷清;信息技術(shù)必須走標(biāo)準(zhǔn)化之路──上海市信息標(biāo)準(zhǔn)化技術(shù)委員會(huì)成立大會(huì)紀(jì)要[J];上海標(biāo)準(zhǔn)化;1999年02期

4 柯工;汽車(chē)的智能系統(tǒng)[J];汽車(chē)與社會(huì);1997年11期

5 曹福成,王黎濤;話(huà)說(shuō)飛機(jī)的“黑匣子”[J];國(guó)防科技工業(yè);2002年06期

6 ;航天成果[J];航天技術(shù)與民品;1997年12期

7 陳笠,俞信;波前傳感器子孔徑數(shù)和信標(biāo)亮度的匹配[J];光電工程;1998年06期

8 ;船舶失事信標(biāo)裝置[J];軍民兩用技術(shù)與產(chǎn)品;2002年07期

9 程鵬輝,陳海清,管保柱;星載自適應(yīng)光學(xué)系統(tǒng)信標(biāo)技術(shù)與理論[J];光電工程;2004年08期

10 王冰,張惠僑,葉慶泰;移動(dòng)式機(jī)器人信標(biāo)定位系統(tǒng)的誤差分析及其應(yīng)用[J];機(jī)械設(shè)計(jì)與研究;2000年02期

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

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

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

3 何善君;自動(dòng)小車(chē)存取系統(tǒng)的建模及其若干關(guān)鍵技術(shù)研究[D];廈門(mén)大學(xué);2008年

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

5 陳玉峰;柔性制造系統(tǒng)最大許可行為Petri網(wǎng)控制器設(shè)計(jì)[D];西安電子科技大學(xué);2011年

6 陳健;以太分組網(wǎng)絡(luò)時(shí)鐘同步技術(shù)研究及應(yīng)用[D];上海大學(xué);2008年

7 葉阿勇;無(wú)線(xiàn)傳感器網(wǎng)絡(luò)節(jié)點(diǎn)安全定位[D];西安電子科技大學(xué);2009年

8 劉貞;基于無(wú)線(xiàn)傳感器網(wǎng)絡(luò)的機(jī)器人分布式導(dǎo)航方法研究[D];哈爾濱工業(yè)大學(xué);2009年

9 沙超;無(wú)線(xiàn)多媒體傳感器網(wǎng)絡(luò)節(jié)能關(guān)鍵技術(shù)研究[D];南京郵電大學(xué);2011年

10 魏葉華;無(wú)線(xiàn)傳感器網(wǎng)絡(luò)中定位問(wèn)題研究[D];湖南大學(xué);2009年

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

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

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

3 甘清華;基于信標(biāo)選擇的死鎖控制算法研究[D];西安電子科技大學(xué);2010年

4 宣穎;智能交通系統(tǒng)體系及關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2003年

5 陳偉;WPAN網(wǎng)絡(luò)信標(biāo)期改進(jìn)以及多信道實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

6 梁京偉;基于信標(biāo)最大可控性的資源分配系統(tǒng)死鎖預(yù)防策略[D];西安電子科技大學(xué);2005年

7 盧陽(yáng);一類(lèi)柔性制造系統(tǒng)死鎖預(yù)防策略[D];西安電子科技大學(xué);2005年

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

9 支新軍;基于DSP的空間光通信PAT系統(tǒng)中光信號(hào)處理子系統(tǒng)的研究與設(shè)計(jì)[D];武漢大學(xué);2004年

10 周孫佐;基于Petri網(wǎng)結(jié)構(gòu)分析的從屬信標(biāo)存在性研究[D];西安電子科技大學(xué);2007年

本文編號(hào)：2860352