【摘要】：Petri網作為一種有效的數學工具,被廣泛應用于自動制造系統建模與分析。目前學者提出了多種死鎖控制策略,但是大多數控制策略都假定制造系統無故障運行。然而,現實生產系統中許多設備資源在加工零件時可能會發生故障,這將導致已有控制策略失效。為了解決這一問題,本文針對S~3PR(the system of simple sequential processes with resources)網以及GS~3PR(the generalized system of simple sequential processes with resources)網,設計了魯棒死鎖控制策略,使得受控系統在資源發生故障的情況下仍能完成加工任務。主要研究工作如下:1.針對S~3PR網中資源不可靠死鎖控制問題,本文提出了一種迭代魯棒死鎖控制方法。為不可靠資源庫所的持有者添加恢復子網來模擬資源故障與修復,得到的新模型被稱為S~3PR_u(S~3PR with multiple types of unreliable resources)。首先,利用混合整數規劃MIP(mixed integer programming)計算迭代時系統產生的可被清空的嚴格極小信標。然后通過信標補集構造信標擴展約束集,利用擴展約束集合構造一個控制庫所。重復以上操作直到模型不存在可被清空的信標。基于該方法得到的魯棒活性控制器使得S~3PR_u網在無論資源是否發生故障時都可以保持活性。2.針對GS~3PR網中存在一種不可靠資源問題,本文提出了基于MIP魯棒死鎖控制方法。為系統不可靠資源庫所的持有者添加恢復子網,得到的模型簡稱為GS~3PR_u(GS~3PR with a type of unreliable resources)。首先通過求解MIP得到一個非max~′可控信標,然后基于信標max~′可控條件,依據構造的P-不變式來設計控制庫所,并為非max~′可控信標添加該控制庫所形成新的約束方程。重復以上步驟直到求不出新的非max~′可控信標,進而得到一種魯棒活性監督控制器。該控制器使得GS~3PR_u網無論資源是否發生故障都能保持活性。對于單類資源不可靠情況,GS~3PR_u網的控制方法可應用于S~3PR_u網。最后,通過舉例對提出的算法進行驗證。結果表明,文中提出的魯棒活性控制器設計方法能夠使含有多類不可靠資源的S~3PR網與含有單類不可靠資源的GS~3PR網在不可靠資源無論發生故障與否時都能保持活性。
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2019
【分類號】：TP301.1;O221.4;TP13

【相似文獻】

相關期刊論文 前10條

1 張界明;;應用非線性混合整數規劃進行樁基結構設計[J];西南交通大學學報;1987年04期

2 周學俊;;混合整數規劃微機程序及其應用[J];化工環保;1988年05期

3 祁達才,王仲鴻,韓英鐸,童陸園;輸電網的中長期規劃(Ⅱ)──后向混合整數規劃法[J];清華大學學報(自然科學版);1989年01期

4 李磊,王春峰,滕春賢;一類非線性兩級混合整數規劃問題的全局最優解的近似算法[J];系統工程理論與實踐;2002年04期

5 王紀輝,張蘇梅,單偉;求解線性混合整數規劃的罰函數法[J];濟南大學學報(自然科學版);2004年02期

6 姚奕榮,張連生,田蔚文;混合整數規劃的精確罰函數(英文)[J];運籌學學報;2002年04期

7 張章;汪亞明;鄭俊褒;閆曉萌;;混沌遺傳算法用于求解混合整數規劃問題[J];工業控制計算機;2015年04期

8 劉兵兵;;一類非線性二層混合整數規劃問題全局最優解的遺傳算法[J];燕山大學學報;2007年06期

9 趙乃剛;李勇;;基于改進蝙蝠算法的混合整數規劃問題[J];微電子學與計算機;2017年06期

10 楊彪;周亦鵬;;基于混合整數規劃的倉庫選址研究[J];物流科技;2015年04期

相關會議論文 前10條

1 李曉磊;周京陽;于爾鏗;潘毅;;改進線性混合整數規劃法機組組合[A];中國高等學校電力系統及其自動化專業第二十四屆學術年會論文集（上冊）[C];2008年

2 范體軍;李宏宇;劉麗萍;;基于多目標混合整數規劃的采購計劃研究[A];中國優選法統籌法與經濟數學研究會第七屆全國會員代表大會暨第七屆中國管理科學學術年會論文集[C];2005年

3 劉兵兵;;一類非線性二層混合整數規劃問題全局最優解的混合遺傳算法[A];第八屆中國青年運籌信息管理學者大會論文集[C];2006年

4 陳芳;單而芳;郭傳好;;匹配理論下乳制品供應鏈網絡設計與成本優化研究[A];第十七屆中國管理科學學術年會論文集[C];2015年

5 陳建信;;巨型、高非線性數學規劃軟件包[A];中國現場統計研究會第12屆學術年會論文集[C];2005年

6 王旭坪;馬超;董莉;;考慮時間滿意度的臨時救援點選擇研究[A];第五屆（2010）中國管理學年會——管理科學與工程分會場論文集[C];2010年

7 高海云;朱文興;;非線性混合整數規劃的一類非光滑連續化方法[A];中國運籌學會第八屆學術交流會論文集[C];2006年

8 朱南;王龍;唐國春;;我國銀行業現金押運的混合整數規劃模型探析[A];中國運籌學會第十屆學術交流會論文集[C];2010年

9 周長峰;廖良才;譚躍進;;多任務類型的動態車隊管理問題求解方法研究[A];中國企業運籌學[C];2006年

10 翟橋柱;肖尋;李軒;;短期水電調度的聚合機組模型研究[A];第26屆中國控制與決策會議論文集[C];2014年

相關博士學位論文 前10條

1 鐘涵;基于航路網流率協同控制的航班離場優化研究[D];北京交通大學;2019年

2 余長君;最優化及最優控制計算研究：精確罰函數途徑[D];上海大學;2014年

3 祝穎;綜合全無限規劃方法應用于能源系統管理[D];華北電力大學;2014年

4 呂亞娜;熱軋并行多產線板坯匹配問題研究[D];東北大學;2014年

5 張瑞鵬;推動型軍事供應鏈優化研究[D];北京交通大學;2009年

6 劉紅英;多層規劃的理論與算法研究[D];西安電子科技大學;2000年

7 洪榛;無線傳感器網絡拓撲控制及層次型路由方法研究[D];浙江工業大學;2011年

8 吳兵;非線性系統多模型操作空間劃分與最優控制一體化研究[D];浙江大學;2017年

9 徐立中;微網能量優化管理若干問題研究[D];浙江大學;2011年

10 張進;空間交會任務解析攝動分析與混合整數多目標規劃方法[D];國防科學技術大學;2013年

相關碩士學位論文 前10條

1 劉宇婷;基于混合整數規劃的資源不可靠Petri網魯棒活性控制器設計[D];西安電子科技大學;2019年

2 劉麗麗;混合整數規劃中偽費用分枝策略的改進[D];北京交通大學;2015年

3 張雅茜;混合整數規劃中的預處理方法[D];北京交通大學;2016年

4 張鵬;基于混合邏輯動態的混雜系統建模及其模型預測控制[D];吉林大學;2007年

5 賈曄清;非傳統安全下海關風險識別與控制研究[D];復旦大學;2011年

6 劉明杰;廢舊汽車逆向物流網絡構建及優化策略研究[D];南京理工大學;2012年

7 王菲;集裝箱支線運輸船舶實時調度優化研究[D];大連海事大學;2013年

8 于希嘉;循環取貨系統需求不確定性的調度方法研究[D];上海交通大學;2009年

9 何小磊;電力系統機組組合問題的研究[D];上海交通大學;2009年

10 高天佑;輸出型煤炭碼頭卸車生產調度優化模型和方法研究[D];武漢理工大學;2014年

，

本文編號：2613009