电力系统及其自动化专业优秀论文电力系统及其自动化专业优秀论文 电网广域后备保护多电网广域后备保护多 AgentAgent 系系统信息模型的研究统信息模型的研究关键词：大型电网关键词：大型电网 电网运行电网运行 继电保护继电保护 仿真建模仿真建模摘要：大型电网互联对电力系统继电保护和稳定控制提出了更高的要求。国外 多次大停电事故分析表明，传统后备保护在系统扰动引起的异常运行状态下容 易误动作，引起电网的连锁跳闸。随着广域通信网络的快速发展和同步相量测 量装置的出现，利用广域信息的广域后备保护系统受到国内外电力科技工作者 的广泛关注。近几年来人们尝试将新兴的 Agent 技术与广域后备保护结合，已 经取得一些基础性的研究成果。但是对广域保护 Agent 信息模型的研究开展得 较少，如基于 IP 网络的保护多 Agent 系统的体系结构、协作策略是什么，如何 建立一个仿真系统以模拟电力系统的运行和检验保护多 Agent 系统的整体效果。 Petri 网作为一种严谨的形式化建模和分析工具，适合于描述并发系统的行为， 能否考虑将 Agent 与 Petri 结合，在形式上和理论上检验广域保护算法和对广 域保护多 Agent 系统行为进行分析。基于 Petri 网的广域后备保护系统形式化 验证在国内外尚不多见。 本文首先介绍已有多种广域后备保护算法的研究现 状，阐述 Agent 及多 Agent 的基本原理，介绍了与广域保护有关的通讯仿真模 型的研究现状和 Petri 网形式化建模及其在电力系统的研究现状，指出本文的 工作目标是研究电网广域后备保护多 Agent 系统的信息模型，说明本文的研究 内容。针对广域后备保护系统的特点，深入研究了广域后备保护 Agent 的工作 机制，包括广域保护多 Agent 系统对等协商的体系结构、保护 Agent 内部分层 模型、基于有限状态机的状态转移、对等协商模式、容错性处理等。借鉴 IEC61850，构造了广域后备保护 Agent 的对象模型、广域点对点通讯模式。研 究构造广域后备保护多 Agent 系统的仿真模型，它包括多 Agent 系统、电网系 统、广域通信网络、各种故障的设置等，仿真系统能够给出精确的通讯延迟数 据、记录各 Agent 内部重要的处理环节和彼此之间的交互消息。通过多种故障 情景下的仿真实验及其分析，验证了该仿真系统能够有效地检验广域保护算法 的正确性和对各保护 Agent 的行为进行准确的分析。将 Agent 与 Petri 网两种 理论结合，研究用于广域后备保护多 Agent 系统的形式化建模与验证的方法。 对一种已有面向 Agent Petri 网模型加以改进，提出了改进型面向 Agent Petri 网模型。构造广域后备保护多 Agent 基本网(AOEPN)，对广域后备保护算 法进行描述，对多 Agent 的交互行为进行验证与分析。针对各广域后备保护 Agent 对等协商的特点，运用着色 Petri 网概念，提出了对等协商多 Agent 着 色 Petri 网模型(AOCPN)，给出其形式化定义，通过实例验证了该模型能够在理 论上较好地检验广域后备保护算法的正确性、分析各种情景下各 Agent 的动态 行为。另外，提出了多 Agent 动态行为等价替换的原理，给出其定义、定理和 操作步骤，通过对广域后备保护多 Agent 系统着色网的动态行为进行等价替换 的实例分析，验证了该原理的正确性。本文通过在保护 Agent 的工作机制、保 护多 Agent 系统的仿真建模、基于面向 Agent Petri 网的广域保护多 Agent 系 统的形式化验证等方面的研究工作，较为系统地构建了一个电网广域后备保护 多 Agent 系统的信息模型，为以后的研究工作打下了坚实的基础。正文内容正文内容大型电网互联对电力系统继电保护和稳定控制提出了更高的要求。国外多 次大停电事故分析表明，传统后备保护在系统扰动引起的异常运行状态下容易 误动作，引起电网的连锁跳闸。随着广域通信网络的快速发展和同步相量测量 装置的出现，利用广域信息的广域后备保护系统受到国内外电力科技工作者的 广泛关注。近几年来人们尝试将新兴的 Agent 技术与广域后备保护结合，已经 取得一些基础性的研究成果。但是对广域保护 Agent 信息模型的研究开展得较 少，如基于 IP 网络的保护多 Agent 系统的体系结构、协作策略是什么，如何建 立一个仿真系统以模拟电力系统的运行和检验保护多 Agent 系统的整体效果。 Petri 网作为一种严谨的形式化建模和分析工具，适合于描述并发系统的行为， 能否考虑将 Agent 与 Petri 结合，在形式上和理论上检验广域保护算法和对广 域保护多 Agent 系统行为进行分析。基于 Petri 网的广域后备保护系统形式化 验证在国内外尚不多见。 本文首先介绍已有多种广域后备保护算法的研究现 状，阐述 Agent 及多 Agent 的基本原理，介绍了与广域保护有关的通讯仿真模 型的研究现状和 Petri 网形式化建模及其在电力系统的研究现状，指出本文的 工作目标是研究电网广域后备保护多 Agent 系统的信息模型，说明本文的研究 内容。针对广域后备保护系统的特点，深入研究了广域后备保护 Agent 的工作 机制，包括广域保护多 Agent 系统对等协商的体系结构、保护 Agent 内部分层 模型、基于有限状态机的状态转移、对等协商模式、容错性处理等。借鉴 IEC61850，构造了广域后备保护 Agent 的对象模型、广域点对点通讯模式。研 究构造广域后备保护多 Agent 系统的仿真模型，它包括多 Agent 系统、电网系 统、广域通信网络、各种故障的设置等，仿真系统能够给出精确的通讯延迟数 据、记录各 Agent 内部重要的处理环节和彼此之间的交互消息。通过多种故障 情景下的仿真实验及其分析，验证了该仿真系统能够有效地检验广域保护算法 的正确性和对各保护 Agent 的行为进行准确的分析。将 Agent 与 Petri 网两种 理论结合，研究用于广域后备保护多 Agent 系统的形式化建模与验证的方法。 对一种已有面向 Agent Petri 网模型加以改进，提出了改进型面向 Agent Petri 网模型。构造广域后备保护多 Agent 基本网(AOEPN)，对广域后备保护算 法进行描述，对多 Agent 的交互行为进行验证与分析。针对各广域后备保护 Agent 对等协商的特点，运用着色 Petri 网概念，提出了对等协商多 Agent 着 色 Petri 网模型(AOCPN)，给出其形式化定义，通过实例验证了该模型能够在理 论上较好地检验广域后备保护算法的正确性、分析各种情景下各 Agent 的动态 行为。另外，提出了多 Agent 动态行为等价替换的原理，给出其定义、定理和 操作步骤，通过对广域后备保护多 Agent 系统着色网的动态行为进行等价替换 的实例分析，验证了该原理的正确性。本文通过在保护 Agent 的工作机制、保 护多 Agent 系统的仿真建模、基于面向 Agent Petri 网的广域保护多 Agent 系 统的形式化验证等方面的研究工作，较为系统地构建了一个电网广域后备保护 多 Agent 系统的信息模型，为以后的研究工作打下了坚实的基础。 大型电网互联对电力系统继电保护和稳定控制提出了更高的要求。国外多次大 停电事故分析表明，传统后备保护在系统扰动引起的异常运行状态下容易误动 作，引起电网的连锁跳闸。随着广域通信网络的快速发展和同步相量测量装置 的出现，利用广域信息的广域后备保护系统受到国内外电力科技工作者的广泛 关注。近几年来人们尝试将新兴的 Agent 技术与广域后备保护结合，已经取得一些基础性的研究成果。但是对广域保护 Agent 信息模型的研究开展得较少， 如基于 IP 网络的保护多 Agent 系统的体系结构、协作策略是什么，如何建立一 个仿真系统以模拟电力系统的运行和检验保护多 Agent 系统的整体效果。Petri 网作为一种严谨的形式化建模和分析工具，适合于描述并发系统的行为，能否 考虑将 Agent 与 Petri 结合，在形式上和理论上检验广域保护算法和对广域保 护多 Agent 系统行为进行分析。基于 Petri 网的广域后备保护系统形式化验证 在国内外尚不多见。 本文首先介绍已有多种广域后备保护算法的研究现状， 阐述 Agent 及多 Agent 的基本原理，介绍了与广域保护有关的通讯仿真模型的 研究现状和 Petri 网形式化建模及其在电力系统的研究现状，指出本文的工作 目标是研究电网广域后备保护多 Agent 系统的信息模型，说明本文的研究内容。 针对广域后备保护系统的特点，深入研究了广域后备保护 Agent 的工作机制， 包括广域保护多 Agent 系统对等协商的体系结构、保护 Agent 内部分层模型、 基于有限状态机的状态转移、对等协商模式、容错性处理等。借鉴 IEC61850， 构造了广域后备保护 Agent 的对象模型、广域点对点通讯模式。研究构造广域 后备保护多 Agent 系统的仿真模型，它包括多 Agent 系统、电网系统、广域通 信网络、各种故障的设置等，仿真系统能够给出精确的通讯延迟数据、记录各 Agent 内部重要的处理环节和彼此之间的交互消息。通过多种故障情景下的仿 真实验及其分析，验证了该仿真系统能够有效地检验广域保护算法的正确性和 对各保护 Agent 的行为进行准确的分析。将 Agent 与 Petri 网两种理论结合， 研究用于广域后备保护多 Agent 系统的形式化建模与验证的方法。对一种已有 面向 Agent Petri 网模型加以改进，提出了改进型面向 Agent Petri 网模型。 构造广域后备保护多 Agent 基本网(AOEPN)，对广域后备保护算法进行描述，对 多 Agent 的交互行为进行验证与分析。针对各广域后备保护 Agent 对等协商的 特点，运用着色 Petri 网概念，提出了对等协商多 Agent 着色 Petri 网模型 (AOCPN)，给出其形式化定义，通过实例验证了该模型能够在理论上较好地检验 广域后备保护算法的正确性、分析各种情景下各 Agent 的动态行为。另外，提 出了多 Agent 动态行为等价替换的原理，给出其定义、定理和操作步骤，通过 对广域后备保护多 Agent 系统着色网的动态行为进行等价替换的实例分析，验 证了该原理的正确性。本文通过在保护 Agent 的工作机制、保护多 Agent 系统 的仿真建模、基于面向 Agent Petri 网的广域保护多 Agent 系统的形式化验证 等方面的研究工作，较为系统地构建了一个电网广域后备保护多 Agent 系统的 信息模型，为以后的研究工作打下了坚实的基础。 大型电网互联对电力系统继电保护和稳定控制提出了更高的要求。国外多次大 停电事故分析表明，传统后备保护在系统扰动引起的异常运行状态下容易误动 作，引起电网的连锁跳闸。随着广域通信网络的快速发展和同步相量测量装置 的出现，利用广域信息的广域后备保护系统受到国内外电力科技工作者的广泛 关注。近几年来人们尝试将新兴的 Agent 技术与广域后备保护结合，已经取得 一些基础性的研究成果。但是对广域保护 Agent 信息模型的研究开展得较少， 如基于 IP 网络的保护多 Agent 系统的体系结构、协作策略是什么，如何建立一 个仿真系统以模拟电力系统的运行和检验保护多 Agent 系统的整体效果。Petri 网作为一种严谨的形式化建模和分析工具，适合于描述并发系统的行为，能否 考虑将 Agent 与 Petri 结合，在形式上和理论上检验广域保护算法和对广域保 护多 Agent 系统行为进行分析。基于 Petri 网的广域后备保护系统形式化验证 在国内外尚不多见。 本文首先介绍已有多种广域后备保护算法的研究现状，