覆盖同伦定理的有关讨论

覆盖空间的理论不仅在拓朴学中,而且在一些相关学科如微分几何,李群,黎曼曲面的理论中都有着重要的作用.覆盖同伦定理是覆盖空间的理论中的一个重要定理.但此定理的条件在一些著作中有着不同的规定.本文主要指出了[1]中的覆盖同伦定理的条件不充分,并补充了定理的条件.     

因素空间理论与知识表示的数学框架(Ⅱ)──因素的充分性与概念的秩

系统地研究因素空间理论及其在知识表示中的应用．首先介绍因素的投影和柱体扩张；然后讨论因素在表达概念时的充分性并给出刻画因素充分性的等价条件；最后基于因素的充分性定义了概念的秩，它是表达概念的一种内在的量，在知识表示中起着基础性的作用．     

求非线性方程数值解的两种三阶算法

本文在分析非线性方程数值解的二阶算法－牛顿逐根法的基础上，提出了两种改进思想，得到两种新的三阶算法。     

n 维单形的两个几何不等式

利用优超理论将平面上关于三角形的彼得洛维奇不等式和达林——莫泽不等式推广到ｎ维欧氏空间中的ｎ维单形上，得到（１）１Ｎ≤∑Ｎｉ＝１ａ２ｉ（∑Ｎｉ＝１ａｉ）２≤１ｎ（２）Ｍ≤∑Ｎｉ＝１ａｉ２－ｄ∏Ｎｉ＝１ａｉＳ≤ｎＳ２式中ａｉ（ｉ＝１，２，…，Ｎ；Ｎ＝ｎ（ｎ＋１）２）为ｎ维单形∑Ａ的棱长，ｄ为任一非负实数，Ｓ＝１ｎ∑Ｎｉ＝１ａｉ，Ｍ＝ｎ２ＮＳ２－ｄＳ（ｎＳＮ）Ｎ。     

具α（x）—增长条件的Lagrange函数的正则性

研究一类具非标准增长条件的拉格朗日函数在Ｚｈｉｋｏｖ意义下的正则性，在所述的增长条件中幂指数是一人函数，给出了该正则性的一个充分条件。     

广义对策的平衡

某些新的非紧广义对策的平衡存在定理在局部凸拓扑矢量空间内被证明，其中约束对应既没有开图也没有开下截口。     

测地坐标计算椭球面上凸多边形面积的算法

推导出用三顶点的测地坐标计算地球椭球面上三角形面积的公式．公式表明，主项的表示式与按平面坐标求面积的计算式完全一致，而附加项的表示式亦有规律可循．因此，该公式的适用范围可由椭球面三角形推广至椭球面上任意凸多边形．与高斯平面上计算的面积相比，由于不受投影变形的影响，因而更接近于实际面积．这就为至今较难实施的椭球面的面积计算开拓了一个新的途径，有利于做出更客观的GIS空间量度与分析．实际数据的验算充分证实了该算法的正确性和有效性．     

凸约束非线性方程组的非单调投影L-M方法

提出一种非单调投影L-M方法求解凸约束非线性方程组,在通常假设条件下,证明了算法具有强收敛性,给出了数值试验结果.     

无界域上p(x)-Laplace方程解的存在性

建立了从广义Sobolev空间的一个闭子空间到广义Lebesgue空间的一个紧嵌入,并利用临界点理论研究了无界域上p(x)-Laplace方程解的存在性.特别获得了无界域上p(x)-Laplace方程无限多解的存在性.