电力系统自动化
電力繫統自動化
전력계통자동화
AUTOMATION OF ELECTRIC POWER SYSTEMS
2012年
18期
62-66
,共5页
凌万水%刘东%洪俊%侯勇
凌萬水%劉東%洪俊%侯勇
릉만수%류동%홍준%후용
智能配电网%自愈%形式化校验
智能配電網%自愈%形式化校驗
지능배전망%자유%형식화교험
smart distribution grid%self-healing%formal verification
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用,并以智能分布式馈线自动化算法的形式化校验为例,详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。
智能配電網自愈需要大量廣域分佈式控製繫統,形式化校驗技術可以在這些繫統的控製邏輯與協議驗證中髮揮重要作用。文中介紹瞭形式化校驗技術的原理,分析瞭形式化校驗技術在實現配電網自愈中的故障預警、故障診斷以及覈心算法與協議的模型認證中的作用,併以智能分佈式饋線自動化算法的形式化校驗為例,詳細分析瞭使用形式化校驗技術對配電網自愈覈心算法進行驗證的過程。
지능배전망자유수요대량엄역분포식공제계통,형식화교험기술가이재저사계통적공제라집여협의험증중발휘중요작용。문중개소료형식화교험기술적원리,분석료형식화교험기술재실현배전망자유중적고장예경、고장진단이급핵심산법여협의적모형인증중적작용,병이지능분포식궤선자동화산법적형식화교험위례,상세분석료사용형식화교험기술대배전망자유핵심산법진행험증적과정。
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.