形式化校验技术在智能配电网自愈中的应用

LING Wanshui; LIU Dong; HONG Jun; HOU Yong

您当前的位置：

首页 >

文章列表页 >

形式化校验技术在智能配电网自愈中的应用

更新时间：2025-08-13

- 形式化校验技术在智能配电网自愈中的应用
- Automation of Electric Power Systems Vol. 36, Issue 18, Pages: 62-66(2012)
- 作者机构：
  
  1. 电力传输与功率变换控制教育部重点实验室，上海交通大学电子信息与电气工程学院,上海市,200240
  2. 上海市电力公司浦东供电公司,上海市,200120
  3. 华东电网有限公司,上海市,200002
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2012
- 稿件说明：
移动端阅览
LING Wanshui, LIU Dong, HONG Jun, et al. [J]. Automation of electric power systems, 2012, 36(18): 62-66.
DOI：

LING Wanshui, LIU Dong, HONG Jun, et al. [J]. Automation of electric power systems, 2012, 36(18): 62-66. DOI：

摘要

智能配电网自愈需要大量广域分布式控制系统，形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理，分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用，并以智能分布式馈线自动化算法的形式化校验为例，详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。

Abstract

The smart distribution grid self-healing needs a large number of wide-area distributed control systems while formal verification technology can play an important role in the control logic and protocol verification of these systems. The principle of formal verification technology is described， based on which the role of formal verification technology in achieving early warning of failure， fault diagnosis and the verification of the core algorithm or protocol in the self-healing of the distribution network is analyzed. With the validation of the intelligent distributed feeder automation as an example， the use of formal verification technology to verify the core algorithm is discussed in detail.

关键词

Keywords

references

Views

3994

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

智能配电网广域测控系统及其保护控制应用技术

基于IEC 61968的配电网信息交互一致性测试技术应用

智能配电网分布式区域纵联保护关联域的在线确定方法

基于EPOCHS平台的智能配电网通信系统仿真

配电终端自动发现技术的实现

Related Author

ZHANG Zhihua

SHU Hongchun

GAO Houlei

LI Tianyou

XUE Yongduan

XU Bingyin

LIU Peng

CONG Wei

Related Institution

Faculty of Electric Power Engineering，Kunming University of Science and Technology

School of Electrical Engineering，Shandong University

Fujian Electric Power Company Limited

College of Information and Control Engineering，China University of Petroleum

Shandong Kehui Power Automation Co. Ltd.

⁰