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

关键词：智能变电站 继电保护 scd模型 安措 形式化描述 

单位：国网河北省电力公司; 河北石家庄050022; 上海毅昊自动化有限公司; 上海201204; 国网石家庄供电公司; 河北石家庄050000