基于形式化描述机制的检修安措策略研究与应用

由于智能变电站二次系统的信号关联采用网络通信模式,使得二次系统安措具有安措对象复杂,隐含不直观的缺点.为有效降低智能变电站的二次检修工作风险,提出了基于形式化描述机制的检修安措生成策略.首先对SCD文件进行正确性检查,然后构成检修安措模型.最后结合模型和推演规则,在给定检修任务时自动生成形式化描述的检修安措.在此基础上,提出了在操作之前进行可视化校验的安措检查机制.通过某220 kV智能变电站的应用实例,证明了所提出的技术方案的可行性....

Full description

Saved in:
Bibliographic Details
Published in电力系统保护与控制 Vol. 46; no. 22; pp. 178 - 186
Main Authors 耿少博, 赵春雷, 高翔, 冯俊国, 孙利强
Format Journal Article
LanguageChinese
Published 国网河北省电力公司,河北石家庄,050022%上海毅昊自动化有限公司,上海,201204%国网石家庄供电公司,河北石家庄,050000 16.11.2018
Subjects
Online AccessGet full text
ISSN1674-3415
DOI10.7667/PSPC171600

Cover

More Information
Summary:由于智能变电站二次系统的信号关联采用网络通信模式,使得二次系统安措具有安措对象复杂,隐含不直观的缺点.为有效降低智能变电站的二次检修工作风险,提出了基于形式化描述机制的检修安措生成策略.首先对SCD文件进行正确性检查,然后构成检修安措模型.最后结合模型和推演规则,在给定检修任务时自动生成形式化描述的检修安措.在此基础上,提出了在操作之前进行可视化校验的安措检查机制.通过某220 kV智能变电站的应用实例,证明了所提出的技术方案的可行性.
ISSN:1674-3415
DOI:10.7667/PSPC171600