离散事件系统的混合监控理论
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 主要符号对照表 | 第9-11页 |
| 图表目录 | 第11-17页 |
| 第一章 绪论与综述 | 第17-29页 |
| ·离散事件系统的基本概念 | 第17-18页 |
| ·离散事件系统的建模和分析方法 | 第18-20页 |
| ·离散事件系统监控理论概述 | 第20-21页 |
| ·基于自动机和形式语言的离散事件系统监控理论 | 第21-23页 |
| ·集中控制 | 第21页 |
| ·分散控制 | 第21-22页 |
| ·分层控制 | 第22-23页 |
| ·基于Petri网的离散事件系统监控理论 | 第23-26页 |
| ·逻辑型监控器 | 第24页 |
| ·结构型监控器 | 第24-25页 |
| ·混合型监控器 | 第25-26页 |
| ·本论文的研究内容和结构 | 第26-29页 |
| 第二章 PETRI网及自动机理论基础 | 第29-35页 |
| ·Petri网的基本概念 | 第29-30页 |
| ·标识 | 第30页 |
| ·变迁的激发 | 第30页 |
| ·Petri网的基本性质 | 第30-32页 |
| ·可达性 | 第31页 |
| ·有界性 | 第31页 |
| ·不变量 | 第31-32页 |
| ·活性 | 第32页 |
| ·死锁 | 第32页 |
| ·Petri网的分析技术 | 第32-33页 |
| ·自动机及其离散事件监控理论简介 | 第33-34页 |
| ·小结 | 第34-35页 |
| 第三章 基于约束转换的离散事件系统的混合控制方法 | 第35-49页 |
| ·方法概述 | 第35-37页 |
| ·约束转换 | 第37-40页 |
| ·监控器的混合设计方法 | 第40-42页 |
| ·例子 | 第42-48页 |
| ·小结 | 第48-49页 |
| 第四章 离散事件系统的分散混合控制方法 | 第49-63页 |
| ·概述 | 第49-51页 |
| ·协调器的设计问题 | 第51-54页 |
| ·无阻塞的分散控制算法 | 第54-55页 |
| ·例子 | 第55-62页 |
| ·小结 | 第62-63页 |
| 第五章 离散事件系统无死锁混合控制方法 | 第63-77页 |
| ·概述 | 第63-65页 |
| ·CFN的简介 | 第65-70页 |
| ·死锁判定和控制策略 | 第70-73页 |
| ·FMS例子 | 第73-76页 |
| ·小结 | 第76-77页 |
| 第六章 离散事件系统的分层混合控制方法 | 第77-93页 |
| ·概述 | 第77-81页 |
| ·分层无阻塞控制 | 第81-83页 |
| ·运输线系统的分层控制 | 第83-86页 |
| ·基于分层控制的混合调度控制 | 第86-91页 |
| ·问题描述 | 第86-87页 |
| ·算法的描述 | 第87-90页 |
| ·例子 | 第90-91页 |
| ·小结 | 第91-93页 |
| 第七章 应用与例子 | 第93-111页 |
| ·离散事件系统“或逻辑”监控 | 第93-101页 |
| ·实现“或逻辑”的混合建模方法 | 第95-96页 |
| ·一个例子 | 第96-101页 |
| ·在路网建模和控制上的应用 | 第101-110页 |
| ·路网模型概述 | 第101-103页 |
| ·路网数据模型的仿真 | 第103-108页 |
| ·带有独立路口等待时间的建模方法 | 第108-110页 |
| ·小结 | 第110页 |
| ·小结 | 第110-111页 |
| 第八章 总结与展望 | 第111-113页 |
| 附录 | 第113-117页 |
| 参考文献 | 第117-133页 |
| 在学期间所取得的科研成果与参加的科研项目 | 第133-135页 |
| 论文 | 第133页 |
| 科研项目 | 第133-135页 |
| 致谢 | 第135页 |
