变电站模型变换的形式化框架 Formalized Framework for Substation Model Transduction.pdfVIP

第32卷第6期 电网技术 、，b1．32No．6 2008年3月 Power Mar．2008 SystemTechnolog)r 文章编号：1000-3673(2008)06一0008．06中图分类号：1M734文献标识码：A 学科代码：510．4JD 变电站模型变换的形式化框架 柳 明，何光宇，卢 强 (电力系统及发电设备控制和仿真国家重点实验室(清华大学电机系)，北京市海淀区100084) for FormaⅡzedFrameworkSubstationModelnansduction LIU MiIlg，既Gu柚g-yu，LUQiang and (StateKeyLabofCon们l Tsinghua 100084，China) U|liversity)，Haidi柚District，Beijing to standan|s two 分和非形式化部分进行了分离，能够在很大程度上适应标准 ABSTI认CT．AccordingiIllport柚tmodeling 6Dr ⅢC61970彻d tIle 的升级。文章提出的形式化思想可广泛适用于电力系统中其 powersystem，i．e．， IEC61980， meir 它领域的模型变换。 of models孤dthecontext des耐ptions f}∞gra“Im盯 t0 model胁sduction are co眦spondiIIg spccifications 关键词：形式化；模型变换框架；上下文无关文法：属性文 fo哪alizationofmDdel 他spectively百Ven，tllus山e description 法；文法制导的变换；通信 is tlljs 山eInodel呦sductionis b笛is， implement。d．on 岫sf删mtotlle呦slationoff咖lal useof 0引言 l粕guage．By diI俄ted t11esmlctIlral of symax 咖sduction， 既amples 数字电力系绀¨中的新一代调度系统是基于混 岫sductionnllesiIlthefom of砌buted伊卸1mararc百v即， 成控制的复合目标趋优化控制系统，其智能决策必 柚d山e f}锄eworkisfurnler f．onnalizedmodel廿剐馐sduction 须根据全局实时信息来制定和实施，因而需要建设 ∞ dlis model giV∞．Based fhme、】l，oI．kthe卸tomanc 一个数据共享平台。该平台除了需要高速的物理信 缸锄sdllcti