云南省自然科学基金(2004F00062)

作品数：8被引量：14H指数：2
导出分析报告
相关作者：赵波冯洁向永红夏幼明徐天伟更多>>
相关机构：云南师范大学北京理工大学云南大学湖南财经高等专科学校更多>>
相关期刊：《微电子学与计算机》《计算机应用与软件》《云南师范大学学报（自然科学版）》《计算机工程与设计》更多>>
相关主题：形式化表示基于本体UML本体形式化更多>>
相关领域：自动化与计算机技术文化科学机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于本体的子类/父类关系的分类体系形式化表示被引量：1
《云南师范大学学报（自然科学版）》2008年第3期27-30,共4页赵波 解敏 夏幼明 
云南省重点实验室开放基金资助项目;云南省自然科学基金重点项目(2004F00062)资助;省院省校合作项目(2004YX42)资助
目前,在对本体的研究中,存在着形式化程度不够的问题。文章针对本体模型中的概念分类进行分析,用代数语言给出了四种概念分类的形式化描述。并扩展UML,可视化地表示这四种概念分类。同时,用OWL实现了概念分类的描述。
关键词：概念分类 子类/父类关系 UML OWL 
基于本体的整体与部分关系的形式化表示及其错误检查研究
《计算机应用与软件》2008年第4期73-75,91,共4页赵波 冯洁 
云南省重点实验室开放基金资助;云南省自然科学基金重点项目(2004F00062);省院省校合作项目(2004YX42)基金资助;云南省教育厅自然科学基金重点项目(6Z0035D)资助
整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这...
关键词：WP关系 主要特征 次要特征 形式判定规则 
本体中继承关系的形式化表示及其应用被引量：3
《计算机工程与设计》2008年第1期154-156,共3页赵波 冯洁 
云南省自然科学基金重点项目(2004F00062);云南省教育厅自然科学基金重点项目(6Z0035D);云南省重点实验室开放基金项目(2004K12);省院省校合作基金项目(2004YX42)
本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确...
关键词：本体 继承关系 类 形式化 判定规则 
基于UML的整体与部分关系的可视化表示研究被引量：1
《云南师范大学学报（自然科学版）》2007年第5期25-29,共5页赵波 张玉琢 夏幼明 
云南省重点实验室开放基金资助项目;云南省自然科学基金重点资助项目(2004F00062);省院省校合作项目(2004YX42)资助项目;云南省教育厅自然科学基金重点资助项目(6Z0035D)
整体/部分(whole/part,简称为WP)关系在计算机领域建模中无处不在。在WP关系中,整体对象具有管理和控制部分对象的功能,所以WP关系存在着许多复杂的语义关联。但是除了聚集和组合以外,UML没有直接提供除此以外的其它更多的语义特征。因...
关键词：WP关系 UML 主要特征 次要特征 
整体与部分关系中的语义传播机制研究被引量：1
《四川大学学报（工程科学版）》2007年第S1期264-268,共5页赵波 李涓子 王克宏 
云南省自然科学基金重点项目(2004F00062);省院省校合作项目(2004YX42);云南省教育厅自然科学基金重点项目(6Z0035D)
为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传...
关键词：整体/部分关系 语义传播 UML 形式化表示 
基于变搜索区间的郭涛算法求解非线性方程组被引量：2
《科学技术与工程》2007年第13期3117-3120,共4页向占宏 向永红 
湖南教育厅科研项目(05C035);云南省自然科学基金(2004F00062)资助
描述了一种基于变搜索区间的郭涛算法的非线性方程的求解。通过实验证明该算法大大增强了一般遗传算法的性能,在求解非线性方程时,完全不需要考虑初始值的选取以及初始区间的确定。
关键词：郭涛算法 非线性方程组 变搜索范围 
组合星图的最优生成树被引量：2
《微电子学与计算机》2006年第9期168-170,共3页李静力 向永红 陈蔓莉 周永恒 
云南省自然科学基金(NO.2004F00062);云南大学自然科学基金(NO.2003Q022A)
文章解决了组合星图生成树的构造问题。首先给出了组合星图的定义及其重要的拓扑性质,然后采用构造方法获得了组合星图的一棵高度为D(Sn,k)的生成树,并给出了相应的算法,其中D(Sn,k)为组合星图的直径。该生成树具有最优的高度,且是一棵...
关键词：组合星图 距离 生成树 
基于本体的领域知识库构建及推理研究被引量：4
《云南师范大学学报（自然科学版）》2006年第4期36-39,69,共5页徐天伟 
云南省自然科学研究基金重点项目(2004F00062);云南省教育厅科学研究基金(04Y794D)
文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑,对领域知识库的构建及知识推理等方面进行了研究,阐述了基于本体的领域知识库构建的方法,并且介绍了常用软件领域知识库的构建实例,对基于描述逻辑的知识库推理进行了研究,并以...
关键词：本体 资源描述框架 描述逻辑 知识库构建 知识推理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部