[发明专利]一种电力五防智能逻辑校验系统及方法

权利要求书

1.一种电力五防智能逻辑校验系统，其特征在于：包括输入单元、存储单元、校核单元和输出单元；

所述输入单元用于录入历史操作票，或输入新的操作序列，建立操作票初始模型；

所述存储单元用于存储历史操作票和新操作票，将存储的操作票作为仿真测试样本；

所述校核单元包括正向校核单元和反向校核单元，所述正向校核单元用于对操作票的操作序列进行正向仿真操作，校核操作票的正向操作防误逻辑是否正确，若正确，进入下一单元；所述反向校核单元用于对操作票的操作序列进行反向乱序仿真操作，校核防误逻辑是否通过，若不通过，则进入下一单元；

所述输出单元用于将通过校核的操作票初始模型生成操作票，并同步存储至存储单元。

2.根据权利要求1所述的一种电力五防智能逻辑校验系统，其特征在于：还包括报警单元，所述报警单元与校核单元相接，若校核不通过，报警单元发出报警信号。

3.一种电力五防智能逻辑校验方法，基于权利要求2所述的电力五防智能逻辑校验系统，其特征在于：

包括但不限于以下步骤：

S1进入仿真操作环境，输入单元录入历史操作票，并设置历史操作票的初始状态；

S2所述正向校核单元对历史操作票的操作序列进行正向仿真操作，若正向操作防误逻辑校核不通过，报警单元发出报警信息；若通过，则进入反向校核单元；

S3所述反向校核单元对历史操作票的操作序列进行反向乱序仿真操作，若反向乱序操作通过，报警单元发出报警信息；若不通过，则校核结束，该历史操作票存储至存储单元；

S4重复S1-S4，校验若干历史操作票，并存储其中合格的历史操作票作为仿真测试样本；

S5输入新的操作序列至所述输入单元，建立操作票初始模型；

S6所述正向校核单元对操作票初始模型的操作序列进行正向仿真操作，若正向操作防误逻辑校核不通过，所述报警单元发出报警信息；若通过，则进入反向校核单元；

S7所述反向校核单元对操作票初始模型的操作序列进行反向乱序仿真操作，若反向乱序操作通过，所述报警单元发出报警信息；若不通过，则校核结束；

S8所述输出单元将通过校核的操作票初始模型生成操作票，并同步存储至存储单元。