本发明公开了一种基于约束求解的智能电网系统鲁棒性验证方法。本发明通过模拟输电线路失效的情形,分析每一种输电线路失效的情形下电网是否安全。分析电网是否安全的过程步骤如下:首先构建SAT约束编码,然后由SAT求解器求解,根据求解得到的解构建SMT约束编码,最后通过SMT求解器求解。假如SMT求解器不可解,则重新通过SAT求解器求解一组新的解构建SMT约束编码,直到SAT求解器也不可解。当SAT求解器不可解时,表示该种输电线路失效的情形下电网不安全,当SMT求解器可解,表示该种输电线路失效的情形下,电网安全。本发明能够快速对大规模的电网系统进行完备的鲁棒性验证,有效节约时间和人力成本。
声明:
“基于约束求解的智能电网系统鲁棒性验证方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)