微分代数方法求解凸二次规划问题

用微分代数方法求解凸二次规划问题,先把凸二次规划转化为带障碍项的凸规划,然后用微分代数方法求解,结果表明微分代数方法求解凸二次规划是切实可行的.     

基于凸优化模型的Sudoku求解方法及其GUI实现

针对经典的Sudoku问题,提出一种基于凸优化模型求解方法.采用凸优化约束条件描述Sudoku规则,将原始Sudoku问题建模为凸优化问题求解.在满足约束等距性条件时,新算法可以快速准确获得Sudoku结果.利用MATLAB软件设计出求解Sudoku问题的图形用户界面,并通过实例验证了新算法的有效性.     

求解低秩密度矩阵约束最小二乘问题的优函数罚方法

本文应用优函数罚方法求解具有低秩密度矩阵约束的最小二乘问题. 首先用凸差方法处理非凸的低秩约束,并结合罚方法和优函数方法将原问题转化为一系列具有密度矩阵约束的凸优化问题,然后给出求解该优化问题的优函数罚方法,并对该方法进行收敛性分析. 之后,运用半光滑牛顿增广拉格朗日算法求解优函数罚方法的子问题. 最后,合成数据集和真实数据集上的数值结果表明了优函数罚方法有效地求解了具有低秩密度矩阵约束的最小二乘问题.     

约束线性系统关于非凸评价泛函的最优控制

研究一类约束线性系统关于非凸评价泛函的最优控制问题,该最优控制问题的评价泛函的被积函数中含有关于控制变量的非凸二次函数.由Pontryagin极值原理建立球约束下非凸二次优化问题,并利用倒向微分流求解该问题,进而求解一组微分边值问题以得到原问题的最优控制.同时把数学过程转化为求解的算法,并给出了一个数值计算的例子.     

具有可分离结构的线性约束凸优化问题的迫近正则收缩算法

对具有可分离结构的线性约束凸优化问题(也就是目标函数是有2个算子和形式的可分离凸优化问题)展开研究,考虑在一定的假设条件下,通过选取合适的迫近正则参数矩阵G,拟利用可实现的迫近正则收缩法求解具有可分离结构的线性约束凸优化问题.将与原问题等价的变分不等式作为理论研究框架,通过将原问题转化为一系列容易求解的子问题,达到降低原问题求解难度的目的,下一个迭代点的获取通过求解子问题生成.最后,提出一种新的迫近正则收缩算法,并且应用变分不等式等相关理论对文中给出的迫近正则收缩算法进行了收敛性分析.     

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

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

一种改进的求解含等式约束凸二次规划问题的Lemke算法

通过对经典的Lemke互补转轴算法求解含有等式约束的凸二次规划问题的分析,发现所得到的线性互补问题(LCP)可能是退化的.由Lemke算法求解(LCP)问题的迭代过程,通过六个命题说明了含有等式约束的凸二次规划问题对应的(LCP)问题退化的原因,并对经典的Lemke算法的迭代过程进行修正,提出了一种改进的Lemke算法,这种算法能有效地搜索到含等式约束凸二次规划问题的最优解.     

基于遗传算法的凸多面体间碰撞检测算法研究

将两凸物体间碰撞检测问题归结为一个带约束条件的非线性规划问题．对该问题进行适当的处理后．利用遗传算法对该问题进行求解．实例表明，遗传算法对该问题的求解比用传统的方法求解具有更高的计算效率和更快的计算速度．     

求解大规模非光滑问题的一种修正DY共轭梯度算法

设计了一种针对大规模非光滑优化问题的修正DY共轭梯度算法.新算法的搜索方向不仅自动满足充分下降条件,而且属于信赖域.新算法在适当条件下全局收敛.初步的数值实验显示,新算法能够求解高达50 000维的非光滑凸和非凸优化问题,表明其在求解大规模非光滑无约束凸优化问题方面是有效的.     

不规则凸域板材中单一尺寸矩形排样算法

目的研究在不规则凸域板材中进行单一尺寸矩形排样算法,解决在不规则凸域板材中排样单一尺寸矩形工程板数量最大化的问题.方法首先针对凸域板材中任意两点连线必在凸域板材内的特点,通过数学方程描述矩形工程板在凸域板材内和相互不重叠的约束条件,并以矩形工程板面积之和与凸域板材面积之比最大为目标函数,建立凸域板材中单一尺寸矩形排样算法的数学模型,然后利用启发式搜索算法,求解数学模型,最后得到最优的排样方案.结果矩形工程板面积之和与凸域板材面积之比可以达到83.3%~93.3%,有效地提高了不规则凸域板材的利用率.结论通过在多种不规则凸域板材中进行单一尺寸矩形排样实例可见,笔者建立的模型和求解方法可有效地求解不规则凸域板材中单一尺寸矩形的排样问题.     

Banach空间上一类非凸向量最优规划的对偶性

讨论了一般Banach空间上一类非凸向量最优规划,提出了Banach空间上一类非凸向量最优规划的一个Mond-Weir型对偶问题.基于问题自身的结构特点和利用定义在Banach空间之间的映射不变凸性,获得了对偶问题新的弱(强)对偶结果.在满足Slater型约束品性条件假设下,严格证明了对偶问题新的弱(强)对偶结果.所获得的对偶性研究结果涉及的是一类多目标规划建立在一般Banach空间上,且目标函数及约束函数为不可微强紧Lipschitz.     

广义信赖域子问题的二阶锥重组技术

二次约束优化问题在非线性规划的研究中处于基础性地位,而广义信赖域子问题是二次约束优化问题中的一类非常重要并且应用广泛的问题.对于非凸的广义信赖域子问题来说,如果它与它的拉格朗日对偶问题之间存在着正的对偶间隙,那么该问题的全局最优解的求解就会变得困难起来.近年来,二阶锥重组技术在缩小和消除广义信赖域子问题的对偶间隙上取得了一系列重要成果,将对这些重要的结果进行回顾并对未来给出展望.     

非凸两分块问题乘子交替方向法的收敛性分析

乘子交替方向法(ADMM)求解大规模问题十分有效.ADMM在凸情形下的收敛性已被清晰认识,但非凸问题ADMM的收敛性结果还很少.本文针对非凸两分块优化问题,在增广拉格朗日函数满足Kurdyka-Lojasiewicz不等式性质且罚参数大于某个常数的条件下,证明了ADMM的收敛性.     

具有某种特性的向量优化问题的解的刻画

在有限维空间中,当目标函数凸下半连续时,向量优化问题一定有弱有效解,并且解集是紧的,但当目标函数非凸时,这不一定成立,文章讨论了把目标函数的凸性减弱之后,向量优化问题的解集是非空并且紧的,另外还得到一些等价的刻画。     

一类非线性比式和问题的对偶界方法

针对一类非线性比式和问题首次提出一种求其全局最优解的单纯形分枝定界算法.该算法利用La-grange对偶理论将原来的非线性非凸优化问题转化为一系列易于求解的线性规划.理论分析和数值算例均表明提出的算法是可行的.     

非光滑(h,φ)-Dini-凸多目标规划解的充分性与对偶性

利用Ben-Tal广义代数运算,定义了(h,φ)-Dini右上方向导数和(h,φ)-Dini-梯度,提出了几类非光滑非凸函数的概念,在φ是严格递增函数,并且φ(0)=0相当弱的假设下,得到了(h,φ)-Dini-凸多目标规划的最优性条件和几个对偶性结果。     

非凸非光滑向量优化问题的S－有效解

引进了可标量化有效性（ｓ－有效性）的概念，在局部凸的Ｈａｕｓｄｏｒｆｆ线性拓扑空间中讨论了非凸非光滑向量优化问题的Ｌａｇｒａｎｇｅ乘子、鞍点和Ｌａｇｒａｎｇｅ型对偶，证明了几种真有效性与ｓ－有效性在相当一般的条件下是等价的．     

一类广义凸多目标规划的对偶定理

本文建立了非凸多目标规划的一个一般对偶模型，并利用Hanson和Mond^[5]所提出的广义F－凸性条件建立了关于弱有效解的弱、强和逆对偶定理，另外还讨论了几种特殊情况，本文的结果推广了Egudo和Mond^[6]关于单目标非线性规划的一般对偶理论。     

非光滑广义Dini-凸多目标规划解的充分性与对偶性

利用Ben-Tal广义代数运算,给出了一种新的广义Dini右上方向导数和广义Dini梯度,引进了几类非光滑非凸函数的概念,在较弱的假设下,给出了广义Dini不变凸函数的一个充要条件,得到了非光滑广义Dini-凸多目标规划的最优性充分条件和几个对偶性结果.     

求解非线性优化问题的一个非线性Lagrange函数

提出了一个求解非凸的具有不等式约束的非线性优化问题的一个非线性Lagrange函数,并讨论了在K—T点的性质。收敛定理表明,在适当的条件下,当参数k大于某一阈值k0时,产生的点列具有局部收敛性,由此给出了与罚参数相关的解的误差估计。