基于混合整数规划的S~4PR网死锁预防控制器设计
| 致谢 | 第4-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 目次 | 第9-10页 |
| 1 绪论 | 第10-16页 |
| 1.1 本文的研究背景及意义 | 第10-11页 |
| 1.2 国内外研究现状 | 第11-14页 |
| 1.3 本文的研究内容和组织结构 | 第14-16页 |
| 2 Petri网基础理论 | 第16-22页 |
| 2.1 Petri网的基本概念 | 第16-18页 |
| 2.2 S~4PR网的定义及性质 | 第18-21页 |
| 2.3 本章小结 | 第21-22页 |
| 3 基于MIP的死锁预防控制器设计方法 | 第22-43页 |
| 3.1 基于S~4PR网的改进型信标最大受控条件 | 第22-24页 |
| 3.2 基于MIP优化的控制器设计方法 | 第24-37页 |
| 3.3 死锁预防策略算法 | 第37-39页 |
| 3.4 应用实例 | 第39-42页 |
| 3.5 本章小结 | 第42-43页 |
| 4 二段式死锁预防控制器设计方法 | 第43-57页 |
| 4.1 控制器设计方法 | 第43-50页 |
| 4.2 死锁预防策略算法 | 第50-53页 |
| 4.3 应用实例 | 第53-56页 |
| 4.4 本章小结 | 第56-57页 |
| 5 总结与展望 | 第57-59页 |
| 5.1 总结 | 第57-58页 |
| 5.2 展望 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 附录1 定义3.1的MIP优化问题代码 | 第63-69页 |
| 附录2 定义4.1 的MIP优化问题代码 | 第69-77页 |
| 附录3 定义4.2 的MIP优化问题代码 | 第77-84页 |
| 作者简历及攻硕期间取得的成果 | 第84页 |
