发明名称 |
一种闭锁逻辑自动验证方法 |
摘要 |
一种闭锁逻辑自动验证自动生成方法,首先根据一次系统图,构建能表达系统电气拓扑的数据链表并确定操作任务;其次,选择拟操作设备并分析操作设备类型;最后,根据设备类型及设备当前状态,以相应的设备闭锁逻辑验证规则为基础验证闭锁逻辑,输出验证结果并结束验证过程;本发明可有效克服预先人工编写闭锁逻辑规则存在的工作量大、可能出现闭锁逻辑规则遗漏、维护困难的缺点,能够保证操作步骤满足闭锁逻辑要求,提高电网的运行安全,有效避免发生人身伤亡事故。 |
申请公布号 |
CN101520647A |
申请公布日期 |
2009.09.02 |
申请号 |
CN200910021774.1 |
申请日期 |
2009.03.31 |
申请人 |
西安交大辰方科技有限公司 |
发明人 |
吴宁;闫相国;潘克非;王子南 |
分类号 |
G05B19/04(2006.01)I;H02B1/24(2006.01)I |
主分类号 |
G05B19/04(2006.01)I |
代理机构 |
西安智大知识产权代理事务所 |
代理人 |
弋才富 |
主权项 |
1、一种闭锁逻辑自动验证方法,其特征在于,包括以下步骤:1)根据一次系统图,构建能表达系统电气拓扑的数据链表并确定操作任务;2)选择拟操作设备并分析操作设备类型,若为断路设备转步骤3,若为隔离设备转步骤4,若为接地设备转步骤5,其它则结束验证过程;3)根据操作设备当前状态,以断路设备闭锁逻辑验证规则为基础验证闭锁逻辑,输出验证结果并结束验证过程;4)根据操作设备当前状态和操作任务类型,以隔离设备闭锁逻辑验证规则为基础验证闭锁逻辑,输出验证结果并结束验证过程;5)根据操作设备当前状态,以接地设备闭锁逻辑验证规则为基础验证闭锁逻辑,输出验证结果并结束验证过程。 |
地址 |
710075陕西省西安市西安高新开发区高新一路创新大厦S505 |