发明公开
- 专利标题: 一种防误闭锁逻辑规则生成与校核系统
- 专利标题(英): Error lock-resistant logic rule generation and check system
-
申请号: CN201710065234.8申请日: 2017-02-06
-
公开(公告)号: CN106919741A公开(公告)日: 2017-07-04
- 发明人: 黄金魁 , 吴善班 , 陈月卿 , 徐育福 , 林静怀 , 李泽科 , 陈跃飞 , 陈烨 , 甘磊
- 申请人: 国网福建省电力有限公司 , 国家电网公司 , 国网福建省电力有限公司检修分公司
- 申请人地址: 福建省福州市鼓楼区五四路257号; ;
- 专利权人: 国网福建省电力有限公司,国家电网公司,国网福建省电力有限公司检修分公司
- 当前专利权人: 国网福建省电力有限公司,国家电网公司,国网福建省电力有限公司检修分公司
- 当前专利权人地址: 福建省福州市鼓楼区五四路257号; ;
- 代理机构: 福州元创专利商标代理有限公司
- 代理商 蔡学俊
- 主分类号: G06F17/50
- IPC分类号: G06F17/50
摘要:
本发明涉及一种防误闭锁逻辑规则生成与校核系统,其特征在于:包括输入输出模块、图形编辑模块、典型间隔模型库、图形分析模块、抽象逻辑公式库、抽象逻辑规则库和逻辑公式生成模块;本发明通过内置变电站各种典型接线模型、通用五防逻辑公式,在读取具体变电站主接线信息之后,可以将主接线信息与系统内置典型设备接线模型进行匹配,然后将匹配模型结果对应的通用五防逻辑公式替换成实际设备信息之后进行输出,从而获取到具体的五防逻辑公式,并进一步的,可将自动生成的逻辑公式和已编写好的逻辑公式进行校验,从而解决目前变电站五防逻辑公式编写和校验效率较低、可靠性不足以及无法证明自身可靠性的问题。
公开/授权文献
- CN106919741B 一种防误闭锁逻辑规则生成与校核系统 公开/授权日:2021-03-02