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

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

关于在Banach空间中取值的绝对连续函数

讨论了取值于Ｂａｎａｃｈ空间中的弱（强）囿变强弱（强）绝对连续函数的某些性质，并把某些结论用于经典实分析。     

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

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

关于Banach空间的几种光滑性和范数一致G—可微的等价条件

讨论了Ｂａｎａｃｈ空间的范数一致Ｇ－可微、很光滑汉极极端光滑性质的等价条件。     

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

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

广义对策的平衡

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

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

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

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

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

Ambrosetti-Prodi问题--常微分方程组情形

文章研究常微分方程组情形的Ambrosetti—Prodi型问题．在非线性项超线性，凸性等条件下，得出随着参数的变化，问题无解、有唯一解及至少有两解的结论。     

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

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