关于2-距离空间中压缩型映射的几个不动点定理

本文研究2-距离空间中一些压缩型映射的不动点的存在性和唯一性,得到了若干新的结果,这些结果改进、统一和发展了许多已有的重要结果([1]、[2]、[3][4]等).     

变换方法在解题中的应用

在研究和解决数学问题时，采用迂回的手段来达到目的方法，称之为数学变换方法．其思维特征是利用变换，使复杂问题向简单问题转化；使难的问题向容易的问题转化；使未解决的问题向已解决的问题转化．这也正是转化思想在解题中的具体体现．灵活、有效地利用好变换方法。对于活跃数学思维，提高解题技巧是非常有益的。     

PowerDesigner中的对象与关系映射建模

介绍了PowerDesigner通过手工建立映射关系和自动模型生成映射关系的基本方法,解决面向对象模型和关系模型元素间的匹配问题.     

变分不等式问题与无约束最优化问题

在Banach空间中研究了变分不等式问题（VIP），得到了变分不等式问题与无约束最优化问题的等价性，该结果是[4,Th3.2]的推广。     

北京实施七大节水方案 社会单位用水指标压缩10％

北京今年实施七大节水方案年内五成家庭改换节水器具     

从"寸金难买寸光阴"谈莱克夫的概念隐喻

莱克夫的概念隐喻理论将隐喻视为一种概念方式,是源域向目标域的映射,对意义研究,二语习得等有深远的影响。但像其他理论一样,概念隐喻理论也有其自身的不足。本文以"寸金难买寸光阴"等为例证,探讨概念隐喻,建议应进行更深入的跨文化取证。     

非连续单调算子的不动点定理

在Banach空间E中，利用正规锥的性质及压缩原理，通过上下解方法构造出一组迭代序列。所得序列均为Banach空间E中的柯西序列，再利用E的完备性，从而得到非连续单调算子的最大与最小不动点。改进推广了某些已有的结果．     

带强迫项的非线性中立型差分方程有界正解的存在性

笔者主要考虑带强迫项的非线性中立型差分方程有界正解的存在性,通过引进适当的映射,利用B anach压缩映射原理给出了远离原点的有界正解的存在充分条件和充分必要条件。     

UMLS语义网络在社会化标注系统中的应用研究

[目的/意义] 研究统一医学语言系统中语义网络与社会化标注系统结合的深层次应用。[方法/过程] 总结UMLS语义网络的现有应用,分析UMLS语义类型与FrameNet语义类型的特征,构建适合本研究的语义类型,并通过实例梳理社会化标注系统与本体映射的思路。[结果/结论] 提出将所构建的语义类型作为标签归类的分类器以及作为分众分类系统与框架网络本体映射的桥梁。突破传统的基于统计的标签归类方法可为本体与分众分类系统的映射提供新的视角。     

地学数据本体支持下的科学数据集成方法

科学数据的语义异构是数据集成共享的主要瓶颈。数据本体是解决数据语义异构的有效方法。首先在系统 分析地学数据特征的基础上,提出地学数据本体的总体架构,重点研究地学数据本质内容本体和形态本体,并构建了 地学数据本体库。进一步结合科学数据集成的需求,提出基于地学数据本体的数据集成总体流程。在此基础上,以科 技基础性工作专项产出的科学数据为例,开展地学数据本体支持下的科学数据集成方法应用研究,证明本方法的可行 性和有效性。