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

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

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



本文編號(hào)：3942651