带等式约束二次规划子问题的滤子SQP算法

一类求解非线性规划问题的滤子序列二次规划(SQP)方法被提出.为了提高收敛速度,给目标函数和约束违反度函数都设置了斜边界.二次规划子问题(QP)设置为两项:不等式约束QP和等式约束QP.两个子问题产生的搜索方向进行线性迭加后为算法的搜索方向.这样的设置可以改善收敛性,并调节算法运行中的一些不良效果.在较温和的条件下,可得到全局收敛性.     

一种修正的线搜索Filter-SQP算法

序列二次规划(SQP)算法是解非线性优化问题最有效的方法之一,然而当QP子问题不相容时SQP算法将会失败,且在罚函数中选择合适的罚参数比较困难.此处在原Filter-SQP算法的基础上,利用特定的凸规划模型代替QP子问题,提出一种修正的线搜索filter-SQP算法,并证明它的全局收敛性.此算法原理简单,容易实现,且具有全局收敛性,数值实验表明它是有效的.     

解带有二次约束二次规划的一个整体优化方法

在本文中，我们提出了一种解带有二次约束二次规划问题（QP）的新算法，这种方法是基于单纯形分枝定界技术，其中包括极小极大问题和线性规划问题作为子问题，利用拉格朗日松弛和投影次梯度方法来确定问题（QP）最优值的下界，在问题（QP）的可行域是n维的条件下，如果这个算法有限步后终止，得到的点必是问题（QP）的整体最优解；否则，该算法产生的点的序列{v^k}的每一个聚点也必是问题（QP）的整体最优解。     

一种内点法解二次规划

二次规划（QP）为NP完全问题，本文研究了一种简单形式的二次规划。 一种基于依赖域子问题和内点法的算法被给出，其全局收敛被给出，特殊情况下，具有局部二次收敛。     

一个修正的SQP方法-滤子方法

序列二次规划方法（SQP）是解决非线性规划问题最有效的算法之一，但是当QP子问题不可行时算法可能会失败．而且线搜索中的罚参数的选择通常比较困难．在文献[1]中，SQP方法得到了修正，使得QP子问题可行．在本文中，我们利用滤子技术避免了罚函数的使用同时提出了带线搜索的滤子方法，最终保证了SQP方法总是可行的，而且得到了方法的全局收敛性．     

一种基于LVI求解二次规划问题的数值算法

给出并研究了一种数值算法(简称94LVI算法),用于求解带等式和双端约束的二次规划问题. 这类带约束的二次规划问题首先被转换为线性变分不等式问题,该问题等价于分段线性投影等式.接着使用94LVI算法求解上述分段线性投影等式,从而得到QP问题的最优解. 进一步给出了94LVI算法的全局收敛性证明. 94LVI算法与经典有效集算法的对比实验结果证实了给出的94LVI算法在求解二次规划问题上的高效性与优越性.     

线性约束两分块非凸优化的ADMM-SQP算法

基于乘子交替方向法(ADMM)和序列二次规划(SQP)方法思想, 致力于研究线 性约束两分块非凸优化的新型高效算法. 首先, 以SQP思想为主线, 在其二次规划(QP)子问题的求解中引入ADMM思想, 将QP分解为两个相互独立的小规模QP求解. 其次, 借助增广拉格朗日函数和Armijo线搜索产生原始变量新迭代点. 最后, 以显式解析式更新对偶变量. 因此, 构建了一个新型ADMM-SQP算法. 在较弱条件下, 分析了算法通常意义下的全局收敛性, 并对算法进行了初步的数值试验.     

约束优化无罚函数非单调SQP算法

本文研究求解非线性约束优化问题.利用非单调无罚函数方法,提出了一个新的序列二次规划算法.该算法在每次迭代过程中只需求解一个QP子问题和一个线性方程组.在一般条件下,算法具有全局收敛性,数值结果表明,计算量小于单调且含罚函数的传统算法.     

一个使用增广拉格朗日函数的改进的SQP算法

通过引进一个辅助参数改变二次子规划的约束形式,使子问题总存在最优解.使用一个可微增广拉格朗日函数作为效益函数来确定步长,避免了Maratos效应.     

边界约束非凸二次规划问题的分枝定界方法

本文是研究带有边界约束非凸二次规划问题,我们把球约束二次规划问题和线性约束凸二次规划问题作为子问题,分明引用了它们的一个求整体最优解的有效算法,我们提出几种定界的紧、松驰策略,给出了求解原问题整体最优解的分枝定界算法,并证明了该算法的收敛性,不同的定界组合就可以产生不同的分枝定界算法,最后我们简单讨论了一般有界凸域上非凸二次规划问题求整体最优解的分枝与定界思想。     

一类特殊分布纪录值之和的中心极限定理

摘要：设{X，Xn,n≥1)为独立同分布的服从某连续分布F的随机变量序列，X^(1)=X1，X^(2),X^(3),…为其纪录值序列．令ψ(u)=F^-1(1-e^-u)．其中F^-1是F的反函数．本文研究当ψ(u)=log^pu时Tn=∑k=1^nX^(k)=^dn∑k=1^nψ(Sn)的极限性质．解决了户为所有正整数时Tn的中心极限定理．     

COMPARISON OF PRODUCTS OF THE VARIETIES OF LIE ALGEBRAS

Abstract

In Fortes (2001), we introduced a notion of order for associative pairs and we obtained a Goldie-like characterization of left orders in a semiprime pair coinciding with its socle. In this paper, we take up again that notion of order to establish a Faith-Utumi theorem, which studies left orders in a prime pair coinciding with its socle.     

ADDITIVE FAMILIES OF INVARIANTS OF FORMS OF DEGREE d

Abstract

Let d be a positive integer, and F be a field of characteristic zero. Suppose that for each positive integer n, I _n, is a GL _n,(F)- invariant of forms of degree d in x₁, …, x _n, over F. We call {I _n} an additive family of invariants if I _p+q (f ⊥ g) = I _p(f).I _q(g) whenever f; g are forms of degree d over F in x _l, …, x _p; …, x _q respectively, and where (f ⊥ g)(x _l, …, x _p+q) = f(x ₁, …, x _p,) + g (x _p+1, …, x _p+q). It is well-known that the family of discriminants of the quadratic forms is additive. We prove that in odd degree d each invariant in an additive family must be a constant. We also give an example in each even degree d of a nontrivial family of invariants of the forms of degree d. The proofs depend on the symbolic method for representing invariants of a form, which we review.     

一类pnm阶群的构造

本文研究了一类特殊的pnm阶有限群的构造.利用求解数论同余方程的方法和群的扩张理论,得到了具有m阶循环正规子群,其补子群为循环群的Pnm阶有限群的构造及相关的计数定理.     

小康判别函数的建立与分析

近几年，国内在研究小康水平的定量指标分析中，应用较多的有综合评分法、层次分析法和模糊识别法。这几种方法比单项指标更全面、灵活，但在权数的确定上都难以克服人为因素的影响。当指标之间存在两个或两个以上的高度相关时，对问题的研究总存在一定的局限性。为了科学地研究小康问题，本文基于判别分析，建立城市小康的判别系数，来综合评价出我国城市小康水平的定量标准。     

有限Abel群上子集等价类的计数

设G为一有限Abel群，|G|=v,D1,D2是G的两个子集，如果存在t∈Zv,(t,v)=1,s∈G使D1＝tD2 s，则称D1与D2是等价的。文中给出了G的k-子集等价类的计数公式，同时也给出了G的的所有子集等价类的计数公式。     

ESTIMATES OF N-FUNCTION AND m-FUNCTION OF MEROMORPHIC SOLUTIONS OF SYSTEMS OF COMPLEX DIFFERENCE EQUATIONS

We apply Nevanlinna theory of the value distribution of meromorphic functions to study the properties of Nevanlinna counting function and proximity function of meromorphic solutions of a type of systems of complex difference equations. Our results can give estimates on the proximity function and the counting function of solutions of systems of difference equations. This implies that solutions have a relatively large number of poles. It extend some result concerning difference equations to the systems of difference equations.     

一类缺项算子矩阵的四类点谱的扰动

有界线性算子的点谱可进一步细分为4类,分别为$\sigma_{p1}$, $\sigma_{p2}$, $\sigma_{p3}$ 和$\sigma_{p4}$.设 $H, K$为无穷维可分的Hilbert空间,用$M_C$表示$2\times 2$上三角算子矩阵$\left(\begin{array}{cc} A & C \\ 0 & B \\ \end{array} \right)$,对于给定的 $A\in B(H),~B\in B(K)$,描述了集合$\bigcap\limits_{C\in B(K,H)}\sigma_{p1}(M_C)$, $\bigcap\limits_{C\in B(K,H)}\sigma_{p2}(M_C)$, $\bigcap\limits_{C\in B(K,H)}\sigma_{p3}(M_C)$和$\bigcap\limits_{C\in B(K,H)}\sigma_{p4}(M_C)$.