电力智能单元传输规约安全性分析模型研究

发布时间：2017-08-23 23:47

  本文关键词：电力智能单元传输规约安全性分析模型研究

  更多相关文章： 协议安全性分析 符号模型 计算模型 计算可靠的形式化方法 电力智能单元传输规约

【摘要】：电力智能单元传输规约的安全性是保障智能电网中智能通信实现高速、可靠、安全的基础。为了构建适用于电力智能单元传输规约的安全性分析模型,概述了主流的协议安全性分析理论与方法。基于符号模型的形式化方法包括逻辑推理、模型检验、定理证明;基于计算模型的计算方法包括RO模型、BCP模型、CK模型以及UC模型;基于计算可靠性理论的方法包括映射方法、模型方法、形式化方法的计算可靠性以及计算方法的直接形式化。提出了面向智能电网领域的电力智能单元传输规约安全性分析模型,为进一步的电力智能化单元传输规约的安全性分析奠定了基础。
【作者单位】： 全球能源互联网研究院信息通信研究所;国家电网公司信息通信部运行处;
【关键词】： 协议安全性分析 符号模型 计算模型 计算可靠的形式化方法 电力智能单元传输规约
【基金】：国家电网公司项目:电网智能化单元传输规约安全分析及增强技术研究资助
【分类号】：TP309;TM76
【正文快照】： 1引言智能电网己成为世界电网发展的共同趋势。其核心理念是在建立集成、高速、双向通信网络的基础上,利用先进信息通信和控制技术,提升电网智能化水平,适应可再生能源的接入、双向互动等多元化电网服务的要求,实现电网的可靠、安全、经济、高效和环境友好等目标。与传统电网

【相似文献】

中国期刊全文数据库 前10条

1 杜飞;戴雪伟;甘红胜;李广超;;电池检测安全性系统研究[J];检验检疫学刊;2012年03期

2 琚泽立;李复明;王新;王明;韦汶妍;;陕西输电网结构安全性分析[J];陕西电力;2012年06期

3 王娟;;电力调度自动化系统及其网络安全性分析[J];机电信息;2011年18期

4 田丰,余天龙;国产300MW机组保安系统故障与安全性分析[J];发电设备;2000年04期

5 鲍英萍;空调冷媒的安全性分析[J];林业科技情报;2004年01期

6 付华;王大勇;;系统安全性分析及预测[J];辽宁工程技术大学学报(自然科学版);2008年S1期

7 李肃;李强;李亚巍;;McWiLL现场调度指挥终端安全性分析及解决方案[J];中国电力教育;2010年S2期

8 谭伦农,张保会,刘海涛;市场环境下电力运行中安全性的优化[J];中国电力;2003年08期

9 李荣毅;张殿生;李洋;;TN-S低压供电网的安全性分析[J];沈阳工程学院学报(自然科学版);2008年02期

10 董雷;康豫军;卫大为;吴晓俊;郑军超;蒋建辉;李亮;;管道减振刚性拉撑杆动态载荷测试与安全性分析[J];电力建设;2010年07期

中国重要会议论文全文数据库 前2条

1 林曦;高文建;何朝阳;薛峰;许剑冰;徐泰山;薛禹胜;汪磊;;广西电网在线动态安全性分析系统[A];第三届广西青年学术年会论文集（自然科学篇）[C];2004年

2 林曦;高文建;何朝阳;薛峰;许剑冰;徐泰山;薛禹胜;汪磊;;广西电网在线动态安全性分析系统[A];广西电机工程学会第八届青年学术年会论文集[C];2004年

中国硕士学位论文全文数据库 前1条

1 姜玉杰;风电机组变距变速控制系统仿真与安全性分析[D];华北电力大学;2014年

，

本文编号：728019