作　　者： ; ; ; ;

机构地区： 广西师范大学计算机科学与信息工程学院

出　　处： 《微电子学与计算机》 2007年第12期55-58,61,共5页

摘　　要： 分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断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.

关 键 词： 描述逻辑 模型 自主计算

领　　域： [自动化与计算机技术] [自动化与计算机技术]