1.一种电气设备防误逻辑公式自动生成系统，包括输入输出模块、典型接线模型库、主接线分析模块、通用防误逻辑公式库和公式生成模块，其特征在于：
所述输入输出模块，用于读取包含有设备类型和设备连接关系的主接线数据，以及输出防误逻辑公式的生成结果；
所述典型接线模型库，用于存储有若干个不同典型接线模型，所述典型接线模型包括开关、刀闸以及间隔类型标识设备，所述开关、刀闸以及间隔类型标识设备使用设备通用编号命名；
所述主接线分析模块，用于将所述主接线数据以主变、母线、所变、线路负载和架空线路作为边界拆分成若干个接线间隔，并将所述接线间隔与所述典型接线模型库中的典型接线模型进行匹配，在所述接线间隔与所述典型接线模型匹配时，若所述接线间隔与所述典型接线模型中开关、刀闸以及间隔类型标识设备的设备类型一致，且相互之间的设备连接关系一致，则判定所述接线间隔与所述典型接线模型的接线类型匹配成功，并将接线类型匹配成功结果传给所述公式生成模块；
所述通用防误逻辑公式库，用于存储有若干个对应不同典型接线模型的通用防误逻辑公式，所述通用防误逻辑公式使用所述设备通用编号进行编写；
所述公式生成模块，用于查找所述接线类型匹配成功结果对应的通用防误逻辑公式，并将所述通用防误逻辑公式中的设备通用编号替换成具体编号，得到具体防误逻辑公式；还用于将所述具体防误逻辑公式通过所述输入输出模块进行输出。
2.根据权利要求1所述的电气设备防误逻辑公式自动生成系统，其特征在于，所述典型接线模型由开关、刀闸以及间隔类型标识设备组成。
3.根据权利要求1所述的电气设备防误逻辑公式自动生成系统，其特征在于：
还包括通用防误逻辑规则库，所述通用防误逻辑规则库用于存储有若干个对应不同设备类型的通用防误逻辑规则，所述通用防误逻辑规则用于表示设备的操作规则，所述通用防误逻辑规则不依赖于所述典型接线模型，适用于不同接线形式；
所述公式生成模块还用于将所述主接线数据中各设备按所述通用防误逻辑规则输出具体防误逻辑公式，然后通过所述输入输出模块进行输出。
4.根据权利要求3所述的电气设备防误逻辑公式自动生成系统，其特征在于，所述公式生成模块用于将根据所述通用防误逻辑公式和所述通用防误逻辑规则生成的具体防误逻辑公式进行“与”运算，然后通过所述输入输出模块进行输出。
5.根据权利要求1至4任一项中所述的电气设备防误逻辑公式自动生成系统，其特征在于，还包括数据维护模块，用于查看、增加、删除和/或修改所述典型接线模型、所述通用防误逻辑公式和所述通用防误逻辑规则。
6.根据权利要求1至4任一项中所述的电气设备防误逻辑公式自动生成系统，其特征在于，还包括：
所述防误逻辑公式校验模块，用于将所述已有的防误逻辑公式与所述公式生成模块生成的具体防误逻辑公式进行校验，并将所述防误逻辑公式的校验结果通过所述输入输出模块进行输出。
7.一种电气设备防误逻辑公式自动生成方法，其特征在于，包括以下步骤：
步骤S1、读取包含有设备类型和设备连接关系的主接线数据；
步骤S2、将所述主接线数据以主变、母线、所变、线路负载、架空线路作为边界拆分成若干个接线间隔；
步骤S3、将所述接线间隔与典型接线模型库中的典型接线模型进行匹配，若所述接线间隔与所述典型接线模型中的开关、刀闸以及间隔类型标识设备的设备类型一致，且相互之间的设备连接关系一致，则判定所述接线间隔与所述典型接线模型的接线类型匹配成功；
步骤S4、查找所述接线类型匹配成功结果对应的通用防误逻辑公式，并将所述通用防误逻辑公式中的设备通用编号替换成具体编号，得到具体防误逻辑公式；
步骤S5、输出所述具体防误逻辑公式。
8.根据权利要求7所述的电气设备防误逻辑公式自动生成方法，其特征在于，在步骤S4与步骤S5之间，还包括步骤S40和步骤S41：
步骤S40、将所述主接线数据中各设备按所述通用防误逻辑规则输出具体防误逻辑公式；
步骤S41、将根据所述通用防误逻辑公式和根据所述通用防误逻辑规则生成的具体防误逻辑公式进行“与”运算。
9.一种电气设备防误逻辑公式自动校验方法，其特征在于，该方法应用于权利要求1至6中任一项所述的电气设备防误逻辑公式自动生成系统，该方法包括以下步骤：
步骤S100、读取包含有设备类型和设备连接关系的主接线数据和已有防误逻辑公式；
步骤S200、生成所述主接线数据对应的具体防误逻辑公式；
步骤S300、将所述已有防误逻辑公式与所述具体防误逻辑公式进行校验；
步骤S400、输出所述已有防误逻辑公式的校验结果。