-
题名基于本体的分层抽象模型
被引量：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
[电子电信—微电子学与固体电子学]
-
-
题名基于ALAP元模型的产品功能模型
被引量：1
- 4
-
-
作者
郝泳涛
唐涛
马冲
-
机构
同济大学CAD研究中心
-
出处
《计算机辅助工程》
2010年第3期73-78,共6页
-
文摘
针对当前产品功能建模理论没有覆盖智能设计完整生命周期的问题,提出应用—逻辑—算法—物理分层抽象模型(Application-Logic-Algorithm-Physics layer abstract model,ALAP),将其作为产品功能模型的元模型,并阐述产品功能模型的构建流程;提出用于描述产品功能模型的功能对象方法树(Function Object Method Tree,FOMT),并给出座椅设计描述的实例.ALAP具有一般性、开放性和通用性的特点,可为新的产品功能模型开发提供参考,也能规范已有模型,使不同模型之间可以通信.
-
关键词
产品功能模型
应用—逻辑—算法—物理分层抽象模型
智能设计
功能对象方法树
-
Keywords
product function model
application-logic-algorithm-physics layer abstract model
intelligent design
function object method tree
-
分类号
TP391.72
[自动化与计算机技术—计算机应用技术]
-
-
题名移动传感器网络分层路由算法研究
被引量：1
- 5
-
-
作者
刘建明
张存广
李宏周
彭智勇
-
机构
桂林电子科技大学计算机科学与工程学院
-
出处
《桂林电子科技大学学报》
2010年第5期436-439,共4页
-
基金
国家自然科学基金(60762002)
-
文摘
一种新的应用于路由算法设计的分层模型——抽象分层模型被提出,该模型将节点分为两层:Level 1(Clus-ter-head层)和Level 0(Member层),切断了分簇模型中簇首与成员的对应关系,移动节点不再寻找簇首,而可以直接向Level 1节点发送信息,进而转送给基站。NS2下的仿真结果表明,在移动环境下新算法能够有效均衡能量消耗,高效传输数据,实现对移动性的支持。
-
关键词
移动传感器网络
路由
LEACH-算法
抽象分层模型
-
Keywords
mobile sensor networks
routing
LEACH-algorithm
abstracted hierarchical model
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名计算机科学2011年第38卷总目次
- 6
-
-
-
出处
《计算机科学》
CSCD
北大核心
2011年第12期297-305,共9页
-
-
关键词
算法研究
语义标注
分层抽象模型
彩色图像
人脸识别
计算机科学
粗糙集理论
无线传感器网络
自动图像标注
文本分类算法
目次
-
分类号
TP
[自动化与计算机技术]
-
