一种防误闭锁逻辑规则生成与校核系统
摘要:
本发明涉及一种防误闭锁逻辑规则生成与校核系统,其特征在于:包括输入输出模块、图形编辑模块、典型间隔模型库、图形分析模块、抽象逻辑公式库、抽象逻辑规则库和逻辑公式生成模块;本发明通过内置变电站各种典型接线模型、通用五防逻辑公式,在读取具体变电站主接线信息之后,可以将主接线信息与系统内置典型设备接线模型进行匹配,然后将匹配模型结果对应的通用五防逻辑公式替换成实际设备信息之后进行输出,从而获取到具体的五防逻辑公式,并进一步的,可将自动生成的逻辑公式和已编写好的逻辑公式进行校验,从而解决目前变电站五防逻辑公式编写和校验效率较低、可靠性不足以及无法证明自身可靠性的问题。
公开/授权文献
0/0