基于信標(biāo)選擇的死鎖控制算法研究.pdf

1、本文致力于柔性制造系統(tǒng)的死鎖預(yù)防問題研究?；陉P(guān)鍵標(biāo)識(shí)、集合覆蓋、信標(biāo)選擇的死鎖控制算法綜合考慮了極小信標(biāo)與可達(dá)標(biāo)識(shí)之間的關(guān)系，從而可以獲得結(jié)構(gòu)相對簡單，許可行為較多的活性Petri網(wǎng)控制器。由于同時(shí)考慮了信標(biāo)與標(biāo)識(shí)之間的關(guān)系，使得計(jì)算更加復(fù)雜，因?yàn)閲?yán)格極小信標(biāo)和可達(dá)標(biāo)識(shí)的求取以及集合覆蓋問題的計(jì)算復(fù)雜度理論上都是與網(wǎng)規(guī)模呈指數(shù)關(guān)系的。本文從兩個(gè)方面對該算法加以改進(jìn)，提出了一種基于信標(biāo)選擇的死鎖預(yù)防的優(yōu)化策略。優(yōu)化的目的在于簡化上述算法

2、中的計(jì)算過程。
　　 首先，本文提出改進(jìn)的信標(biāo)求取算法。利用符號(hào)關(guān)聯(lián)矩陣求取信標(biāo)存在重復(fù)計(jì)算的問題。對此，改進(jìn)的算法在尋找符合構(gòu)成信標(biāo)條件的庫所時(shí)增加了判定條件，可以避免一些信標(biāo)的重復(fù)計(jì)算。這個(gè)改進(jìn)對尋找信標(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ì)算量將大大減少。最后通過實(shí)例對所給出