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

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

2、中的計算過程。
　　 首先，本文提出改進(jìn)的信標(biāo)求取算法。利用符號關(guān)聯(lián)矩陣求取信標(biāo)存在重復(fù)計算的問題。對此，改進(jìn)的算法在尋找符合構(gòu)成信標(biāo)條件的庫所時增加了判定條件，可以避免一些信標(biāo)的重復(fù)計算。這個改進(jìn)對尋找信標(biāo)以及后續(xù)的極小性判斷都是有利的，文中給出了理論證明。其次，在死鎖策略方面，將可達(dá)標(biāo)識中的非法標(biāo)識與合法標(biāo)識分離，從而將關(guān)鍵標(biāo)識的求取范圍縮小到非法標(biāo)識集合內(nèi)，這樣在獲取信標(biāo)的清空方式時的計算量將大大減少。最后通過實例對所給出