一种资源分配系统广义相互抑制的简化控制器设计

论文摘要

在柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种建模工具,能有效地对柔性制造系统进行建模分析,并较好地解决系统的死锁问题。其中一种重要的死锁预防的方法是通过给每一个严格极小信标添加一个控制库所和相应的连接弧,以保证每一个严格极小信标不会被清空。但是在面对大规模网系统模型时,计算严格极小信标是十分费时的,而且对所有的严格极小信标进行控制会使网结构变得异常复杂。因此,相关学者又提出了一些不同的死锁避免的策略,而其中的RUN(resource upstream neighborhood)控制策略提供了一种非常有效的办法,它避免了求取所有的严格极小信标和混合整数规划问题,极大地便利了死锁避免方面的工作,并且这种方法不但适用于普通网,还适用于一般网,因此它具有更加广泛的应用价值。但是这种方法有时添加了一些冗余的控制库锁,也会使网系统变得更加复杂。在本文中,我们提出了一种基于RUN的简化的死锁避免策略,用一系列简化后的控制库所有效地控制了一类网系统。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 研究的背景和意义
• 1.2 死锁问题研究现状
• 1.3 论文完成的主要工作
• 第二章 Petri 网的基本概念和基本信标理论
• 2.1 Petri 网的基本概念
• 2.1.1 Petri 网的基本概念
• 2.1.2 Petri 网的基本性质
• 2.2 一个柔性制造系统的Petri 网模型
• 2.3 基本信标理论
• 2.3.1 基本信标与从属信标
• 2.3.2 基于基本信标的死锁预防策略
• 2.4 小结
• 3PGR²网模型及基本性质'>第三章 S³PGR²网模型及基本性质
• 3PGR² 网的基本定义'>3.1 S³PGR²网的基本定义
• 3PGR² 网的活性分析'>3.2 S³PGR²网的活性分析
• 3.3 小结
• 第四章 基于RUN 的PK－DAP 算法简介和优化
• 4.1 基于RUN 的PK－DAP 算法的基本概念
• 4.2 一个说明算法的例子
• 4.3 最佳资源顺序的选取
• 4.4 基于RUN 的PK-DAP 算法的优化
• 4.5 小结
• 第五章 各种控制策略比较及其各自优缺点
• 5.1 Ezpeleta 死锁预防算法
• 5.2 区域理论法
• 5.2.1 区域理论概述
• 5.2.2 控制器分析设计
• 5.3 各种控制方法比较
• 5.3.1 多种控制方法性能优劣比较
• 5.3.2 FMS 实例比较分析
• 5.3.3 实例分析结论
• 5.4 小结
• 第六章 总结与展望
• 6.1 论文总结
• 6.2 研究展望
• 致谢
• 参考文献
• 在读期间的研究成果