A.R.特雷尔。;斯科特·L·R·。;克奈普利，M.G。;柯比，R.C。 Stokes方程的自动有限元离散化。 （英语） Zbl 1143.76037号 比特币 48，第2号，389-404（2008）. 总结：当前的有限元软件项目在各种自动建模技术方面取得了重大进展。我们介绍了这些项目使用的一些数学抽象，允许用户在有限元、线性解算器、网格细化和几何以及弱形式之间切换，只需对代码进行很少的修改。为了评估这些抽象中的一个（即切换有限元）所提供的模块性，我们提供了一个基于斯托克斯方程的许多不同离散化的数值研究。 引用于1文件 MSC公司： 76M10个 有限元方法在流体力学问题中的应用 76D07型 斯托克斯和相关（Oseen等）流量 关键词：切换有限元 软件：炒作;Netgen公司;LifeV公司;Gms小时;libMesh（libMesh）;TAU公司;UMFPACK公司;火焰;圣得西;三角形;TetGen公司;FEniCS公司;交易.ii;菲亚特;FEMSTER公司;艾伯特;获取DP;特里利诺斯;GrAL公司;DOLFIN公司;Getfem公司++;自由Fem++;螺旋形的;PETSc公司 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Terrel}等人，BIT 48，No.2，389--404（2008；Zbl 1143.76037） 全文： DOI程序 参考文献： [1] D.N.Arnold和J.Qin，二次速度/线压Stokes元，《偏微分方程计算机方法的进展》，第VII页，R.Vichnevetsky、D.Knight和G.Richter编辑，IMACS，新泽西州新不伦瑞克，1992年，第28–34页。 [2] A.A.Auer、G.Baumgartner、D.E.Bernholdt、A.Bibireata、V.Choppella、D.Cociorva、X.Gao、R.Harrison、S.Krishnamoothy、S.Krishnan、C.-C.Lam、Q.Lu、M.Nooijen、R.Pitzer、J.Ramanujam、P.Sadayappan和A.Sibiryakov，多体电子结构方法的自动代码生成：张量收缩引擎，摩尔物理学。，104（2006），第211-228页·doi:10.1080/00268970500275780 [3] S.Balay、K.Buschelman、W.D.Gropp、D.Kaushik、M.G.Knepley、L.C.McInnes、B.F.Smith和H.Zhang，PETSc网页，2001年。 [4] W.Bangerth、R.Hartmann和G.Kanschat，交易。II项目网页，2007年。 [5] W.Bangerth、R.Hartmann和G.Kanschat达成协议。II–通用面向对象有限元库，ACM Trans。数学。软质。，33（2007），第24页·Zbl 1365.65248号 [6] G.Baumgartner、A.Auer、D.E.Bernholdt、A.Bibireata、V.Choppella、D.Cociorva、X.Gao、R.J.Harrison、S.Hirata、S.Krishanmoorthy、S.Krishnan、C.-C.Lam、Q.Lu、M.Nooijen、R.M.Pitzer、J.Ramanujam、P.Sadayappan和A.Sibiryakov，一类从头算量子化学模型的高性能并行程序的合成，IEEE会议记录，93（2005），第276–292页。（关于“程序生成、优化和调整”的专刊）。 [7] G.Berti，科学计算通用软件组件，博士论文，TU Cottbus，2000年。http://www.math.tu-cottbus.de/erti/dis。 ·Zbl 0972.68506号 [8] P.Bientinesi、J.A.Gunnels、M.E.Myers、E.S.Quintana-Ortí和R.A.van de Geijn，《导出密集线性代数算法的科学》，ACM Trans。数学。软质。，31（2005），第1-26页·Zbl 1073.65036号 ·数字对象标识代码：10.1145/1055531.1055532 [9] P.Bientinesi、E.S.Quintana-Ortyí和R.A.van de Geijn，用代码表示线性代数算法：FLAME应用程序接口，ACM Trans。数学。软质。，31（2005），第27-59页·Zbl 1073.65037号 ·数字对象标识代码：10.1145/1055531.1055533 [10] D.K.Blandford、G.E.Blelloch、D.E.Cardoze和C.Kadow，二维和三维单纯形网格的紧凑表示，国际计算机杂志。几何。申请。，15（2005），第2-24页·Zbl 1060.65555号 ·doi:10.1142/S0218195905001580 [11] D.Boffi，Stokes问题的三维有限元方法，SIAM J.Numer。分析。，34（1997），第664-670页·Zbl 0874.76032号 ·doi:10.1137/S0036142994270193 [12] S.C.Brenner和L.R.Scott，有限元方法的数学理论，第2版。，施普林格，纽约，2002年·Zbl 1012.65115号 [13] F.Brezzi和M.Fortin，混合和混合有限元方法，Springer Ser。计算。数学。，第15卷，施普林格，纽约，1991年·Zbl 0788.7302号 [14] P.Castillo，R.Rieben和D.White，FEMSTER：高阶离散微分形式的面向对象类库，ACM-Trans。数学。软质。，31（2005），第425-457页·Zbl 1136.78330号 ·doi:10.1145/1114268.1114269 [15] M.Crouzeix和P.-A.Raviart，求解稳态Stokes方程的协调和非协调有限元方法，RAIRO，模态数学。分析。编号。，7（1973），第33-75页。 [16] T.A.Davis，算法832:UMFPACK，一种非对称模式多前沿方法，ACM Trans。数学。软质。，30（2004），第196–199页·Zbl 1072.65037号 ·doi:10.1145/992200.992206 [17] C.de Boor和K.Höllig，二元C1立方的近似阶：反例，Proc。美国数学。Soc.，87（1983），第649-655页·Zbl 0545.41017号 [18] M.Demazure和A.Grothendieck，编辑，《圣母玛利亚教堂》，1962-64年，《群居修道院》，第1卷，施普林格出版社，1970年。莱克特。数学笔记。，第151卷，施普林格，柏林，纽约，1970年，法语版。 [19] P.Dular和C.Geuzaine，《GetDP：离散问题处理的一般环境》，2005年。http://www.geuz.org/getdp/。 [20] T.Dupont、J.Hoffman、C.Johnson、R.C.Kirby、M.G.Larson、A.Logg和L.R.Scott，FEniCS项目，技术代表2003-21，Chalmers有限元中心预印本系列，2003年。 [21] R.D.Falgout和U.Meier Yang，Hypre:高性能预处理程序库，《国际计算科学会议》（3），Lect。注释计算。科学。，第2331卷，施普林格，柏林，海德堡，2002年，第632-641页·Zbl 1056.65046号 [22] L.Feitag、C.Ollivier-Gooch、M.Jones和P.Plassman，SUMMA3D，1997年。http://www-unix.mcs.anl.gov/freitag/SC94demo/project/project.html，现在已不起作用。 [23] L.Formaggia、J.Gerbeau和C.Prud'homme，LifeV开发者手册，2007年。http://www.lifev.org/documentation/book/book.pdf。 [24] C.Geuzaine和J.-F.Remacle，Gmsh：一个内置预处理和后处理设施的三维有限元网格生成器，2007年。http://www.geuz.org/gmsh/。 ·Zbl 1176.74181号 [25] A.Griewank，《评估衍生品：算法微分的原理和技术》，工业和应用数学学会，宾夕法尼亚州费城，2000年·Zbl 0958.65028号 [26] M.A.Heroux、R.A.Bartlett、V.E.Howle、R.J.Hoekstra、J.J.Hu、T.G.Kolda、R.B.Lehoucq、K.R.Long、R.P.Pawlowski、E.T.Phipps、A.G.Salinger、H.K.Thornquist、R.S.Tuminaro、J.M.Willenbring、A.Williams和K.S.Stanley，Trilinos项目概述，ACM Trans。数学。软质。，31（2005），第397–423页·Zbl 1136.65354号 ·数字对象标识代码：10.1145/1089014.108901 [27] K.Kennedy、B.Broom、A.Chauhan、R.Fowler、J.Garvin、C.Koelbel、C.McCosh和J.Mellor-Crummey，《伸缩语言：领域语言自动生成系统》，IEEE学报，93（2005），第387-408页，（“程序生成、优化和适配”专刊）。 ·doi:10.1109/JPROC.2004.840447 [28] R.C.Kirby，算法839:FIAT，计算有限元基函数的新范式，ACM Trans。数学。软质。，30（2004），第502-516页·Zbl 1070.65571号 ·数字对象标识代码：10.1145/1039813.1039820 [29] R.C.Kirby，用3级BLAS优化FIAT，ACM Trans。数学。软质。，32（2006），第223-235页·Zbl 1365.65256号 ·doi:10.1145/1141885.1141889 [30] R.C.Kirby和A.Logg，变分形式编译器，ACM Trans。数学。软质。，32（2006），第417–444页·数字对象标识代码：10.1145/1163641.1163644 [31] R.C.Kirby和A.Logg，一类变分形式的有效编译，ACM Trans。数学。软质。，33（2007），第17页·Zbl 1365.65257号 [32] R.C.Kirby、A.Logg、L.R.Scott和A.R.Terrel，有限元矩阵评估的拓扑优化，SIAM J.Sci。计算。，28（2006），第224-240页·Zbl 1104.65324号 ·doi:10.1137/050635547 [33] B.Kirk、J.W.Peterson、R.H.Stogner和G.F.Carey，libMesh:并行自适应网格细化/粗化模拟C++库，工程计算。，22（2006），第237–254页·doi:10.1007/s00366-006-0049-3 [34] M.G.Knepley和D.A.Karpeev，计算网格的灵活表示，技术报告ANL/MCS-P1295-1005，阿贡国家实验室，2005年10月。 [35] M.G.Knepley和D.A.Karpeev，《使用筛子I的PDE网格算法：网格分布》，2008年，发表于《科学编程》。 [36] M.G.Knepley、A.R.Terrel和L.R.Scott，《任意网格上的有限元装配》，准备于2008年出版·Zbl 1143.76037号 [37] J.Korelc，非线性有限元代码的多语言和多环境生成，工程计算。，18（2002），第312-327页·doi:10.1007/s003660200028 [38] A.Logg、J.Hoffman、J.Jansson、R.C.Kirby和G.N.Wells，FEniCS项目网页，2007年。 [39] K.R.Long，Sundance：并行PDE仿真和优化的快速原型工具包，载于《大规模PDE-Constrained optimization》，L.T.Biegler，O.Ghattas，M.Heinkenschloss，and B.van Bloemen Waanders，eds.，Lect。注释计算。科学。工程师，施普林格，柏林，海德堡，2003年，第331-342页·Zbl 1063.65125号 [40] K.R.Long，圣丹斯2.0教程，技术报告SAND2004-4793，桑迪亚国家实验室，2004年。 [41] K.A.Mardal、O.Skavhaug、G.Lines、G.Staff和A.Odegard，使用Python求解偏微分方程，Comput。科学。《工程》，9（3）（2007），第48-51页·doi:10.1109/MCSE.2007.64 [42] G.L.Miller、S.Teng、W.Thurston和S.A.Vavasis，《自动网格划分》，康奈尔大学技术代表，美国纽约州伊萨卡市，1992年·Zbl 0803.68083号 [43] O.Pironneau、F.Hecht和A.L.Hyaric，freeFEM++，2007年。http://www.freefem.org/ff++/ftp/freefem++文档.pdf。 [44] M.Püschel、J.M.F.Moura、J.Johnson、D.Padua、M.Veloso、B.W.Singer、J.Xiong、F.Franchetti、A.Gačić、Y.Voronenko、K.Chen、R.W.Johnson和N.Rizzolo，SPIRAL:DSP转换的代码生成，IEEE学报，93（2005），第232–275页，（关于“程序生成、优化和适配”的特刊）。 ·doi:10.1109/JPROC.2004.840306 [45] Y.Renard和J.Pommier，Getfem++。有限元方法的开源通用C++库，2007年。http://home.gna.org/getfem/。 [46] J.Riehl，Mython项目，2007年。在找到一个新项目http://code.google.com/p/basil/wiki/Mython。 [47] A.Schmidt和K.G.Siebert，ALBERT–科学计算和应用软件，《数学学报》。科曼大学。，新序列号。，70（2001），第105–122页·Zbl 0993.65134号 [48] J.Schöberl，NETGEN基于抽象规则的前沿2d/3d网格生成器Compute。视觉。科学。，1（1997年），第41-52页·Zbl 0883.68130号 ·doi:10.1007/s00791005004 [49] L.R.Scott和M.Vogelius，《不可压缩和几乎不可压缩连续统的一致有限元方法》，载于《流体力学中的大规模计算》，第22卷（第2部分），B.E.Engquist等人，编辑，AMS，Providence，1985年，第221-244页·Zbl 0582.76028号 [50] L.R.Scott和M.Vogelius，分段多项式空间中散度算子最大右逆的范数估计，M2AN（前R.a.I.R.O.Analyse Numérique），19（1985），第111–143页·Zbl 0608.65013号 [51] E.S.Seol和M.S.Shephard，并行自动自适应分析的高效分布式网格数据结构，工程计算。，22（2006），第197-213页·doi:10.1007/s00366-006-0048-4 [52] S.Shende和A.D.Malony，TAU：TAU并行性能系统，国际高性能计算杂志。申请。，20（2006），第287–331页·doi:10.1177/1094342006064482 [53] J.R.Shewchuk，《三角：设计2D质量的网格生成器和delaunay三角器》，《应用计算几何：走向几何工程》，M.C.Lin和D.Manocha编辑，Lect。注释计算。科学。，第1148卷，施普林格，柏林，1996年，第203-222页，摘自第一届ACM应用计算几何研讨会。 [54] H.Si，TetGen，优质四面体网格生成器和三维Delaunay三角剖分器，2007年。http://tetgen.berlios.de/。 [55] C.Taylor和P.Hood，使用有限元技术对Navier–Stokes方程进行数值求解，计算。《流体》，1（1973），第73-100页·Zbl 0328.76020号 ·doi:10.1016/0045-7930（73）90027-3 [56] A.R.Terrel，有限元优化与斯托克斯方程的案例研究，技术代表TR-2008-02，芝加哥大学计算机科学系，2008年。 [57] G.M.VikströM，DOLFIN的并行化策略，奥斯陆大学信息学系硕士论文，2008年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。