一种防误闭锁逻辑规则生成与校核系统技术方案

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

A logic rule generation and check system for preventing false locking

The invention relates to a method for generating and checking system of anti maloperation logic rules, which includes input and output module, graphics editing module, typical interval model database, analysis module, graphic abstract logic formula base and abstract logical rules and logic generating module; the invention through the built-in substation typical connection model, general five anti logic formula, after reading the specific wiring information, can be the main wiring information system built for the typical equipment wiring model matching, and then the matching model results corresponding to the five after the general anti logic formula is replaced by the actual equipment information output, to obtain the five specific anti logic formula, and further, can the automatic generation of logic formulas and have written good logical formulas for verification, so as to solve the current substation five prevention The logic formula is written and checked for the problems of low efficiency, lack of reliability and inability to prove its reliability.

【技术实现步骤摘要】
一种防误闭锁逻辑规则生成与校核系统
本专利技术涉及一种防误闭锁逻辑规则生成与校核系统。
技术介绍
变电站中一般安装有微机五防系统，微机五防系统作为倒闸操作安全的保障，发挥了很大的作用。微机五防防止误操作的判断依据源于五防逻辑公式，目前的五防逻辑公式都是人工编写的，整个编写过程效率低，花费时间成本高，并且遗漏易错，存在较大的安全风险，因此业内一直研究如何实现五防逻辑公式的自动生成。业内对此问题展开了研究，期望引入一种自动生成和校验五防逻辑公式的技术，也陆续有了一些成果，比如根据设备连接关系，使用程序抽象规则算法自动生成刀闸、地刀、地线、网门之间的逻辑关系，实现一些简单的五防逻辑公式生成；或者是在此基础上进一步实现开关、刀闸等在不同运行方式下的抽象规则算法；还有的是把特定的接线模型和五防逻辑公式存储到数据库中，然后在变电站主接线设备模型建立的时候，直接使用存储的数据模型进行编辑，实现变电站主接线设备模型组建完成之后即带有五防逻辑公式。但现有的技术方案在微机五防逻辑公式自动生成上面带来了进步，但仍然存在不足，对于使用程序抽象规则算法自动生成刀闸、地刀、地线、网门之间的逻辑关系的方案，只能实现一些简单的五防逻辑公式生成，无法保证全面性，因此只能在特定的系统中作为补充功能使用；对进一步在此基础上增加开关、刀闸在不同运行方式下的复杂倒闸操作抽象规则，将会引起规则复杂化而导致系统无法证明其自身算法正确性的问题，从而导致系统的输出结果将基于不可靠的抽象规则算法基础，将无法保证其对逻辑公式校验结果的正确性；对于存储特定接线和五防逻辑公式并直接使用该预存数据进行变电站主接线建模的方案，存在使用困难、通用性差、维护复杂的问题，导致实用性不高。
技术实现思路
有鉴于此，本专利技术的目的在于提供一种防误闭锁逻辑规则生成与校核系统，解决了目前变电站五防逻辑公式编写和校验效率较低、可靠性不足以及无法证明自身可靠性的问题。为实现上述目的，本专利技术采用如下技术方案：一种防误闭锁逻辑规则生成与校核系统，其特征在于：包括输入输出模块、图形编辑模块、典型间隔模型库、图形分析模块、抽象逻辑公式库、抽象逻辑规则库和逻辑公式生成模块；所述输入输出模块读取微机五防系统的一次主接线图，并将得到的模型匹配结果、五防逻辑公式返回给微机五防系统；所述图形编辑模块用于将典型间隔模型库中的典型间隔模型转换成可编辑的接线图并在窗口中进行显示；所述典型间隔模型库用于存储不同类型的典型间隔模型；所述图形分析模块用于将输入输出模块读取或绘制的一次主接线图拆解成若干间隔，并将所述若干间隔与典型间隔模型库中的典型间隔模型进行匹配，将模型匹配结果发送给逻辑公式生成模块；所述逻辑公式生成模块用于将抽象逻辑公式和抽象逻辑规则转换成实际变电站设备编号，得到五防逻辑公式发送给输入输出模块；所述抽象逻辑公式库用于存储抽象逻辑公式，所述抽象逻辑公式使用通用编号进行编写，每一抽象逻辑公式对应一种典型间隔模型，用于规定不同典型间隔的防误操作判断条件；所述抽象逻辑规则库用于存储抽象逻辑规则，每一抽象逻辑规则表示一种防误操作判断条件。进一步的，所述典型间隔模型由若干单元设备组成，所述单元设备包括开关、刀闸、地线、网门、母线、线路负载、主变、电容器组、电抗器组、所变和PT，所述单元设备具备微机五防系统需要使用的必要五防属性参数；其中线路负载、主变、电容器组、电抗器组、所变和PT作为间隔类型的标识设备，在一个典型接线模型中只含有一种间隔类型的标识设备。进一步的，所述必要五防属性参数为微机五防判断时需要考虑的设备属性参数，包括线路开关、主变开关、旁路开关、线路侧刀闸、母线侧刀闸、双母出线母线侧刀闸和旁路刀闸。进一步的，所述图形分析模块的具体工作机制如下：拆解：随机从某一个单元设备开始为起点沿连接路径进行搜索，同时以母线、主变、线路负载、主变、电容器组、电抗器组、所变和PT作为搜索边界，然后将此过程中搜索到的单元设备作为一个间隔；完成上一个间隔的搜索后，再随机从该主接线图不属于已搜索到间隔的单元设备再次执行此搜索，从而完成其它间隔的搜索，这样即可将整个一次主接线图拆解成多个间隔；匹配：只对拆解得到的间隔和典型间隔模型中的开关、刀闸以及间隔类型的标识设备进行匹配运算，若匹配成功，则可得出与拆解间隔配对成功的典型间隔模型信息；而拆解间隔与该典型接线模型中相同位置的各单元设备也就具有所述微机五防系统需要使用的必要五防属性参数，从而得到了微机五防一次主接线图的模型匹配结果。进一步的，所述逻辑公式生成模块的具体工作机制如下：逻辑公式生成模块获取到模型间隔匹配结果后，将查找典型间隔模型对应的抽象逻辑公式，然后调用该抽象逻辑公式，将通用设备编号使用具体设备编号进行替换，即可得到五防逻辑公式；逻辑公式生成模块还根据一次主接线图中的设备类型，调用对应抽象逻辑规则，并将抽象逻辑规则转换成具体设备编号后输出相应的五防逻辑公式，最后将生成的五防逻辑公式发送给输入输出模块和逻辑公式校验模块。进一步的，所述抽象逻辑公式包括：通用公式编号：CXLJ_DMCX_01，对应模型编号：DMCX_01KG10:DZ1=0,DZ2=0+DZ1=1,DZ2=1!KG11:DZ1=0,DZ2=0+DZ1=1,DZ2=1!DZ10:KG1=0,DZ2=0!DZ11:KG1=0,DZ2=0!DZ20:KG1=0,DZ1=1!DZ21:KG1=0,DZ1=1!通用公式编号：CXLJ_SMCX_01，对应模型编号：SMCX_01KG10:DZ1=0,DZ2=0,DZ3=0+DZ1=1,DZ2=0,DZ3=1+DZ0=1,DZ2=1,DZ3=1!KG11:DZ1=0,DZ2=0,DZ3=0+DZ1=1,DZ2=0,DZ3=1+DZ0=1,DZ2=1,DZ3=1!DZ10:KG1=0,DZ2=0,DZ3=0!DZ11:KG1=0,DZ2=0,DZ3=0!DZ20:KG1=0,DZ1=0,DZ3=0!DZ21:KG1=0,DZ1=0,DZ3=0!DZ30:KG1=0,(DZ1=1,DZ2=0+DZ1=0,DZ2=1)!DZ31:KG1=0,(DZ1=1,DZ2=0+DZ1=0,DZ2=1)!其中，设备通用编号“0”表示设备分操作条件，设备通用编号“1”表示设备合操作条件，“：”表示分隔符，“，”表示与运算，“+”表示或运算，“=”表示相等比较运算，“！”表示语句结束。进一步的，还包括逻辑公式校验模块，所述逻辑公式校验模块用于将变电站已有的五防逻辑公式与逻辑公式生成模块传输过来的五防逻辑公式进行校验，并将校验结果发送给输入输出模块。本专利技术与现有技术相比具有以下有益效果：本专利技术通过内置变电站各种典型接线模型、通用五防逻辑公式，在读取具体变电站主接线信息之后，可以将主接线信息与系统内置典型设备接线模型进行匹配，然后将匹配模型结果对应的通用五防逻辑公式替换成实际设备信息之后进行输出，从而获取到具体的五防逻辑公式，进一步的，可将自动生成的逻辑公式和已编写好的逻辑公式进行校验，从而解决目前变电站五防逻辑公式编写和校验效率较低的问题；另外本专利技术预置典型间隔模型库、抽象逻辑公式库、抽象逻辑规则库均可进行审核修改，因此逻辑公式自动生成的依据是可信赖的，因此具有更高的可靠性和安本文档来自技高网...

【技术保护点】
一种防误闭锁逻辑规则生成与校核系统，其特征在于：包括输入输出模块、图形编辑模块、典型间隔模型库、图形分析模块、抽象逻辑公式库、抽象逻辑规则库和逻辑公式生成模块；所述输入输出模块读取微机五防系统的一次主接线图，并将得到的模型匹配结果、五防逻辑公式返回给微机五防系统；所述图形编辑模块用于将典型间隔模型库中的典型间隔模型转换成可编辑的接线图并在窗口中进行显示；所述典型间隔模型库用于存储不同类型的典型间隔模型；所述图形分析模块用于将输入输出模块读取或绘制的一次主接线图拆解成若干间隔，并将所述若干间隔与典型间隔模型库中的典型间隔模型进行匹配，将模型匹配结果发送给逻辑公式生成模块；所述逻辑公式生成模块用于将抽象逻辑公式和抽象逻辑规则转换成实际变电站设备编号，得到五防逻辑公式发送给输入输出模块；所述抽象逻辑公式库用于存储抽象逻辑公式，所述抽象逻辑公式使用通用编号进行编写，每一抽象逻辑公式对应一种典型间隔模型，用于规定不同典型间隔的防误操作判断条件；所述抽象逻辑规则库用于存储抽象逻辑规则，每一抽象逻辑规则表示一种防误操作判断条件。

【技术特征摘要】
1.一种防误闭锁逻辑规则生成与校核系统，其特征在于：包括输入输出模块、图形编辑模块、典型间隔模型库、图形分析模块、抽象逻辑公式库、抽象逻辑规则库和逻辑公式生成模块；所述输入输出模块读取微机五防系统的一次主接线图，并将得到的模型匹配结果、五防逻辑公式返回给微机五防系统；所述图形编辑模块用于将典型间隔模型库中的典型间隔模型转换成可编辑的接线图并在窗口中进行显示；所述典型间隔模型库用于存储不同类型的典型间隔模型；所述图形分析模块用于将输入输出模块读取或绘制的一次主接线图拆解成若干间隔，并将所述若干间隔与典型间隔模型库中的典型间隔模型进行匹配，将模型匹配结果发送给逻辑公式生成模块；所述逻辑公式生成模块用于将抽象逻辑公式和抽象逻辑规则转换成实际变电站设备编号，得到五防逻辑公式发送给输入输出模块；所述抽象逻辑公式库用于存储抽象逻辑公式，所述抽象逻辑公式使用通用编号进行编写，每一抽象逻辑公式对应一种典型间隔模型，用于规定不同典型间隔的防误操作判断条件；所述抽象逻辑规则库用于存储抽象逻辑规则，每一抽象逻辑规则表示一种防误操作判断条件。2.根据权利要求1所述的防误闭锁逻辑规则生成与校核系统，其特征在于：所述典型间隔模型由若干单元设备组成，所述单元设备包括开关、刀闸、地线、网门、母线、线路负载、主变、电容器组、电抗器组、所变和PT，所述单元设备具备微机五防系统需要使用的必要五防属性参数；其中线路负载、主变、电容器组、电抗器组、所变和PT作为间隔类型的标识设备，在一个典型接线模型中只含有一种间隔类型的标识设备。3.根据权利要求2所述的防误闭锁逻辑规则生成与校核系统，其特征在于：所述必要五防属性参数为微机五防判断时需要考虑的设备属性参数，包括线路开关、主变开关、旁路开关、线路侧刀闸、母线侧刀闸、双母出线母线侧刀闸和旁路刀闸。4.根据权利要求2所述的防误闭锁逻辑规则生成与校核系统，其特征在于：所述图形分析模块的具体工作机制如下：拆解：随机从某一个单元设备开始为起点沿连接路径进行搜索，同时以母线、主变、线路负载、主变、电容器组、电抗器组、所变和PT作为搜索边界，然后将此过程中搜索到的单元设备作为一个间隔；完成上一个间隔的搜索后，再随机从该主接线图不属于已搜索到间隔的单元设备再次执行此搜索，从而完成其它间隔的搜索，这样即可将整个一次主接线图拆解成多个间隔；匹配：只对拆解得到的间隔和典型间隔模型中的开关、刀闸以及间隔类型的标识设备进行匹配运算，若匹配成功，则可得出与拆解间隔配对成...

【专利技术属性】
技术研发人员：黄金魁，吴善班，陈月卿，徐育福，林静怀，李泽科，陈跃飞，陈烨，甘磊，
申请(专利权)人：国网福建省电力有限公司，国家电网公司，国网福建省电力有限公司检修分公司，
类型：发明
国别省市：福建,35