| 中文摘要 | 第1页 |
| 英文摘要 | 第3-4页 |
| 目录 | 第4-6页 |
| 第一章 绪论 | 第6-11页 |
| ·电网调度操作票专家系统的研究意义 | 第6页 |
| ·操作票专家系统的研究现状综述 | 第6-10页 |
| ·本文的主要思想 | 第10页 |
| ·本文所做的主要工作 | 第10-11页 |
| 第二章 对象 Petri 网的基本理论 | 第11-19页 |
| ·基本 Petri 网 | 第11-15页 |
| ·Petri 网的基本概念 | 第11-14页 |
| ·Petri 网规则表示方法 | 第14-15页 |
| ·基于 Petri 网模型的推理方法 | 第15页 |
| ·面向对象 Petri 网 | 第15-18页 |
| ·面向对象 Petri 网的基本概念 | 第15-16页 |
| ·OPN 基本结构 | 第16-17页 |
| ·OPN 的形式定义 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第三章 基于面向对象 Petri 网的操作票知识库建模 | 第19-36页 |
| ·倒闸操作基本分析 | 第20-21页 |
| ·操作票系统的对象 Petri 网模型的建立 | 第21-26页 |
| ·对象间传递的消息(Token)数据类型定义 | 第21-22页 |
| ·各个 OPN 的对象 Petri 网模型 | 第22-25页 |
| ·各对象之间的合作 | 第25-26页 |
| ·操作票系统的基本 Petri 网模型的建立 | 第26-30页 |
| ·基本 Petri 网的库所、变迁和守护函数的定义 | 第26-27页 |
| ·基本 Petri 网的图形建模 | 第27-28页 |
| ·基本 Petri 网的矩阵形式模型 | 第28-29页 |
| ·基本 Petri 网的推理过程 | 第29-30页 |
| ·实例分析 | 第30-35页 |
| ·OPN 系统初始状态的确定 | 第30页 |
| ·点火顺序 | 第30-32页 |
| ·任务存储器的管理 | 第32页 |
| ·操作票系统的基本 Petri 网模型的建立 | 第32-35页 |
| ·对象 Petri 网模型的优点 | 第35页 |
| ·本章小结 | 第35-36页 |
| 第四章 基于对象 Petri 网理论的调度操作票专家系统的实现 | 第36-47页 |
| ·系统实现的硬件环境 | 第36-37页 |
| ·系统的软件结构及流程图 | 第37-39页 |
| ·电网调度操作票软件模块 | 第37-38页 |
| ·操作票生成流程 | 第38-39页 |
| ·系统开票实例 | 第39-46页 |
| ·自动开票实例 | 第39-42页 |
| ·点图开票实例 | 第42-44页 |
| ·典型票开票实例 | 第44-45页 |
| ·短语开票实例 | 第45-46页 |
| ·本章小结 | 第46-47页 |
| 第五章 结论与展望 | 第47-49页 |
| ·结论 | 第47页 |
| ·后续工作的展望 | 第47-49页 |
| 参考文献 | 第49-52页 |
| 致谢 | 第52-53页 |
| 在学期间发表的学术论文和参加科研情况 | 第53页 |
