-
题名基于本体的分层抽象模型
被引量：4
- 1
-
-
作者
王楠
欧阳丹彤
孙善武
-
机构
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
吉林财经大学信息学院
吉林财经大学网络实验中心
-
出处
《计算机科学》
CSCD
北大核心
2011年第2期184-186,213,共4页
-
基金
国家自然科学基金重大项目基金(60496320
60496321)
+5 种基金
国家自然科学基金(60973089
60773097
60873148)
吉林省科技发展计划项目基金(20060532
20080107)
欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)资助。
-
文摘
KRA表示模型给出了对物理世界W进行形式化建模的一般框架。在扩展后的广义KRA模型中引入本体概念,将抽象对象库扩展为本体类,在本体类中实现KRA模型框架中的感知层、语言层和理论层的知识共享和重用,简化了KRA模型的表示。分别定义了作用在物理世界W和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集,并给出了本体类之间的映射关系,通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义,并给出了相关定理,指出在这样的框架中利用抽象映射可以自动构建物理世界W的抽象度不同的模型。
-
关键词
KRA抽象模型
本体类
本体抽象算子
抽象度
分层抽象模型
-
Keywords
KRA Abstraction model
Ontology class
Ontology Abstraction operator
Abstraction degree
Hierarchical Abstraction model
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于系统中心本体的分层抽象模型
- 2
-
-
作者
王楠
孙善武
欧阳丹彤
-
机构
吉林财经大学管理科学与信息工程学院
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
吉林财经大学网络实验中心
-
出处
《计算机科学》
CSCD
北大核心
2011年第8期189-192,共4页
-
基金
国家自然科学基金重大项目基金(60496320
60496321)
+9 种基金
国家自然科学基金(60973089
60773097
60873148)
吉林省科技发展计划项目基金(20060532
20080107)
欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)
符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05)
吉林省科技发展计划项目(20100173)
吉林省教育厅"十一五"科学技术研究项目(2009512
2010392)资助
-
文摘
本体类分层关系的确定,使得能够利用不同抽象度本体类之间的抽象映射自动构建物理世界的分层模型。根据本体类型的不同将已有的本体类定义为对象本体类(Object-based Ontology Class),并对流片段(Flow Fragment)的概念加以扩展,提出以系统为中心的流本体类(Flow-based Ontology Class)的概念。定义了流片段的行为不可区分性,从两个不同的方向讨论了流本体类的分层表示:一是对构成流本体类的流片段的不同抽象度分层扩展;二是对构成流本体类的不可区分的流片段的合并分层扩展。给出了流本体类的分层过程,定义了系统级的映射关系,即流片段之间的抽象映射,指出该映射为基于系统中心本体的模型抽象分层过程提供了直接的转换运算。并且,流本体类的分层关系的确定也为基于系统中心本体的模型设计任务提供了可共享和重用的机制。
-
关键词
分层抽象模型
抽象度
对象本体类
流本体类
流本体类分层
-
Keywords
Hierarchical abstraction model
Abstraction degree
Object-based ontology class
Flow-based ontology class
Hierarchical structure of flow-based ontology class
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于SystemC的嵌入式系统设计的描述模型
被引量：1
- 3
-
-
作者
栾静
顾君忠
-
机构
华东师范大学计算机系计算机应用研究所
-
出处
《计算机科学》
CSCD
北大核心
2005年第8期209-212,共4页
-
基金
上海市科技发展基金(No.025007014)
-
文摘
系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间。已有多种建模方案,但每种都有其局限性。本文提出一种由5层模型组成的嵌入式系统设计的模型框架。它能够从需求描述开始,建立CDM功能模型,经一致性验证,满足设计要求后映射到SystemC抽象模型上。利用SystemC的硬件描述特征和仿真库,增加设计细节,分层细化模型并进行验证,最后达到软硬件的协同设计和综合实现的目的。
-
关键词
嵌入式系统
分层抽象模型
SYSTEMC
嵌入式系统设计
描述模型
一致性验证
系统建模
关键步骤
上市时间
模型框架
-
Keywords
Embedded system, Hierarchical abstract models, SystemC
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
TN402
[电子电信—微电子学与固体电子学]
-
-
题名计算机科学2011年第38卷总目次
- 4
-
-
-
出处
《计算机科学》
CSCD
北大核心
2011年第12期297-305,共9页
-
-
关键词
算法研究
语义标注
分层抽象模型
彩色图像
人脸识别
计算机科学
粗糙集理论
无线传感器网络
自动图像标注
文本分类算法
目次
-
分类号
TP
[自动化与计算机技术]
-
