利用半无限规划的离散化方法求解半定规划问题

【目的】对半定规划的强对偶定理以及求解半定规划近似解的算法进行讨论。【方法】利用求解半无限规划的近似解的离散化思想,及线性规划的强对偶定理。【结果】得到了半定规划强对偶定理一种新的证明方法以及求解半定规划近似解的离散化算法,给出了该算法的数值实验结果。【结论】为半定规划问题提供了一种新的近似求解算法。
     

多目标半定规划的Lagrange对偶与鞍点定理

主要研究含矩阵函数半定约束和向量函数等式约束以及多个目标函数的多目标半定规划的对偶和鞍点问题．首先在似凸条件下建立了一个含矩阵函数半定约束系统的择一性定理,由此得到多目标半定规划及其在弱有效解意义下的Lagrange对偶理论,包括弱对偶、强对偶和逆对偶等．然后利用鞍点的等价定义,得到多目标半定规划的鞍点最优性条件．     

半无限二次规划

本文给出了半无限二次规划和它的对偶规划之间没有间隙的条件。还证明了具有对偶间隙的半无限二次规划可以通过扰动其目标函数来消除,且扰动后的半无限二次规划的最优值收敛于原始半无限二次规划的最优值。     

半无限二次规划

本文给出了半无限二次规划和它的对偶规划之间没有间隙的条件。还证明了具有对偶间隙的半无限二次规划可以通过扰动其目标函数来消除,且扰动后的半无限二次规划的最优值收敛于原始半无限二次规划的最优值。     

一类带有混合约束的二次半定规划及其投影收缩算法

研究带有线性等式及线性不等式约束的二次半定规划问题.讨论对偶理论、最优性条件及其等价的单调变分不等式,给出相应的投影收缩算法.经收敛性分析,可得该算法是全局收敛的.     

半无限对偶规划的Slater条件

讨论了半无限对偶规划的Slater条件,得到了几个重要结论。     

B-半（E,F）-凸半无限规划的对偶性及鞍点理论

利用B-半（E,F）-凸函数的有关性质讨论了B-半-（E,F）-凸半无限规划的几个对偶定理及鞍点理论。     

半预不变凸多目标规划的最优性条件及Wolfe型对偶定理

讨论了半预不变凸多目标规划问题有效解的充要条件,得到了半预不变凸多目标规划问题Wolfe型对偶模型的弱对偶和强对偶定理.     

解二次规划的Lagrange方法

本文讨论解二次规划问题的 Lagrange 方法。我们分析了解正定二次规划和某些半正定二次规划的对偶算法,指出这些算法可以从 Lagrange 方法直接导出。此外我们还给岀了解不定二次规划的一个新的 Lagrange 算法。这一算法在投影矩阵为不定矩阵时,利用广义的 Cholesky 分解技术由 Lagrange 方程解得二次目标函数的负曲率方向,以此作为该步迭代寻查方向。算法还采用了有效集策略。     

二次规划的对偶问题

本文讨论了二次规划的对偶问题以及对偶问题的对偶问题，给出了对偶定理和逆对偶定理。     

广义特征值问题MDR方法的改进与推广

本文对适用于实对称半正定广义特征值问题的MDR法进行改进与推广。类似于快速Givens变换,可用二乘法或三乘法的约化矩阵代替MDR中的约化矩阵,以节省计算量。对MDR法的约化过程作了较大简化,对收敛定理的证明也简化了。另一方面本文的方法可用于埃尔米特半正定广义特征值问题,新方法称为HMDR法(H指Hermitian)     

一类模糊半定规划问题的解法

由于内点法的发现和半定规划在控制论、组合优化、统计学等方面的重要应用,半定规划近几年来已成为优化中最活跃的领域。然而许多实际问题很难将它们的目标函数和约束函数精确地描述出来,因此有必要将模糊集理论应用到半定规划中来,进而通过求解模糊半定规划使问题得以解决。     

次亚正定矩阵的几个性质

研究了次亚正定矩阵的性质和一系列充分必要条件,主要得到了2 个结论:(1) n阶次亚正定矩阵的次特征值实部为正;(2) 当JA为实正规矩阵时,A是次亚正定矩阵的充分必要条件是A 的次特征值实部为正.讨论并给出了矩阵乘积是次亚正定矩阵的充分和充要条件.     

半正定复矩阵的研究

讨论了半正定复矩阵的性质和半正定复矩阵的k阶主子阵、Kronecker积和Hadamard积的性质，给出半正定复矩阵特征值的估计。     

基于差分代换的正半定型判定完备方法

研究并发展逐次差分代换方法, 得到Rⁿ₊上正半定型差分代换次数的一个上界。 由此获得判定Rⁿ₊上 正半定型的充要条件。根据此充要条件建立的算法是必定能终止的。同时提出一类新的差分代换矩阵。     

半正定多项式的构造与逐次差分代换的加速

给出了若干构造半正定多项式的类型和方法,列举了大量问题和例子,并给出了部分解答;提出了解决扩展级递增不等式猜想的一个思路,把多项式f分成正部p(f)和负部n(f)两部分,并用p(f)和n(f)构造了若干逐次差分代换sds的加速因子,从而解决了一大类多项式的正性判定问题.     

广义特征值问题MDR方法的改进与推广

本文对适用于实对称半正定广义特征值问题的MDR法进行改进与推广。类似于快速Givens变换,可用二乘法或三乘法的约化矩阵代替MDR中的约化矩阵,以节省计算量。对MDR法的约化过程作了较大简化,对收敛定理的证明也简化了。另一方面本文的方法可用于埃尔米特半正定广义特征值问题,新方法称为HMDR法(H指Hermitian)     

二次半定规划一个原始对偶路径跟踪算法

本文提出求解二次半定规划的一个基于H..K..M方向的原始对偶路径跟踪算法.文中首先导出确定H..K..M方向的线性方程组,并证明该搜索方向的存在唯一性;然后给出算法的具体步骤,并证明算法产生的迭代点列落在中心路径的某个邻域内.最后采用Matlab(R2011b)数学软件编程对算法进行数值试验.数值结果表明算法是有效的.     

带有混合约束的二次半定规划的内点算法

研究带有混合约束的二次半定规划问题的内点算法。首先给出该问题的对偶问题和一种障碍函数,并建立相应的Lagrange函数,以此为基础给出内点算法,最后分析并证明了算法的全局收敛性。数值试验表明该算法是有效的。     

矩阵在闭凸锥上的最佳逼近

讨论矩阵在闭凸锥上的最佳逼近及其数值算法,在对称半正定矩阵集上,给出了最佳逼近数值算法的MATLAB程序和数值例子.数值结果表明,算法是有效的和有用的.