欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
分析了CIM模型在自主计算中的研究现状和存在的问题．在GIanfianehi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求，提出了一种基于描述逻辑DU‰的CIM模型，即给出了将CIM模型转化为描述逻辑DLR目知识库的方法，证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法，也证明了这些判断方法的正确性。
英文摘要：
The current research progresses and the existing problems of CIM for autonomic computing are analyzed. A kind of evolving CIM model is presented based on the works of G Lanfranchi and A Cali. Aiming at the characteristics and requirement of CIM model, CIM model based on description logic DLRifd is presented, i.e., the method of how to translate CIM model into DLRifd knowledge bases is given, and the correctness of the translation method is proved. The automatic reasoning methods of consistency, redundancy, and subsumption relation of CIM model are presented, and the correctness of these reasoning methods is also proved.
同期刊论文项目
同项目期刊论文
期刊信息
位置：