-
Democratizing Uncertainty Quantification
Authors:
Linus Seelinger,
Anne Reinarz,
Mikkel B. Lykkegaard,
Robert Akers,
Amal M. A. Alghamdi,
David Aristoff,
Wolfgang Bangerth,
Jean Bénézech,
Matteo Diez,
Kurt Frey,
John D. Jakeman,
Jakob S. Jørgensen,
Ki-Tae Kim,
Massimiliano Martinelli,
Matthew Parno,
Riccardo Pellegrini,
Noemi Petra,
Nicolai A. B. Riis,
Katherine Rosenfeld,
Andrea Serani,
Lorenzo Tamellini,
Umberto Villa,
Tim J. Dodwell,
Robert Scheichl
Abstract:
Uncertainty Quantification (UQ) is vital to safety-critical model-based analyses, but the widespread adoption of sophisticated UQ methods is limited by technical complexity. In this paper, we introduce UM-Bridge (the UQ and Modeling Bridge), a high-level abstraction and software protocol that facilitates universal interoperability of UQ software with simulation codes. It breaks down the technical…
▽ More
Uncertainty Quantification (UQ) is vital to safety-critical model-based analyses, but the widespread adoption of sophisticated UQ methods is limited by technical complexity. In this paper, we introduce UM-Bridge (the UQ and Modeling Bridge), a high-level abstraction and software protocol that facilitates universal interoperability of UQ software with simulation codes. It breaks down the technical complexity of advanced UQ applications and enables separation of concerns between experts. UM-Bridge democratizes UQ by allowing effective interdisciplinary collaboration, accelerating the development of advanced UQ methods, and making it easy to perform UQ analyses from prototype to High Performance Computing (HPC) scale.
In addition, we present a library of ready-to-run UQ benchmark problems, all easily accessible through UM-Bridge. These benchmarks support UQ methodology research, enabling reproducible performance comparisons. We demonstrate UM-Bridge with several scientific applications, harnessing HPC resources even using UQ codes not designed with HPC support.
△ Less
Submitted 9 May, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
Authors:
Ester Comellas,
Jean-Paul Pelteret,
Wolfgang Bangerth
Abstract:
A substantial fraction of the time that computational modellers dedicate to develo** their models is actually spent trouble-shooting and debugging their code. However, how this process unfolds is seldom spoken about, maybe because it is hard to articulate as it relies mostly on the mental catalogues we have built with the experience of past failures. To help newcomers to the field of material mo…
▽ More
A substantial fraction of the time that computational modellers dedicate to develo** their models is actually spent trouble-shooting and debugging their code. However, how this process unfolds is seldom spoken about, maybe because it is hard to articulate as it relies mostly on the mental catalogues we have built with the experience of past failures. To help newcomers to the field of material modelling, here we attempt to fill this gap and provide a perspective on how to identify and fix mistakes in computational solid mechanics models. To this aim, we describe the components that make up such a model and then identify possible sources of errors. In practice, finding mistakes is often better done by considering the symptoms of what is going wrong. As a consequence, we provide strategies to narrow down where in the model the problem may be, based on observation and a catalogue of frequent causes of observed errors. In a final section, we also discuss how one-time bug-free models can be kept bug-free in view of the fact that computational models are typically under continual development. We hope that this collection of approaches and suggestions serves as a "road map" to find and fix mistakes in computational models, and more importantly, keep the problems solved so that modellers can enjoy the beauty of material modelling and simulation.
△ Less
Submitted 26 October, 2022; v1 submitted 9 September, 2022;
originally announced September 2022.
-
Estimating and using information in inverse problems
Authors:
Wolfgang Bangerth,
Chris R. Johnson,
Dennis K. Njeru,
Bart van Bloemen Waanders
Abstract:
In inverse problems, one attempts to infer spatially variable functions from indirect measurements of a system. To practitioners of inverse problems, the concept of "information" is familiar when discussing key questions such as which parts of the function can be inferred accurately and which cannot. For example, it is generally understood that we can identify system parameters accurately only clo…
▽ More
In inverse problems, one attempts to infer spatially variable functions from indirect measurements of a system. To practitioners of inverse problems, the concept of "information" is familiar when discussing key questions such as which parts of the function can be inferred accurately and which cannot. For example, it is generally understood that we can identify system parameters accurately only close to detectors, or along ray paths between sources and detectors, because we have "the most information" for these places. Although referenced in many publications, the "information" that is invoked in such contexts is not a well understood and clearly defined quantity.
Herein, we present a definition of information density that is based on the variance of coefficients as derived from a Bayesian reformulation of the inverse problem. We then discuss three areas in which this information density can be useful in practical algorithms for the solution of inverse problems, and illustrate the usefulness in one of these areas -- how to choose the discretization mesh for the function to be reconstructed -- using numerical experiments.
△ Less
Submitted 23 April, 2024; v1 submitted 18 August, 2022;
originally announced August 2022.
-
Algorithms for Parallel Generic $hp$-adaptive Finite Element Software
Authors:
Marc Fehling,
Wolfgang Bangerth
Abstract:
The $hp$-adaptive finite element method (FEM) - where one independently chooses the mesh size ($h$) and polynomial degree ($p$) to be used on each cell - has long been known to have better theoretical convergence properties than either $h$- or $p$-adaptive methods alone. However, it is not widely used, owing at least in parts to the difficulty of the underlying algorithms and the lack of widely us…
▽ More
The $hp$-adaptive finite element method (FEM) - where one independently chooses the mesh size ($h$) and polynomial degree ($p$) to be used on each cell - has long been known to have better theoretical convergence properties than either $h$- or $p$-adaptive methods alone. However, it is not widely used, owing at least in parts to the difficulty of the underlying algorithms and the lack of widely usable implementations. This is particularly true when used with continuous finite elements.
Herein, we discuss algorithms that are necessary for a comprehensive and generic implementation of $hp$-adaptive finite element methods on distributed-memory, parallel machines. In particular, we will present a multi-stage algorithm for the unique enumeration of degrees of freedom (DoFs) suitable for continuous finite element spaces, describe considerations for weighted load balancing, and discuss the transfer of variable size data between processes. We illustrate the performance of our algorithms with numerical examples, and demonstrate that they scale reasonably up to at least 16,384 Message Passing Interface (MPI) processes.
We provide a reference implementation of our algorithms as part of the open-source library deal.II.
△ Less
Submitted 27 April, 2023; v1 submitted 13 June, 2022;
originally announced June 2022.
-
A benchmark for the Bayesian inversion of coefficients in partial differential equations
Authors:
David Aristoff,
Wolfgang Bangerth
Abstract:
Bayesian methods have been widely used in the last two decades to infer statistical properties of spatially variable coefficients in partial differential equations from measurements of the solutions of these equations. Yet, in many cases the number of variables used to parameterize these coefficients is large, and obtaining meaningful statistics of their values is difficult using simple sampling m…
▽ More
Bayesian methods have been widely used in the last two decades to infer statistical properties of spatially variable coefficients in partial differential equations from measurements of the solutions of these equations. Yet, in many cases the number of variables used to parameterize these coefficients is large, and obtaining meaningful statistics of their values is difficult using simple sampling methods such as the basic Metropolis-Hastings (MH) algorithm -- in particular if the inverse problem is ill-conditioned or ill-posed. As a consequence, many advanced sampling methods have been described in the literature that converge faster than MH, for example by exploiting hierarchies of statistical models or hierarchies of discretizations of the underlying differential equation.
At the same time, it remains difficult for the reader of the literature to quantify the advantages of these algorithms because there is no commonly used benchmark. This paper presents a benchmark Bayesian inverse problem -- namely, the determination of a spatially-variable coefficient, discretized by 64 values, in a Poisson equation, based on point measurements of the solution -- that fills the gap between widely used simple test cases (such as superpositions of Gaussians) and real applications that are difficult to replicate for developers of sampling algorithms. We provide a complete description of the test case, and provide an open source implementation that can serve as the basis for further experiments. We have also computed $2\times 10^{11}$ samples, at a cost of some 30 CPU years, of the posterior probability distribution from which we have generated detailed and accurate statistics against which other sampling algorithms can be tested.
△ Less
Submitted 28 February, 2022; v1 submitted 14 February, 2021;
originally announced February 2021.
-
The deal.II finite element library: design, features, and insights
Authors:
Daniel Arndt,
Wolfgang Bangerth,
Denis Davydov,
Timo Heister,
Luca Heltai,
Martin Kronbichler,
Matthias Maier,
Jean-Paul Pelteret,
Bruno Turcksin,
David Wells
Abstract:
deal.II is a state-of-the-art finite element library focused on generality, dimension-independent programming, parallelism, and extensibility. Herein, we outline its primary design considerations and its sophisticated features such as distributed meshes, $hp$-adaptivity, support for complex geometries, and matrix-free algorithms. But deal.II is more than just a software library: It is also a diver…
▽ More
deal.II is a state-of-the-art finite element library focused on generality, dimension-independent programming, parallelism, and extensibility. Herein, we outline its primary design considerations and its sophisticated features such as distributed meshes, $hp$-adaptivity, support for complex geometries, and matrix-free algorithms. But deal.II is more than just a software library: It is also a diverse and worldwide community of developers and users, as well as an educational platform. We therefore also discuss some of the technical and social challenges and lessons learned in running a large community software project over the course of two decades.
△ Less
Submitted 17 February, 2020; v1 submitted 24 October, 2019;
originally announced October 2019.
-
Propagating geometry information to finite element computations
Authors:
Luca Heltai,
Wolfgang Bangerth,
Martin Kronbichler,
Andrea Mola
Abstract:
The traditional workflow in continuum mechanics simulations is that a geometry description -- for example obtained using Constructive Solid Geometry or Computer Aided Design tools -- forms the input for a mesh generator. The mesh is then used as the sole input for the finite element, finite volume, and finite difference solver, which at this point no longer has access to the original, "underlying"…
▽ More
The traditional workflow in continuum mechanics simulations is that a geometry description -- for example obtained using Constructive Solid Geometry or Computer Aided Design tools -- forms the input for a mesh generator. The mesh is then used as the sole input for the finite element, finite volume, and finite difference solver, which at this point no longer has access to the original, "underlying" geometry. However, many modern techniques -- for example, adaptive mesh refinement and the use of higher order geometry approximation methods -- really do need information about the underlying geometry to realize their full potential. We have undertaken an exhaustive study of where typical finite element codes use geometry information, with the goal of determining what information geometry tools would have to provide. Our study shows that nearly all geometry-related needs inside the simulators can be satisfied by just two "primitives": elementary queries posed by the simulation software to the geometry description. We then show that it is possible to provide these primitives in all of the frequently used ways in which geometries are described in common industrial workflows, and illustrate our solutions using a number of examples.
△ Less
Submitted 7 July, 2021; v1 submitted 22 October, 2019;
originally announced October 2019.
-
Residual-Based a posteriori error estimation for hp-adaptive finite element methods for the Stokes equations
Authors:
Arezou Ghesmati,
Wolfgang Bangerth,
Bruno Turcksin
Abstract:
We derive a residual-based a posteriori error estimator for the conforming hp-Adaptive Finite Element Method (hp-AFEM) for the steady state Stokes problem describing the slow motion of an incompressible fluid. This error estimator is obtained by extending the idea of a posteriori error estimation for the classical $h$-version of AFEM. We also establish the reliability and efficiency of the error e…
▽ More
We derive a residual-based a posteriori error estimator for the conforming hp-Adaptive Finite Element Method (hp-AFEM) for the steady state Stokes problem describing the slow motion of an incompressible fluid. This error estimator is obtained by extending the idea of a posteriori error estimation for the classical $h$-version of AFEM. We also establish the reliability and efficiency of the error estimator. The proofs are based on the well-known Clement-type interpolation operator introduced in 2005 in the context of the hp-AFEM. Numerical experiments show the performance of an adaptive hp-FEM algorithm using the proposed a posteriori error estimator.
△ Less
Submitted 7 May, 2018;
originally announced May 2018.
-
Report on the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4)
Authors:
Daniel S. Katz,
Kyle E. Niemeyer,
Sandra Gesing,
Lorraine Hwang,
Wolfgang Bangerth,
Simon Hettrick,
Ray Idaszak,
Jean Salac,
Neil Chue Hong,
Santiago Núñez Corrales,
Alice Allen,
R. Stuart Geiger,
Jonah Miller,
Emily Chen,
Anshu Dubey,
Patricia Lago
Abstract:
This report records and discusses the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). The report includes a description of the keynote presentation of the workshop, the mission and vision statements that were drafted at the workshop and finalized shortly after it, a set of idea papers, position papers, experience papers, demos, and lightning talks, and a pa…
▽ More
This report records and discusses the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). The report includes a description of the keynote presentation of the workshop, the mission and vision statements that were drafted at the workshop and finalized shortly after it, a set of idea papers, position papers, experience papers, demos, and lightning talks, and a panel discussion. The main part of the report covers the set of working groups that formed during the meeting, and for each, discusses the participants, the objective and goal, and how the objective can be reached, along with contact information for readers who may want to join the group. Finally, we present results from a survey of the workshop attendees.
△ Less
Submitted 18 May, 2017; v1 submitted 7 May, 2017;
originally announced May 2017.
-
High Accuracy Mantle Convection Simulation through Modern Numerical Methods. II: Realistic Models and Problems
Authors:
Timo Heister,
Juliane Dannberg,
Rene Gassmöller,
Wolfgang Bangerth
Abstract:
Computations have helped elucidate the dynamics of Earth's mantle for several decades already. The numerical methods that underlie these simulations have greatly evolved within this time span, and today include dynamically changing and adaptively refined meshes, sophisticated and efficient solvers, and parallelization to large clusters of computers. At the same time, many of these methods -- discu…
▽ More
Computations have helped elucidate the dynamics of Earth's mantle for several decades already. The numerical methods that underlie these simulations have greatly evolved within this time span, and today include dynamically changing and adaptively refined meshes, sophisticated and efficient solvers, and parallelization to large clusters of computers. At the same time, many of these methods -- discussed in detail in a previous paper in this series -- were developed and tested primarily using model problems that lack many of the complexities that are common to the realistic models our community wants to solve today.
With several years of experience solving complex and realistic models, we here revisit some of the algorithm designs of the earlier paper and discuss the incorporation of more complex physics. In particular, we re-consider time step** and mesh refinement algorithms, evaluate approaches to incorporate compressibility, and discuss dealing with strongly varying material coefficients, latent heat, and how to track chemical compositions and heterogeneities. Taken together and implemented in a high-performance, massively parallel code, the techniques discussed in this paper then allow for high resolution, 3d, compressible, global mantle convection simulations with phase transitions, strongly temperature dependent viscosity and realistic material properties based on mineral physics data.
△ Less
Submitted 7 May, 2017; v1 submitted 16 February, 2017;
originally announced February 2017.
-
Flexible and scalable particle-in-cell methods for massively parallel computations
Authors:
R. Gassmoeller,
E. Heien,
E. G. Puckett,
W. Bangerth
Abstract:
Particle-in-cell methods couple mesh-based methods for the solution of continuum mechanics problems, with the ability to advect and evolve particles. They have a long history and many applications in scientific computing. However, they have most often only been implemented for either sequential codes, or parallel codes with static meshes that are statically partitioned. In contrast, many mesh-base…
▽ More
Particle-in-cell methods couple mesh-based methods for the solution of continuum mechanics problems, with the ability to advect and evolve particles. They have a long history and many applications in scientific computing. However, they have most often only been implemented for either sequential codes, or parallel codes with static meshes that are statically partitioned. In contrast, many mesh-based codes today use adaptively changing, dynamically partitioned meshes, and can scale to thousands or tens of thousands of processors. Consequently, there is a need to revisit the data structures and algorithms necessary to use particle methods with modern, mesh-based methods. Here we review commonly encountered requirements of particle-in-cell methods, and describe efficient ways to implement them in the context of large-scale parallel finite-element codes that use dynamically changing meshes. We also provide practical experience for how to address bottlenecks that impede the efficient implementation of these algorithms and demonstrate with numerical tests both that our algorithms can be implemented with optimal complexity and that they are suitable for very large-scale, practical applications. We provide a reference implementation in ASPECT, an open source code for geodynamic mantle-convection simulations built on the deal.II library.
△ Less
Submitted 10 December, 2016;
originally announced December 2016.
-
On orienting edges of unstructured two- and three-dimensional meshes
Authors:
Rainer Agelek,
Michael Anderson,
Wolfgang Bangerth,
William Barth
Abstract:
Finite element codes typically use data structures that represent unstructured meshes as collections of cells, faces, and edges, each of which require associated coordinate systems. One then needs to store how the coordinate system of each edge relates to that of neighboring cells. On the other hand, we can simplify data structures and algorithms if we can a priori orient coordinate systems in suc…
▽ More
Finite element codes typically use data structures that represent unstructured meshes as collections of cells, faces, and edges, each of which require associated coordinate systems. One then needs to store how the coordinate system of each edge relates to that of neighboring cells. On the other hand, we can simplify data structures and algorithms if we can a priori orient coordinate systems in such a way that the coordinate systems on the edges follows uniquely from those on the cells \textit{by rule}.
Such rules require that \textit{every} unstructured mesh allows assigning directions to edges that satisfy the convention in adjacent cells. We show that the convention chosen for unstructured quadrilateral meshes in the \texttt{deal.II} library always allows to orient meshes. It can therefore be used to make codes simpler, faster, and less bug prone. We present an algorithm that orients meshes in $O(N)$ operations. We then show that consistent orientations are not always possible for 3d hexahedral meshes. Thus, cells generally need to store the direction of adjacent edges, but our approach also allows the characterization of cases where this is not necessary. The 3d extension of our algorithm either orients edges consistently, or aborts, both within $O(N)$ steps.
△ Less
Submitted 18 October, 2016; v1 submitted 7 December, 2015;
originally announced December 2015.
-
Clone and graft: Testing scientific applications as they are built
Authors:
Bruno Turcksin,
Timo Heister,
Wolfgang Bangerth
Abstract:
This article describes our experience develo** and maintaining automated tests for scientific applications. The main idea evolves around building on already existing tests by cloning and grafting. The idea is demonstrated on a minimal model problem written in Python.
This article describes our experience develo** and maintaining automated tests for scientific applications. The main idea evolves around building on already existing tests by cloning and grafting. The idea is demonstrated on a minimal model problem written in Python.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
The deal.II Library, Version 8.1
Authors:
Wolfgang Bangerth,
Timo Heister,
Luca Heltai,
Guido Kanschat,
Martin Kronbichler,
Matthias Maier,
Bruno Turcksin,
Toby D. Young
Abstract:
This paper provides an overview of the new features of the finite element library deal.II version 8.1.
This paper provides an overview of the new features of the finite element library deal.II version 8.1.
△ Less
Submitted 31 December, 2013; v1 submitted 8 December, 2013;
originally announced December 2013.
-
Reconstructions in Ultrasound Modulated Optical Tomography
Authors:
Moritz Allmaras,
Wolfgang Bangerth
Abstract:
We introduce a mathematical model for ultrasound modulated optical tomography and present a simple reconstruction scheme for recovering the spatially varying optical absorption coefficient from scanning measurements with narrowly focused ultrasound signals. Computational results for this model show that the reconstruction of sharp features of the absorption coefficient is possible. A formal linear…
▽ More
We introduce a mathematical model for ultrasound modulated optical tomography and present a simple reconstruction scheme for recovering the spatially varying optical absorption coefficient from scanning measurements with narrowly focused ultrasound signals. Computational results for this model show that the reconstruction of sharp features of the absorption coefficient is possible. A formal linearization of the model leads to an equation with a Fredholm operator, which explains the stability observed in our numerical experiments.
△ Less
Submitted 9 April, 2010; v1 submitted 15 October, 2009;
originally announced October 2009.
