本發(fā)明公開了一種基于約束求解的智能電網(wǎng)系統(tǒng)魯棒性驗(yàn)證方法。本發(fā)明通過模擬輸電線路失效的情形,分析每一種輸電線路失效的情形下電網(wǎng)是否安全。分析電網(wǎng)是否安全的過程步驟如下:首先構(gòu)建SAT約束編碼,然后由SAT求解器求解,根據(jù)求解得到的解構(gòu)建SMT約束編碼,最后通過SMT求解器求解。假如SMT求解器不可解,則重新通過SAT求解器求解一組新的解構(gòu)建SMT約束編碼,直到SAT求解器也不可解。當(dāng)SAT求解器不可解時,表示該種輸電線路失效的情形下電網(wǎng)不安全,當(dāng)SMT求解器可解,表示該種輸電線路失效的情形下,電網(wǎng)安全。本發(fā)明能夠快速對大規(guī)模的電網(wǎng)系統(tǒng)進(jìn)行完備的魯棒性驗(yàn)證,有效節(jié)約時間和人力成本。
聲明:
“基于約束求解的智能電網(wǎng)系統(tǒng)魯棒性驗(yàn)證方法” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)