变电站模型变换的形式化框架  

Formalized Framework for Substation Model Transduction

作　　者：柳明[1] 何光宇[1] 卢强[1] 

机构地区：[1]电力系统及发电设备控制和仿真国家重点实验室(清华大学电机系),北京市海淀区100084

出　　处：《电网技术》2008年第6期8-13,共6页Power System Technology

基　　金：国家重点基础研究发展计划资助项目(973项目)(2004CB217903);国家自然科学基金资助项目(50507013)~~

摘　　要：文章针对电力系统2个重要的建模标准IEC 61970和IEC 61850,分别给出其模型表示和模型交换规范相应的上下文无关文法,实现了模型描述的形式化。在此基础上,将模型的变换问题转化为形式语言的翻译问题。采用文法制导变换思想,给出了属性文法形式的变换规则构造实例,并进一步给出了形式化的模型变换框架,基于该框架能够实现模型变换的自动化。框架采用模块化结构,将其中的形式化部分和非形式化部分进行了分离,能够在很大程度上适应标准的升级。文章提出的形式化思想可广泛适用于电力系统中其它领域的模型变换。According to two important modeling standards for power system, i,e., IEC61970 and IEC61980, the descriptions of their models and the context free grammar corresponding to model transduction specifications are respectively given, thus the formalization of model description is implemented. On this basis, the model transduction is transformed into the translation of formal language. By use of syntax directed transduction, the structural examples of transduction rules in the form of attributed grammar are given, and the formalized model transduction framework is further given. Based on this framework the automatic model transduction can be realized while the standards are stable. The modularised structure is applied to the framework, in which the formalized parts are separated from non-formalized parts, so to a large extent the framework can suit to the upgrade of standards. The proposed formalized thinking can be widely applied to other field of model transductions in power system.

关 键 词：形式化 模型变换框架 上下文无关文法 属性文法 文法制导的变换 通信 

分 类 号：TM734[电气工程—电力系统及自动化]