智能電網(wǎng)中電能存儲系統(tǒng)的容量優(yōu)化

蔣忠遠(yuǎn),張秀艷,馬子玥

(西安電子科技大學(xué)機(jī)電工程學(xué)院,陜西西安 710071)

智能電網(wǎng)中電能存儲系統(tǒng)的容量優(yōu)化

蔣忠遠(yuǎn),張秀艷,馬子玥

(西安電子科技大學(xué)機(jī)電工程學(xué)院,陜西西安 710071)

智能電網(wǎng)中的電能存儲系統(tǒng)能夠在系統(tǒng)故障修復(fù)期間持續(xù)供電,以避免大面積停電.然而,電能存儲系統(tǒng)的成本與其容量成正比.使用有限容量Petri網(wǎng)建立智能電網(wǎng)傳輸系統(tǒng)的模型.通過對模型性質(zhì)的分析,文中提出一個計算電能存儲系統(tǒng)最小容量的方案.該方案不僅避免了因為系統(tǒng)參數(shù)間的不協(xié)調(diào)所導(dǎo)致的大面積停電;還為故障期間避免大面積停電提供一個必要的約束條件;最后,對方案進(jìn)行了驗證.實驗結(jié)果表明,該方案能有效避免大面積停電且電能存儲系統(tǒng)的容量也得到優(yōu)化.

Petri網(wǎng);監(jiān)督控制;電能存儲系統(tǒng);容量優(yōu)化

電網(wǎng)系統(tǒng)中的電能傳輸系統(tǒng)由大量的智能變電站和傳輸線組成.但電能傳輸線經(jīng)常因為一些意外事故（如自然災(zāi)害、人為損害及設(shè)備損害等)而導(dǎo)致傳輸中斷.智能電網(wǎng)[1]是一個具有自我修復(fù)能力的電網(wǎng)系統(tǒng).目前,對智能電網(wǎng)的研究主要包括電能傳輸自動化[2]、智能電表[3]、通信網(wǎng)絡(luò)[4]及分布式發(fā)電[5]等方面.

電能存儲系統(tǒng)被廣泛地應(yīng)用到智能電網(wǎng)傳輸系統(tǒng)中.為保證電能供需的動態(tài)平衡,文獻(xiàn)[6]提出一種基于電能預(yù)購與存儲一體化的電能預(yù)購系統(tǒng).供應(yīng)商把多余的電能存儲在電能存儲系統(tǒng)中,當(dāng)用戶需要時,供應(yīng)商通過電能存儲系統(tǒng)為用戶提供所需的電能.文獻(xiàn)[7]把電能存儲系統(tǒng)集成到分布式風(fēng)能發(fā)電系統(tǒng)中.這種集成系統(tǒng)可以降低供電波動所引起的問題（在風(fēng)力微弱時,發(fā)電系統(tǒng)輸出量較小,不能滿足需要).

電池壽命和容量直接影響電能存儲系統(tǒng)的實施成本（壽命越長,容量越小,成本越低).預(yù)測電池壽命與放電深度、充電過量、充電放電控制不佳等因素有關(guān).對電池放電的同時又對其充電將影響電池的壽命,因為在電池內(nèi)部放電與充電所產(chǎn)生的化學(xué)元素對電池的壽命有較大的影響.在智能電網(wǎng)傳輸系統(tǒng)中,電池需要持續(xù)放電,因此,對電池的充電應(yīng)合理控制.文獻(xiàn)[8]提出一個智能閾值充電方案對電池進(jìn)行充電管理,當(dāng)電池剩余容量小于或等于某個閾值時,系統(tǒng)才對電池充電,這樣極大限度地延長了電池的壽命.

為降低實施及維護(hù)成本,需要為電能存儲系統(tǒng)配置合適的電池容量,使其既能保證系統(tǒng)的儲電需要,又能盡量地減少系統(tǒng)總體的實施及維護(hù)成本.文獻(xiàn)[9]提出一個對鋰電池容量的預(yù)測與分析算法.對在線的電流和電壓值進(jìn)行仿真模擬與比較,來預(yù)測電池的剩余量.但是,由于仿真比較具有一定的局限性,使得這個方法得出的結(jié)果存在一定的誤差.文獻(xiàn)[10]利用4個幾何特征分析鋰離子電池的性能且采用拉普拉斯特征映射方法建立估計模型.在實際應(yīng)用中,電池容量的變化受環(huán)境溫度、設(shè)備使用時間及生產(chǎn)材質(zhì)等多方面的影響,使得構(gòu)建的幾何模型不準(zhǔn)確.因此,對不準(zhǔn)確的模型進(jìn)行分析與估計,得到的結(jié)果可能不正確.

Petri網(wǎng)[11]是一種可以用圖形對離散事件系統(tǒng)建模及采用數(shù)學(xué)方法對模型進(jìn)行分析與驗證的工具.所以,借助于Petri網(wǎng)的形式化建模及分析方法,既可以對離散事件系統(tǒng)的模型進(jìn)行靜態(tài)分析,又能對離散事件系統(tǒng)的動態(tài)運(yùn)行行為進(jìn)行分析,得到的結(jié)果更近似于系統(tǒng)的準(zhǔn)確結(jié)果.此外,Petri網(wǎng)的圖形結(jié)構(gòu)簡單易懂,便于理解,變遷的發(fā)射機(jī)制以及狀態(tài)之間的轉(zhuǎn)換生動地刻畫了離散事件系統(tǒng)內(nèi)部的變化[12].智能電網(wǎng)傳輸系統(tǒng)可以被離散化為一個離散事件系統(tǒng).

筆者為智能電網(wǎng)傳輸系統(tǒng)的每個智能變電站配置一個電能存儲系統(tǒng).這些電能存儲系統(tǒng)采用周期性閾值智能充電策略對電池進(jìn)行充電,不僅可以延長電池的使用壽命,也便于系統(tǒng)的形式化建模與分析.然而,由于智能變電站的輸入功率往往大于或等于其輸出功率,否則輸入不能滿足輸出.因此,基于智能變電站電能輸入與輸出之間的差值,周期性閾值智能充電策略中的閾值以及電能存儲系統(tǒng)容量之間的不協(xié)調(diào)可能導(dǎo)致系統(tǒng)出現(xiàn)錯誤（當(dāng)容量過于小時,可能導(dǎo)致電能存儲系統(tǒng)受其閾值影響還沒來得及充電時,其剩電量已不能滿足其輸出),從而引起大面積停電.已有的文獻(xiàn)并未考慮到這樣的情況且給出的算法或方案缺乏數(shù)學(xué)驗證.此外,文中利用Petri網(wǎng)建立智能電網(wǎng)傳輸系統(tǒng)的形式化模型.通過對模型性質(zhì)的分析,提出一個計算電能存儲系統(tǒng)最小容量的方案.該方案不僅避免了因為系統(tǒng)參數(shù)間的不協(xié)調(diào)所導(dǎo)致的大面積停電,還為故障期間避免大面積停電提供了一個必要的約束條件.最后,利用Petri網(wǎng)的數(shù)學(xué)驗證方法結(jié)合一個實例對方案進(jìn)行驗證.

1 基本定義

設(shè)N={0,1,2,…},為非負(fù)整數(shù)集.一個有限容量Petri網(wǎng)可定義為一個五元組N=（P,T,F,W,C),其中P和T有限,P≠T≠?且P∩T=?.P稱為庫所集.T稱為變遷集.F?（P×T)∪（T×P),稱為有向弧的集合W:F→N,稱為權(quán)函數(shù).C:P→N,稱為容量函數(shù).此外,一個有限容量Petri網(wǎng)也可以表示為一個輸入矩陣N+（p,t)=W（t,p)和一個輸出矩陣N-（p,t)=W（p,t),其中,p∈P,t∈T.

設(shè)x∈P∪T是N的一個節(jié)點,則x的前置集定義為·x{ =y∈P∪T|（y,x)∈}F,x的后置集定義為.設(shè)X?P∪T是一個節(jié)點的集合,則X的前置集定義為·X=且X的后置集定義為集合X的元素個數(shù)表示為

M:P→N稱為N的一個標(biāo)識.M（p)表示庫所p中資源（Token)的個數(shù).在系統(tǒng)的一個標(biāo)識M下,庫所p被標(biāo)識當(dāng)且僅當(dāng)M（p)＞0.（N,M0)稱為一個網(wǎng)系統(tǒng),其中M0稱為N的一個初始標(biāo)識.

在一個有限容量Petri網(wǎng)中,t∈T在標(biāo)識M下使能當(dāng)且僅當(dāng)?p∈·t,M（p)≥W（p,t)且?p′∈t·,M（p′)≤C（p′)-W（t,p′),記為M[t>.如果變遷t在標(biāo)識M下發(fā)射,將產(chǎn)生一個新標(biāo)識M′滿足?p∈P,M′（p)=M（p)-W（p,t)+W（t,p),記為M[t>M′.稱系統(tǒng)N的標(biāo)識M″是從標(biāo)識M可達(dá)當(dāng)且僅當(dāng)存在一個變遷發(fā)射序列σ=t1t2…tn和標(biāo)識M1,M2,…,Mn滿足M1[t1>M2…Mn[tn>M″,記為M[σ>M″.這里M″=M+ N+σ-N-σ,其中σ:T→N,是一個非負(fù)整型向量且σ（t)表示變遷t在σ中的發(fā)射次數(shù).從標(biāo)識M0可達(dá)的所有標(biāo)識的集合稱為網(wǎng)系統(tǒng)（N,M0)的可達(dá)集,記為R（N,M0).

設(shè)p∈P是N中的一個庫所.在N的一個標(biāo)識M下,所有在·p∪p·中的變遷使能當(dāng)且僅當(dāng)

假設(shè)在系統(tǒng)標(biāo)識M下變遷t1,t2,…,tn∈T（n＞1)能夠使能發(fā)射,則變遷t1-tn立即發(fā)射,記為σ= t1t2…tn.限于篇幅,只給出一些Petri網(wǎng)的基本概念,其他相關(guān)術(shù)語請見文獻(xiàn)[11-14].

圖1是一個有限容量Petri網(wǎng),其中C（p2)=W（t1,p2)+W（p2,t2)=7+5=12,且輸入輸出矩陣為

圖1 一個有限容量Petri網(wǎng)模型

在初始標(biāo)識M0=（12,5,6)T下,因為M0（p1)＞W(wǎng)（p1,t1),M0（p2)＞W(wǎng)（p2,t2),C（p2)-M0（p2)＞W(wǎng)（t1,p2)且C（p3)-M0（p3)＞W(wǎng)（t2,p3),所以變遷t1和t2使能.設(shè)σ1=t1t2,則σ1=（1,1)T.當(dāng)t1和t2發(fā)射后,產(chǎn)生一個新標(biāo)識M1=（5,7,11)T.M1可以通過M1=M0+N+·σ1-N-·σ1=（5,7,11)T驗證.

同理,在標(biāo)識M1下,只有變遷t2使能.設(shè)σ2=t2,則σ2=（0,1)T.當(dāng)變遷t2發(fā)射后,產(chǎn)生另外一個新的標(biāo)識M2=（5,2,16)T.M2可以通過M2=M1+N+·σ2-N-·σ2=（5,2,16)T驗證.

在標(biāo)識M2下,變遷t1與t2都不使能.整個過程可表示為M0[t1t2t2>M2.設(shè)σ=σ1σ2=t1t2t2.則σ=σ1+ σ2=（1,2)T.因此,M2可以通過M2=M0+N+·σ-N-·σ=（5,2,16)T驗證.

2 智能電網(wǎng)中電能存儲系統(tǒng)的容量優(yōu)化方案

2.1 智能電網(wǎng)傳輸系統(tǒng)及電能存儲系統(tǒng)

智能電網(wǎng)傳輸系統(tǒng)由大量智能變電站和電能傳輸線組成.根據(jù)電能在傳輸過程中的3個傳輸?shù)燃墸ǜ邏骸⒅袎?、低?,智能變電站同樣可以劃分為3個層次（也就是高壓、中壓和低壓智能變電站).比如,圖2是一個智能電網(wǎng)傳輸系統(tǒng).電能通過電能傳輸線從高壓智能變電站傳輸?shù)街袎褐悄茏冸娬?再從中壓智能變電站傳輸?shù)降蛪褐悄茏冸娬?在智能電網(wǎng)傳輸系統(tǒng)中,為了有效避免大面積停電,每個智能變電站可以配置一個電能存儲系統(tǒng)存儲電能.在智能變電站發(fā)生故障及故障修復(fù)期間,電能存儲系統(tǒng)可以臨時提供電能.此外,考慮到盡可能地延長系統(tǒng)電池的使用壽命以減小系統(tǒng)成本,文中采用周期性閾值智能充電法對電能存儲系統(tǒng)進(jìn)行充電管理.當(dāng)電池的剩余容量大于或等于某個閾值時,系統(tǒng)對其進(jìn)行充電.反之,當(dāng)電池的剩余容量小于這個閾值時,系統(tǒng)不對其充電.這里的閾值可設(shè)置為智能變電站的單位電能輸入量.

2.2 智能電網(wǎng)傳輸系統(tǒng)的Petri網(wǎng)模型

在智能電網(wǎng)傳輸系統(tǒng)中,電能存儲系統(tǒng)的容量有限（因為其成本與容量成正比).根據(jù)智能變電站的3個層次劃分,一個智能電網(wǎng)傳輸系統(tǒng)可以定義為一個有限容量Petri網(wǎng).

定義1 一個智能電網(wǎng)傳輸系統(tǒng)可以定義為一個有限容量Petri網(wǎng)N=（Ph∪Pm∪Pl,T,F,W,C),其中,

（1)Ph≠?,Pm≠?和Pl≠?分別為庫所的集合滿足Ph∩Pm∩Pl=?,P¨h=Pm且P¨m=Pl,其中Ph,Pm和Pl分別代表高壓,中壓和低壓智能變電站的集合.

（2)T是變遷的集合.每個變遷代表電能在智能變電站間的傳輸操作.

圖2 一個智能電網(wǎng)傳輸系統(tǒng)

（3)F?（Ph×T)∪（T×Pm)∪（Pm×T)∪（T×Pl),是有向弧的集合.每條弧代表電能的傳輸線路.

（4)?ph∈Ph,?t∈T且?pm∈Pm使得{ph}=·t及t·={pm}.

（5)?pm∈Pm,①?t∈T且?pl∈Pl使得{pm}=·t及t·={pl};②僅存在一個t′∈T和一個ph∈Ph使得{ph}=·t′及t′·={pm}.

（6)?pl∈Pl,僅存在一個t∈T和一個pm∈Pm使得{pm}=·t及t·={pl}.

（7)W:F→N,是一個權(quán)函數(shù).它在每條電能傳輸線上關(guān)聯(lián)一個電能功率.

（8)C:P→N,是一個容量函數(shù).它為每個智能變電站的電能存儲系統(tǒng)關(guān)聯(lián)一個容量.

在一個智能電網(wǎng)傳輸系統(tǒng)N中,?p∈（Ph∪Pm∪Pl),p有一個輸入功率和一個輸出功率,分別記為

這里pI≥pO,否則輸入功率不能滿足輸出功率.C（p)是智能變電站p的電能存儲系統(tǒng)容量.圖3是對應(yīng)于圖2所示智能電網(wǎng)傳輸系統(tǒng)的一個有限容量Petri網(wǎng)模型.由于pI與pO的差值,周期性閾值智能充電策略的閾值pI以及電能存儲系統(tǒng)容量C（p)之間的不協(xié)調(diào)性將導(dǎo)致:當(dāng)C（p)與M0（p)等于某個相同的較小值時,?M∈R（N,M0)使得M（p)＜pO,則p處將導(dǎo)致一個大面積停電,這里M0是N的初始標(biāo)識.

例如 圖3中的p3處,有且 M0（p3)=C（p3).當(dāng)?M∈R（N,M0),使得C（p3)-M（p3)≥,p3的電能存儲系統(tǒng)開始充電（變遷t3使能發(fā)射),這里閾值在標(biāo)識M0下,只有變遷t4使能.當(dāng)t4發(fā)射后,產(chǎn)生一個新標(biāo)識M1且.因為C（p3)-M1（p3)=,所以在標(biāo)識M1下變遷t3不使能,只有變遷t4使能.當(dāng)變遷t4發(fā)射后,產(chǎn)生一個新標(biāo)識M2且因此,在標(biāo)識M2下變遷t4不使能,需要等到t3使能發(fā)射一次后t4才能使能發(fā)射.因此,在標(biāo)識M2下,p3處將導(dǎo)致一個大面積停電,即

圖3 對應(yīng)圖2所示智能電網(wǎng)傳輸系統(tǒng)的有限容量Petri網(wǎng)模型

2.3 電能存儲系統(tǒng)的容量優(yōu)化方案

為了預(yù)防系統(tǒng)參數(shù)之間的不協(xié)調(diào)而導(dǎo)致的大面積停電,電能存儲系統(tǒng)的容量必須滿足一個合適的條件.為此提出一種計算電能存儲系統(tǒng)最小容量的計算方案,并給出了相應(yīng)的證明.該方案在保證智能變電站不會因為系統(tǒng)參數(shù)間的不協(xié)調(diào)而導(dǎo)致大面積停電的前提下,使得電能存儲系統(tǒng)的容量最小.

定義2 令N是一個智能電網(wǎng)傳輸系統(tǒng),p∈（Ph∪Pm∪Pl),是一個智能變電站且M0是N的初始標(biāo)識.?M∈R（N,M0),M稱為一個錯誤標(biāo)識（在此標(biāo)識下,p處將導(dǎo)致一個大面積停電)當(dāng)且僅當(dāng)M（p)＜pO.M稱為一個合法標(biāo)識（在此標(biāo)識下,p正常供電)當(dāng)且僅當(dāng)M（p)≥pO.

設(shè)p是智能電網(wǎng)傳輸系統(tǒng)N中的一個智能變電站且M及M1是N的兩個標(biāo)識.則:

（1)如果M（p)∈[pO,C（p)-pI],則·p∪p·中的所有變遷在M下都使能.設(shè)M[·p∪p·>M1.因為pI≥pO＞0,則M1（p)=M（p)+pI-pO≥M（p),即p中的托肯（Token)數(shù)將逐漸增加.

（2)如果M（p)∈ [C（p)-pI+1,C（p)],則只有p·中的變遷在M下使能.設(shè)M[p·>M1.則M1（p)= M（p)-pO＜M（p),即p中的托肯數(shù)將逐漸減少.

定義3 令p∈（Ph∪Pm∪Pl),是智能電網(wǎng)傳輸系統(tǒng)N中的一個智能變電站.區(qū)域[pO,C（p)-pI]稱為p的托肯增域,記為p↑.區(qū)域[C（p)-pI+1,C（p)]稱為p的托肯減域,記為p↓.

圖4顯示了智能變電站p的錯誤標(biāo)識區(qū)域、合法標(biāo)識區(qū)域、托肯增域p↑及托肯減域p↓.

定理1 設(shè)?p∈（Ph∪Pm∪Pl),是智能電網(wǎng)傳輸系統(tǒng)N中的一個智能變電站,pI與pO互為質(zhì)數(shù),M0是N的初始標(biāo)識滿足M0（p)=C（p)且M是N的一個標(biāo)識,則M（p)=C（p)-pI-pO+1是p中的最小托肯數(shù).

證明 因為M0（p)=C（p),則M0（p)∈p↓.因此,p中的托肯數(shù)將逐漸減少.設(shè)M1是N的一個標(biāo)識使得M1（p)=C（p)-pI+1是p↓中的最小值.在標(biāo)識M1下,當(dāng)p·中的變遷使能發(fā)射后,得到一個新的標(biāo)識M滿足M（p)=M1（p)-pO=C（p)-pI+1-pO=C（p)-pI-pO+1.此時M（p)∈p↑,則p中的托肯數(shù)又將逐漸增加.因此,M（p)=C（p)-pI-pO+1是智能變電站p中的最小托肯數(shù).

圖4 p的區(qū)域劃分

根據(jù)定理1可知,當(dāng)M0（p)=C（p)時,C（p)-pI-pO+1是p中可能的最小托肯數(shù).下面證明?M∈R（N,M0)使得M（p)=C（p)-pI-pO+1,即M從M0可達(dá).

引理1 設(shè)x和y互為質(zhì)數(shù)且a1,a2,…,ay是一個模y的完全剩余系,則xa1,xa2,…,xay同樣是一個模y的完全剩余系,即xa1,xa2,…,xay將遍歷a1,a2,…,ay.[15]

定理2 令N是一個智能電網(wǎng)傳輸系統(tǒng),?p∈（Ph∪Pm∪Pl),是一個智能變電站,pI與pO互為質(zhì)數(shù)且M0是N的初始標(biāo)識滿足M0（p)=C（p),則?M∈R（N,M0),使得M（p)=C（p)-pI-pO+1.

證明 設(shè)pI和pO互為質(zhì)數(shù)且0,1,2,…,pI-1是一個模pI的完全剩余系.已知M0（p)=C（p).根據(jù)定理1可知,p中的托肯數(shù)一定在C（p)-pI-pO+1與C（p)之間變化,則?M∈R（N,M0),M（p)= M0（p)+mpI-npO=C（p)+mpI-npO,其中m和n為正整數(shù)且n的增量為1.即C（p)-M（p)=npO-mpI.因此,有（C（p)-M（p))mod pI=（npO-mpI)mod pI=npOmod pI.根據(jù)引理1可知,C（p)-M（p)將遍歷模pI的完全剩余系0,1,2,…,pI-1.即?M′∈R（N,M0)滿足C（p)-M′（p)=pI-1.因為M′（p)∈p↓,則在標(biāo)識M′下,只有p·中的變遷使能發(fā)射.所以,?M∈R（N,M′)使得M′[p·>M.即M= M′-pO=C（p)-pI-pO+1.

定理3 令N是一個智能電網(wǎng)傳輸系統(tǒng),?p∈（Ph∪Pm∪Pl),是一個智能變電站,pI與pO互為質(zhì)數(shù)且M0是N的初始標(biāo)識滿足M0（p)=C（p),則對于系統(tǒng)N中的智能變電站p,?M∈R（N,M0)滿足M（p)=C（p)-pI-pO+1且?M′∈R（N,M0)滿足M′（p)≥M（p).

證明 根據(jù)定理2,?M∈R（N,M0)使得M（p)=C（p)-pI-pO+1.根據(jù)定理1,?M′∈R（N,M0),M′（p)≥C（p)-pI-pO+1=M（p).

定理4 令N是一個智能電網(wǎng)傳輸系統(tǒng),?p∈（Ph∪Pm∪Pl),是N中的一個智能變電站且M0是N的初始標(biāo)識滿足M0（p)=C（p),則智能變電站p不會到達(dá)錯誤標(biāo)識當(dāng)且僅當(dāng)C（p)≥k（x+2y-1),這里pI=kx,pO=ky,x與y互為質(zhì)數(shù),k,x與y為大于等于1的正整數(shù).

證明 對于智能變電站p,如果pI與pO互為質(zhì)數(shù),則有k=1,x=pI與y=pO.根據(jù)定理3,?M∈R（N,M0)滿足M（p)=C（p)-pI-pO+1且?M′∈R（N,M0)滿足M′（p)≥M（p).要使智能變電站p不會到達(dá)錯誤標(biāo)識,當(dāng)且僅當(dāng)?M∈R（N,M0)滿足M（p)≥pO,則有C（p)-pI-pO+1≥pO,即C（p)≥pI+2pO-1=k（x+2y-1).如果pI與pO不互為質(zhì)數(shù),則有k≠1,pI=kx且pO=ky.把x與y看為是一個新的智能變電站的輸入與輸出,同理可得,C（p)≥k（x+2y-1).

對于智能變電站p,如果C（p)滿足定理4,則p不會因參數(shù)不協(xié)調(diào)而出現(xiàn)錯誤狀態(tài),除非設(shè)備出現(xiàn)故障.假設(shè)p處出現(xiàn)一個設(shè)備故障且在修復(fù)故障期間所需電量為ξ,即如果電能存儲系統(tǒng)所存電量大于ξ,則在修復(fù)故障期間不會出現(xiàn)大面積停電.所以,要使p在故障修復(fù)期間不發(fā)生大面積停電,則C（p)≥ξ且C（p)≥k（x+2y-1).因此,該方案可以作為設(shè)備故障修復(fù)期間避免大面積停電的一個必要的約束條件.

3 實例分析

如圖3所示,智能電網(wǎng)傳輸系統(tǒng)N中的智能變電站p3,有且設(shè)M0為N的初始標(biāo)識.則?M∈R（N,M0),否則p3將導(dǎo)致大面積停電.假設(shè)M0（p3)=C（p3)=8.根據(jù)之前2.2節(jié)中的例子所分析,?M2∈R（N,M0)使得,即M2是一個錯誤標(biāo)識（在標(biāo)識M2下,變遷t4不使能).在p3處將發(fā)生大面積停電.因此,必須為p3的電能存儲系統(tǒng)配備一個合理的容量.

4 結(jié)束語

筆者將智能電網(wǎng)傳輸系統(tǒng)形式化為一個有限容量Petri網(wǎng),并給出了一個對智能電網(wǎng)傳輸系統(tǒng)中每個電能存儲系統(tǒng)容量優(yōu)化的計算方案,減少了智能電網(wǎng)傳輸系統(tǒng)的實施及維護(hù)成本且有效地保證了智能變電站供電不會出現(xiàn)大面積停電.其主要貢獻(xiàn)在于:①將傳統(tǒng)的智能電網(wǎng)傳輸系統(tǒng)形式化地抽象為一個有限容量Petri網(wǎng),在此有限容量Petri網(wǎng)上進(jìn)行電能存儲系統(tǒng)的容量優(yōu)化與分析;②通過對大面積停電的形式化定義,基于給定的有限容量Petri網(wǎng)模型給出避免大面積停電的一個限制條件;③對于給定的一個智能變電站,根據(jù)其輸入與輸出功率,提出了一個電能存儲系統(tǒng)容量的優(yōu)化方案并給予證明.

[1]Ghosh D,Ghose T,Mohanta D K.Communication Feasibility Analysis for Smart Grid with Phasor Measurement Units [J].IEEE Transactions on Industrial Informatics,2013,9(3):1486-1496.

[2]Li F X,Qiao W,Sun H B,et al.Smart Transmission Grid:Vision and Framework[J].IEEE Transactions on Smart Grid,2010,1(2):168-177.

[3] 魏東,張揚(yáng).智能電網(wǎng)用戶端智能配用電監(jiān)控與管理系統(tǒng)[J].低壓電器,2013,1(2):49-52. Wei Dong,Zhang Yang.Intelligent Distribution and Usage Monitoring and Management System at Intellingent Grid Users Side[J].Low Voltage Apparatus,2013,1(2):49-52.

[4]Bu S,Yu F R.Green Cognitive Mobile Networks with Small Cells for Multimedia Communications in the Smart Grid Environment[J].IEEE Transactions on Vehicular Technology,2014,63(5):2115-2126.

[5]Salvador R,Antonio C,Francisco M,et al.Integration of Distributed Generation in the Power Distribution Network: the Need for Smart Grid Control Systems,Communication and Equipment for a Smart City-use Cases[J].Renewable and Sustainable Energy Reviews,2014,38(1):223-234.

[6] 金彤丹,喻瑛.在線虛擬電能存儲系統(tǒng)及其初步設(shè)計[J].電力系統(tǒng)自動化,2011,35(4):35-39. Jin Dantong,Yu Ying.Online Virtual Electricity Provisioning System and Its Preliminary Design[J].Automation of Electric Power Systems,2011,35(4):35-39.

[7]Zhang K,Mao C,Xie J,et al.Determination of Characteristic Parameters of Battery Energy Storage System for Wind Farm[J].IET Renewable Power Generation,2014,8(1):22-32.

[8]Hirai J,Tae-Woong K,Kawamura A.Study on Intelligent Battery Charging Using Inductive Transmission of Power and Information[J].IEEE Transactions on Power Electronics,2000,15(2):335-345.

[9]Rong P,Pedram M.An Analytical Model for Predicting the Remaining Battery Capacity of Lithium-ion Batteries[J].IEEE Transactions on Very Large Scale Integration Systems,2006,14(5):441-451.

[10]Lu C,Tao L F,Fan H Z.Li-ion Battery Capacity Estimation:a Geometrical Approach[J].Journal of Power Sources,2014,261(1):141-147.

[11]李志武,王安榮,賈建援.Petri網(wǎng)不變式和狀態(tài)方程的求解[J].西安電子科技大學(xué)學(xué)報,2003,30(2):259-263. Li Zhiwu,Wang Anrong,Jia Jianyuan.Methods for Solving Invariants and State Equations for Petri Nets[J].Journal of Xidian University,2003,30(2):259-263.

[12]王祺,王安榮,蒲緒強(qiáng).制造系統(tǒng)Petri網(wǎng)特殊標(biāo)識求解算法[J].西安電子科技大學(xué)學(xué)報,2013,40(6):85-91. Wang Qi,Wang Anrong,Pu Xuqiang.Computation of Special Markings of Petri Nets of Manufacturing Systems[J]. Journal of Xidian University,2013,40(6):85-91.

[13]洪良.S3PR網(wǎng)可達(dá)標(biāo)識數(shù)的一種有效估算方法[J].西安電子科技大學(xué)學(xué)報,2014,41(3):169-173. Hong Liang.On Efficient Estimation of Reachable Markings for S3PR[J].Journal of Xidian University,2014,41(3): 169-173.

[14]李曄,王映輝,于振華.信息物理融合系統(tǒng)的面向?qū)ο驪etri網(wǎng)建模[J].西安電子科技大學(xué)學(xué)報,2012,41(2):165-171. Li Ye,Wang Yinghui,Yu Zhenghua.Formal Modeling of Cyber-physical Systems Using Object-oriented Petri Nets[J]. Journal of Xidian University,2012,41(2):165-171.

[15]Hardy G H,Wright E M.An Introduction to the Theory of Numbers[M].London:Oxford University,2009.

（編輯:王 瑞)

Capacity optimization for power storage systems in smart grids

JIANG Zhongyuan,ZH ANG Xiuyan,MA Ziyue
(School of Mechano-electronic Engineering,Xidian Univ.,Xi’an 710071,China)

The power storage systems in smart grids can continually supply electric power to avoid large area blackouts during fault repair periods.However,the costs of power storage systems are proportional to their capacity.In this paper,the models of power transmission systems are constructed by using finite capacity Petri nets.A scheme for computing the minimum capacity of power storage systems is proposed by analyzing the property of power transmission system models.This scheme can avoid large area blackouts caused by the incompatibility of system parameters.Moreover,it also proposes a constraint for large area blackout avoidance during fault repair periods.Finally,a case study is presented to verify the proposed scheme.The results show that the scheme can avoid large area blackouts and that the capacity of power storage systems are optimized.

Petri nets;supervisory controls;power storage systems;capacity optimization

TP271

A

1001-2400（2015)06-0106-07

10.3969/j.issn.1001-2400.2015.06.019

2014-07-13

時間:2015-03-13

國家自然科學(xué)基金資助項目（61074035);教育部高等學(xué)校博士點基金資助項目（20090203110009);中央高?；究蒲袠I(yè)務(wù)費專項資金資助項目（JB142001-15)

蔣忠遠(yuǎn)（1980-),男,博士,E-mail:jiangzy0708@gmail.com.

http://www.cnki.net/kcms/detail/61.1076.TN.20150313.1719.019.html