由于存在有限資源的共享與競爭，資源分配系統(tǒng)在運行過程中容易出現(xiàn)資源的循環(huán)等待，這樣就會產(chǎn)生死鎖。而在高度自動化的系統(tǒng)中，死鎖的發(fā)生往往會造成生產(chǎn)率下降甚至產(chǎn)生災難性的后果。因此，資源分配系統(tǒng)的控制設計，必須考慮死鎖，必須有效避免死鎖的發(fā)生。究其本質(zhì)，資源分配系統(tǒng)中抑制死鎖產(chǎn)生的途徑是使系統(tǒng)的資源分配策略永遠不要產(chǎn)生循環(huán)等待現(xiàn)象。Petri網(wǎng)作為一種數(shù)學工具，由于其固有的優(yōu)點，最近三十年來被廣泛作為研究資源分配系統(tǒng)死鎖分析與控制的方法�；赑etri網(wǎng)的資源分配系統(tǒng)的死鎖問題主要有以下三種解決策略：死鎖檢測與恢復、死鎖避免和死鎖預防。死鎖檢測與恢復策略允許系統(tǒng)出現(xiàn)死鎖，一旦檢測到系統(tǒng)處于死鎖狀態(tài)，通過重新配置資源，使系統(tǒng)恢復到正常狀態(tài)。死鎖避免策略使用一種在線的資源分配機制，使系統(tǒng)不能進入死鎖狀態(tài)。死鎖預防策略通過離線計算事先建立一種策略來控制資源的請求，從而保證系統(tǒng)不會進入死鎖狀態(tài)。本文以Petri網(wǎng)為工具，以資源分配系統(tǒng)為主要背景，深入研究了資源分配系統(tǒng)的死鎖控制問題，并應用于實際運河的交通分析與控制。論文主要的研究工作如下： 1．提出了基于基本信標理論的一種次優(yōu)化S。PR網(wǎng)死鎖預防...

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

【文章目錄】：
摘要
Abstract
第一章 引言
    1.1 研究背景與意義
    1.2 完成的主要工作
第二章 Petri網(wǎng)的基本知識
    2.1 Petri網(wǎng)的基本定義
    2.2 結(jié)構(gòu)不變式
    2.3 信標和陷阱
    2.4 Petri網(wǎng)的應用子類
        2.4.1 S³PR網(wǎng)
        2.4.2 S⁴R網(wǎng)
        2.4.3 G—systerrl
    2.5 小結(jié)
第三章 基于基本信標控制的死鎖預防策略
    3.1 基本信標和從屬信標
    3.2 從屬信標的控制
    3.3 死鎖控制
        3.3.1 控制庫所設計
        3.3.2 死鎖預防策略
    3.4 算例
    3.5 小結(jié)
第四章 死鎖控制的分治策略
    4.1 問題求解的分治策略
    4.2 Petri網(wǎng)的分解
    4.3 子控制器設計與全局控制器綜合
    4.4 實例和算例研究
        4.4.1 實例
        4.4.2 算例研究
            4.4.2.1 ε和ε⁺的比較
            4.4.2.2 g和g⁺的比較
    4.5 小結(jié)
第五章 Petri網(wǎng)中死鎖控制的分解策略
    5.1 S⁴R網(wǎng)中嚴格極小信標集合兀的分解
    5.2 基于兀分解的S⁴R網(wǎng)分解
    5.3 子控制器設計與全局控制器綜合
    5.4 算例研究比較
    5.5 小結(jié)
第六章 一種綜合的死鎖檢測與死鎖預防策略
    6.1 S⁴R網(wǎng)的基本性質(zhì)
    6.2 S⁴R網(wǎng)活性判斷的充分條件
    6.3 C/D-RUN策略
    6.4 死鎖預防算法
    6.5 算例
    6.6小結(jié)
第七章 活性約束
    7.1 基本約束與從屬約束
    7.2 基本約束求取
    7.3 冗余活性約束求取
    7.4 舉例
    7.5 結(jié)論
第八章 基于Petri網(wǎng)的海軍艦艇運河交通系統(tǒng)控制
    8.1 海軍艦艇運河交通系統(tǒng)建模
    8.2 基于MIP迭代的死鎖預防策略
        8.2.1 死鎖預防算法
        8.2.2 實例控制
    8.3 基于MlP和區(qū)域法的死鎖預防策略
        8.3.1 區(qū)域理論的Petri網(wǎng)詮釋
        8.3.2 算法與實例控制
    8.4 算法比較
    8.5 小結(jié)
第九章 總結(jié)與展望
    9.1 論文的主要工作和研究結(jié)論
    9.2 研究展望
致謝
參考文獻
在學期間的研究成果



本文編號：3942651