主题地图标准及其应用研究

主题地图是描述知识结构、知识与信息资源之间联系的元数据标准。为了实现更有效的信息查找和知识管理,本文介绍了主题地图元数据模型,详述了主题地图的核心概念,探讨了主题地图的主要应用,概述了其软件开发的关键技术,并给出应用实现模型和一个具体应用的实现。     

自伴算子空间上满足[φ(A~2),A]+[A~2,φ(A)]=0的可加映射

运用算子论的方法,研究了自伴算子空间上满足[φ(A2),A]+[A2,φ(A)]=0的可加映射。如果可加映射φ:Bs(H)→Bs(H)满足对所有A∈Bs(H)有[φ(A2),A]+[A2,φ(A)]=0,那么存在λ∈R,可加映射f:Bs(H)→R,以及算子K∈Bs(H),使得对所有A∈Bs(H)有φ(A)=iAK-iKA+λA+f(A)I。即自伴算子空间上满足[φ(A2),A]+[A2,φ(A)]=0的可加映射是导子与可交换映射之和。     

混合单调映象的耦合不动点及其迭代定理

在半序Banach空间中,取消对导出半序的雄或者映象的连续性的限制的情况下,获得了两类非连续混合单调映象的耦合不动点定理．     

k-集压缩映象和半紧1-集压缩映象的耦合不动点定理

在半序Ｂａｎａｃｈ空间中,获得了非连续ｋ－集压缩映象和非连续半紧－１集压缩映象的耦合不动点的存在性定理,对已有的结果进行了推广和发展     

与混合变分不等式有关的不动点映射和正规映射的单调性

在某种条件下,证明了与混合变分不等式有关的不动点映射和正规映射的单调性及强单调性,也证明了带有扰动的不动点映射和正规映射的强单调性,所得结论推广了已有的一些结果.     

关于一对集值映象和两对单值映象的公共不动点定理(英文)

该文的主要目的是,对于一类严格压缩条件,在不具有紧性和不使用连续性的条件下,建立了一对集值映象和两对单值映象的公共不动点定理.定理推广和改进了一些现有文献的相应结果.     

开源主题图Ontopia引擎工作机制研究

在概要分析OKS知识组件和Ontopia主题图引擎体系结构的基础上,深入分析了引擎API的主要开发包、核心接口之间的构成关系以及实现形式。针对Ontopia引擎接口对主题图创建、存储、数据交换和应用功能开发等方面的支持,并结合具体代码实现方法对引擎工作原理进行了全面分析。     

闭映射和稳定集拓扑

首次引入稳定集拓扑空间的概念,研究了稳定集拓扑空间并得到了稳定集拓扑空间的一些命题.然后利用这些命题,得到了闭映射的一个新的特征.利用稳定集拓扑空间的技巧,证明了关于子量量空间完全像的一个定理.     

关于拓扑链遍历映射

证明了拓扑链遍历映射的拓扑共轭不变性;研究了fk与f1×f2×…×fn的拓扑链遍历性,并给出了f的拓扑链遍历性与fk的拓扑链遍历性等价的条件,以及fi,i=1,2,…,n的拓扑链遍历性与f1×f2×…×fn的拓扑链遍历性等价的条件;给出了系统(X,f)拓扑链遍历与其提升系统(X珘,珓f)的拓扑链遍历的相互蕴涵性。     

具有限时滞的混合型脉冲泛函微分包含

利用集值映射的不动点定理得到具有限时滞的混合型脉冲泛函微分包含温和解的存在性结果,改进和推广了已有的一些结果.