×
塞巴斯蒂安·哥切尔;克里斯托夫·冯·提科维奇;康拉德·波尔蒂尔;马丁·威瑟

减少科学计算和优化控制中的内存需求。 （英语） Zbl 1337.65052号

Carraro，Thomas（编辑）等人，《多重放炮和时域分解方法》。MuS-TDD，德国海德堡，2013年5月6日至8日。查姆：施普林格（ISBN 978-3-319-23320-8/hbk；978-3-3169-23321-5/电子书）。数学和计算科学贡献9，263-287（2015）。
摘要：在高精度数值模拟和含时过程的最优控制中，通常需要许多时间步长和精细的空间离散化。伴随梯度计算或模拟结果的后处理需要在整个时间内存储解的轨迹，如果必要的话，还需要与自适应细化的空间网格一起存储。在本文中，我们讨论了减少内存需求的各种技术，首先关注解决方案数据的存储，这些数据通常是双精度浮点值。我们强调了不同方法的优缺点。此外，我们还提出了一种有效存储自适应细化层次网格的算法，并将其与解决方案数据的压缩存储相集成。
关于整个系列，请参见[Zbl 1333.65003号].

引用于4文件

MSC公司：

65K10码 数值优化和变分技术
49J20型 偏微分方程最优控制问题的存在性理论
49平方米25 最优控制中的离散逼近

关键词：

最优控制;伴随梯度计算;算法;解决方案数据的压缩存储

软件：

旋转;卡斯卡德7;地铁;边缘破碎机
PDF格式BibTeX公司 XML格式引用
\textit{S.Götschel}等人，《控制数学》。计算。科学。9263-287（2015年；Zbl 1337.65052）
全文： 内政部

参考文献：

[1] Alliez，P.，Desbrun，M.：三角形网格无损传输的渐进压缩。摘自：《第28届计算机图形与交互技术年会论文集》，第195-202页。ACM（2001）
[2] Alliez，P.，Gotsman，C.：三维网格压缩的最新进展。摘自：Dodgson，N.、Floator，M.、Sabin，M.（编辑）《几何建模、数学和可视化的多分辨率进展》，第3-26页。施普林格，柏林/海德堡（2005）。doi:10.1007/3-540-26808-11。doi:10.1007/3-540-26808-11·Zbl 1065.65025号
[3] Avilés，M。；F.Morán。；García，N.，小波系数的渐进下树：3D模型的有效空间和SNR可扩展编码，In：多媒体信息处理PCM的进展，2005，61-72（2005）
[4] R.E.银行。；谢尔曼，A.H。；韦瑟，A。；Stepleman，R.，正则局部网格细化的一些细化算法和数据结构，科学计算。数学和计算在物理科学中的应用（1983年），阿姆斯特丹：IMACS/North-Holland，阿姆斯特朗
[5] 贝克尔，R。；Rannacher，R.，有限元法中后验误差估计的最优控制方法，《数值学报》，10，1，1-102（2001）·Zbl 1105.65349号
[6] Becker，R.，Meidner，D.，Vexler，B.：用有限元方法对抛物线优化问题进行有效的数值求解。最佳方案。方法软件。22(5), 813-833 (2007). 网址：10.1080/10556780701228532·Zbl 1135.35317号
[7] Burtscher，M。；Ratanaworabhan，P.，FPC：双精度浮点数据的高速压缩机，IEEE Trans。计算。，58，1，18-31（2009年）·Zbl 1367.65209号 ·doi:10.1109/TC.2008.131
[8] Castrillón-Candás，J.E。；Amaratunga，K.，《空间自适应多小波与一般几何积分方程的稀疏表示》，SIAM J.Sci。计算。，24, 5, 1530-1566 (2003) ·兹比尔1042.65112 ·doi:10.1137/S1064827501371238
[9] Cignoni，P。；罗基尼，C。；Scopigno，R.，《Metro：简化曲面上的测量误差》（1996），法国巴黎：技术代表，法国巴黎
[10] Comas，A.：求解离散抛物线最优控制问题的时域分解预条件。莱斯大学博士论文（2005）
[11] Dahmen，W.，PDE的小波方法-一些最新发展，J.Compute。申请。数学。，128, 1, 133-185 (2001) ·Zbl 0974.65101号 ·doi:10.1016/S0377-0427（00）00511-2
[12] 丹尼斯，L。；萨蒂，S。；Munteanu，A。；科内利斯，J。；Schelkens，P.，《半正则网格的可伸缩带内和复合小波编码》，IEEE Trans。多媒体，12，8，773-789（2010）·doi:10.1109/TMM.2010.2058094
[13] Deufhard，P。；Bornemann，F.，《科学计算与常微分方程》（2002），柏林：施普林格出版社，柏林·Zbl 1001.65071号
[14] Deufhard，P。；美国诺瓦克。；Deufhard，P。；Engquist，B.，拟线性隐式常微分方程的外推积分器，大规模科学计算。科学计算进展，37-50（1987），巴塞尔：Birkhäuser，巴塞尔·Zbl 0617.65078号 ·doi:10.1007/978-14684-6754-33
[15] Deufhard，P。；Leinen，P。；Yserentint，H.，自适应分层有限元代码的概念，冲击计算。科学。工程师，1,1,3-35（1989）·Zbl 0706.65111号 ·doi:10.1016/0899-8248（89）90018-9
[16] Goeman，B.，Vandierendonck，H.，De Bosschere，K.：差异FCM：通过提高表格使用效率来提高值预测精度。2001年，第七届高性能计算机体系结构国际研讨会。HPCA，第207-216页。IEEE（2001）
[17] Götschel，S.，Weiser，M.：PDE约束优化的有损压缩：自适应错误控制。ZIB报告，第13-27页（2013年）·Zbl 1333.49043号
[18] Götschel，S。；Weiser，M。；Schiela，A。；Dedner，A。；弗莱米什，B。；Klöfkorn，R.，用Kaskade 7有限元工具箱解决最优控制问题，DUNE进展，101-112（2012），纽约：Springer，纽约·doi:10.1007/978-3642-28589-98
[19] 哥切尔，S。；纳加亚，C。；Kunisch，K。；Weiser，M.，《心脏除颤最佳控制中的有损压缩》，《科学杂志》。计算。，60, 1, 35-59 (2014) ·Zbl 1304.92069号 ·数字对象标识代码：10.1007/s10915-013-9785-x
[20] Griewank，A.，在反向自动微分中实现时间和空间复杂性的对数增长，Optim。方法软件。，1, 1, 35-54 (1992) ·doi:10.1080/10556789208805505
[21] Griewank，A。；Walther，A.，《算法799：旋转：计算微分的反向或伴随模式的检查点实现》，ACM Trans。数学。软质。，26, 1, 19-45 (2000) ·Zbl 1137.65330号 ·doi:10.1145/347837.347846
[22] Griewank，A。；Walther，A.，《评估衍生品：算法区分的原理和技术》（2008），费城：SIAM，费城·Zbl 1159.65026号 ·doi:10.1137/1.9780898717761
[23] Heinkenschloss，M.，用于解决分布式线性二次型最优控制问题的时域分解迭代方法，J.Compute。申请。数学。，173169-198（2005年）·Zbl 1075.65091号 ·doi:10.1016/j.cam.2004.03.005
[24] 香港黑塞：PDE约束优化问题的多重拍摄和网格自适应。海德堡大学博士论文（2008）·Zbl 1149.65308号
[25] Hesse，H.K.，Kanschat，G.：偏微分方程的网格自适应多重拍摄。第一部分：线性二次型最优控制问题。J.数字。数学。17(3), 195-217 (2009) ·Zbl 1177.65092号
[26] Heuveline，V.，Walther，A.：PDE中并行伴随计算的在线检查点：面向目标自适应和流控制的应用。摘自：Euro-Par 2006并行处理，第689-699页。柏林施普林格出版社（2006）
[27] Hinze，M。；Sternberg，J.，A-旋转：计算伴随的自适应记忆简化程序；并应用于Navier-Stokes系统Optim的计算邻接。方法软件。，20, 6, 645-663 (2005) ·Zbl 1086.49024号 ·网址：10.1080/1055678041001684158
[28] Hinze，M。；Volkwein，S.，使用适当正交分解的抽象线性二次最优控制问题的误差估计，计算。最佳方案。申请。，39, 319-345 (2008) ·兹比尔1191.49040 ·doi:10.1007/s10589-007-9058-4
[29] Hinze，M。；皮诺，R。；Ulbrich，M。；Ulbrich，S.，《PDE约束优化》（2009），柏林：施普林格出版社，柏林·Zbl 1167.49001号
[30] Ibarria，L.，Lindstrom，P.，Rossignac，J.，Szymczak，A.：大型n维标量场的核外压缩和解压缩。摘自：《计算机图形论坛》，第22卷，第343-348页。威利在线图书馆（2003）
[31] Isenburg，M.：利用度对偶预测压缩多边形网格连通性。In:图形界面会议记录，第161-170页（2002）
[32] Isenburg，M.，Snoeyink，J.：网格塌陷压缩。摘自：SIBGRAPI’99会议记录，第27-28页（1999）
[33] Isenburg，M.，Snoeyink，J.：三角形网格连接性的早期分割编码。参见：《图形界面会议录》，第89-97页。加拿大信息处理协会，多伦多，安大略省（2006年）
[34] 伊藤，K。；Kunisch，K.，无限维系统的后退视界最优控制，ESAIM控制优化。计算变量，8，1，741-760（2002）·Zbl 1066.49020号 ·doi:10.1051/cocv:2002032
[35] Iverson，J.、Kamath，C.、Karypis，G.：科学数据集的快速有效有损压缩算法。摘自：《2012年欧洲-巴黎平行处理》，第843-856页。柏林施普林格出版社（2012）
[36] JavaView主页：www.JavaView.de（2014）
[37] Jörres，C。；沃森，G。；Herty，M.，关于抛物线最优控制问题中使用适当正交分解的不精确梯度法，计算。最佳方案。申请。，55, 2, 1-10 (2013) ·Zbl 1272.49058号 ·doi:10.1007/s10589-013-9533-z
[38] Kälberer，F。；Polthier，K。；Reitebuch，美国。；Wardetzky，M.，自由价编码，计算。图表。论坛，24,3469-478（2005）·数字对象标识代码：10.1111/j.1467-8659.2005.00872.x
[39] Kälberer，F.，Polthier，K.，von Tycowicz，C.：自适应多分辨率网格的无损压缩。摘自：巴西计算机图形和图像处理研讨会论文集，第22卷（2009年）
[40] Kammann，E。；Tröltzsch，F.等人。；Volkwein，S.，应用于适当正交分解的后验误差估计方法（2011），代表：Tech，代表
[41] Khodakovsky，A.，Guskov，I.：法线网格的压缩。摘自：《科学可视化的几何建模》，第189-206页。柏林施普林格出版社（2003）
[42] Khodakovsky，A.，Schröder，P.，Sweldens，W.：渐进几何压缩。摘自：SIGGRAPH’00会议记录，第271-278页（2000年）
[43] Kunisch，K。；Volkwein，S.，Galerkin抛物问题的本征正交分解方法，数值。数学。，90, 117-148 (2001) ·Zbl 1005.65112号 ·doi:10.1007/s002110100282
[44] Kunisch，K.，Wagner，M.：双畴系统的最优控制（I）：Rogers-McCulloch模型的单畴近似。非线性分析。真实世界应用。13(4), 1525-1550 (2012). doi:10.1016/j.nonrwa.2011.11.003。http://www.sciencedirect.com/science/article/pii/S146811211003099 ·Zbl 1256.49009号
[45] Lakshminarasimhan，S.、Shah，N.、Ethier，S.和Klasky，S.，Latham，R.、Ross，R.和Samatova，N.F.：用ISABELA压缩不可压缩：时空数据的原位还原。摘自：2011年欧洲-巴黎平行处理，第366-379页。柏林施普林格出版社（2011）
[46] Lakshminarasimhan，S。；沙阿，N。；Ethier，S。；Ku，S.H。；Chang，C.S。；克拉斯基，S。；拉瑟姆，R。；罗斯，R。；Samatova，N.F.，ISABELA，用于科学数据的有效原位压缩，Concurr。计算。实际。专家。，25, 524-540 (2013) ·doi:10.1002/cpe.2887
[47] Lee，H.，Alliez，P.，Desbrun，M.：角度分析器：三角-四网格编解码器。收录：Drettakis，G.，Seidel，H.-P.（编辑）《欧洲制图2002年会议记录》，第383-392页（2002）
[48] Lindstrom，P.，Isenburg，M.：浮点数据的快速高效压缩。IEEE传输。视觉。计算。图表。12(5), 1245-1250 (2006). doi:10.1109/TVCG.2006.143
[49] Martin，G.：范围编码：一种从数字化信息中消除冗余的算法。In：在视频和数据记录会议上发表，南安普顿（1979）
[50] Nagaiah，C.，Kunisch，K.，Plank，G.：心脏电生理反应扩散方程最优控制的数值解。计算。最佳方案。申请。49, 149-178 (2011). doi:10.1007/s10589-009-9280-3。数字对象标识代码：10.1007/s10589-009-9280-3·Zbl 1226.49024号
[51] 尼尔森，B.F。；路德，T.S。；线路，G.T。；Tveito，A.，双域方程的最优单域近似，应用。数学。计算。，184, 2, 276-290 (2007) ·Zbl 1115.92005年 ·doi:10.1016/j.amc.2006.05.158
[52] Nocedal，J。；Wright，S.J.，《数值优化》（2006），纽约：Springer，纽约·Zbl 1104.65059号
[53] Payan，F。；Antonini，M.，用错误驱动的量化压缩法线网格的有效比特分配，计算。辅助Geom。设计。，22, 5, 466-486 (2005) ·Zbl 1087.65523号 ·doi:10.1016/j.cagd.2005.04.001
[54] Peng，J.，Kim，C.S.，Jay Kuo，C.C.：三维网格压缩技术：一项调查。视觉杂志。Commun公司。图像表示。16(6), 688-733 (2005). doi:10.1016/j.jvcir.2005.03.001。doi:10.1016/j.jvcir.2005.03.001
[55] 罗杰斯，J.M。；McCulloch，A.D.，心脏动作电位传播的配置-伽辽金有限元模型，IEEE Trans。生物识别。工程，41，743-757（1994）·数字对象标识代码：10.1109/10.310090
[56] Rossignac，J.，Edgebreaker：三角形网格的连通性压缩，IEEE Trans。视觉。计算。图表。，5, 47-61 (1999) ·doi:10.1109/2945.764870
[57] Sazeides，Y.，Smith，J.E.：数据值的可预测性。摘自：1997年第30届IEEE/ACM国际微体系结构研讨会论文集，第248-258页。IEEE（1997）
[58] Schröder，P.，Sweldens，W.：球面小波：有效地表示球面上的函数。参见：SIGGRAPH’95第22届计算机图形和交互技术年会论文集，第161-172页。ACM（1995）·兹伯利0970.42024
[59] 沙法特，T.M。；巴登，S.B。；科格斯特罗姆，B。；Elmroth，E。；Dongarra，J。；Wasniewski，J.，《用于压缩科学数据集的自适应粗化方法》，应用并行计算。科学计算的最新技术。2006年6月18日至21日在瑞典乌梅举行的第八届国际研讨会，修订论文集。计算机科学讲稿，774-780（2007），纽约：Springer，纽约
[60] Shannon，C.E.，《通信数学理论》，贝尔系统。《技术期刊》，27，379-423（1948）·Zbl 1154.94303号 ·doi:10.1002/j.1538-7305.1948.tb01338.x
[61] Shapiro，J.M.，《使用小波系数零树的嵌入式图像编码》，IEEE Trans。信号处理。，41, 3445-3462 (1993) ·Zbl 0841.94020号 ·数字对象标识代码：10.1109/78.258085
[62] Sternberg，J。；Hinze，M.，Newton-CG方法在非线性含时偏微分方程优化控制中的记忆简化实现，Optim。方法软件。，25, 4, 553-571 (2010) ·Zbl 1205.49039号 ·网址：10.1080/10556780903027187
[63] 斯图姆，P。；Walther，A.，最优离线检查点的多阶段方法，SIAM J.Sci。计算。，31, 3, 1946-1967 (2009) ·Zbl 1194.65084号 ·数字对象标识代码：10.1137/080718036
[64] 斯图姆，P。；Walther，A.，《优化在线检查点的新算法》，SIAM J.Sci。计算。，32, 1, 836-854 (2010) ·Zbl 1214.65038号 ·doi:10.1137/080742439
[65] Sweldens，W.，《提升方案：第二代小波的构造》，SIAM J.Math。分析。，29, 2, 511-546 (1998) ·Zbl 2016年11月9日 ·doi:10.1137/S0036141095289051
[66] Szymczak，A.：针对大型规则三角形网格的优化edgebreaker编码。收录于：DCC’02会议记录，第472页。IEEE计算机学会，华盛顿特区（2002）
[67] Teran，R.I.，Thole，C.A.，Lorentz，R.：使用FEMZIP压缩LS-DYNA模拟结果的新进展。摘自：第六届欧洲LS-DYNA用户大会（2007年）。https://www.dynalook.com/european-conf-2007/new-developments-in-the-compression-f-ls-dyna.pdf
[68] Thole，C.A.：使用FEMZIP©压缩LS-DYNA3D^TM模拟结果。3.LS-DYNA Anwenderforum（2004）
[69] Touma，C.，Gotsman，C.：三角形网格压缩。In:图形接口会议记录，第26-34页（1998年）
[70] Tröltzsch，F.等人。；Volkwein，S.，线性二次型最优控制问题的POD后验误差估计，计算。最佳方案。申请。，44, 83-115 (2009) ·Zbl 1189.49050号 ·doi:10.1007/s10589-008-9224-3
[71] Tutte，W.，《平面三角测量普查》，加拿大。数学杂志。，14, 21-38 (1962) ·Zbl 0103.39603号 ·doi:10.4153/CJM-1962-002-9
[72] Unat，D。；Hromadka，T。；Baden，S.，《科学数据内存压缩的自适应子采样方法》（2009），in:数据压缩会议，in·doi:10.1109/DCC.2009.65
[73] 瓦莱特，S。；Prost，R.，《基于小波的三角形网格渐进压缩方案：小波网格》，IEEE Trans。视觉。计算。图表。，10, 2, 123-129 (2004) ·doi:10.1010/TVCG.2004.1260764
[74] van der Vorst，H.A.，Bi-CGSTAB:非对称线性系统解的Bi-cg的一个快速且平滑收敛的变体，SIAM J.Sci。统计计算。，13, 631-644 (1994) ·Zbl 0761.65023号 ·doi:10.1137/0913035
[75] von Tycowicz，C.，Kälberer，F.，Polthier，K.：自适应多分辨率网格的基于上下文的编码。计算。图表。论坛30（8），2231-2245（2011）。doi:10.1111/j.1467-8659.2011.01972.x.doi:10.1 111/j.467-8659.2011.01972.x
[76] Walther，A.：单处理器和多处理器机器的程序反转时间表。德国德累斯顿工业大学科学计算研究所博士论文（1999年）
[77] 王，Q。；梅因，P。；Iacarino，G.，非定常伴随计算的最小重复动态检查点算法，SIAM J.Sci。计算。，31, 4, 2549-2567 (2009) ·Zbl 1196.65050号 ·doi:10.1137/080727890
[78] Weiser，M。；Götschel，S.，抛物线偏微分方程最优控制的状态轨迹压缩，SIAM J.Sci。计算。，34，1，A161-A184（2012）·Zbl 1237.49040号 ·数字对象标识码：10.1137/1082172X
[79] Yserentint，H.，关于有限元空间的多级分裂，Numer。数学。，49, 4, 379-412 (1986) ·Zbl 0608.65065号 ·doi:10.1007/BF01389538
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。