×
乔沙加尼，M.S。;Chang，J。;Nakshatrala，K.B.公司。;Knepley，M.G。

用于四场双重孔隙度/渗透率模型的可组合块求解器。 （英语） Zbl 1452.76090号

J.计算。物理学。 386, 428-466 (2019).
摘要：本文的目的是双重的。弗斯特，我们提出了两种可组合的块求解器方法来求解双重孔隙度/渗透率（DPP）模型的有限元离散化所产生的离散系统。DPP模型是一个四场数学模型，描述了单相不可压缩流体在多孔介质中的流动，该多孔介质具有两个不同的孔隙网络，并且它们之间可能存在传质。使用PETSc中可用的可组合解算器功能和Firedrake项目下可用的有限元库，我们说明了两种不同的方法，通过这两种方法可以有效地预处理这些大型方程组。第二，我们使用最近开发的称为时间精度大小（TAS）谱的性能模型来证明所提出的可组合块解算器在并行和算法意义上都是可扩展的。此外，我们利用此频谱分析比较了DPP模型的三种不同有限元离散化（经典混合格式与H（div）元素、稳定连续Galerkin混合格式和稳定间断Galerki混合格式）的性能。我们的性能谱分析表明，对于这三种有限元离散化，组合块解算器都是很好的选择。提供了示例计算机代码来说明如何通过PETSc命令行选项容易地实现所提出的块求解器方法。

引用于4文件

MSC公司：

76M10个 有限元方法在流体力学问题中的应用
76S05号 多孔介质中的流动；过滤；渗流
65N22型 含偏微分方程边值问题离散方程的数值解
65N30型 含偏微分方程边值问题的有限元、Rayleigh-Ritz和Galerkin方法
2005年5月 并行数值计算
65F08个 迭代方法的前置条件
65-04 与数值分析有关的问题的软件、源代码等
76-04 流体力学相关问题的软件、源代码等

关键词：

迭代求解器;并行计算;有限元离散化;H（div）元素;双重孔隙度/渗透率模型;通过多孔介质的流动

软件：

mpi4py;PyOP2型;下午4点;TSFC公司;Firedrake公司;DMPlex公司;蟒蛇;咖啡;FInAT公司;菲亚特;炒作;PETSc公司
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Joshaghani}等人，《计算杂志》。物理学。386428-466（2019年；Zbl 1452.76090）
全文： DOI程序 arXiv公司

参考文献：

[1] Arnold，D.N。；Logg，A.，有限元周期表，SIAM News，47，9，212（2014）
[2] Arnold，D.N。；福尔克，R.S。；Winther，R.，有限元外部微积分，同源技术和应用，Acta Numer。，15, 1-155 (2006) ·Zbl 1185.65204号
[3] Arnold，D.N。；福尔克，R。；Winther，R.，《有限元外部演算：从霍奇理论到数值稳定性》，布尔。美国数学。《社会学杂志》，47，2，281-354（2010）·Zbl 1207.65134号
[4] 巴莱，S。；Abhyankar，S。；亚当斯，M。；Brown，J。；布鲁纳，P。；Buschelman，K。；达尔星。；埃伊霍特，V。；格罗普，W.D。；考希克，D。；Knepley，M.G。；McInnes，L.C.公司。；鲁普，K。；B.F.史密斯。；扎皮尼，S。；张，H。；Zhang，H.，《PETSc用户手册》（2017），阿贡国家实验室，技术报告ANL-95/11-第3.8版
[5] S.Balay、S.Abhyankar、M.F.Adams、J.Brown、P.Brune、K.Buschelman、L.Dalcin、V.Eijkhout、W.D.Gropp、D.Kaushik、M.G.Knepley、D.A.May、L.C.McInnes、R.T.Mills、T.Munson、K.Rupp、P.Sanan、B.F.Smith、S.Zampini、H.Zhang、PETSc网页2018。；S.Balay、S.Abhyankar、M.F.Adams、J.Brown、P.Brune、K.Buschelman、L.Dalcin、V.Eijkhout、W.D.Gropp、D.Kaushik、M.G.Knepley、D.A.May、L.C.McInnes、R.T.Mills、T.Munson、K.Rupp、P.Sanan、B.F.Smith、S.Zampini、H.Zhang、PETSc网页2018。
[6] 巴伦布拉特，G.I。；Zheltov，I.P。；Kochina，I.N.，裂隙岩石[地层]中均质液体渗流理论的基本概念，J.Appl。数学。机械。，24, 1286-1303 (1960) ·Zbl 0104.21702号
[7] Bercea，G.T。；麦克雷，A.T.T。；Ham，D.A。；米切尔，L。；Rathgeber，F。；Nardi，L。；卢波里尼，F。；Kelly，P.H.J.，《挤压网格上有限元的结构扩展编号算法及其在firedrake中的性能评估》，Geosci。模型开发，9，10，3803-3815（2016）
[8] Boffi，D。；布雷齐，F。；Fortin，M.，《混合有限元方法与应用》，第44卷（2013），施普林格出版社：施普林格出版社，柏林·Zbl 1277.65092号
[9] Boutin，C。；Royer，P.，《关于双重孔隙多孔弹性介质模型》，Geophys。国际期刊，2031694-1725（2015）
[10] 布雷齐，F。；Fortin，M.，《混合和混合有限元方法》，第15卷（2012），Springer Science&Business Media
[11] 布雷齐，F。；道格拉斯，J。；Marini，L.D.，二阶椭圆问题的两类混合有限元，数值。数学。，47, 2, 217-235 (1985) ·兹比尔0599.65072
[12] 布雷齐，F。；道格拉斯，J。；Fortin，M。；Marini，L.D.，二元和三元空间变量中的高效矩形混合有限元，ESAIM:Math。模型。数字。分析。，21, 4, 581-604 (1987) ·Zbl 0689.65065号
[13] Brown，J。；Knepley，M.G。；May，D.A。；McInnes，L.C.公司。；Smith，B.，多物理可组合线性解算器，（并行和分布式计算（ISPDC），2012年第11届国际研讨会（2012年），IEEE），55-62
[14] Chang，J。；Nakshatrala，K.B.，《强制对流扩散方程非负约束的变分不等式方法》，计算。方法应用。机械。工程，320，287-334（2017）·兹比尔1439.35153
[15] Chang，J。；Karra，S。；Nakshatrala，K.B.，《扩散方程基于大规模优化的非负计算框架：并行实现和性能研究》，科学杂志。计算。，70, 243-271 (2017) ·Zbl 1359.65250号
[16] Chang，J。；法比恩，M.S。；Knepley，M.G。；Mills，R.T.，《使用时间-精度-尺寸（TAS）谱分析的有限元方法比较研究》，SIAM J.Sci。计算。，40、6、C779-C802（2018）·Zbl 1417.65224号
[17] Chang，J。；Nakshatrala，K.B。；Knepley，M.G。；Johnsson，L.，解决PDE的并行计算框架的性能谱，Concurr。计算。，30，第e4401条pp.（2018）
[18] 陈，Z。；Huan，G。；Ma，Y.，多孔介质中多相流的计算方法（2006），工业和应用数学学会：费城工业和应用算术学会·Zbl 1092.76001号
[19] Choo，J。；Borja，R.I.，具有双重孔隙的可变形多孔介质的稳定混合有限元，计算。方法应用。机械。工程，293131-154（2015）·Zbl 1423.74265号
[20] Choo，J。；怀特，J。；Borja，R.I.，双重孔隙介质中非饱和流动的流体力学建模，国际地质技术杂志。，16，第D4016002条pp.（2016）
[21] （Cockburn，B.；Karniadakis，G.；Shu，C.，《间断Galerkin方法：理论、计算和应用》（2000），Springer-Verlag:Springer-Verlag纽约，美国）·兹比尔0935.00043
[22] Dalcin，L.D。；巴兹·R·R。；克莱尔，P.A。；Cosimo，A.，使用Python的并行分布式计算，Adv.Water Resour。，34, 9, 1124-1139 (2011)
[23] 分层，P。；奥迪吉尔，M。；崔，Y。；Howat，M.D.，《压实粉土的微观结构》，加拿大。岩土工程。J.，33，1，150-158（1996）
[24] Dykhuizen，R.C.，双孔隙模型的一个新耦合项，水资源。研究，26，351-356（1990）
[25] R·D·法尔古特。；Yang，U.M.，HYPRE:高性能预处理程序库，（国际计算科学会议（2002），Springer），632-641·兹比尔1056.65046
[26] Gibson，T.H。；米切尔，L。；Ham，D.A。；Cotter，C.J.，有限元方法杂交和静态凝聚的一种特定领域语言（2018年），在线阅读
[27] 亨德里克森，B。；Leland，R.，划分图的多级算法，（超级计算'95:1995年ACM/IEEE超级计算会议论文集（CDROM）（1995），ACM出版社：纽约ACM出版社），28
[28] 赫塞文，J.S。；Warburton，T.，节点不连续伽辽金方法：算法、分析和应用（2007），施普林格科学与商业媒体：施普林格科学与商业媒体纽约
[29] Homolya，M。；Ham，D.A.，四边形网格的平行边定向算法，SIAM J.Sci。计算。，38, 5, 48-61 (2016) ·Zbl 1404.65266号
[30] Homolya，M。；柯比，R.C。；Ham，D.A.，《揭示和开发结构：高阶有限元方法的最佳代码生成》（2017），在线阅读
[31] Homolya，M。；米切尔，L。；卢波里尼，F。；Ham，D.A.，Tsfc:一个结构表示形式编译器，SIAM J.Sci。计算。，40、3、C401-C428（2018）·Zbl 1388.68020号
[32] Hughes，T.J.，《多尺度现象：格林函数、狄里克勒-诺依曼公式、亚网格模型、气泡和稳定方法的起源》，计算。方法应用。机械。工程，127，1-4，387-401（1995）·Zbl 0866.76044号
[33] 休斯·T·J·R。；马苏德，A。；Wan，J.，Darcy流的稳定混合间断Galerkin方法，计算。方法应用。机械。工程，195，25-28，3347-3381（2006）·Zbl 1120.76040号
[34] Joodat，S.H.S。；Nakshatrala，K.B。；Ballarini，R.，《双重孔隙度/渗透率多孔介质流动建模：稳定混合公式、误差分析和数值解》，计算。方法应用。机械。工程，337632-676（2018）·Zbl 1440.76144号
[35] Joshaghani，医学硕士。；韩国函馆。；Nakshatrala，K.B.，《双重孔隙度/渗透率模型的稳定混合非连续Galerkin公式》（2018年），在线阅读
[36] Knepley，M.G。；Karpeev，D.A.，具有筛网的PDE的网格算法I：网格分布，科学。程序。，17, 3, 215-230 (2009)
[37] Krylov，N.V.，Sobolev空间中椭圆和抛物方程讲座，第96卷（2008），美国数学学会·Zbl 1147.35001号
[38] 兰格，M。；Knepley，M.G。；Gorman，G.J.，《使用PETSc DMPlex进行灵活、可伸缩的网格和数据管理》，（Exascale应用和软件会议论文集（2015年4月））
[39] 兰格，M。；米切尔，L。；Knepley，M.G。；Gorman，G.J.，《使用PETSc-DMPlex在Firedrake中进行高效网格管理》，SIAM J.Sci。计算。，38、5、S143-S155（2016）·Zbl 1352.65613号
[40] 卢波里尼，F。；Varbanescu，A.L。；Rathgeber，F。；Bercea，G.T。；Ramanujam，J。；Ham，D.A。；Kelly，P.H.J.，有限元局部装配算术强度的交叉优化，ACM Trans。阿基特。代码优化。，11，4，57:1-57:25（2015）
[41] 卢波里尼，F。；Ham，D.A。；Kelly，P.H.J.，有限元积分回路优化算法，ACM Trans。数学。软质。，44, 3:1-3:26 (2017) ·Zbl 1380.65381号
[42] 新罕布什马帕克什。；Chang，J。；Nakshatrala，K.B.，《压力相关粘度多孔介质模型中流动的可扩展变分不等式方法》，J.Compute。物理。，359, 137-163 (2018) ·Zbl 1383.76342号
[43] 麦克雷，A.T.T。；Bercea，G.T。；米切尔，L。；Ham，D.A。；Cotter，C.J.，张量积有限元的自动生成和符号处理，SIAM J.Sci。计算。，38, 5, 25-47 (2016) ·Zbl 1352.65615号
[44] Nakshatrala，K.B。；Joodat，S.H.S。；Ballarini，R.，《双重孔隙度/渗透率多孔介质中的流动建模：数学模型、性质和分析解》，J.Appl。机械。，第85条，第081009页（2018年）
[45] Nédélec，J.C.，（R^3）中的混合有限元，Numer。数学。，35, 3, 315-341 (1980) ·Zbl 0419.65069号
[46] Oberkampf，W.L。；Roy，C.J.，《科学计算中的验证与确认》（2010），剑桥大学出版社·Zbl 1211.68499号
[47] Rathgeber，F。；Ham，D.A。；米切尔，L。；兰格，M。；卢波里尼，F。；麦克雷，A.T.T。；Bercea，G.T。；Markall，G.R。；Kelly，P.H.J.，Firedrake：通过组合抽象实现有限元方法自动化，ACM Trans。数学。软质。，43, 3, 24 (2016) ·兹比尔1396.65144
[48] 拉维亚特，P.A。；Thomas，J.M.，二阶椭圆问题的混合有限元方法，（有限元方法的数学方面（1977），Springer），292-315·Zbl 0362.65089号
[49] Saad，Y.，《稀疏线性系统的迭代方法》（2003），SIAM：美国费城SIAM·Zbl 1002.65042号
[50] 萨阿德，Y。；Schultz，M.H.，GMRES:求解非对称线性系统的广义最小残差算法，SIAM J.Sci。统计计算。，7, 3, 856-869 (1986) ·兹伯利0599.65018
[51] 施密特，V。；Mcdonald，D.A.，砂岩次生孔隙的结构和识别，规范出版物。，社会经济。古ntol。矿物质。，26, 209-225 (1979)
[52] 斯特劳恩（Straughan，B.），《多孔连续统的数学方面》（2017），施普林格：瑞士施普林格商学院·Zbl 1390.74009号
[53] 沃伦，J.E。；Root，P.J.，《天然裂缝性储层的行为》，Soc.Pet。《工程师杂志》，3245-255（1963）
[54] Zenodo/COFFEE，COFFEE:用于快速表达式评估的编译器（2017年11月）
[55] Zenodo/FIAT，FIAT：有限元自动制表器（2018年4月）
[56] Zenodo/FInAT，FInAT：一个更智能的有限元库（2018年1月）
[57] ZENODO/firedrake，firedrake:自动化有限元系统（2018年5月）
[58] Zenodo/PETSc，PETSc:科学计算的可移植、可扩展工具包（2018年4月）
[59] Zenodo/petsc4py，petsc4py:PETSc的python接口（2018年4月）
[60] Zenodo/PyOP2，PyOP2:非结构化网格上性能可移植并行计算框架（2018年5月）
[61] Zenodo/TSFC，TSFC：两阶段形式编译器（2018年5月）
[62] Zenodo/UFL，UFL：统一形式语言（2018年4月）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。