解非凸优化问题的一个同伦内点方法

用同伦内点算法求解带有非凸可行域的约束优化问题时,非凸可行域的边界刻画条件是算法收敛的重要条件之一.在弱伪锥条件下, 构造了新的组合同伦方程,证明了对可行域的某个子集中几乎所有的内点,同伦路径存在且收敛于问题的K-K-T点.     

法锥条件下非凸规划的非内点同伦方法

利用不可行的内点同伦方法(CHIIP)求解非凸规划问题的KKT点. 证明了当非凸规划问题的可行域满足法锥条件时, 跟踪同伦方程产生的同伦曲线可得到非凸规划问题的KKT点, 且该算法具有全局收敛性.     

求解非凸优化问题的一种连续化方法

在弱拟法锥条件下,应用组合同伦内点算法求解非凸优化问题.针对所构造的同伦方程,证明了同伦内点算法对于可行域某个子集中几乎所有的点,同伦路径存在,并且同伦路径收敛于非凸优化问题的K-K-T点.     

混合约束非凸规划拟锥条件下的同伦方法

使用同伦算法研究混合约束的非凸非线性规划问题. 当规划问题为混合约束（带有等式约束）时, 可行域变成一个边界区域, 并没有内点. 通过对可行域定义新的拟锥条件, 给出相应同伦方程, 并证明此同伦算法在此拟锥条件下具有全局收敛性.     

凸非线性规划的一个预估-校正跟踪路径算法

提出一个预估-校正跟踪组合内点同伦路径算法,证明其全局收敛性,并用实数值算例验证其有效性.该算法由任意给定的一个内点,通过跟踪组合同伦路径得到凸非线性规划问题的解,并由β-锥邻域在可行域的内部确保迭代点是内点.该算法全局收敛,是一种求解凸非线性规划问题的有效算法.     

拟法锥的一种构造方法及其在非凸优化中的应用

针对一类约束函数均为二次函数的非凸可行域, 给出一种简易的拟法锥构造方法, 证明了所选的映射关于约束梯度是正独立的, 所得的拟法锥满足拟法锥条件, 表明借助于组合同伦方程可具体求解此类非凸优化问题.     

一类非光滑约束优化问题的凝聚同伦内点方法

利用凝聚技术和组合同伦内点方法研究可行域满足伪锥条件下非凸域上的非光滑优化问题,构造性地证明了该类非光滑优化问题的广义K-K-T方程解的存在性,得到了求解K-K-T点的凝聚同伦内点方法,并证明了该算法具有全局收敛性.     

同伦方法求解一类非凸规划问题的局部极小

利用组合同伦内点方法求解目标函数为凸的一类非凸规划问题, 证明了在同伦映射为正则映射的条件下, 同伦方法一定收敛到局部极小解, 并得到了当目标函数非凸时, 若非凸规划问题所有的K-K-T点均在可行域边界上, 则此同伦方法在同伦映射为正则映射的条件下, 也收敛于局部极小解.     

解一类带洞非凸域上函数极值的动约束同伦算法

给出了求解一类外凸带洞非凸域上函数极值的动约束同伦方程,并证明了同伦路径的存在性、有界性和收敛性,它不需要初始点为可行集的内点.并利用数值算例验证了方法的可行性、有效性.     

求解非凸优化问题的同伦内点法研究进展

自Karmarkar内点法被解释成同伦算法之后,以内点同伦算法为代表的同伦路径跟踪算法的研究迅速发展起来。目前同伦内点算法用于求解非凸优化问题的理论与算法尚未完善,本文主要总结求解非凸优化问题的同伦内点法相关研究成果,并指出求解非凸优化的同伦内点算法有待于进一步深入研究的主要问题。     

求解一般凸多目标规划最小弱有效解的组合同伦内点方法

构造求解一般凸多目标规划等价的单目标规划K-K-T点的同伦方程,在M-F约束规定及外法锥条件下,证明了几乎对多目标规划可行域的任一内点,同伦方程可产生一条光滑、有界的同伦路径,并证明了数值追踪同伦路径将得到一般凸多目标规划最小弱有效解。     

组合同伦内点算法求解一类非凸无界优化问题

用组合同伦内点算法求解一类非凸无界优化问题, 在适当的条件下得到了同伦路径的存在性. 结果表明, 沿着此同伦路径跟踪, 即可得到非凸优化问题的K-K-T点.     

多目标凸规划问题有效解集的求法

利用组合同伦内点法研究了多目标凸规划的求解问题,得到了多目标凸规划问题的有效解集,证明了同伦内点算法的全局收敛性.数值例子表明此算法是可行并且有效的.     

一类二次约束区域上计算不动点的同伦内点法

给出了一类二次约束区域上拟法锥的一种构造方法，建立计算Brouwer不动点的组合同伦方程，并通过算例验证算法的可行性。     

一类部分反向凸约束优化问题的组合同伦方法

研究一类部分反向凸约束可行域上函数极小化问题的组合同伦内点方法, 针对这类部分反向凸约束区域, 给出了拟法锥的构造方法, 并证明了所选的映射关于约束梯度是正独立的及所构造的拟法锥满足拟法锥条件.     

马蹄形非凸区域上计算Brouwer不动点

给出了马蹄形非凸区域上计算Brouwer不动点计算方法,以及马蹄形非凸区域上拟法锥的构造方法,证明了拟法锥条件成立,建立了组合同伦 方程,证明了同伦方程是收敛的、且收敛到Brouwer不动点。