非线性约束优化问题的过滤线搜索信赖域方法

来源 :上海师范大学 | 被引量 : 1次 | 上传用户:fanfan19860303
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信赖域方法和线搜索技术都可以保证非线性优化算法整体收敛,各有优势,信赖域方法能保证算法具有良好的收敛性,线搜索技术在确定新的迭代点时计算量较小.Nocedal和Yuan提出了结合两者的思想,使得算法既能保有信赖域方法良好的收敛性质,又能在确定新的迭代点时降低计算难度,减少计算量.Fletcher和Leyffer提出的过滤技术一般用于求解约束优化问题,基本思想是如果试探点改进了目标函数或约束违反度,就接受该试探点.过滤技术可以嵌入于信赖域或线搜索框架,替代传统的罚函数方法保证优化算法的整体收敛性.本文结合过滤线搜索技术和信赖域方法,建立求解非线性等式约束优化问题的算法,从理论上研究算法整体收敛性与局部收敛速率,用数值实验检验算法的效果.进一步,使用仿射内点方法,将算法拓展到求解带有非线性等式约束和变量非负约束的优化问题.  对于非线性等式约束优化问题,使用结合过滤线搜索技术的信赖域方法的思想,本文给出两种算法.第一种算法基于信赖域序贯二次规划框架,新的迭代步(试探步)被分解为两个部分来计算:法向步和切向步.法向步主要为降低约束违反度,要求它满足线性化约束,同时限制它不能过大,否则切向步不可能提供足够的下降量.如果这样的法向步不存在,算法转向可行性恢复阶段,目的是通过降低约束违反度找到一个新的迭代点使得约束违反度或目标函数有充分下降量.得到法向步后,切向步通过求解相应的信赖域子问题得到,切向步主要为模型的目标函数提供充分的下降量.得到试探步后,使用结合过滤技术的回代线搜索确定适当的步长产生新的迭代点,目标函数实际下降量和预计下降量的比值仅用来调节信赖域半径.在合理的假设下提供算法整体收敛性证明,给出的数值实验结果表明算法可行有效.进一步,引入二阶校正步克服了Maratos效应,使得算法在一定条件下局部超线性收敛.  第二种算法基于Lagrange函数,与前一种算法不同,计算迭代步时将整个信赖域子问题分解为线性化约束值空间和零空间上的一对信赖域子问题,通过求解这一对子问题得到法向步和切向步.在使用过滤线搜索技术确定步长时,用原问题Lagrange函数替代目标函数作为价值函数.算法在合理假设下整体收敛,并且不使用二阶校正步算法也取得超线性收敛速率,最后提供数值实验结果表明算法可行有效.  对于带有非线性等式约束和变量非负约束的优化问题,本文给出一种结合过滤线搜索技术的仿射内点信赖域算法.根据问题最优性条件的特点,引入恰当的仿射矩阵,建立相应的仿射信赖域子问题产生迭代步,利用过滤线搜索技术选取适当的步长.此外,由于问题有变量非负约束的要求,所以需要保证迭代点是严格正的.为此,对回代线搜索初始试探步长加以修正使得只要初始点严格正,则所有迭代点是严格正的.在适当假设下证明了算法整体收敛性,并报告数值实验结果.  最后对全文进行总结,并且提出有待进一步深入研究的一些问题。
其他文献
随着信息技术和市场经济的不断发展,企业之间竞争日益激烈.企业间的单体竞争已逐步变成供应链与供应链之间的竞争,供应链协调已成为企业提高竞争力的关键.另一方面,由于技术或人为等原因,生产的产品的质量是非完美的,一部分是合格品,另一部分是次品.一般只有合格品才能用于销售,次品只能通过重新加工、折价出售或者直接丢弃等方式处理,这会带来一定的经济损失.因此,本文研究次品率可控的产品的供应链协调问题具有重要的
关于平面Hamilton系统对应Abel积分的研究有着深刻的理论意义及广泛的应用背景.目前,这方面的研究主要集中在弱Hilbert第16问题上.针对此问题,本文利用常微分方程定性理论和分
光学涡旋作为光场中的奇异现象在现代光学物理中有着重要的应用.在这篇文章中,作者对来自于几何光学中的非线性Schr(o)dinger方程组关于稳定的涡旋解建立了一些存在性定理.首
在信号和图像处理中,分块常值信号和图像是一类非常重要的数据,常见于日常生活和商业用途中。典型的例子包括条形码、二维码、商标图像、卡通图像和文字图像等。这类数据是由不
软件可靠性是评估软件系统质量的一个重要属性,传统意义上,一个软件系统的可靠性是根据软件测试的输出计算得到。这样得出的可靠性,存在以下的缺点:1)由于失效数据来自测试的输入
本文研究固定拓扑和随机切换拓扑多自主体系统领导者跟随一致性问题,包括连续时间和离散时间两种情形.在所考虑的系统中,每个自主体和领导者的动态均是线性系统.拓扑之间的切换
我们建立新的风险分担模型,命名为平均风险分担问题,并将目标函数命名为平均卷积下确界.首先我们考察卷积下确界的基本性质,并求出解析解为不大于原风险度量的最大的满足凸性的
在本文中研究离散Clifford分析,即网格上的离散monogenic函数理论。最近几年,一些学者对Clifford分析在离散情形的推广表现出了兴趣。已有大量的相关文献发表。其研究范围涵括
代数组合学是组合数学的一个重要分支,它研究具有高度对称性和优美结构的组合对象.编码理论是现代计算机科学和数字通信技术的核心,它研究如何对信息本身加入冗余,以对抗传输过
本文介绍了住宅照明设计现状,讨论了住宅照明设计中光源及灯具选择的要素,并着重对各套内空间的光环境及其电气照明设计进行讨论。 This paper introduces the current situ