公开(公告)号：CN105224736B

公开(公告)日：2018-02-16

申请号：CN201510606520.1

申请日：2015-09-22

Applicant: 南京大学

Inventor： 卜磊 ,  周岳翔 ,  李鑫 ,  李一超 ,  李宣东

IPC: G06F17/50

Abstract: 本发明公开了一种基于约束求解的智能电网系统鲁棒性验证方法。本发明通过模拟输电线路失效的情形，分析每一种输电线路失效的情形下电网是否安全。分析电网是否安全的过程步骤如下：首先构建SAT约束编码，然后由SAT求解器求解，根据求解得到的解构建SMT约束编码，最后通过SMT求解器求解。假如SMT求解器不可解，则重新通过SAT求解器求解一组新的解构建SMT约束编码，直到SAT求解器也不可解。当SAT求解器不可解时，表示该种输电线路失效的情形下电网不安全，当SMT求解器可解，表示该种输电线路失效的情形下，电网安全。本发明能够快速对大规模的电网系统进行完备的鲁棒性验证，有效节约时间和人力成本。

公开(公告)号：CN105224736A

公开(公告)日：2016-01-06

申请号：CN201510606520.1

申请日：2015-09-22

Applicant: 南京大学

Inventor： 卜磊 ,  周岳翔 ,  李鑫 ,  李一超 ,  李宣东

IPC: G06F17/50

Abstract: 本发明公开了一种基于约束求解的智能电网系统鲁棒性验证方法。本发明通过模拟输电线路失效的情形，分析每一种输电线路失效的情形下电网是否安全。分析电网是否安全的过程步骤如下：首先构建SAT约束编码，然后由SAT求解器求解，根据求解得到的解构建SMT约束编码，最后通过SMT求解器求解。假如SMT求解器不可解，则重新通过SAT求解器求解一组新的解构建SMT约束编码，直到SAT求解器也不可解。当SAT求解器不可解时，表示该种输电线路失效的情形下电网不安全，当SMT求解器可解，表示该种输电线路失效的情形下，电网安全。本发明能够快速对大规模的电网系统进行完备的鲁棒性验证，有效节约时间和人力成本。