凸函数及其在不等式证明中的应用

凸性是一种重要的几何性质，凸函数是一种性质特殊的函数，凸集和凸函数在泛函分析、最优化理论、数理经济学等领域都有着广泛的应用．借助凸集引入凸函数概念，介绍了凸函数的基本性质，特别研究了凸函数的Jensen不等式在不等式证明中的应用。     

基于GIS室内定位和导航的电子地图设计与应用

设计室内大型场馆的定位导航电子地图是为了改变传统室外定位导航模式,方便快捷地为地图使用者提供定位和导航路径信息。引入了室内GIS矢量电子地图模型的概念和设计方法,结合网格采集图层、地理数据库、网络数据集等技术,实现了在大型场馆的定位导航功能,对同类室内定位和导航电子地图的设计与实现具有一定参考价值。     

对集不交的循环赛图K11^（i）与对集的算法

给出了边矩阵和循环赛图的定义。提出了求解完全图K（2n＋1）的△（G）＋1个对集最的算法，以及对集互交的循环赛图K11^（1），K11^（2），…，K11^（i）的构造方法。讨论任意对集Ei及循环图K（2n＋1）^＊的个数问题。介绍了14个对集不交的循环赛图K11^（1），K11^（2），…，K11^（14）的构造过程。     

结构化EM算法在小样本贝叶斯网络学习中的应用

在贝叶斯网络学习中,合理数据集的存在可以大大降低贝叶斯网络学习对知识工程的过多依赖.但当数据集中样本数量不够大时,可能没有足够多的样本甚至不存在样本来代表变量间的某些条件独立关系,从而无法学习贝叶斯网络.将数据集修正与结构化-期望最大化算法相结合,得到一种有效的小样本上贝叶斯网络学习的方法,实验结果表明,该方法能够有效地进行小样本上贝叶斯网络学习.     

求解多背包约束下下模集函数最大值的近似算法及其性能保证

将部分穷举法与贪婪算法相结合,给出求解多背包约束下非减下模集函数最大值的近似算法．证明了该算法的性能保证是1-e^-1,算法的时间复杂性为O（3n^4）．     

非紧集上若干Ky Fan不等式

引入新的连续性和凸性概念,证明了非紧集上不具有任何连续性的函数弱Ky Fan点的存在性,给出了几个极大极小不等式定理,所得结果将著名的Ky Fan不等式定理推广至非紧情形且只需较弱的连续性和较弱的凸性．     

近似2-连通k-支配容错虚拟主干网

由于无线网络存在节点失效、链路断裂等特性,虚拟主干网需要具备一定的容错性。利用2-连通k-支配集作为容错虚拟主干网的模型。通过分析单位圆盘图中极大独立集的性质和连通图的块-割点树结构,首次设计出在无线自组织网络中构造2-连通k-支配虚拟主干网的近似算法。从理论上分析了该算法的时间复杂度,并证明了该算法的近似比为常数。     

含有集压缩映射的非线性变分不等方程的分歧定理

P.Quitter^[1]讨论了变分不等方程的特征值及分歧点,其中非线性部分限制为紧的,本文讨论非线性部分为某种集压缩情形,并给出相应的分歧定理。     

带时滞项的高阶Kirchhoff方程的拉回吸引子

研究了带有时滞项的高阶Kirchhoff方程的拉回吸引子的存在性.首先利用解的有界性验证了拉回吸引集的存在性,接着借助sobolev空间的紧嵌入证明了该初边值问题产生的过程是紧的,最后得到了拉回吸引子的存在性.     

相对隶属度,相对Fuzzy集和相关子空间及其性质

建立了相对隶属度、相对Ｆｕｚｚｙ集、相对Ｆｕｚｚｙ点和相关子空间等概念，研究其基本性质，证明了相对Ｆｕｚｚｙ集族ＢＡＩＸ是完全分配格，相关算子ｆ是从ＩＸ到ＢＡＩＸ的满ＧＯＨ，非退化相对Ｆｕｚｚｙ点集ＢＡＭ是ＢＡＩＸ中所有非零∪－既约元之集．得到了子分子格ＢＡＩＸ＊与相关分子格ＢＡＩ＊是代数同构的，广义子空间ＢＡＩＸ＊与相关子空间ＢＡＩＸ是拓扑同胚的等结果