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

被引:5
作者
柳明
何光宇
卢强
机构
[1] 电力系统及发电设备控制和仿真国家重点实验室(清华大学电机系)
关键词
形式化; 模型变换框架; 上下文无关文法; 属性文法; 文法制导的变换; 通信;
D O I
10.13335/j.1000-3673.pst.2008.06.003
中图分类号
TM743 [模拟与仿真];
学科分类号
摘要
文章针对电力系统2个重要的建模标准IEC 61970和IEC 61850,分别给出其模型表示和模型交换规范相应的上下文无关文法,实现了模型描述的形式化。在此基础上,将模型的变换问题转化为形式语言的翻译问题。采用文法制导变换思想,给出了属性文法形式的变换规则构造实例,并进一步给出了形式化的模型变换框架,基于该框架能够实现模型变换的自动化。框架采用模块化结构,将其中的形式化部分和非形式化部分进行了分离,能够在很大程度上适应标准的升级。文章提出的形式化思想可广泛适用于电力系统中其它领域的模型变换。
引用
收藏
页码:8 / 13
页数:6
相关论文
共 9 条
[1]   IEC 61850/IEC 61970保护模型的协调 [J].
柳明 ;
何光宇 .
电力系统自动化, 2006, (22) :7-11
[2]   运行规划中的公用信息模型 [J].
柳明 ;
何光宇 ;
卢强 .
电网技术, 2006, (22) :24-31
[3]   网络分析应用中的公用信息模型 [J].
柳明 ;
何光宇 ;
卢强 .
电网技术, 2006, (17) :51-58
[4]   IEC61850标准语义信息模型的互操作性能分析及系统实现 [J].
常弘 ;
茹锋 ;
薛钧义 ;
不详 .
电工电能新技术 , 2005, (03) :58-62
[5]   IEC61850语义信息模型的实现 [J].
常弘 ;
茹锋 ;
薛钧义 .
电网技术, 2005, (12) :39-42
[6]   基于IEC 61850标准的过程总线通信研究与实现 [J].
殷志良 ;
刘万顺 ;
杨奇逊 ;
秦应力 .
中国电机工程学报, 2005, (08) :84-89
[7]   数字电力系统(DPS) [J].
卢强 .
电力系统自动化, 2000, (09) :1-4
[8]  
Taxonomy of XML schema languages using formal language theory[J] . Makoto Murata,Dongwon Lee,Murali Mani,Kohsuke Kawaguchi.ACM Transactions on Internet Technology (TOIT) . 2005 (4)
[9]  
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling[J] . Ken Kennedy,Jayashree Ramanathan.ACM Transactions on Programming Languages and Systems (TOPLAS) . 1979 (1)