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

摘要

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

目录

文摘

英文文摘

独创性（或创新性）声明及关于论文使用授权的说明

第一章绪论

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小结

第三章S3PGR2网模型及基本性质

3.1 S3pGR2网的基本定义

3.2 S3pGR2网的活性分析

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研究展望

致谢

参考文献

在读期间的研究成果