【摘 要】
:
线性锥规划是目前优化领域中最热门的研究课题之一. Nemirovskii在2006年国际数学家大会一小时报告[72]中指出,锥规划是近20年凸优化研究工作中的一项重大突破性进展,主要包括线性规划,二阶锥规划和半正定锥规划这三类常见的对称锥规划.这三类规划可以转化成统一的线性锥规划模型.线性锥规划不仅具有良好的结构特征和对偶理论,而且具备很强的数学表达能力和实用性.许多应用领域中的实际问题都可以描述
论文部分内容阅读
线性锥规划是目前优化领域中最热门的研究课题之一. Nemirovskii在2006年国际数学家大会一小时报告[72]中指出,锥规划是近20年凸优化研究工作中的一项重大突破性进展,主要包括线性规划,二阶锥规划和半正定锥规划这三类常见的对称锥规划.这三类规划可以转化成统一的线性锥规划模型.线性锥规划不仅具有良好的结构特征和对偶理论,而且具备很强的数学表达能力和实用性.许多应用领域中的实际问题都可以描述成线性锥规划的模型,诸如工程管理,金融优化,图像处理和信号处理中的许多优化问题都可以借助于线性锥规划问题的模型来求解.此外,线性锥规划存在多项式时间内点算法,原始–对偶内点算法是其中很重要的一类.原始–对偶内点算法是求解线性规划,二阶锥规划和半正定规划的强有力工具,它可以快速有效的求解大规模锥优化问题.目前已有许多实用的优化软件是基于原始–对偶内点算法开发的.因此,针对线性锥规划研究有效的原始–对偶内点算法具有十分重要的理论意义和实际应用价值.构造一个合适的障碍函数对原始–对偶内点算法的设计和分析起着非常重要的作用.障碍函数不仅可以确定搜索方向,而且还可以简化算法的复杂性分析,改进迭代界.在基于核函数的原始–对偶内点算法中,障碍函数可以通过一个给定的一元核函数来确定.本博士学位论文首次提出了一类新的完全由指数函数构造的自协调指数核函数.作为核函数,本文所提出的自协调指数核函数并不完全满足在基于核函数的原始–对偶内点算法中对核函数要求的‘Eligible’性质.通过进一步研究此函数及其各阶导数之间的性质,证明自协调指数核函数的二阶导数和三阶导数之间满足自协调性质.基于此类自协调指数核函数,分别针对线性规划,二阶锥规划和半正定规划设计原始–对偶内点算法,并对算法进行复杂性分析,得到大步校正内点算法的迭代界.本文主要工作包括:1.针对线性规划问题,基于自协调指数核函数设计了原始–对偶内点算法.利用由自协调指数核函数定义的障碍函数来确定搜索方向,并利用相应的障碍函数作度量函数来估计迭代点与中心路径之间的距离.在算法的复杂性分析中,利用牛顿法极小化目标函数为自协调函数的无约束优化问题得到了算法内迭代中障碍函数的下降量,并得到了更新μ-乘子之后障碍函数的上界,最终得到了大步校正内点算法的迭代界.最后我们给出线性规划的数值算例验证了算法的实际计算效果.2.针对二阶锥规划问题,基于自协调指数核函数设计了原始–对偶内点算法.首先利用向量的谱分解给出了二阶锥上的向量值函数,并根据向量值函数来确定相应的障碍函数.进一步地,我们利用障碍函数来确定搜索方向并作度量函数来估计迭代点与中心路径之间的距离.在若当代数结构下,分析了二阶锥规划的中心路径.在算法的复杂性分析中,基于二阶锥上内积的定义,我们首先利用牛顿法极小化目标函数为自协调函数的无约束优化问题得到了算法内迭代中障碍函数的下降量.其次根据向量值函数的性质,通过计算得到了更新μ-乘子之后障碍函数的上界,最后得到了大步校正内点算法的迭代界.我们通过一些数值算例验证了算法的实际计算效果.3.针对半正定规划问题,设计了基于自协调指数核函数的原始–对偶内点算法.首先引入矩阵函数来确定相应的障碍函数,使用障碍函数来确定搜索方向并作度量函数来估计迭代点与中心路径之间的距离.在算法的复杂性分析中,根据矩阵函数的性质,利用牛顿法极小化目标函数为自协调函数的无约束优化问题得到了算法内迭代中障碍函数的下降量,并得到了更新μ-乘子之后障碍函数的上界,最终得到了大步校正内点算法的迭代界.最后我们给出半正定规划的数值算例来验证算法的实际计算效果.
其他文献
有限群的自同构群与有限群的结构之间的关系是有限群论研究中的一个重要课题.人们一方面希望决定有限群的自同构群;另一方面也希望通过给定的有限群的自同构群或具有某种性质的自同构来研究有限群的结构.在有限群的自同构中,幂自同构是人们非常感兴趣的研究对象之一.Baer在1934年引入了的概念,其重要性在于有限群的中的每个元素可以诱导这个有限群的一个幂自同构,从而吸引了许多群论工作者从事这一领域的研究,并获得
本论文的研究内容属于凸几何分析理论,该理论的核心内容是Brunn-Mink-owski理论Rogers和Shephard([125,126])首先提出了影子系统的概念,本文主要致力于利用影子系统这个工具来研究凸几何分析理论中的仿射等周不等式以及相关的极值问题.在第二章中,我们首先给出了凸体K的Orlicz平均带体ZφK的概念,说明了凸体的Orlicz平均带体也是一个凸体.并且研究了Orlicz平均
本学位论文属于Orlicz Brunn-Minkowski理论,致力于仿射极值问题和等周型不等式的研究,涉及John椭球体、极小表面积、均质积分和仿射均质积分.第二章通过解决Orlicz混合体积的一类仿射极值问题,引入了凸体的Orlicz-John椭球体这一类关联椭球体,并证明了Orlicz-John椭球体的连续性和公共极限位置定理,这表明Orlicz-John椭球体将经典John椭球体及其发展成
引力/规范场对偶是一个研究强耦合系统的有力工具,利用引力/规范场对偶可以将一个强耦合规范场问题转化成一个引力问题。本论文将在引力/规范场对偶框架下研究夸克胶子等离子体和直流电导。在介绍了引力/规范场对偶的基本概念后,本文在第三章首先从ⅡB超引力出发,构建一个带电的各向异性全息对偶。我们给出了一个各向异性的带电黑洞解并与AdS边界上包含化学势的空间各向异性的N=4超对称Yang-Mills规范场对偶
拓扑绝缘体和铁基超导体是当前凝聚态物理领域中两个重要而活跃的研究热点。拓扑绝缘体是一类全新的量子材料,其体电子态是具有能隙的绝缘体而边界或表面则是受时间反演保护的无能隙的金属态。与拓扑绝缘体相对应,其“姊妹”材料-拓扑超导体,它的体内为无能隙节点且具有奇宇称的超导态而边界或表面仍为正常金属态,同样引起理论与实验研究的关注。理论预言,拓扑超导体的涡旋芯可产生马约拉纳费米子束缚态。马约拉纳费米子之所以
在接触问题中,黏附的重要性随尺度的减小而增加。在纳米尺度,黏附成为了纳米材料之间最主要的作用之一。本文研究了二维材料、特别是石墨烯的黏附过程,发现二维材料的黏附过程是一个可逆的放热过程。研究进一步揭示黏附引起的熵变是黏附过程中热功转化的原因,而且熵变导致一个存在于边缘处的宏观统计力-熵力。论文围绕二维材料的黏附过程中的熵变和熵力,利用分子动力学和解析模型对熵变的起因、依赖因素及其在摩擦中的作用开展
本学位论文隶属于凸几何的赋值理论研究领域,该领域是最近十多年来在国际上研究的热点之一本文致力于凸几何中几何算子的特征研究,并且研究与之相关的极值问题本文的研究工作主要包含下面的五个内容:径向Blaschke-Minkowki同态是一类比截面体算子更一般的径向赋值Schuster刻画了径向Blaschke-Minkowki同态的特征,并且用来研究了径向Blaschke-Minkowki同态的Buse
本文主要研究了四元代数上的一些矩阵方程组。论文中给出了矩阵方程组有解的充分必要条件。当方程组有解的时候,精确解也被构造出来。矩阵方程已经在矩阵理论及其应用占有骨干地位。矩阵方程不仅在现代数学有强大的影响力,而且他们必然会影响到很多领域,例如模型简化,系统理论,最优控制,稳定性分析,控制理论,滤波技术,最优的极点配置,H-最优控制,轨道理论,线性系统,神经网络,敏感性分析,信号处理,反馈,微扰理论,
网络化Lagrange系统(Lagrange网络)的同步与控制已经成为非线性动力学与控制领域中关注的热点之一。这主要是因为经典的Lagrange方程可以用来描述诸如机械臂、飞行器及行走机器人等大量的力学系统,而Lagrange网络具有更为广泛的工程应用,尤其是在复杂与集成化的生产过程中,如多机械臂协调、飞行器编队及移动传感网络等。本文从非线性动力学与控制的角度,研究了Lagrange网络的实用同步
本文首先研究基于Kac-Moody代数s1(2,C[λ-1,λ)与so(3,R)所得新的谱问题.从so(3,R)出发,借助半单Lie代数的理论,从扩展零曲率方程得到相关矩阵谱问题的Dirac孤子方程族.在一类非半单圈代数中,结合变分恒等式构造一族可积耦合的Dirac孤子方程族,给出相应的Hamilton结构及Liouville可积性.新的谱问题可以视为AKNS谱问题的推广,由此引出耦合Burger