基于Petri网的自动制造系统去中心化监督控制策略研究
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 符号对照表 | 第11-12页 |
| 缩略语对照表 | 第12-15页 |
| 第一章 绪论 | 第15-21页 |
| 1.1 研究背景及意义 | 第15-16页 |
| 1.2 自动制造系统的监督控制 | 第16-17页 |
| 1.3 自动制造系统的去中心化控制 | 第17-18页 |
| 1.4 论文的主要研究工作 | 第18-21页 |
| 1.4.1 论文的主要研究内容 | 第18-19页 |
| 1.4.2 论文框架及章节安排 | 第19-21页 |
| 第二章 Petri网基础 | 第21-31页 |
| 2.1 引言 | 第21页 |
| 2.2 Petri网基本定义 | 第21-26页 |
| 2.2.1 Petri网结构定义 | 第21-23页 |
| 2.2.2 Petri网变迁发射规则 | 第23-26页 |
| 2.3 Petri网基本性质 | 第26-29页 |
| 2.3.1 Petri网动态性质 | 第26-27页 |
| 2.3.2 Petri网静态性质 | 第27-29页 |
| 2.4 Petri网分析技术 | 第29-30页 |
| 2.4.1 代数分析技术 | 第29-30页 |
| 2.4.2 可达图与结构分析技术 | 第30页 |
| 2.4.3 简化技术 | 第30页 |
| 2.5 小结 | 第30-31页 |
| 第三章 基于广义互斥约束的S4R网活性控制 | 第31-39页 |
| 3.1 引言 | 第31页 |
| 3.2 S4R网 | 第31-33页 |
| 3.3 基于GMEC的活性监控器 | 第33-34页 |
| 3.4 实例分析 | 第34-38页 |
| 3.5 小结 | 第38-39页 |
| 第四章 约束转换算法与低维去中心化 | 第39-53页 |
| 4.1 引言 | 第39页 |
| 4.2 约束转换算法 | 第39-41页 |
| 4.3 去中心化监控策略 | 第41-45页 |
| 4.4 期望不等式约束的可行域体积 | 第45-49页 |
| 4.5 三维去中心化监控器转换实例 | 第49-52页 |
| 4.6 小结 | 第52-53页 |
| 第五章 去中心化监控器的高维拓展 | 第53-65页 |
| 5.1 引言 | 第53页 |
| 5.2 高维去中心化监控器求解 | 第53页 |
| 5.3 高维约束组的可行域顶点 | 第53-56页 |
| 5.4 高维约束组的可行域体积 | 第56-60页 |
| 5.5 切割算法改进 | 第60-63页 |
| 5.6 小结 | 第63-65页 |
| 第六章 总结和展望 | 第65-67页 |
| 6.1 总结 | 第65-66页 |
| 6.2 不足与展望 | 第66-67页 |
| 参考文献 | 第67-73页 |
| 致谢 | 第73-75页 |
| 作者简介 | 第75-76页 |
