%0 Journal Article
%T 基于谓词逻辑的变电站模型表示和变换
%A 何光宇
%A 柳明
%A 沈沉
%J 电力系统自动化
%D 2007
%X 提出将IEC 61970的公共信息模型（CIM）元模型和IEC 61850的变电站配置语言（SCL）元模型采用统一的面向对象元元模型来描述，给出了相应的映射方法。用基于谓词逻辑的一阶语言表示该元元模型，使不同元模型成为该形式语言的不同解释。针对不同的元模型定义相应的一阶语言，将具体的模型表示为该语言的解释。在元模型的基础上制定变换规则，规则表示为一个综合考虑了2个元模型的一阶语言上的公式。由于模型和模型变换规则均基于谓词逻辑，模型的变换问题转化为谓词逻辑的运算和消元问题。针对该问题，提出了模型变换的自动化框架，可以在人工制定变换规则的基础上自动完成变电站模型的变换
%K 变电站自动化
%K 控制中心
%K 谓词逻辑
%K 模型变换
%K 模型表示
%K substation automation
%K control center
%K predicate logic
%K model transformation
%K model representation
%U http://www.aeps-info.com/aeps/article/abstract/200612197?st=article_issue