云南省自然科学基金(2004F00062)
- 作品数：8 被引量：19H指数：3
- 相关作者：赵波冯洁向永红夏幼明徐天伟更多>>
- 相关机构：云南师范大学北京理工大学云南大学更多>>
- 发文基金：云南省自然科学基金云南省教育厅自然科学研究基金云南省教育厅科学研究基金更多>>
- 相关领域：自动化与计算机技术文化科学机械工程更多>>
- 基于变搜索区间的郭涛算法求解非线性方程组被引量：2
- 2007年
- 描述了一种基于变搜索区间的郭涛算法的非线性方程的求解。通过实验证明该算法大大增强了一般遗传算法的性能,在求解非线性方程时,完全不需要考虑初始值的选取以及初始区间的确定。
- 向占宏向永红
- 关键词：郭涛算法非线性方程组
- 基于UML的整体与部分关系的可视化表示研究被引量：1
- 2007年
- 整体/部分(whole/part,简称为WP)关系在计算机领域建模中无处不在。在WP关系中,整体对象具有管理和控制部分对象的功能,所以WP关系存在着许多复杂的语义关联。但是除了聚集和组合以外,UML没有直接提供除此以外的其它更多的语义特征。因此本文通过分析WP关系的特征,阐明UML在描述WP关系方面的不足之处,扩展UML使其能清晰、准确地描述WP关系。
- 赵波张玉琢夏幼明
- 关键词：UML
- 基于本体的整体与部分关系的形式化表示及其错误检查研究
- 2008年
- 整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些特征,然而这样的解释通常是不准确的。另一方面,由于知识处于不断的增加与更新之中,难免造成知识库中知识的错误,导致知识库维护困难。因此本文首先基于本体对WP关系的特征进行形式化描述,在此基础上,根据WP关系的特征提出了一系列相关知识的形式判定规则。
- 赵波冯洁
- 组合星图的最优生成树被引量：2
- 2006年
- 文章解决了组合星图生成树的构造问题。首先给出了组合星图的定义及其重要的拓扑性质,然后采用构造方法获得了组合星图的一棵高度为D(Sn,k)的生成树,并给出了相应的算法,其中D(Sn,k)为组合星图的直径。该生成树具有最优的高度,且是一棵贪婪树。
- 李静力向永红陈蔓莉周永恒
- 关键词：组合星图生成树
- 整体与部分关系中的语义传播机制研究被引量：1
- 2007年
- 为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。
- 赵波李涓子王克宏
- 关键词：UML形式化表示
- 组合星图的最优生成树
- 文章解决了组合星图生成树的构造问题。首先给出了组合星图的定义及其重要的拓扑性质,然后采用构造方法获得了组合星图的一棵高度为D（Sn,k）的生成树,并给出了相应的算法,其中D（Sn,k）为组合星图的直径。该生成树具有最优的...
- 李静力向永红陈蔓莉周永恒
- 关键词：组合星图生成树
- 文献传递
- 基于本体的子类/父类关系的分类体系形式化表示被引量：3
- 2008年
- 目前,在对本体的研究中,存在着形式化程度不够的问题。文章针对本体模型中的概念分类进行分析,用代数语言给出了四种概念分类的形式化描述。并扩展UML,可视化地表示这四种概念分类。同时,用OWL实现了概念分类的描述。
- 赵波解敏夏幼明
- 关键词：UMLOWL
- 整体与部分关系中的语义传播机制研究
- 为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的...
- 赵波李涓子王克宏
- 关键词：UML形式化表示
- 文献传递
- 基于本体的领域知识库构建及推理研究被引量：5
- 2006年
- 文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑,对领域知识库的构建及知识推理等方面进行了研究,阐述了基于本体的领域知识库构建的方法,并且介绍了常用软件领域知识库的构建实例,对基于描述逻辑的知识库推理进行了研究,并以实例说明其应用。
- 徐天伟
- 关键词：本体资源描述框架描述逻辑知识库构建知识推理
- 本体中继承关系的形式化表示及其应用被引量：5
- 2008年
- 本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。
- 赵波冯洁
- 关键词：本体形式化
