基于谓词逻辑的变电站模型表示和变换

• 作者: 何光宇 柳明 沈沉
• 来源期刊: 电力系统自动化
• 学科: 工学
• 关键词: 变电站自动化 控制中心 谓词逻辑 模型变换 模型表示
• 年，卷（期）: 2007,（15）
• 所属期刊栏目: 运行可靠性与广域安全防御
• 页码范围: 17-21
• 页数: 5页
• 分类号: TM764|TM73
• 字数: 4860字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-1026.2007.15.004

摘要

提出将IEC 61970的公共信息模型(CIM)元模型和IEC 61850的变电站配置语言(SCL)元模型采用统一的面向对象元元模型来描述,给出了相应的映射方法.用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释.针对不同的元模型定义相应的一阶语言,将具体的模型表示为该语言的解释.在元模型的基础上制定变换规则,规则表示为一个综合考虑了2个元模型的一阶语言上的公式.由于模型和模型变换规则均基于谓词逻辑,模型的变换问题转化为谓词逻辑的运算和消元问题.针对该问题,提出了模型变换的自动化框架,可以在人工制定变换规则的基础上自动完成变电站模型的变换.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈沉	清华大学电机系电力系统国家重点实验室	64	1465	21.0	37.0
2	何光宇	清华大学电机系电力系统国家重点实验室	78	1861	25.0	40.0
3	柳明	清华大学电机系电力系统国家重点实验室	5	197	5.0	5.0