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

32 卷 6 期 电 网 技 术 Vol. 32 No. 6 2008 年3 月 Power System Technology Mar. 2008 文章编号：1000-3673 （2008 ）06-0008-06 中图分类号：TM734 献标识码：A 学科代码：510 40 变电站模型变换的形式化框架 明，何光宇，卢 强 电力系统及发电设备控制和仿真国家重点实验室(清华大学电机系) ，北京市 海淀区 100084 ） Formalized Framework for Substation Model Transduction LIU Ming，HE Guang-yu ，LU Qiang （State Key Lab of Control and Simulation of Power Systems and Generation Equipments (Department of Electrical Engineering ， Tsinghua University) ，Haidian District，Beijing 100084，China ） ABSTRACT: 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 0 引言 transformed into the translation of formal language. By use of syntax directed transduction, the structural examples of [1] 数字电力系统 中的新一代调度系统是基于混 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 [2-8]