輸變電設(shè)備的全景信息建模與應(yīng)用.pdf

1、目前，電網(wǎng)結(jié)構(gòu)日益復(fù)雜，電力設(shè)備受到客觀惡劣環(huán)境的影響，電網(wǎng)的安全受到了極大的挑戰(zhàn)。電力企業(yè)可利用全壽命周期管理系統(tǒng)提高設(shè)備的管理水平，其元數(shù)據(jù)模型即為輸變電設(shè)備全景信息模型，模型能夠解決全壽命周期管理系統(tǒng)建設(shè)過程中的“信息孤島”、重復(fù)建模和信息不全面等問題。當(dāng)前，國內(nèi)外研究對(duì)公共信息模型的擴(kuò)展和完善的研究較為多見，但針對(duì)模型的合理性驗(yàn)證卻很少涉及。本文研究IEC61970/968標(biāo)準(zhǔn)，擴(kuò)展基于公共信息模型的全景信息模型，運(yùn)用Petri

2、網(wǎng)形式化理論驗(yàn)證模型的合理性。本文的工作主要集中在:
　　 首先，對(duì)電力企業(yè)信息集成方法進(jìn)行比較，分析全壽命周期管理系統(tǒng)對(duì)應(yīng)的元數(shù)據(jù)集成技術(shù)需求，通過研究電力系統(tǒng)公共信息模型的建立方法和擴(kuò)展原則，參照IEC61970和IEC61968的CIM標(biāo)準(zhǔn)和其他相關(guān)的電力行業(yè)規(guī)范，利用RATIONAL ROSE軟件，依照原則和方法基于UML語言擴(kuò)展CIM模型，完成了由資產(chǎn)基本模型、資產(chǎn)工作模型、在線監(jiān)測(cè)模型、公共信息模型和服務(wù)模型組成的輸

3、變電設(shè)備全景信息模型設(shè)計(jì)，地實(shí)現(xiàn)了系統(tǒng)平臺(tái)多視角信息模型的統(tǒng)一。
　　 其次，通過深入研究UML圖形向Petri網(wǎng)的映射方法，完成了全景信息模型向Petri網(wǎng)的映射，實(shí)現(xiàn)最終的形式化驗(yàn)證。通過利用可覆蓋性樹和出現(xiàn)序列理論，實(shí)現(xiàn)對(duì)Petri網(wǎng)分別進(jìn)行結(jié)構(gòu)和語義驗(yàn)證，并給出用電測(cè)算系統(tǒng)狀態(tài)圖和設(shè)備更換系統(tǒng)活動(dòng)圖驗(yàn)證實(shí)例，確保模型有效。進(jìn)一步地，通過研究模型應(yīng)用的相關(guān)技術(shù)，設(shè)計(jì)了全景信息模型的現(xiàn)場(chǎng)部署和應(yīng)用的具體方案，介紹了應(yīng)用測(cè)試的