離散事件系統(tǒng)用來描述由不規(guī)則時間間隔出現(xiàn)的事件驅(qū)動的動態(tài)系統(tǒng),而自動制造系統(tǒng)通常被認(rèn)為是一種特殊的離散事件系統(tǒng)。在生產(chǎn)中經(jīng)常會出現(xiàn)不同加工進(jìn)程同時競爭有限資源的情況,這往往會導(dǎo)致死鎖現(xiàn)象的產(chǎn)生,造成許多災(zāi)難性的損失。因此,為了避免死鎖的發(fā)生,需要對離散事件系統(tǒng)的狀態(tài)進(jìn)行限制以確保系統(tǒng)的行為能夠在預(yù)期的范圍內(nèi)。在離散事件系統(tǒng)監(jiān)督控制理論中,將不符合規(guī)范的狀態(tài)稱為禁止?fàn)顟B(tài)。本文研究的控制器是通過設(shè)計合理的控制策略以最少的監(jiān)控器讓系統(tǒng)遠(yuǎn)離禁止?fàn)顟B(tài),并盡可能保留最多的期望狀態(tài)。本文利用Petri網(wǎng)作為分析和研究工具。在Petri網(wǎng)監(jiān)督控制理論中,廣義互斥約束以線性不等式的形式表示,是一種非常重要的控制規(guī)范。將符合該種規(guī)范的狀態(tài)稱為合法狀態(tài),不符合的稱為禁止?fàn)顟B(tài)。基于GMEC設(shè)計的活性控制器以控制庫所表示,能夠直接疊加到Petri網(wǎng)結(jié)構(gòu)中以確保系統(tǒng)在期望狀態(tài)內(nèi)運(yùn)行。通�？刂破鞯脑O(shè)計主要考慮三個方面:結(jié)構(gòu)復(fù)雜性、行為許可性、計算復(fù)雜性。最大許可行為往往意味著對系統(tǒng)資源的高效利用。在一些Petri網(wǎng)中,如S⁴ R網(wǎng),以前相關(guān)的研究工作設(shè)計結(jié)構(gòu)簡化的控制器時使得系統(tǒng)行為損失的比較... 

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

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

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

【圖文】：

各國在制造業(yè)領(lǐng)域內(nèi)的份額圖源網(wǎng)絡(luò)

【參考文獻(xiàn)】：
碩士論文
[1]基于Petri網(wǎng)的自動制造系統(tǒng)去中心化監(jiān)督控制策略研究[D]. 侯鈞耀.西安電子科技大學(xué) 2018
[2]基于Petri網(wǎng)的廣義互斥約束轉(zhuǎn)換算法研究[D]. 謝晉.浙江大學(xué) 2017



本文編號：3447410