期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
变电站模型变换的形式化框架 被引量：5
1
作者 柳明 何光宇 卢强 《电网技术》 EI CSCD 北大核心 2008年第6期8-13,共6页
文章针对电力系统2个重要的建模标准IEC 61970和IEC 61850,分别给出其模型表示和模型交换规范相应的上下文无关文法,实现了模型描述的形式化。在此基础上,将模型的变换问题转化为形式语言的翻译问题。采用文法制导变换思想,给出了属性... 文章针对电力系统2个重要的建模标准IEC 61970和IEC 61850,分别给出其模型表示和模型交换规范相应的上下文无关文法,实现了模型描述的形式化。在此基础上,将模型的变换问题转化为形式语言的翻译问题。采用文法制导变换思想,给出了属性文法形式的变换规则构造实例,并进一步给出了形式化的模型变换框架,基于该框架能够实现模型变换的自动化。框架采用模块化结构,将其中的形式化部分和非形式化部分进行了分离,能够在很大程度上适应标准的升级。文章提出的形式化思想可广泛适用于电力系统中其它领域的模型变换。 展开更多
关键词 形式化 模型变换框架 上下文无关文法 属性文法 文法制导的变换 通信
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部