形式化校验技术在智能配电网自愈中的应用
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用,并以智能分布式馈线自动化算法的形式化校验为例,详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。
智能配电网、自愈、形式化校验
36
TM(电工技术)
国家高技术研究发展计划863计划资助项目2012AA050212;上海市科技攻关重点项目10dzl202800
2012-12-21（万方平台首次上网日期，不代表论文的发表时间）
共5页
62-66
