本課題的研究工作以自動化醫(yī)學(xué)分析系統(tǒng)為研究對象和應(yīng)用背景,在離散事件系統(tǒng)的層面上,從系統(tǒng)資源分配的角度展開研究。本文使用一般Petri網(wǎng)的一個子類,對系統(tǒng)資源數(shù)目可能發(fā)生變化的自動化醫(yī)學(xué)分析系統(tǒng)進行建模,在邏輯層面上對系統(tǒng)行為進行分析,并針對其運行過程中出現(xiàn)的死鎖問題提出一種新的控制策略。本文完成的主要工作如下:1.對活性與比例控制器（Liveness and Ratio-enforcing Supervisor,LRS）進行了簡化和添加策略分析。前人工作中提出的LRS控制策略是基于系統(tǒng)的固有結(jié)構(gòu)和初始狀態(tài),通過添加控制庫所限制共享資源的分配,從而避免了因進程間出現(xiàn)對資源的循環(huán)等待而導(dǎo)致的死鎖問題。本文通過對受控系統(tǒng)的可達圖進行分析,發(fā)現(xiàn)原有LRS控制器結(jié)構(gòu)上存在冗余部分,進而可以通過移除部分連接弧來簡化控制器結(jié)構(gòu);并且給出了簡化后控制器基于抑制弧的等效表達形式。隨后還分析了在滿足何種條件下,簡化的LRS控制器可使受控系統(tǒng)擁有更多許可行為。2.將簡化的LRS控制器參數(shù)從常量推廣為變量形式。將上述簡化的LRS控制庫所的初始標識設(shè)置為變量;根據(jù)控制器的控制機制建立其控制器參數(shù)（因變量）與所... 

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

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

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

【文章目錄】：
摘要
ABSTRACT
符號對照表
縮略語對照表
第一章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 研究內(nèi)容及方法
第二章 Petri網(wǎng)基本理論
    2.1 Petri網(wǎng)基本定義
    2.2 信標與陷阱
    2.3 一類WS~3PR網(wǎng)
    2.4 添加抑制弧的Petri網(wǎng)
    2.5 本章小結(jié)
第三章 自動化醫(yī)學(xué)分析系統(tǒng)
    3.1 實驗室信息管理系統(tǒng)
    3.2 研究AMAS的背景與意義
    3.3 AMAS中需要研究的問題
    3.4 AMAS的Petri網(wǎng)模型
    3.5 AMAS的CPN-Tools形式
    3.6 本章小結(jié)
第四章 LRS控制器及其簡化
    4.1 LRS控制器簡介
        4.1.1 LRS控制器基本概念
        4.1.2 LRS控制器添加方法
    4.2 LRS控制器的簡化
        4.2.1 簡化的LRS控制設(shè)計
        4.2.2 簡化的LRS控制器的抑制弧形式
    4.3 簡化的LRS控制器的添加策略
    4.4 本章小結(jié)
第五章 資源變化的自適應(yīng)控制策略
    5.1 資源變化的自適應(yīng)控制器
        5.1.1 自適應(yīng)控制器的跟隨控制
        5.1.2 自適應(yīng)控制器的建模與仿真
    5.2 控制器的切換策略
        5.2.1 控制器失控時的切換機制
        5.2.2 切換控制器的建模與仿真
    5.3 本章小結(jié)
第六章 總結(jié)與展望
參考文獻
致謝
作者簡介



本文編號：3537517