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

Research and application of the strategy for repair security measures based on formalized description mechanism

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

Due to the application of network communication for signal association in smart substation secondary system,the security measures of secondary equipment for smart substations become implicit and complicated.For the sake of reducing the risk of maintenance associated with protections of the smart substation,this paper proposes a novel method for security measures generation based on formalized description mechanism.This method starts from checking SCD,then generates the model of security measures.Under the circumstances of combining models and deduction rules,the maintenance security measures are automatically generated for a maintenance task based on a formalized description mechanism.In order to improve the reliability of the final maintenance security measures,this paper proposes a visualized verifying method for maintenance security measures.The implementation of 220 kV substation has proved the feasibility of the proposed technical solution.