輸變電設備的全景信息建模與應用.pdf

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

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

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