一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

一类二阶系统周期解的存在性

讨论了一类二阶系统{（M（t)u′)′ Au(t) ↓△F(t,u(t)=h(t),；u(0)-u(T)=u′(0)-u′(T)=0，在非线性项满足次线性条件下周期解的存在性，利用鞍点定理得到该问题至少存在一个周期解．     

某些特殊函数族支撑点的性质

本文研究了GL函数族和负实系数单叶函数族SR-支撑点的性质，得到了GL函数族支撑点的映照性质，并且获得了负实系数单叶函数族SR-的支撑点的形式．     

半正定复方阵的一些性质

研究了半正定复方阵的性质及行列式理论，取得了一些新的结果，推广和改进了Minkowski、Ky—Fan、Ostrowski—Taussky等著名行列式不等式，扩大了Minkowski不等式的指数范围，削弱了华罗庚不等式的条件．     

低温漂便携式水平校正仪设计

为了给潜艇航行自动化提供可用信息，满足潜艇部分仪器工作平台实时水平校正的要求，利用NS45/P2数字输出双轴倾角传感器设计了一种便携式水平校正仪，并通过实验对倾角传感器零点温漂进行了补偿。实际应用表明，该水平校正仪转换线性好，工作稳定，可实时、准确的测量倾角。     

非线性二阶奇异边值问题正解存在的充分必要条件

研究了奇异二阶边值问题u^n a(t)f(u) b(t)g(u)=0,au(0)-βu′(0)=0,γu(1) δu′(1)=0的正解，在a(t),b(t)只满足一定的可积性条件下得到了C^1[0,1]正解存在的充分必要条件，从而推广了一些已知结构，使此类问题的适用范围更为广泛。     

正定复矩阵的几个性质

本文讨论R A Horn和C R Johnson所定义的正定复矩阵的性质，以及它与Hermite正定矩阵的关系．     

一类二阶奇异边值问题的正解

证明了一类与一阶导数x有关的二阶奇异边值问题正解的存在性，这里的奇异问题是指在x=0和x′＝0是奇异的。     

G-凸空间内的广义S-R-KKM型定理及应用

在G-凸空间内引入了广义S-R-KKM型映像，并在非紧设置下建立了一类新的广义S-R-KKM型非空交定理。作为应用，证明了G-凸空间内一些新的极大极小不等式、鞍点定理和极大元存在定理。     

复合非光滑最优化线搜索方法的全局收敛性

考虑复合非光滑最优化问题minh(f(x))，其中f是一个局部Lipschitzian函数，h是一个连续可微凸函数。本文给出了复合非光滑最优化问题的一个线搜索算法，并且在一定条件下证明了该算法的全局收敛性。