非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.     

集合与简易逻辑

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

双电子原子系统内电子云的变化

本文主要通过对形状密度的分析,研究了双电子原子系统的内电子云如何随外电子的运动而变化,考虑了外电子远离内电子云和靠近内电子云的情况。探讨了氦原子具有不同K-量子数的¹S^e态的几何特征和内部运动特征,探讨了能量转移机制和径-径(radial-radial)关联的细节。发现内电子云作为一个整体的运动和外电子的运动之间有强烈的关联。     

几类二阶退缩型方程基本解的构造

引言线性偏微分方程定性研究,是偏微分方程研究的重要方向之一。根据Hadamard以及后来我国学者一再重申的“所有线性偏微分方程的问题应该并且可以用基本解解决”的思想,研究线性各类方程基本解的构造,无疑有着重要的意义。     

Γ-环的Baer根、b-根与拟b-根

本文定义了Γ-环的b-理想与拟b-理想,论述了Γ-环中都有一个Baer根,一个b-根与一个拟强b-根,并且还证得了Γ-环的Baer根=b-根=拟b-根。     

二元不等式（组）解集的图示及应用

对于不等式 ｇ(ｘ ,ｙ)≤ 0 ,或 ｇ(ｘ ,ｙ)≥0 ,若曲线 ｇ(ｘ ,ｙ) =0将平面分成两部分 ,则不等式的解集通常是其中的一部分 ,利用平面上的点集表示二元不等式 (组 )的解集 ,可为求以二元不等式 (组 )为约束条件的某些二元函数的最值提供方便 ,新教材中关于线性规划问题的求解正是这一思想的体现 .例 1　已知ｘ + ｙ≤ 4ｘ - 2 ｙ≤ 03ｘ - ｙ≥ 0( 1 )( 2 )( 3)求ｘ2 + ｙ2 的最大值 .图 1　例 1图解　如图 1 ,不等式 ( 1 )的解集是直线ｘ+ ｙ =4下方的半平面 .不等式 ( 2 )的解集是直线ｘ - 2 ｙ =0上方的半平面 .不等式 ( 3)的解集是直…     

关于矩阵Γα-减序

引进并讨论矩阵Гα-减序.给出了Гα-减序的一些刻划和性质.     

广义拟变分不等式解集的稳定性及本质连通区的存在性

在赋范线性空间下．讨论广义拟变分不等式解集的稳定性，证明了满足一定连续性和凸性条件的广义拟变分不等式问题构成的空间M中，大多数(在Baire分类意义下)广义拟变分不等式问题的解集是稳定的，并证明了M中每一个广义拟变分不等式的解集至少存在一个本质连通区。