电气设备防误逻辑公式自动化生成系统及其方法技术方案

本发明专利技术公开了一种电气设备防误逻辑公式自动化生成系统及其方法，该系统包括输入输出模块、典型接线模型库、主接线分析模块、通用防误逻辑公式库和公式生成模块、公式校验模块等；该系统通过内置厂站各种典型接线模型、通用防误逻辑公式，在读取具体厂站主接线信息之后，可以将这些接线信息与系统内置典型设备接线模型进行匹配，然后将匹配模型下通用防误逻辑公式替换成实际设备信息之后进行输出，从而获取到具体防误逻辑公式，并进一步的，可将自动生成的逻辑公式和已编写好的逻辑公式进行校验，从而解决目前厂站防误逻辑公式编写和校验效率较低、可靠性不足的问题。

【技术实现步骤摘要】
电气设备防误逻辑公式自动化生成系统及其方法
本专利技术涉及电力系统微机五防
，尤其涉及电气设备防误逻辑公式自动生成系统及其方法。
技术介绍
微机五防技术是保障电力设备倒闸安全的一种重要手段，其通过预置电气设备防误逻辑公式，对电力设备倒闸操作的条件进行约束，从而防止误操作事故的发生。一直以来，电气设备防误逻辑公式的编写和校验都是通过人工来完成的，整个过程效率较低，且容易存在错误和遗漏，随着厂站数量的不断增加以及调控一体化的发展，人工编写和校验电气设备防误逻辑公式存在的问题越发显得突出。业内对此问题展开了研究，期望引入一种自动生成和校验电气设备防误逻辑公式的技术，也陆续有了一些成果，比如根据设备连接关系，使用程序抽象规则算法自动生成刀闸、地刀、地线、网门之间的逻辑闭锁关系，但这种方式只能实现部分电气设备防误逻辑公式，无法保证全面性，因此只能在特定的系统中作为补充功能使用。还有进一步的，在此基础上增加开关、刀闸在不同运行方式下的复杂倒闸操作抽象规则，但这引起了规则复杂化而导致系统无法证明其自身算法正确性的问题，从而导致系统的输出结果将基于不可靠的抽象规则算法基础，将无法保证其对电气设备防误逻辑公式校验结果的正确性。因此，现有技术存在编写逻辑公式效率低、准确性差、全面性差、无法有效自证系统正确性等诸多问题。
技术实现思路
基于此，有必要针对现有技术存在的技术问题，提供一种快速生成和校验电气设备防误逻辑公式的电气设备防误逻辑公式自动化生成系统及其方法。本专利技术提供一种电气设备防误逻辑公式自动生成系统，包括输入输出模块、典型接线模型库、主接线分析模块、通用防误逻辑公式库和公式生成模块；所述输入输出模块，用于读取包含有设备类型和设备连接关系的主接线数据，以及输出防误逻辑公式的生成结果；所述典型接线模型库，用于存储有若干个不同典型接线模型，所述典型接线模型包括开关、刀闸以及间隔类型标识设备，所述开关、刀闸以及间隔类型标识设备使用设备通用编号命名；所述主接线分析模块，用于将所述主接线数据以主变、母线、所变、线路负载和架空线路作为边界拆分成若干个接线间隔，并将所述接线间隔与所述典型接线模型库中的典型接线模型进行匹配，在所述接线间隔与所述典型接线模型匹配时，若所述接线间隔与所述典型接线模型中开关、刀闸以及间隔类型标识设备的设备类型一致，且相互之间的设备连接关系一致，则判定所述接线间隔与所述典型接线模型的接线类型匹配成功，并将接线类型匹配成功结果传给所述公式生成模块；所述通用防误逻辑公式库，用于存储有若干个对应不同典型接线模型的通用防误逻辑公式，所述通用防误逻辑公式使用所述设备通用编号进行编写；所述公式生成模块，用于查找所述接线类型匹配成功结果对应的通用防误逻辑公式，并将所述通用防误逻辑公式中的设备通用编号替换成具体编号，得到具体防误逻辑公式；还用于将所述具体防误逻辑公式通过所述输入输出模块进行输出。作为一种电气设备防误逻辑公式自动生成系统的可实施方式，所述典型接线模型由开关、刀闸以及间隔类型标识设备组成。作为一种电气设备防误逻辑公式自动生成系统的可实施方式，还包括通用防误逻辑规则库，所述通用防误逻辑规则库用于存储有若干个对应不同设备类型的通用防误逻辑规则，所述通用防误逻辑规则用于表示设备的操作规则；所述通用防误逻辑规则与所述通用防误逻辑公式的区别在于，所述通用防误逻辑公式依赖于所述典型接线模型，用于表示不同接线形式下的电气设备倒闸操作条件，并且是使用所述设备通用编号进行编写的，而所述通用防误逻辑规则不依赖于所述典型接线模型，适用于不同接线形式；所述公式生成模块还用于将所述主接线数据中各设备按所述通用防误逻辑规则输出具体防误逻辑公式，然后通过所述输入输出模块进行输出。作为一种电气设备防误逻辑公式自动生成系统的可实施方式，所述公式生成模块用于将根据所述通用防误逻辑公式和所述通用防误逻辑规则生成的具体防误逻辑公式进行“与”运算，然后通过所述输入输出模块进行输出。作为一种电气设备防误逻辑公式自动生成系统的可实施方式，还包括数据维护模块，用于查看、增加、删除和/或修改所述典型接线模型、所述通用防误逻辑公式和所述通用防误逻辑规则。作为一种电气设备防误逻辑公式自动生成系统的可实施方式，系统还包括防误逻辑公式校验模块，用于将所述已有的防误逻辑公式与所述公式生成模块生成的具体防误逻辑公式进行校验，并将所述防误逻辑公式的校验结果通过所述输入输出模块进行输出。基于同一专利技术构思的一种电气设备防误逻辑公式自动生成方法，包括以下步骤：步骤S1、读取包含有设备类型和设备连接关系的主接线数据；步骤S2、将所述主接线数据以主变、母线、所变、线路负载、架空线路作为边界拆分成若干个接线间隔；步骤S3、将所述接线间隔与典型接线模型库中的典型接线模型进行匹配，若所述接线间隔与所述典型接线模型中的开关、刀闸以及间隔类型标识设备的设备类型一致，且相互之间的设备连接关系一致，则判定所述接线间隔与所述典型接线模型的接线类型匹配成功；步骤S4、查找所述接线类型匹配成功结果对应的通用防误逻辑公式，并将所述通用防误逻辑公式中的设备通用编号替换成具体编号，得到具体防误逻辑公式；步骤S5、输出所述具体防误逻辑公式。作为一种电气设备防误逻辑公式自动生成方法的可实施方式，在步骤S4与步骤S5之间，还包括步骤S40和步骤S41：步骤S40、将所述主接线数据中各设备按所述通用防误逻辑规则输出具体防误逻辑公式；步骤S41、将根据所述通用防误逻辑公式和根据所述通用防误逻辑规则生成的具体防误逻辑公式进行“与”运算。基于同一专利技术构思，在本专利技术所述电气设备防误逻辑公式自动生成系统基础上，本专利技术还提供一种电气设备防误逻辑公式自动校验方法，包括以下步骤：步骤S100、读取包含有设备类型和设备连接关系的主接线数据和已有防误逻辑公式；步骤S200、生成所述主接线数据对应的具体防误逻辑公式；步骤S300、将所述已有防误逻辑公式与所述具体防误逻辑公式进行校验；步骤S400、输出所述已有防误逻辑公式的校验结果。本专利技术的有益效果：本专利技术提供的一种电气设备防误逻辑公式自动化生成系统及其方法，在读取包含有设备类型和设备连接关系的主接线数据后，可以快速生成相应的电气设备防误逻辑公式，可提高电气设备防误逻辑公式的编写效率；另外系统采用典型接线模型，以及对应典型接线模型的通用防误逻辑公式和适用于所有接线形式的通用防误逻辑规则的结构，可以很好地对系统预置的典型接线模型、通用防误逻辑公式和通用防误逻辑规则进行可视化审核和编辑，从而保证防误逻辑公式生成所依赖的规则条件是可信赖和可证明的，有利于电气设备防误逻辑公式生成的准确性和全面性。附图说明构成本专利技术的一部分的附图用来提供对本专利技术的进一步理解，本专利技术的示意性实施例及其说明用于解释本专利技术，并不构成对本专利技术的不当限定。在附图中：图1为本专利技术一实施例的系统结构示意图；图2为本专利技术一实施例的典型接线模型示意图；以及图3为本专利技术另一实施例的系统结构示意图。具体实施方式为了使本专利技术的目的、技术方案及优点更加清楚明白，以下结合附图对本专利技术的电气设备防误逻辑公式自动化生成系统及其使用方法的具体实施方式进行说明。应当理解，此处所描述的具体实施例仅仅用以解释本专利技术，并不用于限定本专利技术。本发本文档来自技高网...

【技术保护点】
一种电气设备防误逻辑公式自动生成系统，包括输入输出模块、典型接线模型库、主接线分析模块、通用防误逻辑公式库和公式生成模块，其特征在于：所述输入输出模块，用于读取包含有设备类型和设备连接关系的主接线数据，以及输出防误逻辑公式的生成结果；所述典型接线模型库，用于存储有若干个不同典型接线模型，所述典型接线模型包括开关、刀闸以及间隔类型标识设备，所述开关、刀闸以及间隔类型标识设备使用设备通用编号命名；所述主接线分析模块，用于将所述主接线数据以主变、母线、所变、线路负载和架空线路作为边界拆分成若干个接线间隔，并将所述接线间隔与所述典型接线模型库中的典型接线模型进行匹配，在所述接线间隔与所述典型接线模型匹配时，若所述接线间隔与所述典型接线模型中开关、刀闸以及间隔类型标识设备的设备类型一致，且相互之间的设备连接关系一致，则判定所述接线间隔与所述典型接线模型的接线类型匹配成功，并将接线类型匹配成功结果传给所述公式生成模块；所述通用防误逻辑公式库，用于存储有若干个对应不同典型接线模型的通用防误逻辑公式，所述通用防误逻辑公式使用所述设备通用编号进行编写；所述公式生成模块，用于查找所述接线类型匹配成功结果对应的通用防误逻辑公式，并将所述通用防误逻辑公式中的设备通用编号替换成具体编号，得到具体防误逻辑公式；还用于将所述具体防误逻辑公式通过所述输入输出模块进行输出。...

【技术特征摘要】
1.一种电气设备防误逻辑公式自动生成系统，包括输入输出模块、典型接线模型库、主接线分析模块、通用防误逻辑公式库和公式生成模块，其特征在于：所述输入输出模块，用于读取包含有设备类型和设备连接关系的主接线数据，以及输出防误逻辑公式的生成结果；所述典型接线模型库，用于存储有若干个不同典型接线模型，所述典型接线模型包括开关、刀闸以及间隔类型标识设备，所述开关、刀闸以及间隔类型标识设备使用设备通用编号命名；所述主接线分析模块，用于将所述主接线数据以主变、母线、所变、线路负载和架空线路作为边界拆分成若干个接线间隔，并将所述接线间隔与所述典型接线模型库中的典型接线模型进行匹配，在所述接线间隔与所述典型接线模型匹配时，若所述接线间隔与所述典型接线模型中开关、刀闸以及间隔类型标识设备的设备类型一致，且相互之间的设备连接关系一致，则判定所述接线间隔与所述典型接线模型的接线类型匹配成功，并将接线类型匹配成功结果传给所述公式生成模块；所述通用防误逻辑公式库，用于存储有若干个对应不同典型接线模型的通用防误逻辑公式，所述通用防误逻辑公式使用所述设备通用编号进行编写；所述公式生成模块，用于查找所述接线类型匹配成功结果对应的通用防误逻辑公式，并将所述通用防误逻辑公式中的设备通用编号替换成具体编号，得到具体防误逻辑公式；还用于将所述具体防误逻辑公式通过所述输入输出模块进行输出。2.根据权利要求1所述的电气设备防误逻辑公式自动生成系统，其特征在于，所述典型接线模型由开关、刀闸以及间隔类型标识设备组成。3.根据权利要求1所述的电气设备防误逻辑公式自动生成系统，其特征在于：还包括通用防误逻辑规则库，所述通用防误逻辑规则库用于存储有若干个对应不同设备类型的通用防误逻辑规则，所述通用防误逻辑规则用于表示设备的操作规则，所述通用防误逻辑规则不依赖于所述典型接线模型，适用于不同接线形式；所述公式生成模块还用于将所述主接线数据中各设备按所述通用防误逻辑规则输出具体防误逻辑公式，然后通过所述输入输出模块进行输出。4.根据权利要求3所述的电气设备防误逻辑公式自动生成系统，其特征在于，所述公式生成模块用于将根据所述通用防误逻辑公式和所述通用防误逻辑规则生成的具体防误...

【专利技术属性】
技术研发人员：修洪江，张哲，万利国，逄凌志，
申请(专利权)人：珠海优特电力科技股份有限公司，
类型：发明
国别省市：广东,44