云南省教育厅自然科学研究基金(6Z0035D)

作品数：4被引量：5H指数：1
导出分析报告
相关作者：赵波冯洁王克宏张玉琢李涓子更多>>
相关机构：云南师范大学北京理工大学清华大学更多>>
相关期刊：《计算机工程与设计》《计算机应用与软件》《云南师范大学学报（自然科学版）》更多>>
相关主题：形式化表示UML本体形式化基于UML更多>>
相关领域：自动化与计算机技术机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于本体的整体与部分关系的形式化表示及其错误检查研究
《计算机应用与软件》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 形式化表示 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部