| 基于描述逻辑的CIM模型 |
| |
| 引用本文： | 蒋运承,汤庸,王驹,周生明.基于描述逻辑的CIM模型[J].微电子学与计算机,2007,24(12):55-58,61. |
| |
| 作者姓名： | 蒋运承 汤庸 王驹 周生明 |
| |
| 作者单位： | 1. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004;中山大学计算机科学系,广东,广州,510275
2. 中山大学计算机科学系,广东,广州,510275
3. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金;中国博士后科学基金;广东省自然科学基金重点项目 |
| |
| 摘 要： | 分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。
|
| 关 键 词： | 描述逻辑 CIM模型 自主计算 |
| 文章编号： | 1000-7180（2007）12-0055-04 |
| 收稿时间： | 2007-01-08 |
| 修稿时间： | 2007年1月8日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
