集合与简易逻辑

1）重点：集合及子集、交集、并集、补集、空集、相等集合等概念的理解，元素与集合、集合与集合之间的关系及集合的运算的理解与应用；绝对值不等式、一元二次不等式的解法，二次不等式、二次方程和二次函数之间的联系与应用；逻辑联结词“且、或、非”及简单命题、复合命题等概念的理解，命题真假的判断与应用，四种命题及其关系；充分条件、必要条件、充要条件的概念及两命题间充要关系的判断与证明．     

不等式约束优化问题的一个势函数

基于Carroll(1961)建立的罚函数，本文给出了不等式约束优化问题的一个势函数，并且讨论了该函数的性质．最后证明了在此基础上建立的对偶算法具有Q-线性收敛性．     

积分几何不等式

本文研究n维欧氏空间中随机凸集同固定有界凸集相交的体积矩。在运用限弦投影的新方法和对称化原理对凸体内随机线段的运动测度和凸体内随机点偶的分布的极值性质做了深入讨论之后,建立了体积矩同凸集的体积之间的一系列积分几何不等式。经典的等周不等式同时获得新证明。     

用概率方法证明系列加权均值不等式

从两个特殊的Jensen不等式推导系列加权均值不等式.     

解约束优化问题的QP-free可行域方法

本文利用一个新的分片线性NCP函数提出一个新的可行的QP-free方法解非线性不等式约束优化问题.不同于其他的QP-free方法,这个方法只考虑在工作集中的约束函数,工作集是积极集的一个估计,因此子问题的维数不是满秩的.这个方法可行的并且不需假定严格互补条件、聚点的孤立性得到算法的全局收敛性,并且积极约束函数的梯度不要求线性独立的,其中由拟牛顿法得到的子矩阵不需要求一致正定性.     

关于Landau不等式

本文给出Landau不等式的一种改进。     

On Basic Constraint Qualifications for Infinite System of Convex Inequalities in Banach Spaces

The BCQ and the Abadie CQ for infinite systems of convex inequalities in Banach spaces are characterized in terms of the upper semi-continuity of the convex cones generated by the subdifferentials of active convex functions. Some relationships with other constraint qualifications such as the CPLV and the Slate condition are also studied. Applications in best approximation theory are provided.     

向量变分不等式的严格可行性问题

本篇文章首先定义了向量变分不等式的严格可行点概念,其次在假设了映射是强(D)-伪单调的情况下,证明了向量变分不等式解集非空有界与其严格可行点存在的等价性问题,推广了在数量变分不等式上得到的相应结果．