發(fā)布時間：2021-11-13 02:20

　　近些年,自動制造系統(tǒng)的死鎖問題得到了廣泛的關(guān)注。許多學(xué)者基于Petri網(wǎng)模型對其進(jìn)行了大量的研究。眾所周知,不可控或者不可觀變遷的存在將會大大提高系統(tǒng)發(fā)生死鎖的可能性。因此,找到一個解決含有不可控或不可觀事件系統(tǒng)的死鎖問題的方法變得尤為重要�，F(xiàn)有的針對含有不可控與不可觀事件的自動制造系統(tǒng)的無死鎖研究方法仍存在一些不足,比如:離線計算控制器對系統(tǒng)進(jìn)行控制、需要獲取系統(tǒng)的全局信息、未達(dá)到最大許可等缺點。針對這些不足,本文首先利用全局可達(dá)圖對無死鎖控制方法進(jìn)行分析與實現(xiàn)。其次,通過步長在線實時預(yù)測得到的局部可達(dá)圖信息,對含有不可控與不可觀變遷的Petri網(wǎng)的無死鎖控制方法進(jìn)行了研究。最后,針對含有不可控與不可觀變遷的Petri網(wǎng),得到了一種利用最優(yōu)步長在線實時預(yù)測實現(xiàn)無死鎖控制的方法。該方法與現(xiàn)有的方法相比,其優(yōu)勢體現(xiàn)在:（1）該方法是邊預(yù)測邊控制,即是實時在線的;（2）該方法以步長進(jìn)行預(yù)測只需要知道系統(tǒng)的局部信息而無需知道其全局信息,大大減少了計算和分析的復(fù)雜性;（3）該方法使系統(tǒng)在含有不可控或不可觀事件的情況下的許可性達(dá)到了最大。本文主要完成了以下工作:1.基于全局可達(dá)圖對全可控全可觀的... 

【文章來源】：西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

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

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

【部分圖文】：

傳統(tǒng)制造

1.1 研究的背景與意義制造活動本質(zhì)就是一種轉(zhuǎn)化過程，該轉(zhuǎn)化過程是將原料、人力、動力及設(shè)備集成起來制造高質(zhì)量產(chǎn)品的一種過程，包含這些制造活動的系統(tǒng)稱為制造系統(tǒng)。一個制造系統(tǒng)按照生產(chǎn)流程的不同，分為連續(xù)制造系統(tǒng)和離散制造系統(tǒng)。離散制造系統(tǒng)又分為兩種：裝配系統(tǒng)和非裝配系統(tǒng)。一般產(chǎn)品品種單一、量大、生產(chǎn)穩(wěn)定并且生產(chǎn)的設(shè)備比較專一，效率比較高的生產(chǎn)系統(tǒng)相對于生產(chǎn)量小、品種多且設(shè)備不專一的生產(chǎn)系統(tǒng)產(chǎn)生的經(jīng)濟(jì)效益要高。由于社會的不斷發(fā)展、科技的不斷進(jìn)步，人們對產(chǎn)品的質(zhì)量要求越來越高，并且需求也在不斷地發(fā)生變化。為了滿足這些要求，產(chǎn)品需不斷更替，這將導(dǎo)致產(chǎn)品生產(chǎn)上的難度加大。此時傳統(tǒng)的制造系統(tǒng)已經(jīng)不能滿足要求，進(jìn)而批量生產(chǎn)應(yīng)運而生。但是初始的批量生產(chǎn)成本比較高，并且生產(chǎn)的產(chǎn)品質(zhì)量不高，為了彌補這些缺點，自動制造系統(tǒng)[1][2][3][4][5]就誕生了，自動制造系統(tǒng)能生產(chǎn)出多品種的產(chǎn)品而且生產(chǎn)產(chǎn)品的效率高、花費的成本低。

這里 表示權(quán)值，∞表示一個不可能的極限值。如圖 2.6 左圖是一個有向網(wǎng)圖，右圖是它的鄰接矩陣。圖 2.6 有向網(wǎng)圖對于邊數(shù)比頂點少很多的圖，用鄰接矩陣來進(jìn)行存儲是極大的浪費。比如：對圖2.7 的有向圖進(jìn)行存儲，這種有向圖稱為稀疏有向圖，鄰接矩陣中除了 arc[1][0]的權(quán)值外，沒有其它弧，這就導(dǎo)致存儲空間的浪費。為了避免造成存儲空間的浪費，通常使用鄰接鏈表的結(jié)構(gòu)來對其進(jìn)行存儲。V0V3V2V4V1962351V0

【參考文獻(xiàn)】：
期刊論文
[1]基于銀行家算法的多進(jìn)程算法資源配置策略研究[J]. 梁允.  機(jī)電工程技術(shù). 2015(11)
[2]多資源銀行家算法研究與實現(xiàn)[J]. 解晨,王瑜.  電腦知識與技術(shù). 2013(18)
[3]一類Petri網(wǎng)——S4R的死鎖預(yù)防策略[J]. 朱森.  計算機(jī)科學(xué). 2010(10)
[4]基于柔性制造系統(tǒng)的Petri網(wǎng)模型簡化規(guī)則[J]. 楊欣,陳麗娟,費樹岷.  計算機(jī)集成制造系統(tǒng). 2006(11)
[5]深入解析銀行家算法[J]. 侯剛.  濰坊學(xué)院學(xué)報. 2006(02)
[6]離散事件控制系統(tǒng)規(guī)則化描述方法的研究[J]. 韓江洪,鄭淑麗,陸陽,魏振春,于筑國.  合肥工業(yè)大學(xué)學(xué)報(自然科學(xué)版). 2005(09)
[7]制造系統(tǒng)的Petri網(wǎng)建模[J]. 林宋.  北方工業(yè)大學(xué)學(xué)報. 2002(03)

博士論文
[1]存在不可控與不可觀變遷的Petri網(wǎng)活性控制器設(shè)計[D]. 秦萌.西安電子科技大學(xué) 2011
[2]基于信標(biāo)迭代控制的Petri網(wǎng)死鎖預(yù)防策略[D]. 李紹勇.西安電子科技大學(xué) 2011
[3]資源分配系統(tǒng)死鎖控制及其應(yīng)用研究[D]. 朱森.西安電子科技大學(xué) 2009

碩士論文
[1]存在不可控變遷的Petri網(wǎng)死鎖避免策略[D]. 安磊.合肥工業(yè)大學(xué) 2011
[2]基于Petri網(wǎng)的離散事件系統(tǒng)仿真模型及其應(yīng)用研究[D]. 田維新.華中科技大學(xué) 2006
[3]離散事件系統(tǒng)的Petri網(wǎng)控制方法研究[D]. 張東紅.西安電子科技大學(xué) 2000



本文編號：3492116