基于结构的一类适应资源变化的Petri网模型控制研究

发布时间：2021-12-16 04:50

　　本课题的研究工作以自动化医学分析系统为研究对象和应用背景,在离散事件系统的层面上,从系统资源分配的角度展开研究。本文使用一般Petri网的一个子类,对系统资源数目可能发生变化的自动化医学分析系统进行建模,在逻辑层面上对系统行为进行分析,并针对其运行过程中出现的死锁问题提出一种新的控制策略。本文完成的主要工作如下:1.对活性与比例控制器（Liveness and Ratio-enforcing Supervisor,LRS）进行了简化和添加策略分析。前人工作中提出的LRS控制策略是基于系统的固有结构和初始状态,通过添加控制库所限制共享资源的分配,从而避免了因进程间出现对资源的循环等待而导致的死锁问题。本文通过对受控系统的可达图进行分析,发现原有LRS控制器结构上存在冗余部分,进而可以通过移除部分连接弧来简化控制器结构;并且给出了简化后控制器基于抑制弧的等效表达形式。随后还分析了在满足何种条件下,简化的LRS控制器可使受控系统拥有更多许可行为。2.将简化的LRS控制器参数从常量推广为变量形式。将上述简化的LRS控制库所的初始标识设置为变量;根据控制器的控制机制建立其控制器参数（因变量）与所... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：85 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
符号对照表
缩略语对照表
第一章 绪论
    1.1 研究背景
    1.2 研究现状
    1.3 研究内容及方法
第二章 Petri网基本理论
    2.1 Petri网基本定义
    2.2 信标与陷阱
    2.3 一类WS~3PR网
    2.4 添加抑制弧的Petri网
    2.5 本章小结
第三章 自动化医学分析系统
    3.1 实验室信息管理系统
    3.2 研究AMAS的背景与意义
    3.3 AMAS中需要研究的问题
    3.4 AMAS的Petri网模型
    3.5 AMAS的CPN-Tools形式
    3.6 本章小结
第四章 LRS控制器及其简化
    4.1 LRS控制器简介
        4.1.1 LRS控制器基本概念
        4.1.2 LRS控制器添加方法
    4.2 LRS控制器的简化
        4.2.1 简化的LRS控制设计
        4.2.2 简化的LRS控制器的抑制弧形式
    4.3 简化的LRS控制器的添加策略
    4.4 本章小结
第五章 资源变化的自适应控制策略
    5.1 资源变化的自适应控制器
        5.1.1 自适应控制器的跟随控制
        5.1.2 自适应控制器的建模与仿真
    5.2 控制器的切换策略
        5.2.1 控制器失控时的切换机制
        5.2.2 切换控制器的建模与仿真
    5.3 本章小结
第六章 总结与展望
参考文献
致谢
作者简介



本文编号：3537517