發(fā)布時間：2021-04-23 22:19

　　近年來，Petri網(wǎng)在FMS的建模、分析和控制過程中得到了廣泛的應(yīng)用。本文對Petri網(wǎng)模型的死鎖控制問題進(jìn)行了較為深入的研究。首先，論文對于幾種常見的死鎖控制算法進(jìn)行了較全面的介紹，同時論述了基本信標(biāo)理論及其在死鎖控制中的應(yīng)用，在此基礎(chǔ)上，我們針對一種Petri網(wǎng)子類—ES³PR網(wǎng)提出了一種基于基本信標(biāo)理論的新的死鎖迭代控制算法，該算法通過多步迭代分別給網(wǎng)系統(tǒng)添加普通控制庫所和加權(quán)控制庫所，從而控制所有的基本信標(biāo)。同時在一定條件下，使得所有從屬信標(biāo)得到控制，從而得到活的控制網(wǎng)系統(tǒng)。與其它算法相比，論文中所提出的預(yù)防方法可以得到對網(wǎng)系統(tǒng)行為限制較小的控制網(wǎng)。另外，論文還提供了一種基于MIP的死鎖優(yōu)化算法。該算法通過移動控制庫所的輸出弧位置，減小控制庫所對網(wǎng)系統(tǒng)的行為限制。最后，通過實(shí)例驗(yàn)證了提出的死鎖控制策略以及優(yōu)化算法的優(yōu)越性。 

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

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

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

【文章目錄】：
第一章 緒論
    1.1 研究背景與意義
    1.2 國內(nèi)外的研究狀況
    1.3 本文完成的主要工作
第二章 Petri網(wǎng)的基本概念
    2.1 Petri網(wǎng)的基本理論
        2.1.1 Petri網(wǎng)的基本定義
        2.1.2 Petri網(wǎng)的活性及不變式
        2.1.3 Petri網(wǎng)的一些基本性質(zhì)
    2.2 舉例
    2.3 自動制造系統(tǒng)的Petri網(wǎng)模型
    2.4 小結(jié)
3PR網(wǎng)模型及常見控制方法">第三章 ES³PR網(wǎng)模型及常見控制方法
3PR簡介">    3.1 一類FMS的Petri網(wǎng)模型—ES³PR簡介
    3.2 幾種經(jīng)典的死鎖預(yù)防算法
        3.2.1 Ezpeleta死鎖預(yù)防算法
        3.2.2 基于P-不變式的死鎖迭代算法
        3.2.3 基于基本信標(biāo)的死鎖預(yù)防策略
    3.3 小結(jié)
第四章 Petri網(wǎng)的基本信標(biāo)及從屬信標(biāo)理論
    4.1 基本信標(biāo)與從屬信標(biāo)理論
        4.1.1 Petri網(wǎng)的基本信標(biāo)
        4.1.2 Petri網(wǎng)的從屬信標(biāo)
    4.2 求基本信標(biāo)和從屬信標(biāo)集合的算法
    4.3 小結(jié)
第五章 一種基于基本信標(biāo)的FMS死鎖預(yù)防算法
    5.1 引言
    5.2 一種基于基本信標(biāo)的死鎖迭代控制算法
        5.2.1 相關(guān)定理及定義
        5.2.2 死鎖迭代控制算法步驟
    5.3 小結(jié)
第六章 基于混合整數(shù)規(guī)劃的死鎖優(yōu)化算法
    6.1 混合整數(shù)規(guī)劃在死鎖控制中的應(yīng)用
    6.2 與Ezpeleta算法相結(jié)合的死鎖優(yōu)化算法
        6.2.1 死鎖優(yōu)化算法的基本思想
        6.2.2 死鎖優(yōu)化算法的實(shí)例
    6.3 小結(jié)
第七章 一個死鎖迭代控制應(yīng)用實(shí)例
    7.1 一種基于迭代法的死鎖控制算法
3PR網(wǎng)模型的建立">        7.1.1 ES³PR網(wǎng)模型的建立
        7.1.2 計(jì)算初始網(wǎng)的基本信標(biāo)和從屬信標(biāo)集合
        7.1.3 迭代控制過程
    7.2 小結(jié)
附錄A 部分程序代碼
結(jié)束語
致謝
參考文獻(xiàn)
在讀期間的研究成果



本文編號：3156146