基于形狀約束語言的電網模型知識圖譜驗證方法

李曉露，左璇，劉日亮，陸一鳴，李聰利，林順富

(1.上海電力大學 電氣工程學院，上海 200093；2.國家電網有限公司，北京 100031；3.國網上海能源互聯網研究院，上海 201210；4.國網天津市電力公司，天津 300010)

0 引言

隨著電網規模的不斷擴大、分布式能源的高比例滲透，電網調度控制需要基于更加全面完整、一致準確的電力系統模型，在更大的范圍上優化配置源-網-荷-儲資源[1-3]。調控中心之間交換模型的質量已成為提高整個電網安全穩定運行水平的關鍵。

采用公共信息模型（common information model, CIM）實現不同調控中心之間無縫、高效的模型交換，已在國內外的工程實踐中得到驗證[4-7]。然而，由于應用需求不斷發展、新應用不斷涌現所導致的CIM版本變化頻繁、自定義擴展不斷增加，使得交換模型的質量管理面臨極大挑戰。因此，設計可靈活跟隨CIM版本變化和自定義擴展的模型驗證工具極為重要。

模型驗證是將實例數據與所配置的標準信息模型校驗比對的過程[8]。目前的模型驗證工具主要基于標準信息模型進行語義一致性測試，檢測出實例數據與標準信息模型的差異。文獻[9]從描述準確性、模型全面性、關聯完備性3個方面進行CIM數據一致性的校驗。文獻[10]針對IEC 61 968標準消息總線上互操作過程中出現的模型不匹配問題，設計了基于本體的信息模型驗證機制，實現了IEC 61 968標準的一致性測試。由于標準信息模型內嵌在模型驗證工具中，應用需求快速變化而導致的標準信息模型更新無法及時反饋到模型驗證工具，使得模型質量校驗存在一定的滯后。……