一种结合形式化方法的智能配电网故障定位与恢复方法

摘要

本发明公开了一种结合形式化方法的智能配电网故障定位与恢复方法，包括以下步骤：1）分区域处理，将配电网划分为有源主干和无源支路，通过形式化方法验证分区域可靠性；2）解空间降维，生成联络环矩阵并重构配电网编码，剔除无效解，通过形式化方法验证降维合理性；3）故障信息转换，根据开关函数将线路故障信息转化为开关故障电流信息；4）通过启发式算法寻优，建立初始解库，根据目标函数进行全局快速寻优，通过形式化方法验证算法逻辑正确性；5）进行配电网故障阶段式恢复。将形式化方法运用在配电网故障定位和故障恢复方法中，对方法中关键特性和过程进行形式化验证，从根本上确保了方法的合理有效。