变电站模型变换的形式化框架 | |
柳明 ; 何光宇 ; 卢强 | |
刊名 | http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=DWJS200806003&dbname=CJFQ2008
![]() |
2012-04-22 ; 2012-04-22 | |
关键词 | 形式化 模型变换框架 上下文无关文法 属性文法 文法制导的变换 通信 |
中文摘要 | 文章针对电力系统2个重要的建模标准IEC 61970和IEC 61850,分别给出其模型表示和模型交换规范相应的上下文无关文法,实现了模型描述的形式化。在此基础上,将模型的变换问题转化为形式语言的翻译问题。采用文法制导变换思想,给出了属性文法形式的变换规则构造实例,并进一步给出了形式化的模型变换框架,基于该框架能够实现模型变换的自动化。框架采用模块化结构,将其中的形式化部分和非形式化部分进行了分离,能够在很大程度上适应标准的升级。文章提出的形式化思想可广泛适用于电力系统中其它领域的模型变换。 |
语种 | 中文 |
其他责任者 | 电力系统及发电设备控制和仿真国家重点实验室(清华大学电机系) ; 电力系统及发电设备控制和仿真国家重点实验室(清华大学电机系) 北京市海淀区100084 ; 北京市海淀区100084 |
内容类型 | 期刊论文 |
源URL | [http://ir.calis.edu.cn/hdl/211310/4398] ![]() |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 柳明,何光宇,卢强. 变电站模型变换的形式化框架[J]. http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=DWJS200806003&dbname=CJFQ2008,2012, 2012. |
APA | 柳明,何光宇,&卢强.(2012).变电站模型变换的形式化框架.http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=DWJS200806003&dbname=CJFQ2008. |
MLA | 柳明,et al."变电站模型变换的形式化框架".http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=DWJS200806003&dbname=CJFQ2008 (2012). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论