[发明专利]电气设备防误逻辑公式自动化生成系统及其方法

摘要

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

主权项

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