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

摘要：

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

关键词：变电站自动化、控制中心、谓词逻辑、模型变换、模型表示

所属期刊栏目：31

分类号：TM764;TM73(输配电工程、电力网及电力系统)

资助基金：国家重点基础研究发展计划973计划2004CB217903;国家自然科学基金50507013

在线出版日期：2007-09-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：17-21