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