×

这个处理。有限元库:设计、功能和见解。 (英语) Zbl 1524.65002号

总结:处理。是一个最先进的有限元库,专注于通用性、维度相关编程、并行性和可扩展性。在此,我们概述了它的主要设计考虑因素及其复杂特性,如分布式网格、(hp)自适应性、对复杂几何体的支持以及无矩阵算法。但是处理。不仅仅是一个软件库:它还是一个由开发人员和用户组成的多元化和全球社区,也是一个教育平台。因此,我们还讨论了20年来在运行大型社区软件项目过程中遇到的一些技术和社会挑战以及经验教训。

MSC公司:

65-04 与数值分析有关的问题的软件、源代码等
65N30型 含偏微分方程边值问题的有限元、Rayleigh-Ritz和Galerkin方法
65日元 数值算法的封装方法
2005年5月 并行数值计算
65M60毫米 涉及偏微分方程初值和初边值问题的有限元、Rayleigh-Ritz和Galerkin方法
65D25个 数值微分
97M50型 物理、天文学、技术、工程(数学教育方面)
65天32分 数值求积和体积公式
65牛顿50 涉及偏微分方程的边值问题的网格生成、细化和自适应方法
65华氏度 数值线性代数
65D18天 计算机图形、图像分析和计算几何的数值方面
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 劳森,C.L。;Hanson,R.J。;Kincaid,D.R。;Krogh,F.T.,fortran用法的基本线性代数子程序,ACM Trans。数学。软件,5,3,308-323(1979)·Zbl 0412.65022号
[2] 安德森,E。;Bai,Z。;比肖夫,C。;南卡罗来纳州布莱克福德。;德梅尔,J。;Dongarra,J。;杜克罗兹,J。;格林鲍姆,A。;Hammarling,S。;麦肯尼,A。;Sorensen,D.,《LAPACK用户指南》(1999年),工业和应用数学学会:宾夕法尼亚州费城工业和应用算术学会·Zbl 0934.65030号
[3] 消息传递接口论坛,E.,MPI:消息传递接口标准3.1版(2015),技术报告
[4] 班杰斯,W。;哈特曼,R。;G.Kanschat。,处理。-通用面向对象有限元库ACM Trans。数学。软件,33,4,24/1-24/27(2007)·Zbl 1365.65248号
[5] 班杰斯,W。;达维多夫,D。;Heister,T。;赫尔泰,L。;Kanschat,G。;Kronbichler,M。;迈尔,M。;Turcksin,B。;威尔斯,D.,The处理。库,版本8.4,J.Numer。数学。,24135-141(2016)·Zbl 1348.65187号
[6] 阿恩特,D。;班杰斯,W。;达维多夫,D。;Heister,T。;赫尔泰,L。;Kronbichler,M。;迈尔,M。;佩尔特,J.-P。;Turcksin,B。;威尔斯,D.,The处理。库,8.5版,J.Numer。数学。,25, 3, 137-146 (2017) ·Zbl 1375.65148号
[7] 阿尔泽塔,G。;阿恩特,D。;班杰斯,W。;博德杜,V。;品牌,B。;达维多夫,D。;Gassmoeller,R。;Heister,T。;赫尔泰,L。;科尔曼,K。;Kronbichler,M。;迈尔,M。;佩尔特,J.-P。;Turcksin,B。;威尔斯,D.,The处理。库,版本9.0,J.Numer。数学。,26, 4, 173-183 (2018) ·Zbl 1410.65363号
[8] 阿恩特,D。;班杰斯,W。;Clevenger,T.C。;达维多夫,D。;费林,M。;Garcia-Sanchez,D。;哈珀,G。;Heister,T。;赫尔泰,L。;Kronbichler,M。;Kynch,R.M。;迈尔,M。;佩尔特,J.-P。;Turcksin,B。;威尔斯,D.,The处理。库,版本9.1,J.Numer。数学。(2019) ·Zbl 1435.65010号
[9] Kanschat,G.,局部精细网格上间断Galerkin有限元的多级方法,计算。结构。,82, 28, 2437-2445 (2004)
[10] 詹森,B。;Kanschat,G.,适用于\(H^1\)-和\(H^{\text{curl}}})-一致性高阶有限元方法的具有局部平滑的自适应多级方法,SIAM J.Sci。计算。,33, 4, 2095-2114 (2011) ·Zbl 1230.65133号
[11] Clevenger,T.C。;Heister,T。;Kanschat,G。;Kronbichler,M.,《有限元法的灵活、并行、自适应几何多重网格方法》(2019年),出版
[12] 班杰斯,W。;Burstede,C。;Heister,T。;Kronbichler,M.,大规模并行通用自适应有限元代码的算法和数据结构,ACM Trans。数学。软件,38,14/1-28(2011)·Zbl 1365.65247号
[13] 班杰斯,W。;Kayser-Herold,O.,《有限元软件的数据结构和要求》,ACM Trans。数学。软件,36,1,4/1-4/31(2009)·兹比尔1364.65237
[14] 达维多夫,D。;Gerasimov,T。;佩尔特,J.-P。;Steinmann,P.,用于量子力学特征值问题的h自适应PUM和hp自适应FEM的收敛性研究,高级模型。模拟。工程科学。,4, 1, 7 (2017)
[15] Kronbichler,M。;Kormann,K.,基于并行单元的有限元算子应用的通用接口,计算与流体,63,135-147(2012)·Zbl 1365.76121号
[16] Kronbichler,M。;Kormann,K.,不连续Galerkin有限元算子的快速无矩阵计算,ACM Trans。数学。软件,45,3,29:1-29:40(2019)·Zbl 1486.65253号
[17] DeSimone,A。;赫尔泰,L。;Manigraso,C.,《带交易的曲线流形上定义的偏微分方程的求解工具》。II(2009),SISSA,技术报告42/2009/M
[18] 朱利安尼,N。;Mola,A。;Heltai,L.,(\pi)-BEM:自适应、几何感知和高阶边界元方法的灵活并行实现,高级工程软件。,1212018年3月39-58日
[19] 迈尔,M。;Bardelloni,M。;Heltai,L.,LinearOperator–线性代数的通用高级表达式语法,Compute。数学。申请。,72, 1, 1-24 (2016) ·Zbl 1443.65003号
[20] 迈尔,M。;Bardelloni,M。;Heltai,L.,Linearoperator基准,版本1.0.0(2016)
[21] Turcksin,B。;Kronbichler,M。;Bangerth,W.,Workstream–多连续有限元计算的设计模式,ACM Trans。数学。软件,43,1,2/1-2/29(2016)·Zbl 1396.65145号
[22] Sartori,A。;朱利安尼,N。;Bardelloni,M。;Heltai,L.,deal2lkit:用于高性能编程的工具包库处理。,SoftwareX,7318-327(2018)
[23] 赫尔泰,L。;班杰斯,W。;Kronbichler,M。;Mola,A.,《在有限元计算中使用精确的几何信息》(2019年),出版社
[24] Langtangen,H.P。;Bruaset,A.M.,解偏微分方程的综合工具集;diffpack,(Dhlen,M.;Tveito,A.,《工业数学中的数值方法和软件工具》(1997),Birkhäuser:Birkháuser Boston,MA),63-92·Zbl 0863.00021号
[25] 柯克,B.S。;彼得森,J.W。;Stogner,R.H。;Carey,G.F.,Libmesh:并行自适应网格细化/粗化模拟的C++库,工程计算。,22, 3, 237-254 (2006)
[26] W.Bangerth,将C++的现代特性用于自适应有限元方法:处理。,载于:M.Deville,R.Owens(Eds.),《2000年第16届IMACS世界大会会议记录》,瑞士洛桑,2000,Document Sessions/118-12000。
[27] Henning,J.L.,会议详情:SPEC CPU2006分析,ACM SIGARCH Compute。阿基特。新闻,35,1,63(2007)
[28] Reinders,J.,Intel Threading Building Blocks:Outfitting C++for Multi-Core Processor Parallelism(2007),O'Reilly
[29] Heroux,医学硕士。;Bartlett,R.A。;豪尔,V.E。;霍克斯特拉,R.J。;胡建杰。;科尔达·T·G。;Lehoucq,R.B。;Long,K.R。;Pawlowski,R.P。;Phipps,E.T。;塞林格,A.G。;香港桑奎斯特。;杜米纳罗,R.S。;Willenbring,J.M。;威廉姆斯。;Stanley,K.S.,Trilinos项目概述,ACM Trans。数学。软件,31397-423(2005)·Zbl 1136.65354号
[30] Heroux,M.A.,Trilinos网页(2018年)
[31] 巴莱,S。;Abhyankar,S。;M.F.亚当斯。;Brown,J。;布鲁纳,P。;Buschelman,K。;达尔星。;埃伊霍特,V。;格罗普,W.D。;卡佩耶夫,D。;考希克,D。;Knepley,M.G。;五月,D。;McInnes,L.C.公司。;米尔斯,R。;Munson,T。;鲁普,K。;史密斯,P.S.B.F。;扎皮尼,S。;张,H。;Zhang,H.,PETSc网页(2018年)
[32] 巴莱,S。;Abhyankar,S。;亚当斯,M.F。;Brown,J。;布鲁纳,P。;Buschelman,K。;达尔星。;埃伊霍特,V。;格罗普,W.D。;卡佩耶夫,D。;考希克,D。;Knepley,M.G。;D.梅。;McInnes,L.C.公司。;米尔斯,R。;Munson,T。;鲁普,K。;史密斯,P.S.B.F。;扎皮尼,S。;张,H。;Zhang,H.,PETSC用户手册(2018年),阿贡国家实验室,技术报告ANL-95/11-版本3.9
[33] Burstede,C。;Wilcox,L.C.公司。;Ghattas,O.,P4est:八叉树森林上并行自适应网格细化的可缩放算法,SIAM J.Sci。计算。,33, 3, 1103-1133 (2011) ·Zbl 1230.65106号
[34] Burstede,C.,《AMR和非标准数据访问的并行树算法》(2018),arXiv e-prints,arXiv:1803.08432
[35] Kynch,R。;Ledger,P.,《解决六面体Nédélec单元的符号冲突问题及其在涡流问题中的应用》,Comp。结构。,181 (2016)
[36] CuSPARSE(2019年)
[37] 银杏:用于多核系统的高性能线性代数库(2019)
[38] 基于交易的出版物。II(2019年)
[39] 多西根(2019)
[40] 交易。II教程(2020)
[41] 交易。II代码库(2020)
[42] 吕德,美国。;Willcox,K。;麦金尼斯,L.C。;Sterck,H.D.,《计算科学与工程研究与教育》,SIAM Rev.,60,3,707-754(2018)
[43] 阿恩特,D。;Fehn,N。;Kanschat,G。;科尔曼,K。;Kronbichler,M。;Munch,P。;Wall,W.A。;Witte,J.,ExaDG-Exascale的高阶间断Galerkin,(Bungartz,H.-J.;Nagel,W.E.;Reiz,S.;Uekermann,B.;Neumann,P.,《Exascale计算软件-SPPEXA 2016-2019(2020)》,Springer国际出版:Springer International Publishing Cham),出版中
[44] 戈登·W·J。;Thiel,L.C.,超有限映射及其在网格生成中的应用,应用。数学。计算。,10, 171-233 (1982) ·兹伯利0495.65053
[45] Arnold,D.N。;Logg,A.,有限元周期表,SIAM News,47,9,212(2014)
[46] 阿迪尼,A。;Clough,R.W.,《用有限元法分析板弯曲》(1961年),国家科学基金会,技术报告G.7337
[47] Argyris,J.H。;油炸,I。;Scharpf,D.W.,矩阵位移法的TUBA板单元系列,航空航天。J.,72,692,701-709(1968)
[48] R.W.Clough,J.L.Tocher,用于分析弯曲板的有限元刚度矩阵,载于:结构力学矩阵方法会议记录,AFFDL-TR-68-150,Wright Patterson A.F.B.,俄亥俄州,1965年,第515-545页。
[49] 小道格拉斯。;桑托斯,J.E。;Sheen,D。;Ye,X.,二阶椭圆问题基于四边形元的非协调Galerkin方法,RAIRO数学。模型。数字。分析。,33, 747-770 (1999) ·Zbl 0941.65115号
[50] Arnold,D.N。;福尔克,R.S。;Winther,R.,《有限元外部微积分、同调技术和应用》,《数值学报》。,15, 1-155 (2006) ·Zbl 1185.65204号
[51] Kronbichler,M。;Heister,T。;Bangerth,W.,《通过现代数值方法进行高精度地幔对流模拟》,地球物理学。《国际期刊》,191,12-29(2012)
[52] Clevenger,T.C。;Heister,T.,Stokes问题的代数和无矩阵几何多重网格的比较(2019年),出版
[53] CUDA区(2019年)
[54] 爱德华兹,H.C。;Trott,C.R。;Sunderland,D.,Kokkos:通过多态内存访问模式实现多核性能可移植性,J.Parallel Distrib.Comput。,74, 12, 3202-3216 (2014)
[55] RAJA性能可移植层(2019年)
[56] 斯蒂勒,B。;Bocek,T。;赫克特,F。;马查多·G。;拉茨,P。;Waldburger,M.,ASC三实验室联合设计2级里程碑报告2015,技术报告,LLNL-TR-677453(2015),劳伦斯·利弗莫尔国家实验室,技术报告
[57] 麦地那,D.S。;St-Cyr,A。;Warburton,T.,OCCA:多线程语言的统一方法(2014),arXiv预打印arXiv:1403.0968
[58] OpenMP(2019年)
[59] ROCm,开放式GPU计算的新时代(2019年)
[60] CuSOLVER(2019年)
[61] Ljungkvist,K.,《采用自适应细化非结构化网格的图形处理器上的无矩阵有限元计算》,(第25届高性能计算研讨会论文集。第25届高效计算会议论文集,HPC’17(2017),国际计算机模拟学会:美国加利福尼亚州圣地亚哥国际计算机模拟学会),1:1-1:12
[62] Griewank,A。;朱德斯,D。;Utke,J.,Algorithm 755:ADOL-C:一个用C/C++、ACM Trans编写的算法自动区分包。数学。软件,22,2,131-167(1996)·Zbl 0884.65015号
[63] 沃尔瑟,A。;Griewank,A.,《ADOL-C入门》,组合科学计算,181-202(2009)
[64] Bartlett,R.A。;盖伊,D.M。;Phipps,E.T.,《大规模科学计算中C++代码的自动区分》,(Alexandrov,V.;van Albada,G.;Sloot,P.;Dongarra,J.,《计算科学-ICCS 2006》(2006),施普林格出版社,施普林格·柏林-海德堡),525-532·Zbl 1157.65333号
[65] Gay,D.M.,在优化算法中使用表达式图,(Lee,J.;Leyffer,S.,《混合整数非线性规划》(2012),纽约斯普林格出版社),247-262·Zbl 1242.90131号
[66] 菲普斯,E。;Pawlowski,R.,《基于运算符重载的自动微分的高效表达式模板》,(Forth,S.;Hovland,P.;Phipps,E.;Utke,J.;Walther,A.,《算法微分的最新进展》,《计算科学与工程讲义》,第73卷(2012),施普林格-柏林-海德堡:施普林格-柏林-海德堡-柏林,海德堡),309-319,arXiv:1205.3506v1·Zbl 1252.65057号
[67] 乔提克,O。;费尔南多,I。;加格,S。;Rathnayake,T.,SymEngine:快速符号操作库(2020)
[68] 班杰斯,W。;是什么使计算开源软件库成功?,计算。科学。工程师,6015010/1-18(2013)
[69] 甘布林,T。;勒根德雷,M。;科莱特,M.R。;Lee,G.L。;穆迪,A。;de Supinski,B.R。;Futral,S.,The spack package manager:Bring order to HPC software chaosis,(《高性能计算、网络、存储和分析国际会议论文集》,SC'15(2015),ACM:ACM New York,NY,USA), 40:1-40:12
[70] Candi-(编译和安装)-下载、配置、构建和安装处理。(2019)
[71] Bartlett,R。;德梅什科,I。;甘布林,T。;哈蒙德,G。;Heroux,M。;约翰逊,J。;Klinvex,A。;李,X。;麦金尼斯,L.C。;Moulton,J.D.,xSDK基金会:走向极端规模的科学软件开发工具包,超级计算机。前面。因诺夫。,4, 1 (2017)
[72] Zarestky,J。;Bangerth,W.,《高性能计算教学:翻转课堂的经验教训,基于项目的有限元方法课程》(EduHPC’14:高性能计算教育研讨会论文集(2014),IEEE出版社:美国新泽西州皮斯卡塔韦IEEE出版社),34-41
[73] Zarestky,J。;比格勒,M。;Bangerth,W.,《计算科学与工程多学科课程教学》(2020年),出版
[74] Kronbichler,M。;Wall,W.A.,《连续和不连续Galerkin方法与快速多重网格求解器的性能比较》,SIAM J.Sci。计算。,40,5,A3423-A3448(2018)·Zbl 1402.65163号
[75] Antonietti,P.F。;萨蒂,M。;维拉尼,M。;Zikatanov,L.T.,椭圆问题高阶间断Galerkin逼近的均匀可加Schwarz预条件,J.Sci。计算。,70, 2, 608-630 (2017) ·Zbl 1381.65091号
[76] Kronbichler,M。;Ljungkvist,K.,图形处理器上无矩阵高阶有限元计算的多重网格,ACM Trans。并行计算。,6, 1, 2:1-2:32 (2019)
[77] Motamarri,P。;达斯,S。;Rudraraju,S。;Ghosh,K。;达维多夫,D。;Gavini,V.,DFT-FE-用于大规模密度泛函理论计算的大规模并行自适应有限元代码,Compute。物理。Comm.,246,第106853条,第(2020)页·Zbl 07678420号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。