配電網(wǎng)拓?fù)涞男问交磉_(dá)及其應(yīng)用.pdf

1、隨著智能電網(wǎng)領(lǐng)域的不斷擴(kuò)展,電力系統(tǒng)公共信息模型( Common Information Model,CIM)作為電力系統(tǒng)的標(biāo)準(zhǔn)逐漸被認(rèn)可;基于CIM的電氣網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)分析簡(jiǎn)化對(duì)于提升電力計(jì)算分析效率具有顯著的效果和意義。區(qū)別于輸電網(wǎng)拓?fù)浞治鲞^程,配電網(wǎng)拓?fù)浞治鲂枰谧兓耐負(fù)浣Y(jié)構(gòu),并且由于網(wǎng)絡(luò)結(jié)構(gòu)復(fù)雜、設(shè)備種類繁多,需要用系統(tǒng)的邏輯語言和數(shù)學(xué)公式對(duì)配電網(wǎng)拓?fù)浞治龅膽?yīng)用過程進(jìn)行嚴(yán)格說明和推理。
　　本文運(yùn)用具有嚴(yán)格數(shù)學(xué)定義的形式

2、化方法對(duì)不可觀測(cè)區(qū)域確定,分支線收縮以及電氣島劃分三項(xiàng)典型應(yīng)用的核心邏輯進(jìn)行規(guī)格,并采用定理證明或模型檢測(cè)的方式進(jìn)行形式化驗(yàn)證。以經(jīng)過形式化表達(dá)和校驗(yàn)的拓?fù)浞治鰬?yīng)用邏輯為基礎(chǔ)編寫的配電網(wǎng)高級(jí)應(yīng)用程序,從理論上滿足配電網(wǎng)系統(tǒng)分析的完備性和準(zhǔn)確性需求,具體工作包括：⑴基于不可觀測(cè)島的核心判斷邏輯,提出適用于存在較多缺失信息配電網(wǎng)的狀態(tài)估計(jì)實(shí)用算法；⑵基于分支線收縮核心算法邏輯,提出應(yīng)用于配電網(wǎng)轉(zhuǎn)供能力計(jì)算的網(wǎng)絡(luò)拓?fù)渥儞Q模型,實(shí)現(xiàn)轉(zhuǎn)供能力快速