The LifeV library: engineering mathematics beyond the proof of concept

LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing facilities. In spite of its academic research nature, meaning a library for the development and testing of new methods, one distinguishing feature of LifeV is its use on real world problems and it is intended to provide a tool for many engineering applications. It has been actually used in computational hemodynamics, including cardiac mechanics and fluid-structure interaction problems, in porous media, ice sheets dynamics for both forward and inverse problems. In this paper we give a short overview of the features of LifeV and its coding paradigms on simple problems. The main focus is on the parallel environment which is mainly driven by domain decomposition methods and based on external libraries such as MPI, the Trilinos project, HDF5 and ParMetis. Dedicated to the memory of Fausto Saleri.Comment: Review of the LifeV Finite Element librar

Chaste: an open source C++ library for computational physiology and biology

Chaste - Cancer, Heart And Soft Tissue Environment - is an open source C++ library for the computational simulation of mathematical models developed for physiology and biology. Code development has been driven by two initial applications: cardiac electrophysiology and cancer development. A large number of cardiac electrophysiology studies have been enabled and performed, including high performance computational investigations of defibrillation on realistic human cardiac geometries. New models for the initiation and growth of tumours have been developed. In particular, cell-based simulations have provided novel insight into the role of stem cells in the colorectal crypt. Chaste is constantly evolving and is now being applied to a far wider range of problems. The code provides modules for handling common scientific computing components, such as meshes and solvers for ordinary and partial differential equations (ODEs/PDEs). Re-use of these components avoids the need for researchers to "re-invent the wheel" with each new project, accelerating the rate of progress in new applications. Chaste is developed using industrially-derived techniques, in particular test-driven development, to ensure code quality, re-use and reliability. In this article we provide examples that illustrate the types of problems Chaste can be used to solve, which can be run on a desktop computer. We highlight some scientific studies that have used or are using Chaste, and the insights they have provided. The source code, both for specific releases and the development version, is available to download under an open source Berkeley Software Distribution (BSD) licence at http://www.cs.ox.ac.uk/chaste, together with details of a mailing list and links to documentation and tutorials

Accelerating Cardiac Bidomain Simulations Using Graphics Processing Units

Anatomically realistic and biophysically detailed multiscale computer models of the heart are playing an increasingly important role in advancing our understanding of integrated cardiac function in health and disease. Such detailed simulations, however, are computationally vastly demanding, which is a limiting factor for a wider adoption of in-silico modeling. While current trends in high-performance computing (HPC) hardware promise to alleviate this problem, exploiting the potential of such architectures remains challenging since strongly scalable algorithms are necessitated to reduce execution times. Alternatively, acceleration technologies such as graphics processing units (GPUs) are being considered. While the potential of GPUs has been demonstrated in various applications, benefits in the context of bidomain simulations where large sparse linear systems have to be solved in parallel with advanced numerical techniques are less clear. In this study, the feasibility of multi-GPU bidomain simulations is demonstrated by running strong scalability benchmarks using a state-of-the-art model of rabbit ventricles. The model is spatially discretized using the finite element methods (FEM) on fully unstructured grids. The GPU code is directly derived from a large pre-existing code, the Cardiac Arrhythmia Research Package (CARP), with very minor perturbation of the code base. Overall, bidomain simulations were sped up by a factor of 11.8 to 16.3 in benchmarks running on 6-20 GPUs compared to the same number of CPU cores. To match the fastest GPU simulation which engaged 20 GPUs, 476 CPU cores were required on a national supercomputing facility

Modeling Excitable Tissue

This open access volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach in the text is to model excitable tissue by representing the individual cells constituting the tissue. This is in stark contrast to the common approach where homogenization is used to develop models where the cells are not explicitly present. The approach allows for very detailed analysis of small collections of excitable cells, but computational challenges limit the applicability in the presence of large collections of cells

Modeling and simulation of the electric activity of the heart using graphic processing units

Mathematical modelling and simulation of the electric activity of the heart (cardiac electrophysiology) offers and ideal framework to combine clinical and experimental data in order to help understanding the underlying mechanisms behind the observed respond under physiological and pathological conditions. In this regard, solving the electric activity of the heart possess a big challenge, not only because of the structural complexities inherent to the heart tissue, but also because of the complex electric behaviour of the cardiac cells. The multi- scale nature of the electrophysiology problem makes difficult its numerical solution, requiring temporal and spatial resolutions of 0.1 ms and 0.2 mm respectively for accurate simulations, leading to models with millions degrees of freedom that need to be solved for thousand time steps. Solution of this problem requires the use of algorithms with higher level of parallelism in multi-core platforms. In this regard the newer programmable graphic processing units (GPU) has become a valid alternative due to their tremendous computational horsepower. This thesis develops around the implementation of an electrophysiology simulation software entirely developed in Compute Unified Device Architecture (CUDA) for GPU computing. The software implements fully explicit and semi-implicit solvers for the monodomain model, using operator splitting and the finite element method for space discretization. Performance is compared with classical multi-core MPI based solvers operating on dedicated high-performance computer clusters. Results obtained with the GPU based solver show enormous potential for this technology with accelerations over 50× for three-dimensional problems when using an implicit scheme for the parabolic equation, whereas accelerations reach values up to 100× for the explicit implementation. The implemented solver has been applied to study pro-arrhythmic mechanisms during acute ischemia. In particular, we investigate on how hyperkalemia affects the vulnerability window to reentry and the reentry patterns in the heterogeneous substrate caused by acute regional ischemia using an anatomically and biophysically detailed human biventricular model. A three dimensional geometrically and anatomically accurate regionally ischemic human heart model was created. The ischemic region was located in the inferolateral and posterior side of the left ventricle mimicking the occlusion of the circumflex artery, and the presence of a washed-out zone not affected by ischemia at the endocardium has been incorporated. Realistic heterogeneity and fi er anisotropy has also been considered in the model. A highly electrophysiological detailed action potential model for human has been adapted to make it suitable for modeling ischemic conditions (hyperkalemia, hipoxia, and acidic conditions) by introducing a formulation of the ATP-sensitive K+ current. The model predicts the generation of sustained re-entrant activity in the form single and double circus around a blocked area within the ischemic zone for K+ concentrations bellow 9mM, with the reentrant activity associated with ventricular tachycardia in all cases. Results suggest the washed-out zone as a potential pro-arrhythmic substrate factor helping on establishing sustained ventricular tachycardia.Colli-Franzone P, Pavarino L. A parallel solver for reaction-diffusion systems in computational electrocardiology, Math. Models Methods Appl. Sci. 14 (06):883-911, 2004.Colli-Franzone P, Deu hard P, Erdmann B, Lang J, Pavarino L F. Adaptivity in space and time for reaction-diffusion systems in electrocardiology, SIAM J. Sci. Comput. 28 (3):942-962, 2006.Ferrero J M(Jr), Saiz J, Ferrero J M, Thakor N V. Simulation of action potentials from metabolically impaired cardiac myocytes: Role of atp-sensitive K+ current. Circ Res, 79(2):208-221, 1996.Ferrero J M (Jr), Trenor B. Rodriguez B, Saiz J. Electrical acticvity and reentry during acute regional myocardial ischemia: Insights from simulations.Int J Bif Chaos, 13:3703-3715, 2003.Heidenreich E, Ferrero J M, Doblare M, Rodriguez J F. Adaptive macro finite elements for the numerical solution of monodomain equations in cardiac electrophysiology, Ann. Biomed. Eng. 38 (7):2331-2345, 2010.Janse M J, Kleber A G. Electrophysiological changes and ventricular arrhythmias in the early phase of regional myocardial ischemia. Circ. Res. 49:1069-1081, 1981.ten Tusscher K HWJ, Panlov A V. Alternans and spiral breakup in a human ventricular tissue model. Am. J.Physiol. Heart Circ. Physiol. 291(3):1088-1100, 2006.<br /

Electrodynamic Model of the Heart to Detect Necrotic Areas in a Human Heart

To diagnose the conditions and diseases of the cardiovascular system is the main task of electrocardiology. The problem of the cardiovascular system diagnostics is caused by a complex multi-level mechanism of its functioning, and only experienced specialists are able to establish a correct diagnosis. Since the working heart is inaccessible to direct observations in real life, diagnostics of diseases is based on noninvasive methods such as electrocardiography. By assumption, weak "bursts" (micropotentials) of electrocardiographic signals in different areas are the precursors of dangerous arrhythmias. The amplitude of these signals on the body surface is insignificant and tends to be commensurate with the noise level of the measuring system. Advances in electrocardiography make it possible to generate a high resolution ECG signal and to detect the heart micropotentials. The method of modeling helps to understand causes of micropotentials in the ECG signal by selecting the model parameters. The model of the heart should allow generating a signal close to the high resolution ECG signal. The research aims to find a numerical model that allows solving the inverse problem of the heart tissue characteristics recovery using a high resolution ECG signal and CT data on the heart geometry. The proposed computer model and highly sensitive methods for the ECG measurement are the part of the hardware-software complex to detect dangerous precursors of cardiac arrhythmias

Electrodynamic Model of the Heart to Detect Necrotic Areas in a Human Heart

To diagnose the conditions and diseases of the cardiovascular system is the main task of electrocardiology. The problem of the cardiovascular system diagnostics is caused by a complex multi-level mechanism of its functioning, and only experienced specialists are able to establish a correct diagnosis. Since the working heart is inaccessible to direct observations in real life, diagnostics of diseases is based on noninvasive methods such as electrocardiography. By assumption, weak "bursts" (micropotentials) of electrocardiographic signals in different areas are the precursors of dangerous arrhythmias. The amplitude of these signals on the body surface is insignificant and tends to be commensurate with the noise level of the measuring system. Advances in electrocardiography make it possible to generate a high resolution ECG signal and to detect the heart micropotentials. The method of modeling helps to understand causes of micropotentials in the ECG signal by selecting the model parameters. The model of the heart should allow generating a signal close to the high resolution ECG signal. The research aims to find a numerical model that allows solving the inverse problem of the heart tissue characteristics recovery using a high resolution ECG signal and CT data on the heart geometry. The proposed computer model and highly sensitive methods for the ECG measurement are the part of the hardware-software complex to detect dangerous precursors of cardiac arrhythmias

Modeling Excitable Tissue

This open access volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach in the text is to model excitable tissue by representing the individual cells constituting the tissue. This is in stark contrast to the common approach where homogenization is used to develop models where the cells are not explicitly present. The approach allows for very detailed analysis of small collections of excitable cells, but computational challenges limit the applicability in the presence of large collections of cells