凸二次规划SDP松弛解的存在性证明

针对利用CVX软件求解半定规划问题的有效性依赖于该半定规划问题的原始-对偶性,提出利用半定规划问题的强对偶定理和Gershgorin圆盘定理证明在箱子约束及单位球形约束下的凸二次规划问题的半定规划松弛模型解的存在性。该证明方法为嵌入了SeDuMi和SDPT3这两种内点算法的CVX软件提供了有效求解半定规划松弛模型的理论依据;一旦利用该方法证明了半定规划问题解的存在,必然可利用CVX软件有效求解。     

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

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

一类非线性微分方程的近似解

【目的】在偏序Banach空间中结合非线性扰动理论,得到一类新的非线性微分方程,并对该方程正解的存在性进行讨论。【方法】运用一个新的不动点定理,将求方程的解的存在性问题转化为证明算子不动点的存在性问题。【结果】证明了该非线性微分方程在满足一定的条件下至少存在一个正解,并给出了解的近似迭代序列。【结论】上述结果推广了已有文献的结论。
     

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

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

一类不可微多目标规划的Mond-Weir型对偶

【目的】研究了一类不可微的多目标规划问题,其中目标函数包含支撑函数,约束包含等式和不等式。【方法】给出了该问题的一类Mond-Weir型对偶模型,利用G-KKT最优性必要条件和G-不变凸性证明了原问题与对偶问题的对偶结果。【结果】在适当条件下,得到该问题与对偶问题的弱对偶定理、强对偶定理、逆对偶定理和非极大逆对偶定理,并进行了证明。【结论】将相关结论推广到了非可微情形。     

求解最优潮流全局最优解的二阶半定规划方法

【目的】半定规划凸松弛方法是求取电力系统最优潮流(Optimal power flow, OPF)问题全局最优解的有效技术手段，但解的秩为1的条件难以满足，导致应用具有一定的局限性。针对这一求解困境，提出了一种新的半定规划凸松弛方法。【方法】基于变量扩展，将原变量对应的二阶单项式扩展为新的变量，扩展后可构造一阶及二阶的半正定扩展矩阵，在此基础上将不等式约束转化为矩阵不等式约束，从而形成二阶半定规划凸松弛模型。【结果】为验证所提方法的有效性，求解了常规半定规划方法应用失败的一些反例，结果表明：二阶半定规划松弛模型能更可靠地求得秩为1的扩展矩阵，从而直接获得原OPF问题精确的全局最优解。【结论】二阶半定规划松弛方法为电力系统OPF问题提供了一种更可靠的全局最优算法，具有更好的应用前景。     

拓扑向量空间中向量极值问题的广义鞍点及对偶定理

【目的】研究拓扑向量空间中向量极值问题的广义鞍点最优性条件及 Lagrange对偶问题。【方法】引入拓扑向量空间中广义次似凸映射和择一定理,并以广义鞍点理论为分析基础。【结果】在刻画广义鞍点性质的基础上构建了拓扑空间中广义鞍点与向量极值问题弱Pareto最优解之间的关系及其对偶定理。【结论】理论分析结果表明向量极值问题的广义鞍点是弱Pareto最优解的必要不充分条件,给出了目标函数在其约束映射满足广义 Slater约束规格条件下的 Lagrange强、弱对偶定理。
     

一类非线性微分方程的近似解

【目的】在偏序Banach空间中结合非线性扰动理论,得到一类新的非线性微分方程,并对该方程正解的存在性进行讨论。【方法】运用一个新的不动点定理,将求方程的解的存在性问题转化为证明算子不动点的存在性问题。【结果】证明了该非线性微分方程在满足一定的条件下至少存在一个正解,并给出了解的近似迭代序列。【结论】上述结果推广了已有文献的结论。     

一类不可微多目标规划的Mond-Weir型对偶

【目的】研究了一类不可微的多目标规划问题,其中目标函数包含支撑函数,约束包含等式和不等式。【方法】给出了该问题的一类 Mond-Weir 型对偶模型,利用 G -KKT 最优性必要条件和 G - 不变凸性证明了原问题与对偶问题的对偶结果。【结果】在适当条件下,得到该问题与对偶问题的弱对偶定理、强对偶定理、逆对偶定理和非极大逆对偶定理,并进行了证明。【结论】将相关结论推广到了非可微情形。
     

互补约束数学规划问题的对偶性

【目的】研究互补约束数学规划问题的Mond-Weir型对偶。【方法】把非线性规划问题的Mond-Weir型对偶推广到互补约束数学规划问题。【结果】在一些弱凸性条件下证明了弱对偶定理、强对偶定理和严格逆对偶定理。【结论】举例说明本文给出的互补约束数学规划问题Mond-Weir型对偶是合理的。