基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
由于智能变电站二次系统的信号关联采用网络通信模式,使得二次系统安措具有安措对象复杂,隐含不直观的缺点.为有效降低智能变电站的二次检修工作风险,提出了基于形式化描述机制的检修安措生成策略.首先对SCD文件进行正确性检查,然后构成检修安措模型.最后结合模型和推演规则,在给定检修任务时自动生成形式化描述的检修安措.在此基础上,提出了在操作之前进行可视化校验的安措检查机制.通过某220 kV智能变电站的应用实例,证明了所提出的技术方案的可行性.
推荐文章
基于CSP和RSL的协议形式化描述技术研究
形式化描述技术
通信顺序进程
RSL
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
基于动态体系结构的形式化描述
动态演化
动态体系
Z体系
基于Pi-演算的Web服务形式化描述模型
Web服务
Web服务组合
形式化描述模型
Pi-演算
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于形式化描述机制的检修安措策略研究与应用
来源期刊 电力系统保护与控制 学科
关键词 智能变电站 继电保护 SCD模型 安措 形式化描述
年,卷(期) 2018,(22) 所属期刊栏目 工程应用
研究方向 页码范围 178-186
页数 9页 分类号
字数 7702字 语种 中文
DOI 10.7667/PSPC171600
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 高翔 22 368 10.0 19.0
2 耿少博 10 28 4.0 5.0
3 孙利强 5 20 3.0 4.0
4 赵春雷 3 15 2.0 3.0
5 冯俊国 3 7 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (117)
共引文献  (242)
参考文献  (15)
节点文献
引证文献  (4)
同被引文献  (46)
二级引证文献  (6)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(3)
  • 参考文献(0)
  • 二级参考文献(3)
2006(5)
  • 参考文献(0)
  • 二级参考文献(5)
2007(4)
  • 参考文献(0)
  • 二级参考文献(4)
2008(6)
  • 参考文献(0)
  • 二级参考文献(6)
2009(8)
  • 参考文献(0)
  • 二级参考文献(8)
2010(17)
  • 参考文献(1)
  • 二级参考文献(16)
2011(11)
  • 参考文献(0)
  • 二级参考文献(11)
2012(19)
  • 参考文献(2)
  • 二级参考文献(17)
2013(9)
  • 参考文献(1)
  • 二级参考文献(8)
2014(19)
  • 参考文献(3)
  • 二级参考文献(16)
2015(12)
  • 参考文献(3)
  • 二级参考文献(9)
2016(11)
  • 参考文献(4)
  • 二级参考文献(7)
2017(1)
  • 参考文献(1)
  • 二级参考文献(0)
2018(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2019(3)
  • 引证文献(3)
  • 二级引证文献(0)
2020(7)
  • 引证文献(1)
  • 二级引证文献(6)
研究主题发展历程
节点文献
智能变电站
继电保护
SCD模型
安措
形式化描述
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电力系统保护与控制
半月刊
1674-3415
41-1401/TM
大16开
河南省许昌市许继大道1706号
36-135
1973
chi
出版文献量(篇)
11393
总下载数(次)
13
总被引数(次)
201041
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导