您的位置： 专家智库 > >

洪俊

作品数：1 被引量：4H指数：1
供职机构：上海市电力公司更多>>
发文基金：上海市科委科技攻关项目国家高技术研究发展计划更多>>
相关领域：电气工程更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电气工程

主题

  • 1篇电网
  • 1篇形式化
  • 1篇智能配电
  • 1篇智能配电网
  • 1篇配电
  • 1篇配电网
  • 1篇自愈

机构

  • 1篇上海交通大学
  • 1篇华东电网有限...
  • 1篇上海市电力公...

作者

  • 1篇凌万水
  • 1篇刘东
  • 1篇侯勇
  • 1篇洪俊

传媒

  • 1篇电力系统自动...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
形式化校验技术在智能配电网自愈中的应用被引量：4
2012年
智能配电网自愈需要大量广域分布式控制系统,形式化校验技术可以在这些系统的控制逻辑与协议验证中发挥重要作用。文中介绍了形式化校验技术的原理,分析了形式化校验技术在实现配电网自愈中的故障预警、故障诊断以及核心算法与协议的模型认证中的作用,并以智能分布式馈线自动化算法的形式化校验为例,详细分析了使用形式化校验技术对配电网自愈核心算法进行验证的过程。
凌万水刘东洪俊侯勇
关键词：智能配电网自愈
全选 清除 导出
共1页<1>
聚类工具0