MUSCOP公司 swMATH ID: 6143 软件作者： 安德烈亚斯·波茨赫卡 描述： 一种求解具有时间周期PDE约束优化问题的直接方法。本文针对时间周期偏微分方程（PDE）约束下的最优控制问题（OCP），提出了一种基于直接多重打靶的数值方法。该方法的特点是随着空间离散点数量的增加，数值计算的比例逐渐优化。它包括一种线性迭代分裂方法（LISA），该方法是在牛顿型迭代中基于自然水平函数的全球化迭代。我们在博克kappa理论的框架内研究了LISA-Newton方法，并开发了可靠的后验kappa估计器。此外，我们将不精确牛顿方法推广到不等式约束问题的不精确序列二次规划（SQP）方法，并提供了局部收敛理论。此外，我们为LISA开发了一个经典的和两个网格的Newton-Picard预条件，并证明了模型问题的经典变量的网格无关收敛性。根据数值结果，我们可以说，对于典型的应用问题，双网格版本甚至比经典版本更有效。此外，我们为拉格朗日-黑森函数开发了一个双网格近似，它很好地符合双网格牛顿-皮卡德框架，并得到68为了解决出现的大规模二次规划问题（QP），我们开发了一种利用两阶段方法的结构。在第一阶段，我们利用多重打靶和Newton-Picard结构将大规模QP简化为等效QP，其大小与空间离散点的数量无关。在第二阶段，我们对参数活动集方法（PASM）进行了扩展，以实现结果可能非凸QP的可靠高效求解器。此外，我们构造了三个说明性的、反直观的玩具示例，这些示例表明，一次一步优化方法的收敛对于正问题方法的收敛既不必要也不充分。对于三种恢复收敛性的正则化方法，我们的分析表明，使用这些方法无法避免收敛性的离散损失。我们在一个名为MUSCOP的代码中进一步实现了所提出的方法，该代码具有自动生成一阶和二阶模型函数和动态系统解的导数，并在多射击结构上实现并行化，以及一种混合语言编程范式，以最小化新应用程序问题的设置和解决时间。我们证明了MUSCOP的适用性、可靠性和效率，以及针对从线性学术问题到越来越困难的PDE OCP序列提出的数值方法和技术，从高度非线性的数学生物学学术问题到制备色谱中高度非线性的现实化学工程问题：模拟移动床过程。 主页： 网址：http://www.iwr.uni-heidelberg.de/~安德烈亚斯。Potschka/software.html 关键词： 直接多次射击;最优控制;线性迭代分裂法;牛顿型迭代;序列二次规划;收敛;牛顿-皮卡预处理器;数值结果;网格细化;参数活动集方法;自动导数生成;并行化 相关软件： 牛顿自由银行;青少年-C;区块SQP;GMRES公司;伊波特;L-BFGS-B型;LBFGS-B型;L-BFGS公司;不明飞行物;FEniCS公司;DOLFIN公司;流行性腮腺炎;PETSc公司;切布冯;交易.ii;DAESOL-II公司;分钟;CUTEst公司;MinRes公司;特里利诺斯 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 一种求解具有时间周期PDE约束优化问题的直接方法。 Zbl 1237.65062号安德烈亚斯·波茨赫卡 2001 全部的 前5名7位作者引用 7 安德烈亚斯·波茨赫卡 1 汉斯·格奥尔格博克 1 方，梁 1 福尔克·汉特。 1 约翰·迈耶斯 1 妈妈，马里奥·S。 1 Stefan G.范德维尔。 4篇连载文章中引用 2 SIAM数值分析杂志 1 计算物理杂志 1 数值算法 1 数学编程。A系列B系列 全部的 前5名在8个字段中引用 8 数值分析（65-XX） 5 变分法与最优控制；最优化（49至XX） 5 运筹学、数学规划（90-XX） 三 整体分析，流形分析（58-XX） 2 偏微分方程（35-XX） 1 算子理论（47-XX） 1 可变形固体力学（74-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文