發(fā)布時間：2020-04-22 17:18

【摘要】：作為當(dāng)代先進制造系統(tǒng)不可或缺的一部分,柔性制造系統(tǒng)具有傳統(tǒng)制造系統(tǒng)所不具備的柔性和靈捷性。一個典型的柔性制造系統(tǒng)通常由拾取和放置機械手系統(tǒng)、若干加工中心、物流系統(tǒng)和先進控制系統(tǒng)等部分構(gòu)成。其中一些部分可以被視作是該柔性制造系統(tǒng)中的共享資源,而這些共享資源正是其具有柔性的根源,但在某些情況下也會導(dǎo)致死鎖現(xiàn)象的出現(xiàn)。死鎖是資源分配系統(tǒng)中的經(jīng)典問題,當(dāng)它出現(xiàn)在高度自動化的柔性制造系統(tǒng)中時,會產(chǎn)生一系列負面的影響,從降低系統(tǒng)性能和生產(chǎn)能力到導(dǎo)致系統(tǒng)中部分重要和昂貴資源的低使用率,甚至導(dǎo)致長時間的系統(tǒng)停滯。因此,不論從理論研究還是實際應(yīng)用方面,對死鎖問題的分析與解決都勢在必行。系統(tǒng)無死鎖意味著柔性制造系統(tǒng)中一個或者多個并發(fā)加工進程始終可以完成。更進一步,系統(tǒng)活性是另一個重要的行為性能,它意味著系統(tǒng)中每一個加工進程或早或晚終究可以完成�；钚砸馕吨鵁o死鎖性,但并非反之亦然。實現(xiàn)系統(tǒng)活性是對死鎖控制的更高要求。 本文從系統(tǒng)行為邏輯的角度出發(fā),重點研究建模柔性制造系統(tǒng)的一般Petri網(wǎng)模型中的內(nèi)在活性結(jié)構(gòu)與死鎖控制問題。不同于現(xiàn)有的基于信標的控制方法,內(nèi)在活性結(jié)構(gòu)的概念成為設(shè)計、分析和優(yōu)化本文中一系列新死鎖控制和活性實現(xiàn)方法的起點。本文從建模具有復(fù)雜資源使用方式的柔性制造系統(tǒng)的一般Petri網(wǎng)模型子類中辨識和提取出內(nèi)在活性結(jié)構(gòu)的特征和本質(zhì)。本文充分研究了一般Petri網(wǎng)模型的初始標識與連接弧權(quán)值之間的數(shù)值關(guān)系,以此來設(shè)計特殊的約束條件來實現(xiàn)全局或局部的內(nèi)在活性結(jié)構(gòu)。借助于Petri網(wǎng)結(jié)構(gòu)理論、圖論和數(shù)論,本文中關(guān)于死鎖控制和活性實現(xiàn)的研究成果,在降低計算復(fù)雜度(或提高計算效率),降低結(jié)構(gòu)復(fù)雜性或改善受控系統(tǒng)行為許可性方面顯著優(yōu)于傳統(tǒng)基于信標的方法。
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2012
【分類號】：TH165

【共引文獻】

相關(guān)期刊論文 前10條

1 張亮;金茂忠;姚淑珍;;一種支持工作流模式的擴展工作流網(wǎng)[J];北京航空航天大學(xué)學(xué)報;2007年01期

2 章漢武;龔俊;吳華意;;地理空間信息服務(wù)質(zhì)量評價的概念與方法[J];測繪科學(xué);2012年01期

3 Jong-sun CHOI;Jae-young CHOI;Yong-yun CHO;;Context-aware Workflow Model for Supporting Composite Workflows[J];Journal of Measurement Science and Instrumentation;2010年02期

4 李征;李昭;何克清;王健;馮在文;;Research on Evolution of Goal-Driven Service Composition Patterns[J];Journal of Donghua University(English Edition);2012年01期

5 張華;王茜;;面向服務(wù)工作流補償機制的研究與實現(xiàn)[J];東南大學(xué)學(xué)報(自然科學(xué)版);2009年01期

6 于素萍;毛偉偉;;基于抽象服務(wù)流程的Web服務(wù)組合的重用[J];電腦知識與技術(shù);2010年33期

7 尹毅偉;劉敏;孫斗;趙永望;;Web服務(wù)標準及互操作性分析(六) Web服務(wù)業(yè)務(wù)流程相關(guān)標準的互操作性分析[J];信息技術(shù)與標準化;2009年08期

8 頓海強;趙文;鄧鵬鵬;張世琨;王立福;譚杰;;一種基于RFID數(shù)據(jù)集的物品工作流挖掘方法[J];電子學(xué)報;2008年S1期

9 朱學(xué)偉;孫奎;路鵬;殷兆麟;;工作流模式的概述[J];福建電腦;2007年12期

10 傅琴;潘孝銘;;基于Pi演算的工作控制流模式研究[J];福建電腦;2008年10期

相關(guān)會議論文 前7條

1 揚小軍;鄭應(yīng)平;;離散事件系統(tǒng)監(jiān)控與狀態(tài)反饋的關(guān)系[A];1992年中國控制與決策學(xué)術(shù)年會論文集[C];1992年

2 顏文俊;孫優(yōu)賢;;基于事件反饋的DES監(jiān)控理論[A];1994中國控制與決策學(xué)術(shù)年會論文集[C];1994年

3 陳嬌嬌;薛崗;何象林;何婧;;基于DSC的工作流模式描述研究[A];全國第20屆計算機技術(shù)與應(yīng)用學(xué)術(shù)會議(CACIS·2009)暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集（下冊）[C];2009年

4 段友祥;相鵬;;Web服務(wù)組合引擎的研究與實現(xiàn)[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2006年

5 周建濤;葉新銘;李平;;網(wǎng)格環(huán)境中基于SOA的工作流系統(tǒng)架構(gòu)研究[A];第二十四屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2007年

6 ;Representation of Supervisory Controls using State Tree Structures, Binary Decision Diagrams, Automata, and Supervisor Reduction[A];第24屆中國控制與決策會議論文集[C];2012年

7 李昌志;付曉東;田強;王威;夏永瀅;;一種費用最小化的Veb服務(wù)組合可靠性優(yōu)化分配方法[A];第25屆中國控制與決策會議論文集[C];2013年

相關(guān)博士學(xué)位論文 前10條

1 宋巍;Web服務(wù)組合動態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

2 尹可挺;Internet環(huán)境中基于QoS的Web服務(wù)組合研究[D];浙江大學(xué);2010年

3 崔毓劍;基于網(wǎng)絡(luò)化的林業(yè)工程裝備制造業(yè)供應(yīng)鏈協(xié)同研究[D];中南林業(yè)科技大學(xué);2010年

4 林東亮;溫室環(huán)境控制混合系統(tǒng)建模與分析[D];上海大學(xué);2010年

5 劉改云;自動制造系統(tǒng)的Petri網(wǎng)結(jié)構(gòu)分析和控制器設(shè)計[D];西安電子科技大學(xué);2011年

6 董存祥;應(yīng)急事件處置流程建模及其過程協(xié)同研究[D];天津大學(xué);2010年

7 劉燦燦;科學(xué)工作流管理及調(diào)度研究[D];國防科學(xué)技術(shù)大學(xué);2011年

8 蔡章利;基于BPMN的業(yè)務(wù)流程一體化建模方法研究與實現(xiàn)[D];重慶大學(xué);2011年

9 黃紅梅;基于同步管理器的柔性工作流建模方法的研究[D];廣東工業(yè)大學(xué);2011年

10 閔帆;基于試探的任務(wù)分配算法研究[D];電子科技大學(xué);2003年

相關(guān)碩士學(xué)位論文 前10條

1 李蕾;有色Petri網(wǎng)的動態(tài)性質(zhì)判定及其在組裝生產(chǎn)線中的應(yīng)用[D];山東科技大學(xué);2010年

2 李占峻;基于Pi演算的網(wǎng)格工作流形式化描述及有效性檢測[D];解放軍信息工程大學(xué);2009年

3 汪成英;S~3PR網(wǎng)的嚴格極小信標計算及活性控制器設(shè)計[D];浙江工商大學(xué);2011年

4 朱琴;放射流程監(jiān)控與自動排班技術(shù)研究[D];浙江大學(xué);2011年

5 劉雅琪;基于工作流的網(wǎng)上協(xié)同OA系統(tǒng)的設(shè)計與研究[D];湖北工業(yè)大學(xué);2011年

6 周欣;工作流技術(shù)在科研管理信息系統(tǒng)中的應(yīng)用研究與實現(xiàn)[D];北京交通大學(xué);2011年

7 馬偉;面向服務(wù)的工作流系統(tǒng)研究與實現(xiàn)[D];曲阜師范大學(xué);2011年

8 王芳;基于JBPM的林權(quán)證管理系統(tǒng)研建[D];北京林業(yè)大學(xué);2011年

9 劉偉躍;基于工作流的張航校園網(wǎng)OA系統(tǒng)的設(shè)計與開發(fā)[D];中南大學(xué);2010年

10 張少軒;基于SOA的動物衛(wèi)生監(jiān)督系統(tǒng)的設(shè)計與實現(xiàn)[D];華北電力大學(xué);2011年

，

本文編號：2636739