形式化校验技术在智能配电网自愈中的应用被引量：1

下载PDF

导出

摘要目前我国智能配电网自愈需要在大范围的分布式控制系统操纵下实现优化,在这种基础下,形式化校验技术能够在目前智能配电网系统中实现逻辑控制以及验证的双重作用力,通过介绍形式化校验技术的工作原理,解析智能配电网自愈技术的发展,了解形式化校验技术在智能配电网自愈中的故障警示、故障具体诊断、解决算法与模型认证中的应用作用。文章中所涉及到的形式化校验主要以智能分布式自动化算法为例。

作者南周羽

机构地区国网浙江乐清市供电公司

出处《农村电气化》 2014年第1期43-44,共2页 Rural Electrification

关键词形式化校验智能配电网自愈

分类号 TM76 [电气工程—电力系统及自动化]

引文网络
相关文献

参考文献5

1袁鹏,郭创新,王康元,邵学俭,顾建炜,姜建.调控一体化下的配电网自愈研究[J].电力系统保护与控制,2011,39(22):150-154. 被引量：28
2乐全明,董志赟,郑华珍,郁惟镛,张沛超,王忠民,章启明.基于时态逻辑技术的高压输电线系统故障诊断[J].电力系统自动化,2006,30(9):38-43. 被引量：7
3刘健,贠保记,崔琪,何林泰,郑剑敏.一种快速自愈的分布智能馈线自动化系统[J].电力系统自动化,2010,34(10):62-66. 被引量：94
4凌万水,刘东,洪俊,侯勇.形式化校验技术在智能配电网自愈中的应用[J].电力系统自动化,2012,36(18):62-66. 被引量：4
5周学斌,段斌,吴义方.基于IEC无缝通信体系的电网自愈控制研究[J].华东电力,2010,38(7):1028-1033. 被引量：2

二级参考文献55

1蒋屹新,林闯,邢栩嘉.基于线性时态逻辑的Petri网模型检测[J].系统仿真学报,2003,15(z1):6-10. 被引量：8
2孙静,秦世引,宋永华.模糊PETRI网在电力系统故障诊断中的应用[J].中国电机工程学报,2004,24(9):74-79. 被引量：85
3蔡春元.电网调度自动化系统的安全运行问题探讨[J].继电器,2005,33(7):66-69. 被引量：21
4郭志忠.电网自愈控制方案[J].电力系统自动化,2005,29(10):85-91. 被引量：93
5刘健,崔建中,顾海勇.一组适合于农网的新颖馈线自动化方案[J].电力系统自动化,2005,29(11):82-86. 被引量：26
6乐全明,董志赟,郑华珍,郁惟镛,张沛超,王忠民,章启明.基于时态逻辑技术的高压输电线系统故障诊断[J].电力系统自动化,2006,30(9):38-43. 被引量：7
7郑晓波,王海滨,董秀成,王占朝,郑平.智能型电网调度操作票专家系统[J].继电器,2006,34(20):32-35. 被引量：9
8刘念,段斌,肖红光,黄生龙.电力操作在线闭锁方法及其实现模式[J].电力系统自动化,2006,30(23):58-63. 被引量：29
9王明俊.自愈电网与分布能源[J].电网技术,2007,31(6):1-7. 被引量：117
10Fan Jiyuan, Borlase S. The evolution of distribution[J]. IEEE Power and Energy Magazine, 2009, 7 (2): 63-68. 被引量：1

共引文献126

1陈杰,殷自力.提高福建电网智能调控运行水平的关键点[J].电力与电工,2013,33(2):28-31. 被引量：3
2桂强,刘意川,张沛超.高压电网故障信息数据挖掘系统的研究[J].继电器,2007,35(10):37-40. 被引量：4
3陈彬,于继来.基于电网潮流分布特征的在线故障智能诊断[J].电力系统自动化,2007,31(16):29-34. 被引量：6
4罗朝伟,华芬,沈鸿彦.智能配电网络故障隔离技术研究与实现[J].微计算机信息,2011,27(4):177-179. 被引量：2
5康文文,赵建国,丛伟,施晓寒.含分布式电源的配电网故障检测与隔离算法[J].电力系统自动化,2011,35(9):25-29. 被引量：39
6吴洪勋,程法民,王伟,李文杰.智能型馈线自动化实现方式的比较分析[J].山东电力技术,2011,38(3):26-29. 被引量：9
7颜晟,苏广宁,张沛超,桂强.基于故障录波时序信息的电网故障诊断[J].电力系统保护与控制,2011,39(17):114-119. 被引量：12
8刘健,赵树仁,贠保记,崔琪,何林泰,郑剑敏.分布智能型馈线自动化系统快速自愈技术及可靠性保障措施[J].电力系统自动化,2011,35(17):67-71. 被引量：67
9凌万水,刘东,陆一鸣,于文鹏.基于IEC 61850的智能分布式馈线自动化模型[J].电力系统自动化,2012,36(6):90-95. 被引量：91
10金跃东.基于智能电网模式的配网调控一体化研究[J].大观周刊,2012(12):75-75. 被引量：2

同被引文献3

1黄永强.配电工程电缆施工中应注意的问题分析与质量控制措施[J].山东工业技术,2016(6):170-171. 被引量：17
2朱志杰.配网电缆线路工程施工的关键技术分析[J].企业技术开发（中旬刊）,2016,35(5):88-88. 被引量：1
3高彦骋.城市配电网电源故障自愈控制分析[J].城市地理,2016,0(3X):58-58. 被引量：1

引证文献1

1刘文军.智能配电网的故障处理技术研究[J].科学与信息化,2018,0(12):164-165.

1凌万水,刘东,洪俊,侯勇.形式化校验技术在智能配电网自愈中的应用[J].电力系统自动化,2012,36(18):62-66. 被引量：4
2柳劲松,樊秀娟,翁嘉明,刘东,凌万水.智能分布式馈线自动化的多电源处理方法[J].供用电,2015,32(4):29-31. 被引量：11
3曾义秀.浅谈智能电表在智能电网中的应用[J].中国新技术新产品,2013(16):33-34. 被引量：5
4董雷,赵川.智能型EMS的研究[J].云南电力技术,2009,37(4):20-23. 被引量：1
5王喜元.一种可编程控制器空气压缩机电气控制系统[J].煤炭技术,2012,31(6):76-78. 被引量：1
6吴子锋.配电自动化实用化关键技术及其进展[J].消费电子,2013(12):12-12. 被引量：1
7黎显池.浅谈智能化技术在电气工程自动化控制中的具体应用[J].科技经济导刊,2016(12). 被引量：9
8陈云国,戴胜,杨乘胜,倪健.基于IEC61850的智能分布式馈线自动化系统建模[J].电力自动化设备,2016,36(6):189-193. 被引量：26
9韦清.浅谈变频技术在节能中的作用[J].电子制作,2013,21(6X):212-213.
10赵泽亮.电容式电压互感器在110kV网络中的应用[J].大科技,2014(4):44-45.

农村电气化

2014年第1期

浏览历史

内容加载中请稍等...

形式化校验技术在智能配电网自愈中的应用被引量：1

参考文献5

二级参考文献55

共引文献126

同被引文献3

引证文献1

相关作者

相关机构

相关主题

浏览历史

形式化校验技术在智能配电网自愈中的应用 被引量：1

参考文献5

二级参考文献55

共引文献126

同被引文献3

引证文献1

相关作者

相关机构

相关主题

浏览历史

形式化校验技术在智能配电网自愈中的应用被引量：1