板岩 swMATH ID: 31053 软件作者： 托马斯·吉布森（Thomas H.Gibson）、劳伦斯·米切尔（Lawrence Mitchell）、大卫·哈姆（David A.Ham）、科林·科特（Colin J.Cotter） 描述： Slate：将Firedrake的领域特定抽象扩展到地球科学及其他领域的混合求解器。在有限元界中，间断Galerkin（DG）和混合有限元方法在模拟地球物理流方面越来越流行。然而，由这些离散化产生的鞍点系统和椭圆系统的鲁棒高效解算器仍然是一个持续的挑战。解决这个问题的一种可能方法是采用一种称为杂交的方法，其中离散方程被转换为经典的静态凝聚和局部后处理方法。然而，在复杂模型中实现混合作为性能并行代码是一项挑战，同时保持应用科学家和软件专家之间关注点的分离。在本文中，我们在Firedrake有限元库中引入了一个特定于域的抽象，该抽象允许在代码生成框架中快速执行这些杂交技术。生成的框架与Firedrake's求解器环境自然地结合在一起，允许通过PETSc的Python接口petsc4py实现混合和静态压缩，作为运行时可配置的预处理程序。我们提供了从二阶椭圆问题和地球物理流体动力学导出的示例。此外，我们还证明了杂交技术在提高大规模地球物理流相关方程的混合有限元离散化求解器的性能方面显示出巨大的潜力。 主页： https://arxiv.org/abs/1802.00303 依赖项： Firedrake公司 关键词： arXiv_cs。微软;Firedrake公司;地球科学;混合求解器;领域特定抽象;有限元库 相关软件： Firedrake公司;PETSc公司;冠军;FEniCS公司;UFL公司;偶像;MUMPS公司;TSFC公司;自由Fem++;P旋流器;下午4点;感觉++;蟒蛇;PyOP2型;艾根;DOLFIN公司;DYNAMICO公司;PCPATCH公司;mpi4py;Gms小时 引用于： 10文件 标准条款 1出版物描述软件 年份 Slate：将Firedrake的领域特定抽象扩展到地球科学及其他领域的混合求解器arXiv公司托马斯·吉布森（Thomas H.Gibson）、劳伦斯·米切尔（Lawrence Mitchell）、大卫·哈姆（David A.Ham）、科林·科特（Colin J.Cotter） 2018 全部的 前5名29位作者引用 4 科林·约翰·科特 三 戈洛·A·威默。 2 鲍尔，维尔纳 2 托马斯·H·吉布森。 1 杰拉德·米歇尔·阿瓦努 1 托马斯·本德尔。 1 杰克·D·贝特里奇。 1 圣埃芬·皮埃尔·阿兰·博尔达斯 1 拉斐尔·布勒 1 阿里·查拉拉 1 弗兰茨·乔利 1 杰克·多加拉（Jack J.Dongarra）。 1 莫里斯·法比恩。 1 马克·盖茨 1 格雷厄姆，伊万·G。 1 约翰尼·古兹曼 1 杰克·S·黑尔。 1 大卫·A·哈姆。 1 雅库布·库扎克 1 阿列克谢·洛津斯基 1 安德鲁·T·T·麦克雷。 1 劳伦斯·米切尔 1 穆勒，艾克·赫尔曼 1 石玉轩 1 乔治·斯塔德勒 1 阿里·斯特恩 1 弗洛里安·韦奇松 1 山崎一郎 1 亚辛·亚尔汗 全部的 前5名7篇连载文章中引用 三 计算物理杂志 1 计算机与数学及其应用 1 计算数学 1 SIAM科学计算杂志 1 数字学报 1 施普林格行星地球数学简报 1 SMAI计算数学杂志 全部的 前5名在6个字段中引用 9 数值分析（65-XX） 6 流体力学（76-XX） 5 地球物理学（86-XX） 1 偏微分方程（35-XX） 1 整体分析，流形分析（58至XX） 1 可变形固体力学（74-XX） 按年份列出的引文