Petri网在井下机车调度中的建模与仿真
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| Abstract | 第7-13页 |
| 第1章 绪论 | 第13-20页 |
| ·井下机车调度系统概述 | 第13-14页 |
| ·矿井采用调度系统的必要性 | 第13-14页 |
| ·井下机车调度系统的主要功能 | 第14页 |
| ·井下机车调度系统的概况 | 第14-16页 |
| ·我国井下机车调度系统现状 | 第15页 |
| ·我国井下机车调度系统发展趋势 | 第15-16页 |
| ·Petri网概述 | 第16-18页 |
| ·Petri网来源 | 第16-17页 |
| ·Petri网的特点 | 第17页 |
| ·Petri网对机车监控系统建模的优点 | 第17-18页 |
| ·选题的研究内容及意义 | 第18-20页 |
| ·选题的研究内容 | 第18-19页 |
| ·选题的意义 | 第19-20页 |
| 第2章 Petri网理论 | 第20-30页 |
| ·基本Petri网 | 第20-21页 |
| ·Petri网的动态性质 | 第21-22页 |
| ·Petri网的结构性质 | 第22-23页 |
| ·Petri网的分析方法 | 第23-25页 |
| ·可达标识图与可覆盖树 | 第23-25页 |
| ·关联矩阵与状态方程 | 第25页 |
| ·有色Petri网 | 第25-27页 |
| ·有色Petri网定义 | 第26页 |
| ·有色petri网特点 | 第26-27页 |
| ·含时间因素的Petri网 | 第27-30页 |
| ·时间petri网 | 第27-28页 |
| ·时延petri网 | 第28-30页 |
| 第3章 Petri网对井下机车调度系统建模 | 第30-50页 |
| ·KJ15a井下机车调度系统介绍 | 第30-33页 |
| ·KJ15a井下机车调度系统体系结构 | 第30页 |
| ·KJ15a系统工作原理 | 第30-32页 |
| ·系统性能特点 | 第32-33页 |
| ·KJ15a井下机车调度系统Petri网建模 | 第33-50页 |
| ·采用的petri网特殊弧介绍 | 第34-35页 |
| ·调度联锁基本规则 | 第35-36页 |
| ·调度联锁过程的建模 | 第36-50页 |
| 第4章 井下机车调度系统的仿真系统 | 第50-62页 |
| ·仿真系统介绍 | 第50-54页 |
| ·HCONET协议介绍 | 第50-53页 |
| ·仿真软件功能 | 第53-54页 |
| ·仿真软件构架 | 第54-55页 |
| ·仿真软件的主要数据结构 | 第55-56页 |
| ·仿真软件的模块 | 第56-58页 |
| ·主要模块详析 | 第58-62页 |
| 第5章 结束语 | 第62-64页 |
| ·总结 | 第62页 |
| ·下一步的工作 | 第62-64页 |
| 参考文献 | 第64-67页 |
| 作者在攻读硕士学位期间所发表的论文 | 第67页 |
