带有二次约束二次规划问题的全局最优化

根据带有二次约束二次规划模型的特殊结构,利用乘积的凸包络和凹包络,给出带有二次约束二次规划问题的松弛线性规划问题,以确定全局最优值的下界,使用超矩形缩减技术以加快分支定界算法的收敛速度,从而提出一个求解带有二次约束二次规划问题的全局最优化算法,证明该算法的收敛性,这个新算法实际上是把分支定界方法与外逼近方法有机地结合起来.数值算例表明所提出的算法是可行的.     

约束不定二次规划的一个快速收敛算法

对不定二次规划,本文提出了一种线性化技术,将其近似地转化为一个线性规划问题;然后,结合后者的线性约束条件,提出了一个缩减子超矩形算法,该算法的主要思想是对于违犯线性约束条件的变量,从箱约束条件中先行删除,再利用分枝算法求最优值点。本文证明了算法的全局收敛性。数值算例表明,对于大规模的二次规划问题,仍能快速求出结果。     

不定二次规划问题的全局优化算法

针对不定二次规划问题提出了一个新的确定型全局优化算法,运用线性代数的有关知识将原问题转化为可分二次规划问题,考虑到凹函数和凸函数的有关性质,在矩形上构造目标函数的最佳一致下方估计函数,把矩形的二分技术与分枝定界方法结合起来,寻求原问题的整体最优解。     

二次约束二次规划问题的二元均值松弛定界算法

二次约束二次规划(quadratically constrained quadratic programming,QQP)问题目标函数和约束条件均是非凸的,是一类NP难问题,目前还没有通用的全局收敛准则,从而使得求该问题的全局最优解面临着严峻挑战。文章通过引入辅助乘积变量,将QQP问题等价地转化为带有乘积等式约束的非线性规划(nonlinear programming,NLP)问题;进而在NLP问题中利用二元均值不等式结合函数的性质松弛乘积等式约束后,产生QQP问题的带有辅助变量的松弛线性规划(relaxation linear programming,RLP)问题,由此确定QQP问题的全局最优值的下界,利用超矩形基于线性函数的缩减策略,以增强子超矩形的紧致删除能力;最后给出了该算法的收敛性分析,数值实验结果表明所提出的算法是可行且有效的。     

约束不定二次规划的一个快速收敛算法

对不定二次规划,本文提出了一种线性化技术,将其近似地转化为一个线性规划问题;然后,结合后者的线性约束条件,提出了一个缩减子超矩形算法,该算法的主要思想是对于违犯线性约束条件的变量,从箱约束条件中先行删除,再利用分枝算法求最优值点。本文证明了算法的全局收敛性。数值算例表明,对于大规模的二次规划问题,仍能快速求出结果。
     

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

针对凸约束不定二次规划问题，给出一个分枝界定方法。通过将凸约束不定二次规划问题等价地转化为凸凹规划问题，利用超矩形体的二分技术和锥剖分技术，在超矩形体上确定原问题的最优解，并进行了收敛性分析。     

不定二次规划的全局优化算法

对不定二次规划问题提出了一个新的确定型全局优化算法,通过对目标函数和约束函数的线性下界估计,建立了不定二次规划的松弛线性规划.通过对松弛线性规划可行域的细分,以及一系列松弛线性规划的求解过程,并通过实例证明了算法能收敛到原问题的全局最优解.     

解非凸二次规划的分支定界缩减方法

目的研究带有二次约束的非凸二次规划问题。方法采用二级松弛技术、超矩形缩减与剪支技术。结果与结论提出了确定该类问题全局最优值的分支定界缩减算法,并证明了算法是收敛的,并用数值算例验证了算法的可行性与有效性。     

求解线性规划问题的二次规划摄动逼近法

证明一种带用摄动的二次规则的解是线性规划的解，应用此二次规划的对偶问题给出解线性规划的一种逼近算法。     

序列二次规划(SQP)算法在三维下限分析中的应用

采用有限元法和非线性规划的序列二次规划(SQP)算法，解决了三维可静应力场的构造问题．基于刚塑性假设，采用极限分析下限原理，求解了矩形表面基础的承载力问题．算例分析表明，SQP算法在三维下限法中的应用是可行的．     

协方差的二次估计的可容许性

 研究协方差的二次估计的可容许性,在平方损失下,我们给出了一个齐次二次估计在齐次二次估计类中是协方差的容许估计的充要条件和一个非齐次二次估计在非齐次二次估计类中是协方差的容许估计的充要条件.     

用二次型求n元二次多项式的最值

利用二次型的变量替换给出了两种特殊类型的n元二次多项式的最值求法,进而得出一般的n元二次多项式的最值存在判定与求法,其方法较易掌握,运算更简便。     

Unramified extensions of quadratic fields

Let K be a global quadratic field, then every unramified abelian field or under some natural conditions when K is a function field. extension of K is proved to be absolutely Galois when K is a number The absolute Galois group is also determined explicitly.     

二次加权距离判别

定义了各因子的判别权重和加权距离, 并结合二次判别和两类判别, 构造了二次加权距离判别. 该方法既保留了所有因子又体现了不同因子的判别能力. 经实际数据的计算验证, 其判别效果优于马氏距离判别.     

Unramified extensions of quadratic fields

Let K be a global quadratic field, then every unramified abelian extension of K is proved to be absolutely Galois when K is a number field or under some natural conditions when K is a function field. The absolute Galois group is also determined explicitly.     

二次加权距离判别

定义了各因子的判别权重和加权距离,并结合二次判别和两类判别,构造了二次加权距离判别.该方法既保留了所有因子又体现了不同因子的判别能力.经实际数据的计算验证,其判别效果优于马氏距离判别.     

关于二次子问题的解

信赖域方法是非线性规划中一类十分重要的方法,而信赖域方法都需要求解信赖域子问题。目前常用且易于实现的子问题有二种,在讨论算法的收敛时,总是假定这二种方法求出的子问题满足充分下降性条件。本文给出了这二种子问题的解的关系。     

凸二次规划的一种分解算法

An algorithm to solve convex quadratic programming with nonnegative variables and linear equation constraints is given by means of the concept of ABS algorithm and decomposition strategy. If the object function is strict convex ,then the optimal solution can be gotten in finite steps ; otherwise ,the algorithm is superlinear convergent.     

二次广义Hermite矩阵方程

利用广义Hermite矩阵研究了一类二次矩阵方程的求解问题,获得了矩阵方程XAX=A存在P-广义Hermite矩阵解的充分必要条件,并导出了相应解的表达式。