| 摘要 | 第1-6页 |
| ABSTRACT | 第6-7页 |
| 致谢 | 第7-10页 |
| 插图清单 | 第10-11页 |
| 第一章 绪论 | 第11-16页 |
| ·课题研究背景 | 第11-12页 |
| ·研究的目的和意义 | 第12-13页 |
| ·关键技术的研究概况 | 第13-14页 |
| ·课题来源 | 第14页 |
| ·论文章节安排 | 第14-16页 |
| 第二章 皮带机群控系统的分析与研究 | 第16-28页 |
| ·皮带机群控系统功能概述 | 第16-20页 |
| ·系统简介 | 第16-18页 |
| ·系统功能 | 第18-20页 |
| ·系统的描述对象及控制规则 | 第20-24页 |
| ·系统的描述对象 | 第20-21页 |
| ·系统的控制规则 | 第21-24页 |
| ·系统的工作属性 | 第24-27页 |
| ·工作模式 | 第24-26页 |
| ·工作状况 | 第26页 |
| ·运行状态 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 基于约束组合OOCPN 的皮带机群控系统建模 | 第28-47页 |
| ·Petri 网建模理论基础 | 第28-34页 |
| ·有色Petri 网 | 第28-29页 |
| ·面向对象有色 Petri 网 | 第29-31页 |
| ·约束组合弧 | 第31-34页 |
| ·带约束组合弧的面向对象有色 Petri 网 | 第34页 |
| ·约束组合OOCPN 的皮带机群控系统建模 | 第34-45页 |
| ·系统建模库所和变迁的设计 | 第35-37页 |
| ·系统各环节建模 | 第37-43页 |
| ·系统组装 | 第43-45页 |
| ·模型的完备性分析 | 第45-46页 |
| ·本章小结 | 第46-47页 |
| 第四章 OOCPN 模型与规则化描述方法转换的研究 | 第47-55页 |
| ·问题的引出及解决办法 | 第47-48页 |
| ·建模方法存在的问题 | 第47页 |
| ·多范式建模 | 第47-48页 |
| ·规则化描述 | 第48-52页 |
| ·规则化描述方法特点 | 第48页 |
| ·DECS 系统的分层模型 | 第48-49页 |
| ·逻辑规则描述语言 | 第49-51页 |
| ·规则化描述方法的系统构造 | 第51-52页 |
| ·OOCPN 模型向规则式的转换 | 第52-54页 |
| ·本章小结 | 第54-55页 |
| 第五章 总结与展望 | 第55-57页 |
| ·论文工作总结 | 第55页 |
| ·论文工作展望 | 第55-57页 |
| 参考文献 | 第57-60页 |
| 攻读硕士期间发表的论文和参加的科研项目 | 第60-61页 |