×

MFEM:模块化有限元方法库。 (英语) Zbl 1524.65001号

摘要:MFEM是一个开源、轻量级、灵活且可扩展的C++库,用于模块化有限元方法,具有任意高阶有限元网格和空间,支持各种离散化方法,并强调可用性、可移植性和高性能计算效率。MFEM的目标是为应用科学家提供获取用于高阶有限元网格划分、离散化和线性求解器的尖端算法的途径,同时使研究人员能够在非常通用、完全非结构化、高阶、并行和GPU加速的设置中快速轻松地开发和测试新算法。本文描述了MFEM提供的底层算法和有限元抽象,讨论了软件实现,并说明了该库的各种应用。

MSC公司:

65-04 与数值分析有关的问题的软件、源代码等
65N30型 含偏微分方程边值问题的有限元、Rayleigh-Ritz和Galerkin方法
65号55 多重网格方法;含偏微分方程边值问题的区域分解
65牛顿50 涉及偏微分方程的边值问题的网格生成、细化和自适应方法
74S05号 有限元方法在固体力学问题中的应用
76M10个 有限元方法在流体力学问题中的应用
2005年5月 并行数值计算
65日元10 特定类别建筑的数值算法
65M60毫米 涉及偏微分方程初值和初边值问题的有限元、Rayleigh-Ritz和Galerkin方法
65升06 常微分方程的多步、Runge-Kutta和外推方法
65N25型 含偏微分方程边值问题特征值问题的数值方法
6500万06 含偏微分方程初值和初边值问题的有限差分方法
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Ciarlet,P.G.,《椭圆问题的有限元方法》(1978),北荷兰·Zbl 0383.65058号
[2] Johnson,C.,《用有限元法求解偏微分方程》(1987),剑桥大学出版社·Zbl 0628.65098号
[3] Demkowicz,L.,使用Hp-自适应有限元进行计算。第一卷:一维和二维椭圆和麦克斯韦问题(2006),查普曼霍尔CRC
[4] 南卡罗来纳州布伦纳。;Scott,L.R.,《有限元方法的数学理论》(2008),纽约斯普林格出版社·Zbl 1135.65042号
[5] 索林,P。;Segeth,K。;Dolezel,I.,《高阶有限元方法》(2002),Chapman-Hall CRC
[6] 德维尔,M。;菲舍尔,P。;Mund,E.,《不可压缩流体流动的高阶方法》(2002),剑桥大学出版社·Zbl 1007.76001号
[7] Arnold,D.N。;布雷齐,F。;Cockburn,B。;Marini,L.D.,椭圆问题间断Galerkin方法的统一分析,SIAM J.Numer。分析。,39, 5, 1749-1779 (2001) ·Zbl 1008.65080号
[8] 科特雷尔,J。;休斯,T。;Bazilevs,Y.,《等几何分析:走向CAD和FEA的集成》(2009),Wiley·Zbl 1378.65009号
[9] MFEM:模块化有限元方法,[计算机软件](2020)
[10] 阿恩特,D。;班杰斯,W。;达维多夫,D。;Heister,T。;赫尔泰。;克伦比克勒,M。;迈尔,M。;佩尔特,J.-P。;Turcksin,B。;Wells,D.,The library,8.5版,J.Numer。数学。,25, 3, 137-146 (2017) ·Zbl 1375.65148号
[11] Alns,医学硕士。;布莱希塔,J。;Hake,J。;Johansson,A。;Kehlet,B。;Logg,A。;Richardson,C。;Ring,J。;罗杰斯,M.E。;Wells,G.N.,FEniCS项目1.5版,Arch。数字。软质。,3, 100, 9-23 (2015)
[12] 布拉特,M。;Burchartt,A。;Dedner,A。;恩格尔,C。;法尔克,J。;弗莱米什,B。;Gersbacher,C。;Gräser,C。;Gruber,F。;Grüninger,C。;Kempf,D。;Klöfkorn,R。;Malkmus,T。;缪兴,S。;诺尔特,M。;Piatkowski,M。;Sander,O.,《分布式和统一数值环境》,2.4版,Arch。数字。软质。,4, 100, 13-29 (2016)
[13] Hecht,F.,《FreeFem++的新发展》,J.Numer。数学。,20, 3-4, 251-265 (2012) ·Zbl 1266.68090号
[14] 索林,P。;塞尔维尼,J。;Dolezel,I.,《hp-FEM,数学中的任意级别悬挂节点和自动适应性》。计算。模拟,77,117-132(2008)·Zbl 1135.65394号
[15] 柯克,B.S。;彼得森,J.W。;Stogner,R.H。;Carey,G.F.,:用于并行自适应网格细化/粗化模拟的C++库,工程计算。,22, 3-4, 237-254 (2006)
[16] Holst,M.,流形上椭圆系统的自适应数值处理,高级计算。数学。,15, 139-191 (2001) ·Zbl 0997.65134号
[17] Schöberl,J.,《NGSolveTech中有限元的C++11实现》。代表ASC 30/2014(2014),维也纳理工大学分析与科学计算研究所,URL网址:https://www.asc.tuwien.ac.at/schoeberl/wiki/publications/ngs-cpp11.pdf
[18] Arnold,D.N。;福尔克,R.S。;Winther,R.,《微分复形与有限元方法的稳定性I.德拉姆复形》(Compatible Spatial Discretizations(2006),Springer New York),23-46·Zbl 1119.65398号
[19] 巴莱,S。;Abhyankar,S。;M.F.亚当斯。;Brown,J。;布鲁纳,P。;Buschelman,K。;达尔星。;埃伊霍特,V。;格罗普,W.D。;考希克,D。;Knepley,M.G。;May,D.A。;McInnes,L.C.公司。;Mills,R.T。;Munson,T。;鲁普,K。;萨南,P。;B.F.史密斯。;扎皮尼,S。;张,H。;Zhang,H.,PETSc用户手册技术。代表ANL-95/11-第3.9版(2018年),阿贡国家实验室,URLhttp://www.mcs.anl.gov/petsc
[20] Li,X.S.,《SuperLU概述》,ACM Trans。数学。软件,31,3,302-325(2005)·兹比尔1136.65312
[21] Ghysels出版社。;Li,X.S。;鲁埃,F.-H。;威廉姆斯。;Napov,A.,使用随机抽样的新型HSS结构多额叶解算器的高效多核实现,SIAM J.Sci。计算。,38、5、S358-S384(2016)·Zbl 1352.65092号
[22] Davis,T.A.,《稀疏线性系统的直接方法》(2006),工业和应用数学学会·Zbl 1119.65021号
[23] 辛德马什,A.C。;Brown,P.N。;格兰特,K.E。;Lee,S.L。;塞尔维亚人,R。;Shumaker,D.E。;Woodward,C.S.,SUNDIALS:非线性和微分/代数方程求解器套件,ACM Trans。数学。软质。,31, 3, 363-396 (2005) ·Zbl 1136.65329号
[24] Ibanez,D.A。;Seol,E.S。;史密斯,C.W。;Shephard,M.S.,PUMI:并行非结构化网格基础设施,ACM Trans。数学。软件,42,3,17:1-17:28(2016)·Zbl 1369.65155号
[25] GLVis:OpenGL有限元可视化工具,[计算机软件]网址:https://glvis.orghttp://dx.doi.org/10.11578/dc.20171025.1249。
[26] 查尔兹,H。;布鲁格,E。;惠特洛克,B。;梅雷迪斯,J。;埃亨,S。;Pugmire,D。;比亚加斯,K。;米勒,M。;哈里森,C。;韦伯,G.H。;Krishnan,H。;Fogal,T。;Sanderson,A。;加思,C。;Bethel,E.W。;D.坎普。;俄·吕贝尔。;杜兰特,M。;法夫尔,J.M。;Navrátil,P.,《VisIt:可视化和分析超大数据的最终用户工具》(High Performance Visualization-Enable Extreme-Scale Scientific Insight,2012),CRC出版社/弗朗西斯·泰勒集团,357-372
[27] VisIt:一种分布式并行可视化和分析工具,[计算机软件]https://visit.llnl.gov。 http://dx.doi.org/10.11578/dc.20171025.on.1019。
[28] hypre:高性能预处理器,【计算机软件】(2018)
[29] Karypis,G。;Kumar,V.,《划分不规则图的快速高质量多级方案》,SIAM J.Sci。计算。,20359年至392年(1998年)·Zbl 0915.68129号
[30] METIS:序列图划分和填充-约简矩阵排序,[计算机软件]http://glaros.dtc.umn.edu/gkhome/metis/metis/overview。
[31] 塞维尼,J。;Dobrev,V。;Kolev,T.,高阶有限元的非协调网格细化,SIAM J.Sci。计算。,41,4,C367-C392(2019)·Zbl 1471.65210号
[32] 博菲博士。;布雷齐,F。;Fortin,M.,《混合有限元方法与应用》(2013),斯普林格-柏林-海德堡出版社·Zbl 1277.65092号
[33] Lindstrom,P.,《最小边积线性排序问题技术》。众议员LLNL-TR-496076(2011),劳伦斯·利弗莫尔国家实验室
[34] Arnold,D.N。;福尔克,R.S。;Winther,R.,《有限元外部微积分、同调技术和应用》,《数值学报》。,15,1-155(2006),网址http://ima.umn.edu/arnold/papers/acta.pdf ·Zbl 1185.65204号
[35] Nedelec,J.C.,\(\mathbb{R}^3\)中的混合有限元,Numer。数学。,35, 3, 315-341 (1980) ·兹伯利0419.65069
[36] Brown,J.,《三维节点高阶有限元的高效非线性求解器》,J.Sci。计算。,45, 48-63 (2010) ·Zbl 1203.65245号
[37] CEED:美国能源部Exascale计算项目高效ExascaleDiscretizations中心,https://ceed.exascaleproject.org。
[38] Netgen/NGSolve:高性能多物理有限元软件,[计算机软件]https://ngsolve.org。
[39] XYZ Scientific Applications,Inc.,TrueGrid,[计算机软件],http://truegrid.com。
[40] 施罗德,W。;马丁·K。;Lorensen,B.,《可视化工具包——面向对象的3D图形方法》(2006),Kitware,Inc。
[41] Geuzaine,C。;Remacle,J.-F.,Gmsh:一个内置预处理和后处理设施的三维有限元网格生成器,国际。J.数字。方法工程,79,11,1309-1331(2009)·Zbl 1176.74181号
[42] Shemon,E。;Attaway,C.,EXODUS II Mesh ConverterTech用户手册。代表(2014)
[43] R.D.Hornung,A.Black,A.Capps,B.Corbett,N.Elliott,C.Harrison,R.Settgast,L.Taylor,K.Weiss,C.White,G.Zagaris,Axom,[计算机软件]https://github.com/LLNL/axom。
[44] 导管:HPC仿真科学数据交换库(2014),[计算机软件]http://software.llnl.gov/conductive(http://software.llnl.gov/管道)
[45] 巴克,A.T。;Dobrev,V。;Gopalakrishnan,J。;Kolev,T.,原始不连续Petrov-Galerkin方法的可伸缩预处理器,SIAM J.Sci。计算。,40、2、A1187-A1203(2018)·Zbl 1448.65213号
[46] Abhyankar,S。;Brown,J。;康斯坦丁内斯库,E.M。;Ghosh,D。;B.F.史密斯。;Zhang,H.,PETSc/TS:现代可扩展ODE/DAE解算器库(2018),arXiv:1806.01437
[47] 多布雷夫,V.A。;科列夫,T.V。;Lee,C.S。;托莫夫,V.Z。;Vassilevski,P.S.,代数杂交和静态缩合在可分级H(div)预处理中的应用,SIAM J.Sci。计算。,41、3、B425-B447(2019)·Zbl 1420.65029号
[48] Orszag,S.A.,复杂几何问题的谱方法,J.Compute。物理。,37、1、70-92(1980),网址http://www.sciencedirect.com/science/article/pii/0021999180900054 ·Zbl 0476.65078号
[49] 缪兴,S。;Piatkowski,M。;Bastian,P.,无矩阵高阶间断Galerkin方法的高性能实现(2017)
[50] 克伦比克勒,M。;Kormann,K.,不连续Galerkin有限元算子的快速无矩阵计算,ACM Trans。数学。软件,45,3(2019)·Zbl 1486.65253号
[51] 安斯沃思,M。;安德里亚马罗,G。;Davydov,O.,Bernstein-Bézier任意阶有限元和最佳装配程序,SIAM J.Sci。计算。,331087-3109(2011年)·Zbl 1237.65120号
[52] 科列夫,T。;Vassilevski,P.,H(旋度)问题的并行辅助空间AMG,J.Compute。数学。,27,604-623(2009),《电磁学中的自适应和多级方法》专刊。UCRL-JRNL-237306·Zbl 1212.65128号
[53] Zampini,S.,PCBDDC:PETSc中的一类稳健的双精度方法,SIAM J.Sci。计算。,38、5、S282-S306(2016)·Zbl 1352.65632号
[54] da Veiga,L.B。;Pavarino,L.F。;Scacchi,S。;Widlund,O.B。;Zampini,S.,具有高级缩放的等几何BDDC预处理器,SIAM J.Sci。计算。,36、3、A1118-A1139(2014)·Zbl 1320.65047号
[55] 扎皮尼,S。;Keyes,D.E.,《自适应BDDC方法用于高对比系数椭圆偏微分方程有限元离散的稳健性和前景》(高级科学计算会议平台论文集(2016),ACM),6
[56] Zampini,S.,H(curl)的自适应BDDC豪华方法,(科学与工程领域分解方法二十三(2017),Springer:Springer-Cham),285-292·Zbl 1371.78318号
[57] 扎皮尼,S。;瓦西列夫斯基,P。;多布雷夫,V。;Kolev,T.,通过约束算法平衡任意阶卷曲一致空间的区域分解,(区域分解方法国际会议(2017),Springer:Springer-Cham),103-116·Zbl 1442.65435号
[58] 哦,D.-S。;O.威德隆德。;扎皮尼,S。;Dohrmann,C.,《拉维亚特·托马斯向量场的BDDC算法与原始约束的豪华缩放和自适应选择》,数学。公司。,87, 310, 659-692 (2018) ·Zbl 1380.65065号
[59] 扎皮尼,S。;Tu,X.,多孔介质中流动的具有自适应粗空间的约束增强算法的多级平衡域分解,SIAM J.Sci。计算。,39、4、A1389-A1415(2017)·Zbl 1426.76582号
[60] 德维尔,M。;Mund,E.,Chebyshev有限元预处理二阶椭圆方程的伪谱解,J.Compute。物理。,60、3、517-533(1985),网址http://www.sciencedirect.com/science/article/pii/0021999185900348 ·Zbl 0585.65073号
[61] 卡努托,C。;Quarteroni,A。;侯赛尼,M.Y。;Zang,T.A.,光谱方法(2007),施普林格-柏林-海德堡·Zbl 1121.76001号
[62] Pazner,W.,《高阶无矩阵连续和非连续Galerkin方法的高效低阶精细预条件》(2019),arXiv预印本1908.07071。网址https://arxiv.org/abs/1908.07071
[63] Franco,M。;卡米尔,J.-S。;安德烈·J。;Pazner,W.,具有GPU加速和低阶精细预处理的高阶无矩阵不可压缩流解算器(2019),arXiv预印本1910.03032。网址https://arxiv.org/abs/1910.03032
[64] OCCA:开放并发计算抽象,[计算机软件]https://libocca.org。
[65] libCEED:高效可扩展离散化代码,[计算机软件]https://github.com/CEED/libCEED。
[66] Hornung,R.D。;Keasler,J.A.,《RAJA可移植层:概述和StatusTech》。LLNL-TR-661403代表,LLNL(2014)
[67] Laghos:LAGrangian高阶解算器,[计算机软件]https://github.com/CEED/Laghos。
[68] Dobrev,V。;Dongarra,J。;Brown,J。;菲舍尔,P。;海达尔,A。;卡林,I。;科列夫,T。;最小,M。;月亮,T。;Ratnayaka,T。;托莫夫,S。;Tomov,V.,CEED ECP里程碑报告:确定初始内核、烘焙问题(基准)和MiniappsTech。代表WBS 1.2.5.3.04,里程碑CEED-MS6(2017),URLhttps://zenodo.org/record/2542333
[69] 菲舍尔,P。;最小,M。;Rathnayake,T。;杜塔,S。;科列夫,T。;Dobrev,V。;卡米尔,J.S。;克伦比克勒,M。;沃伯顿,T。;Swirydowics,K。;Brown,J.,《高性能PDE解算器的可扩展性》,国际期刊《高性能计算》。申请。(2020),印刷版
[70] 海涅克,A。;亨利,G。;Hutchinson,M。;Pabst,H.,LIBXSMM:通过运行时代码生成加速小矩阵乘法,(SC16:高性能计算、网络、存储和分析国际会议(2016),IEEE)
[71] Arnold,D.N。;穆克吉,A。;Pouly,L.,使用二分法局部调整四面体网格,SIAM J.Sci。计算。,22, 2, 431-448 (2000) ·兹伯利0973.65116
[72] Demkowicz,L。;奥登,J。;Rachowicz,W。;Hardy,O.,面向通用h-p自适应有限元策略,第1部分。约束近似和数据结构,计算。方法应用。机械。工程,77,1,79-112(1989),URLhttp://www.sciencedirect.com/science/article/pii/0045782589901291 ·Zbl 0723.73074号
[73] Schönfeld,T.,《三维无粘流问题的自适应网格细化方法》,国际计算杂志。流体动力学。,4、3-4、363-391(1995),网址http://iahr.tandfonline.com/doi/abs/101080/10618569508904530
[74] 尤夫林,V。;Schieweck,F.,《带悬挂节点的四边形和六面体网格上的H1-插值》,《计算》,80,3,203-220(2007)·Zbl 1133.65100号
[75] 阿鲁鲁,S。;Sevilgen,F.,《使用填充曲线的并行区域分解和负载平衡》,(第四届高性能计算国际会议论文集(1997),IEEE计算。Soc公司)
[76] Boman,E.G。;Catalysturek,U.V。;骑士,C。;Devine,K.D.,组合科学计算的Zoltan和Isorropia并行工具包:分区、排序和着色,科学。程序。,20, 2, 129-150 (2012)
[77] O.萨赫尼。;罗,X。;Jansen,K。;Shephard,M.,自适应粘性流模拟的弯曲边界层网格划分,有限元。分析。设计。,46, 1, 132-139 (2010)
[78] 多布雷夫,V.A。;科列夫,T.V。;Rieben,R.N.,拉格朗日流体动力学的高阶曲线有限元方法,SIAM J.Sci。计算。,34、5、B606-B641(2012)·Zbl 1255.76076号
[79] 罗,X.-J。;谢泼德,M。;Lee,L.-Q。;Ge,L。;Ng,C.,高阶有限元模拟的移动曲面网格适配,工程计算。,27, 1, 41-50 (2011)
[80] Knupp,P.,通过节点移动引入网格优化的目标矩阵范式,工程计算。,28, 4, 419-429 (2012)
[81] 多布雷夫,V。;克努普,P。;科列夫,T。;米塔尔,K。;Tomov,V.,《高阶网格的目标矩阵优化范式》,SIAM J.Sci。计算。,41,1,B50-B68(2019)·Zbl 1450.65109号
[82] 安德森,R.W。;多布雷夫,V.A。;科列夫,T.V。;Rieben,R.N。;Tomov,V.Z.,《高阶多材料ALE流体动力学》,SIAM J.Sci。计算。,40、1、B32-B58(2018)·Zbl 1480.65246号
[83] Dobrev,V。;克努普,P。;科列夫,T。;Tomov,V.,《利用目标矩阵优化范式实现高阶网格的模拟驱动优化》,(Roca,X.;Loseille,A.,第27届国际网格圆桌会议,第27次国际网格圆桌会,计算科学与工程讲义,第127卷(2019),施普林格国际出版公司:施普林格(Springer International Publishing Cham),285-302·Zbl 1453.65298号
[84] 巴洛,A。;希尔,R。;Shashkov,M.J.,拉格朗日和任意拉格朗朗日-俄勒流体力学中多材料单元界面软件子尺度动力学闭合模型的约束优化框架,J.Compute。物理。,276, 92-135 (2014) ·Zbl 1349.65196号
[85] 多布雷夫,V.A。;科列夫,T。;Rieben,R.,弹塑性拉格朗日动力学的高阶曲线有限元,J.Compute。物理。,257, 1062-1080 (2014) ·Zbl 1351.76057号
[86] 安德森,R.W。;多布雷夫,V.A。;科列夫,T.V。;Rieben,R.N.,高阶曲线有限元中的单调性,ALE重映,国际。J.数字。方法流体,77,5,249-273(2014),URLhttps://onlinelibrary.wiley.com/doi/abs/10.1002/fld.3965
[87] 多布雷夫,V.A。;科列夫,T.V。;里本,R.N。;Tomov,V.Z.,高阶有限元拉格朗日流体力学的多材料闭合模型,国际。J.数字。《液体方法》,82,10,689-706(2016)
[88] 克兰福德,J。;理查兹,D。;张,X。;Laudenschlager,S。;Glosli,J。;奥哈拉,T。;米林,A。;Draeger,E。;法特伯特,J.-L。;布雷克,R。;Oppelstrup,T.,《心形图》(2018年)
[89] 拜耳,J.D。;R.C.布莱克。;普朗克,G。;Trayanova,N.A.,一种新的基于规则的算法,用于将心肌纤维方向分配给计算心脏模型,Ann.Biomed。工程师,40,10,2243-2254(2012)
[90] 古列夫。;Pathmanathan,P。;法特伯特,J.-L。;温,H.-F。;Magerlein,J。;格雷,R.A。;理查兹,D.F。;Rice,J.J.,《变形人类心脏的高分辨率计算模型》,Biomech。模型。机械双醇。,14, 4, 829-849 (2015)
[91] 海勒,A.,领导设计革命,科学。Technol公司。版本4-11(2018)
[92] ParElag:元素聚合代数多重网格和升级,【计算机软件】(2018)
[93] 拉舒克,I.V。;Vassilevski,P.S.,具有改进近似性质的粗de Rham复合体的构造,计算。方法应用。数学。,14, 2, 257-303 (2014) ·兹比尔1284.65156
[94] 帕西亚克,J.E。;Vassilevski,P.S.,《在两个和三个空间维度中宏观元素上定义的空间的精确德拉姆序列》,SIAM J.Sci。计算。,30, 5, 2427-2446 (2008) ·Zbl 1195.78061号
[95] 怀特,D.A。;斯托维尔,M。;Tortorelli,D.A.,使用傅立叶表示的结构拓扑优化,结构。多磁盘。优化。,1-16 (2018)
[96] Mazuyer,A。;库比拉德,P。;Giot,R。;科宁,M。;Leroy,Y。;Thore,P.,利用综合反演方法估算储层中的应力,计算。地质科学。,114,30-40(2018),网址http://www.sciencedirect.com/science/article/pii/S0098300417305010
[97] 霍莱克,M。;Limpack,J。;里斯卡,R。;Weber,S.,辐射流体动力学的高阶间断Galerkin非局部输运和能量方程方案,国际。J.数字。方法流体,83,10,779-797(2016),https://onlinelibrary.wiley.com/doi/pdf/10.1002/fld.4288。
[98] 雷贝罗,M。;Lévy,B.,计算GPU上不同3D网格上定义的两个有限元解之间的距离,SIAM J.Sci。计算。,40、1、C131-C155(2018)·Zbl 1383.65143号
[99] 巴克,A.T。;Lee,C.S。;Vassilevski,P.S.,图Laplacian问题的谱放大及其在油藏模拟中的应用,SIAM J.Sci。计算。,39、5、S323-S346(2017)·Zbl 1422.65435号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。