[发明专利]一种闭锁逻辑自动验证方法

权利要求书

1.一种闭锁逻辑自动验证方法，其特征在于，包括以下步骤：1)根据一次系统图，构建能表达系统电气拓扑的数据链表并确定操作任务；2)选择拟操作设备并分析操作设备类型，若为断路设备转步骤3，若为隔离设备转步骤4，若为接地设备转步骤5，其它则结束验证过程；3)根据操作设备当前状态，以断路设备闭锁逻辑基本规则为基础验证闭锁逻辑，输出验证结果并结束验证过程；4)根据操作设备当前状态和操作任务类型，以隔离设备闭锁逻辑基本规则为基础验证闭锁逻辑，输出验证结果并结束验证过程；5)根据操作设备当前状态，以接地设备闭锁逻辑基本规则为基础验证闭锁逻辑，输出验证结果并结束验证过程。

2.根据权利要求1所述的一种闭锁逻辑自动验证方法，其特征在于，用数据链表表示一次系统图的电气拓扑关系，针对操作任务，根据一次系统图数据链表，动态生成与操作任务关联的支线数据链表。

3.根据权利要求1所述的一种闭锁逻辑自动验证方法，其特征在于，断路设备闭锁逻辑基本规则表述如下：

①断开断路设备的闭锁逻辑规则：如果负载侧有其它断路设备未断开，则违反闭锁逻辑；

②闭合断路设备的闭锁逻辑规则：如果周围接地设备未断开，则违反闭锁逻辑；如果有关联隔离设备未合上，则违反闭锁逻辑；如果供电侧有其它断路设备未合上，则违反闭锁逻辑。

4.根据权利要求1或3所述的一种闭锁逻辑自动验证方法，其特征在于，对于断路设备定义断路设备闭锁逻辑基本规则，以操作任务关联的支线数据链表为基础，分别对拟操作断路设备的两个端点构建两个临时端点链表，根据拟操作设备的操作状态和断路设备闭锁逻辑基本规则进行闭锁 逻辑验证。

5.根据权利要求1所述的一种闭锁逻辑自动验证方法，其特征在于，隔离设备闭锁逻辑基本规则表述如下：

①断开隔离设备并且操作任务是停电：如果线路未停电，则违反闭锁逻辑；如果负载侧有其它隔离设备未断开，则违反闭锁逻辑；

②断开隔离设备并且操作任务是倒母、倒旁：如果不存在其它环路供电线路，则违反闭锁逻辑；

③闭合隔离设备并且操作任务是送电：如果有接地设备未断开，则违反闭锁逻辑；如果闭合此隔离设备后负载侧带电，则违反闭锁逻辑；如果负载侧隔离设备已合上，则违反闭锁逻辑；

④闭合隔离设备并且操作任务是倒母、倒旁：如果不存在其它环路供电线路，则违反闭锁逻辑；如果关联母线、旁母未运行，则违反闭锁逻辑。

6.根据权利要求1或5所述的一种闭锁逻辑自动验证方法，其特征在于，对于隔离设备定义隔离设备闭锁逻辑基本规则，以操作任务关联的支线数据链表为基础，分别对拟操作隔离设备的两个端点构建两个临时端点链表，根据拟操作设备的操作状态、任务类型和隔离设备闭锁逻辑基本规则进行闭锁逻辑验证。

7.根据权利要求1所述的一种闭锁逻辑自动验证方法，其特征在于，接地设备闭锁逻辑基本规则表述如下：

①拆除接地设备：可直接操作，无闭锁逻辑要求；

②闭合接地设备：如果周围有设备未断开，则违反闭锁逻辑。 

8.根据权利要求1或2所述的一种闭锁逻辑自动验证方法，其特征在于，对于接地设备定义接地设备闭锁逻辑基本规则，以操作任务关联的支线数据链表为基础，对拟操作接地设备的非接地端点构建临时端点链表，根据拟操作设备的操作状态和接地设备闭锁逻辑基本规则进行闭锁逻辑验证。