| 摘要 | 第1页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-12页 |
| ·电网调度操作票专家系统的研究意义 | 第7页 |
| ·操作票专家系统的研究现状综述 | 第7-9页 |
| ·存在的问题 | 第9-10页 |
| ·本文所做的主要工作 | 第10-12页 |
| 第二章 Petri网的基本理论 | 第12-17页 |
| ·Petri网的相关定义 | 第12-14页 |
| ·条件/事件系统与命题逻辑 | 第14-15页 |
| ·Petri网在电力系统中的应用 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 第三章 基于Petri网技术的电网调度操作票专家系统的知识表示 | 第17-31页 |
| ·电网结构知识表示 | 第17-21页 |
| ·概述 | 第17-18页 |
| ·基于关系数据库的电网结构知识表示 | 第18-21页 |
| ·基于Petri网技术的操作知识表示 | 第21-30页 |
| ·建立产生式规则的Petri网模型 | 第22-23页 |
| ·建立电网调度操作票专家系统操作规则的Petri网模型 | 第23-30页 |
| ·本章小结 | 第30-31页 |
| 第四章 基于Petri网技术的推理机制和知识库的维护 | 第31-44页 |
| ·基于Petri网技术的电网调度操作票专家系统的推理机制 | 第31-40页 |
| ·专家系统的推理机制概述 | 第31-32页 |
| ·基于Petri网模型的推理 | 第32-38页 |
| ·开票实例 | 第38-40页 |
| ·基于Petri网模型的知识库维护 | 第40-43页 |
| ·添加、删除和修改规则 | 第41页 |
| ·规则的一致性检验 | 第41-43页 |
| ·本章小节 | 第43-44页 |
| 第五章 基于Petri网技术的电网调度操作票专家系统的实现 | 第44-53页 |
| ·系统实现的硬件环境 | 第44-45页 |
| ·系统的软件实现 | 第45-48页 |
| ·自动开票实例 | 第48-52页 |
| ·本章小结 | 第52-53页 |
| 第六章 结论与展望 | 第53-55页 |
| ·结论 | 第53-54页 |
| ·本文的不足与展望 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 致谢 | 第58-59页 |
| 在学期间发表的学术论文和参加科研情况 | 第59页 |
