| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第1章 绪论 | 第12-31页 |
| ·课题研究的意义 | 第12-14页 |
| ·多AGENT技术及其在电力系统的研究现状 | 第14-24页 |
| ·多AGENT原理 | 第14-20页 |
| ·广域后备保护算法及其多AGENT系统 | 第20-24页 |
| ·与广域保护有关的通信仿真模型的研究现状 | 第24-27页 |
| ·PETRI网形式化建模及其在电力系统应用的研究现状 | 第27-29页 |
| ·各种PETRI网及面向AGENT PETRI网的相关工作 | 第27-28页 |
| ·PETRI网在电力系统的应用 | 第28-29页 |
| ·本文的研究内容 | 第29-31页 |
| 第2章 广域后备保护多AGENT系统的原理 | 第31-54页 |
| ·广域后备保护多AGENT系统的结构 | 第31-34页 |
| ·系统任务的分析 | 第31-32页 |
| ·多AGENT系统的一般性工作原理 | 第32页 |
| ·广域后备保护多AGENT系统的体系结构 | 第32-34页 |
| ·广域后备保护多AGENT系统的模型 | 第34-46页 |
| ·一种广域后备保护算法 | 第34-36页 |
| ·保护AGENT的结构 | 第36-39页 |
| ·保护AGENT的信息流 | 第39-40页 |
| ·AGENT协作域 | 第40-42页 |
| ·多AGENT对等协调模式与通讯 | 第42-43页 |
| ·多AGENT协作时的状态转移 | 第43-44页 |
| ·系统的容错性处理及其协作策略 | 第44-46页 |
| ·基于IEC61850的保护AGENT的设计 | 第46-53页 |
| ·意义与设计思路 | 第46-48页 |
| ·广域后备保护功能中各逻辑节点的组成 | 第48页 |
| ·保护AGENT的对象模型 | 第48-49页 |
| ·保护AGENT与其它逻辑节点的协作关系 | 第49-51页 |
| ·借鉴IEC61850的保护AGENT的广域通讯模式 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第3章 广域后备保护多AGENT系统的仿真研究 | 第54-86页 |
| ·广域后备保护多AGENT系统的仿真需求 | 第54页 |
| ·EPOCHS平台简介 | 第54-56页 |
| ·EPOCHS平台的构成 | 第54-55页 |
| ·EPOCHS中各部件之间的交互原理 | 第55-56页 |
| ·广域后备保护多AGENT仿真系统的整体构架 | 第56-57页 |
| ·基于EPOCHS的广域后备保护AGENT的仿真设计与实现 | 第57-62页 |
| ·保护AGENT在EPOCHS平台上的设计原理 | 第57-59页 |
| ·保护仿真AGENT的类设计 | 第59-62页 |
| ·仿真系统中电力模型的构造 | 第62-63页 |
| ·仿真系统中通信模型的构造 | 第63-66页 |
| ·仿真系统的配置与调试方法 | 第66-67页 |
| ·仿真实验与分析 | 第67-85页 |
| ·通讯仿真实验 | 第67-70页 |
| ·多组仿真实例及其对多AGENT的行为分析 | 第70-84页 |
| ·仿真实验小结 | 第84-85页 |
| ·本章小结 | 第85-86页 |
| 第4章 基于面向AGENT PETRI网广域后备保护系统的形式化验证 | 第86-118页 |
| ·引言 | 第86-87页 |
| ·广域后备保护多AGENT基本网的模型 | 第87-101页 |
| ·面向AGENT基本PETRI网的改进模型 | 第87-88页 |
| ·AOEPN的形式化定义及其化简 | 第88-90页 |
| ·网络的结构属性及其定理 | 第90页 |
| ·PETRI网几种典型的控制结构 | 第90-91页 |
| ·广域后备保护AOEPN的模型 | 第91-97页 |
| ·AOEPN网结构特征的分析 | 第97-98页 |
| ·AOEPN的实例推理与分析 | 第98-101页 |
| ·广域后备保护多AGENT着色网的模型 | 第101-111页 |
| ·多AGENT着色网的模型 | 第101-103页 |
| ·AOCPN的形式化定义 | 第103-105页 |
| ·广域后备保护AOCPN的模型 | 第105-107页 |
| ·WABP-AOCPN的验证与分析 | 第107-111页 |
| ·多AGENT动态行为等价替换的原理 | 第111-116页 |
| ·问题的提出 | 第111-112页 |
| ·动态行为等价替换的定义与定理 | 第112-114页 |
| ·等价替换的实例验证与分析 | 第114-116页 |
| ·本文的等价替换与相关工作的比较 | 第116页 |
| ·本章小结 | 第116-118页 |
| 结论 | 第118-120页 |
| 本文取得的主要创新性研究成果和结论 | 第118-119页 |
| 下一步需要深入研究的问题 | 第119-120页 |
| 致谢 | 第120-121页 |
| 参考文献 | 第121-131页 |
| 攻读博士学位期间发表的论文及参加的科研工作 | 第131-133页 |
