Colli Franzone Piero, Pavarino Luca F, Scacchi Simone
Department of Mathematics, University of Pavia, Pavia, Italy.
Department of Mathematics, University of Milano, Milan, Italy.
Front Physiol. 2018 Apr 5;9:268. doi: 10.3389/fphys.2018.00268. eCollection 2018.
We introduce and study some scalable domain decomposition preconditioners for cardiac electro-mechanical 3D simulations on parallel HPC (High Performance Computing) architectures. The electro-mechanical model of the cardiac tissue is composed of four coupled sub-models: (1) the static finite elasticity equations for the transversely isotropic deformation of the cardiac tissue; (2) the active tension model describing the dynamics of the intracellular calcium, cross-bridge binding and myofilament tension; (3) the anisotropic Bidomain model describing the evolution of the intra- and extra-cellular potentials in the deforming cardiac tissue; and (4) the ionic membrane model describing the dynamics of ionic currents, gating variables, ionic concentrations and stretch-activated channels. This strongly coupled electro-mechanical model is discretized in time with a splitting semi-implicit technique and in space with isoparametric finite elements. The resulting scalable parallel solver is based on Multilevel Additive Schwarz preconditioners for the solution of the Bidomain system and on BDDC preconditioned Newton-Krylov solvers for the non-linear finite elasticity system. The results of several 3D parallel simulations show the scalability of both linear and non-linear solvers and their application to the study of both physiological excitation-contraction cardiac dynamics and re-entrant waves in the presence of different mechano-electrical feedbacks.
我们引入并研究了一些可扩展的区域分解预条件器,用于在并行高性能计算(HPC)架构上进行心脏机电三维模拟。心脏组织的机电模型由四个耦合子模型组成:(1)用于描述心脏组织横向各向同性变形的静态有限弹性方程;(2)描述细胞内钙动力学、横桥结合和肌丝张力的主动张力模型;(3)描述变形心脏组织中细胞内和细胞外电位演变的各向异性双域模型;以及(4)描述离子电流、门控变量、离子浓度和牵张激活通道动力学的离子膜模型。这个强耦合的机电模型在时间上采用分裂半隐式技术离散,在空间上采用等参有限元离散。由此产生的可扩展并行求解器基于用于求解双域系统的多层加法施瓦茨预条件器,以及用于非线性有限弹性系统的BDDC预条件牛顿-克里洛夫求解器。几个三维并行模拟的结果显示了线性和非线性求解器的可扩展性,以及它们在研究不同机械-电反馈情况下的生理性兴奋-收缩心脏动力学和折返波方面的应用。