（h，φ）-不变广义凸函数的若干性质与（h，φ）-不变广义凸多目标规划的最优性及对偶性

研究了Ben-Tal广义代数运算的若干性质，引进了(h，φ)-不变广义凸函数的概念，讨论了(h，φ)-不变广义凸函数的若干性质，给出了(h，φ)-不变广义凸半无限多目标规划取得有效解(或弱有效解)的充分条件，建立了(h，φ)-不变广义凸多目标规划的Lagrange对偶理论。     

修正高阶Hermite插值及Hermite—Fejer插值在Lw^p空间中逼近的正逆定理

Lw^p空间中引入了一种K－泛函并由此建立了一种以第一类Chebyshev多项多的零点为结点的三种修正高阶Hermite插值及一种修正的高阶Hermite-Fejer插值多项在Lw^p空间中逼近的正逆定理。     

具有广义分解态射的广义(i,…,j)逆

本文研究范畴中态射的广义(i，…，j)逆，利用态射广义分解的性质给出了态射广义(i，…，j)逆存在的一些充要条件，导出了态射的广义Moore-Penrose逆的表达式，推广了态射(i，…，j)逆的相应结果．     

停止变换的不变性

利用条件期望的表达式给出了两指标过程在停线处的停止定义,研究了停止变换下的若干不变性．给出了这种停止意义下的局部平方可积强鞅的定义,进一步研究了局部平方可积强鞅二次变差的存在性及其停止性质，得到了重要的Burkholder-Davis-Gundy型不等式及平方可积强鞅的一个充要条件。     

一类锥模型非单调信赖域算法及收敛性分析

本文对无约束优化问题提出了一类基于锥模型的非单调信赖域算法.二次模型非单调信赖域算法是新算法的特例.在适当的条件下,证明了算法的全局收敛性及Q-二次收敛性.     

概率约束规划逼近最优解集的上半收敛性

本文讨论了概率约束规划目标函数的连续收敛性,并利用概率测度弱收敛的特征给出了概率约束规划可行集的收敛性条件,得到了概率约束规划逼近最优解集的上半收敛性.     

级数加括号判敛方法的一点思考

本文介绍了两种级数加括号后收敛推得原级数收敛的方法,并给出了证明和应用实例.     

命题逻辑公式的压缩表示及其相应的形式系统

提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.     

一类平面薛定谔-泊松方程组孤立波的存在性（英文）

本文讨论一类平面薛定谔-泊松方程组孤立波解的性质.利用广义畴数理论和Nehari流形技巧,证明其高能量孤立波解存在无穷结点区域,且基态孤立波解是不变号的.     

线性权互补问题的新全牛顿步可行内点算法

基于一个连续可微函数,通过等价变换中心路径,给出求解线性权互补问题的一个新全牛顿步可行内点算法.该算法每步迭代只需求解一个线性方程组,且不需要进行线搜索.通过适当选取参数,分析了迭代点的严格可行性,并证明算法具有线性优化最好的多项式时间迭代复杂度.数值结果验证了算法的有效性.