检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]广东工业大学土木与交通工程学院,广州510006 [2]华南理工大学电力学院广东省绿色能源技术重点实验室,广州510640
出 处:《计算机工程》2011年第8期43-46,49,共5页Computer Engineering
基 金:国家"863"计划基金资助项目(2007AA05Z244);广东省科技-工业攻关计划基金资助项目(2009B060700001)
摘 要:针对逻辑模型在查询和存储方面的不足,定义与其具有一致表示能力的关系模型,并将逻辑模型中以句子形式表示的逻辑约束转化为针对关系模型中逻辑关系的势的约束。根据模型的访问,以IEC61970所采用的数据访问接口DAF为例,在上述关系模型中给出基于关系代数的实现。研究结果表明,通过选择合理的关系模型,可以在保持逻辑模型丰富的表达能力的基础上,利用关系代数提高模型访问的效率,同时保证约束判定的有效性。Corresponding to the lack in abilities of storage and query, a relation scheme, which owns the identical representation with CIM logical model, is defined. Those constraints in logical model, which take the form of logical sentences, are transformed into constraints on the cardinal of some related logical relations. With respects to the model access, the DAF interface, which is the basic CIS interface of IEC61970, is realized by relation algebra as an example. Research results show that the efficiencies of query and availability of constraint verification can be acquired by a well choosing relation scheme, while the rich representative ability of logical model is still reserved.
关 键 词:关系模型 公用信息模型 模型验证 模型访问 模型表示
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.116.23.178