柔性制造系統(tǒng)(Flexible manufacturing system,FMS)是一種典型的自動(dòng)化處理系統(tǒng),通過使用有限和共享的資源來完成不同類型的生產(chǎn)流程,例如機(jī)床,機(jī)器人和自動(dòng)導(dǎo)引車等。在不同的生產(chǎn)過程中,資源的競(jìng)爭(zhēng)往往會(huì)導(dǎo)致死鎖的發(fā)生。死鎖是最不期望出現(xiàn)在制造系統(tǒng)中的狀態(tài),這是因?yàn)樗梨i的發(fā)生會(huì)使整個(gè)系統(tǒng)或者系統(tǒng)中的一部分出現(xiàn)阻塞,并且某些生產(chǎn)過程也會(huì)產(chǎn)生不連續(xù)的現(xiàn)象,長(zhǎng)時(shí)間的宕機(jī)和較低的資源利用率都是系統(tǒng)需要被改進(jìn)的方面。因此,系統(tǒng)中的死鎖必須被有效地控制。在對(duì)自動(dòng)制造系統(tǒng)行為建模和分析中,Petri網(wǎng)是一種非常有效的工具,已有的研究中多數(shù)分析和避免系統(tǒng)中的死鎖問題的策略都是基于Petri網(wǎng)模型的。本文主要提出一種由變遷控制的死鎖恢復(fù)策略,旨在解決基于Petri網(wǎng)建模的柔性制造系統(tǒng)中產(chǎn)生的死鎖問題。與傳統(tǒng)基于控制器的死鎖控制策略有所不同,該方法是通過在系統(tǒng)中增加額外的控制變遷使所有的死鎖標(biāo)識(shí)被恢復(fù)至某些合法標(biāo)識(shí),最終得到一個(gè)包含所有可達(dá)狀態(tài)且具有活性的網(wǎng)模型。為了得到較少數(shù)目的恢復(fù)變遷,本文提出一種迭代求交集的方法來獲得所有的恢復(fù)變遷。主要的研究?jī)?nèi)容如下:1.該控制策略的主要思... 

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

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

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

【文章目錄】：
ABSTRACT
摘要
List of Symbols
List of Abbreviations
Chapter 1 Introduction
    1.1 Flexible Manufacturing Systems （FMSs）
    1.2 Deadlock in Flexible Manufacturing Systems
    1.3 Deadlock Control Based on Petri Nets in FMSs
    1.4 Thesis Organization
Chapter 2 Preliminaries
    2.1 Basics of Petri Nets
    2.2 Reachability Graph Analysis
    2.3 Structural Analysis
    2.4 Vector Covering Approach for FMSs
    2.5 Conclusion
Chapter 3 Transition-controlled Deadlock Recovery
    3.1 Deadlocks Recovered by Transitions
        3.1.1 Basic Definition
        3.1.2 Recovery Transition for Operation Places
        3.1.3 Recovery Transition for Idle and Resource Places
    3.2 The Derivation of Recovery Transitions
        3.2.1 The Set of Recovery Transitions for One Deadlock
        3.2.2 Common Recovery Transitions for Two Deadlocks
    3.3 Iterative Intersection Approach for Recovery Transitions
    3.4 Conclusion
Chapter 4 Deadlock Recovery Policy and Illustrative Example
    4.1 Algorithm of Deadlock Recovery Policy
    4.2 Experimental Results
    4.3 Conclusion
Chapter 5 Conclusion and Future Work
References
Acknowledgements
Biography



本文編號(hào)：2900573