[发明专利]基于逻辑计算的智能变电站安措操作校核方法

权利要求书

1.一种基于逻辑计算的智能变电站安措操作校核方法，其特征在于，根据智能变电站的SCD模型文件、ICD模型文件以及SPCD模型文件生成静态数学模型，同时读取智能变电站监测装置的信息生成初始的连通状态矩阵和检修硬压板状态行向量；然后定义智能变电站中各个二次设备的闭锁逻辑表达式集合以及误动逻辑表达式集合，并逐步解析安措票并修正连通状态矩阵和检修硬压板状态行向量后进行校核和安措票的修改，直到所有安措操作步骤校核完成；

所述的静态数学模型是指：由SCD模型文件得到设备i到设备j的直连回路行向量[k_ij]_1×m，由ICD模型文件得到操作对象软压板的开断状态行向量[m_ij]_1×m，由SPCD模型文件得到操作对象硬连接的开断状态行向量[l_ij]_1×m，则设备i输出到设备j的数据连通关系a_ij＝sign[sum(k_ij.*m_ij.*l_ij)]，其中：[k_ij]_1×m默认全为1，[m_ij]_1×m中1为投入，[l_ij]_1×m中1为硬连接存，m为设备i输出到设备j的所有二次虚回路数量，.*为矩阵点乘，即相同位置的元素对应相乘，sum()为向量中所有元素求和，sign[]为符号函数：当x0，sign[x]＝1；当x＝0，sign[x]＝0；

所述的连通状态矩阵其中：表示从设备i到设备j的当前有向直连状态的a_ij＝sign[sum(k_ij.*m_ij.*l_ij)]，a_ij中的1表示连通，n为智能变电站中二次设备的总数量；

所述的检修硬压板状态行向量y＝[y₁ y₂ … y_n]，其中：y_i表示第i个设备的当前检修硬压板状态，1表示投入。

2.根据权利要求1所述的方法，其特征是，所述的闭锁逻辑表达式集合其中：p为智能变电站中的任一设备，时表示设备p闭锁，1≤p≤n，n为智能变电站中所有二次设备的数量，p为任取的一个智能变电站中的二次设备。

3.根据权利要求1所述的方法，其特征是，所述的误动逻辑表达式集合其中：p为智能变电站中的任一设备，时表示设备p误动，1≤p≤n，n为智能变电站中所有二次设备的数量，p为任取的一个智能变电站中的二次设备。

4.根据权利要求1所述的方法，其特征是，所述的修正包括：

a)软压板和硬连接操作对连通状态矩阵A的修正：软压板操作对应[m_ij]_1×m的改变，硬连接操作对应[l_ij]_1×m的改变，安措操作中，遇到有软压板或者硬连接的操作，则对应改变[m_ij]_1×m和[l_ij]_1×m的值，进而影响a_ij，从而造成连通状态矩阵A的改变；

b)跳合闸硬压板操作对连通状态矩阵A的修正：当i装置的跳合闸出口硬压板退出，则i装置不能输出信号，所以将a_ij，j＝1，2，…，n全部置为0，即连通状态矩阵A的第i行全部置0；

c)检修硬压板操作对检修硬压板状态行向量y的修正：当i装置的检修硬压板投入，则将y_i置为1，反之置为0。