arXiv ScienceSearch

arXiv subjects

Stephan Rave

Publications and source records attributed to Stephan Rave.

At least 19 recordsLinked to original sources

Data-Driven Model Order Reduction with pyMOR

pyMOR is a free and open-source software library of model order reduction algorithms for the Python programming language. Designed with classical model-based reduction methods for large-scale parametric partial differential equation problems in mind, algorithms in pyMOR are implemented in terms of operations on abstract VectorArray, Operator and Model interfaces, allowing for a seamless integration with external solver codes implementing the full-order model. For cases where a tight integration with the full-order model code is not feasible, data-driven model order reduction algorithms, which only require simulation or measurement data of the full-order model, are an attractive alternative. In this work we discuss the data-driven methods that have been recently added to pyMOR, show practical examples of their application using pyMOR and compare their performance with classical model-based methods. We show that pyMOR serves as a unified framework for combining model-based and data-driven methods, enabling the construction of flexible and efficient hierarchical model reduction pipelines.

cs.MS

MaRDI Open Interfaces for Interoperable Nonlinear Optimization

MaRDI Open Interfaces is a software package that aims to improve interoperability in scientific computing, particularly, for nonlinear optimization. To this end, this package holds two main characteristics. First, it provides unified interfaces for typical numerical problems to help switching between solvers for the same problem type. Second, it automates data marshalling between programming languages. Hence, computational scientists can conduct experiments faster by using the package, with fewer code-modification and testing efforts. In this work we describe the general structure of the software package and show examples with the interface for nonlinear optimization.

cs.MS

Software package MaRDI Open Interfaces for improved interoperability in numerical optimization

To address the challenges of interoperability in computational science, we present the latest updates to the software package MaRDI Open Interfaces. This software package aims to decrease the time and coding/testing efforts spent by computational scientists on tasks such as writing bindings to numerical solvers and adapting experiment codes to the varying interfaces of solvers for the same problem type (e.g., for benchmarking, which solver is better). By streamlining these tasks, this software package helps researchers focus on the actual essence of their computational projects. Here, we demonstrate a recently developed interface for nonlinear optimization and illustrate how it can be applied for computational experiments with optimization problems. As an example of such problem, we consider training of physics-informed neural networks to predict the solutions of viscous Burgers' equation.

cs.MS

A Parareal Algorithm with Low-Rank Coarse Solvers

We consider a new class of Parareal algorithms, which use ideas from localized reduced basis methods to construct the coarse solver from truncated SVD approximations of the transfer operators mapping initial values for a given time interval to the solution at the end of the interval. By leveraging randomized singular value decompositions, these low-rank approximations are obtained embarrassingly parallel by computing local fine solutions for random initial values. We show a priori and a posteriori error bounds in terms of the computed singular values of the transfer operators. Our numerical experiments demonstrate that our approach can significantly outperform Parareal with single-step coarse solvers. At the same time, it permits to further increase parallelism in Parareal by trading global iterations for a larger number of independent local solves.

math.NA

Improving Interoperability in Scientific Computing via MaRDI Open Interfaces

MaRDI Open Interfaces is a software project aimed at improving reuse and interoperability in Scientific Computing by alleviating the difficulties of crossing boundaries between different programming languages, in which numerical packages are usually implemented, and of switching between multiple implementations of the same mathematical problem. The software consists of a set of formal interface specifications for common Scientific Computing tasks, as well as a set of loosely coupled libraries that facilitate implementing these interfaces or adapting existing implementations for multiple programming languages and handle data marshalling automatically without sacrificing performance, enabling users to use different implementations without significant code efforts. The software has high reuse potential due to aim to solve general numerical problems.

cs.MS

A Parareal algorithm without Coarse Propagator?

The Parareal algorithm was invented in 2001 in order to parallelize the solution of evolution problems in the time direction. It is based on parallel fine time propagators called F and sequential coarse time propagators called G, which alternatingly solve the evolution problem and iteratively converge to the fine solution. The coarse propagator G is a very important component of Parareal, as one sees in the convergence analyses. We present here for the first time a Parareal algorithm without coarse propagator, and explain why this can work very well for parabolic problems. We give a new convergence proof for coarse propagators approximating in space, in contrast to the more classical coarse propagators which are approximations in time, and our proof also applies in the absence of the coarse propagator. We illustrate our theoretical results with numerical experiments, and also explain why this approach can not work for hyperbolic problems.

math.NA

Nonlinear Model Order Reduction using Diffeomorphic Transformations of a Space-Time Domain

In many applications, for instance when describing dynamics of fluids or gases, hyperbolic conservation laws arise naturally in the modeling of conserved quantities of a system, like mass or energy. These types of equations exhibit highly nonlinear behaviors like shock formation or shock interaction. In the case of parametrized hyperbolic equations, where, for instance, varying transport velocities are considered, these nonlinearities and strong transport effects result in a highly nonlinear solution manifold. This solution manifold cannot be approximated properly by linear subspaces. To this end, nonlinear approaches for model order reduction of hyperbolic conservation laws are required. We propose a new method for nonlinear model order reduction that is especially well-suited for hyperbolic equations with discontinuous solutions. The approach is based on a space-time discretization and employs diffeomorphic transformations of the underlying space-time domain to align the discontinuities. To derive a reduced model for the diffeomorphisms, the Lie group structure of the diffeomorphism group is used to associate diffeomorphisms with corresponding velocity fields via the exponential map. In the linear space of velocity fields, standard model order reduction techniques, such as proper orthogonal decomposition, can be applied to extract a reduced subspace. For a parametrized Burgers' equation with two merging shocks, numerical experiments show the potential of the approach.

math.NA

An Online Efficient Two-Scale Reduced Basis Approach for the Localized Orthogonal Decomposition

We are concerned with employing Model Order Reduction (MOR) to efficiently solve parameterized multiscale problems using the Localized Orthogonal Decomposition (LOD) multiscale method. Like many multiscale methods, the LOD follows the idea of separating the problem into localized fine-scale subproblems and an effective coarse-scale system derived from the solutions of the local problems. While the Reduced Basis (RB) method has already been used to speed up the solution of the fine-scale problems, the resulting coarse system remained untouched, thus limiting the achievable speed up. In this work we address this issue by applying the RB methodology to a new two-scale formulation of the LOD. By reducing the entire two-scale system, this two-scale Reduced Basis LOD (TSRBLOD) approach, yields reduced order models that are completely independent from the size of the coarse mesh of the multiscale approach, allowing an efficient approximation of the solutions of parameterized multiscale problems even for very large domains. A rigorous and efficient a posteriori estimator bounds the model reduction error, taking into account the approximation error for both the local fine-scale problems and the global coarse-scale system.

math.NA

Distributed model order reduction of a model for microtubule-based cell polarization using HAPOD

In this contribution we investigate in mathematical modeling and efficient simulation of biological cells with a particular emphasis on effective modeling of structural properties that originate from active forces generated from polymerization and depolymerization of cytoskeletal components. In detail, we propose a nonlinear continuum approach to model microtubule-based forces which have recently been established as central components of cell mechanics during early fruit fly wing development. The model is discretized in space using the finite-element method. Although the individual equations are decoupled by a semi-implicit time discretization, the discrete model is still computationally demanding. In addition, the parameters needed for the effective model equations are not easily available and have to be estimated or determined by repeatedly solving the model and fitting the results to measurements. This drastically increases the computational cost. Reduced basis methods have been used successfully to speed up such repeated solves, often by several orders of magnitude. However, for the complex nonlinear models regarded here, the application of these model order reduction methods is not always straight-forward and comes with its own set of challenges. In particular, subspace construction using the Proper Orthogonal Decomposition (POD) becomes prohibitively expensive for reasonably fine grids. We thus propose to combine the Hierarchical Approximate POD, which is a general, easy-to-implement approach to compute an approximate POD, with an Empirical Interpolation Method to efficiently generate a fast to evaluate reduced order model. Numerical experiments are given to demonstrate the applicability and efficiency of the proposed modeling and simulation approach.

math.NA

Localized Reduced Basis Additive Schwarz Methods

Reduced basis methods build low-rank approximation spaces for the solution sets of parameterized PDEs by computing solutions of the given PDE for appropriately selected snapshot parameters. Localized reduced basis methods reduce the offline cost of computing these snapshot solutions by instead constructing a global space from spatially localized less expensive problems. In the case of online enrichment, these local problems are iteratively solved in regions of high residual and correspond to subdomain solves in domain decomposition methods. We show in this note that indeed there is a close relationship between online-enriched localized reduced basis and domain decomposition methods by introducing a Localized Reduced Basis Additive Schwarz method (LRBAS), which can be interpreted as a locally adaptive multi-preconditioning scheme for the CG method.

math.NA

An Environment for Sustainable Research Software in Germany and Beyond: Current State, Open Challenges, and Call for Action

Research software has become a central asset in academic research. It optimizes existing and enables new research methods, implements and embeds research knowledge, and constitutes an essential research product in itself. Research software must be sustainable in order to understand, replicate, reproduce, and build upon existing research or conduct new research effectively. In other words, software must be available, discoverable, usable, and adaptable to new needs, both now and in the future. Research software therefore requires an environment that supports sustainability. Hence, a change is needed in the way research software development and maintenance are currently motivated, incentivized, funded, structurally and infrastructurally supported, and legally treated. Failing to do so will threaten the quality and validity of research. In this paper, we identify challenges for research software sustainability in Germany and beyond, in terms of motivation, selection, research software engineering personnel, funding, infrastructure, and legal aspects. Besides researchers, we specifically address political and academic decision-makers to increase awareness of the importance and needs of sustainable research software practices. In particular, we recommend strategies and measures to create an environment for sustainable research software, with the ultimate goal to ensure that software-driven research is valid, reproducible and sustainable, and that software is recognized as a first class citizen in research. This paper is the outcome of two workshops run in Germany in 2019, at deRSE19 - the first International Conference of Research Software Engineers in Germany - and a dedicated DFG-supported follow-up workshop in Berlin.

cs.GL

Parametric model order reduction using pyMOR

pyMOR is a free software library for model order reduction that includes both reduced basis and system-theoretic methods. All methods are implemented in terms of abstract vector and operator interfaces, which allows direct integration of pyMOR's algorithms with a wide array of external PDE solvers. In this contribution, we give a brief overview of the available methods and experimentally compare them for the parametric instationary thermal-block benchmark defined in arXiv:2003.00846.

cs.MS

Sustainable Research Software Hand-Over

Scientific software projects evolve rapidly in their initial development phase, yet at the end of a funding period, the completion of a research project, thesis, or publication, further engagement in the project may slow down or cease completely. To retain the invested effort for the sciences, this software needs to be preserved or handed over to a succeeding developer or team, such as the next generation of (PhD) students. Comparable guides provide top-down recommendations for project leads. This paper intends to be a bottom-up approach for sustainable hand-over processes from a developer's perspective. An important characteristic in this regard is the project's size, by which this guideline is structured. Furthermore, checklists are provided, which can serve as a practical guide for implementing the proposed measures.

cs.GL

A locally conservative reduced flux reconstruction for elliptic problems

In the context of model order reduction of parametric elliptic problems, we present a methodology to reconstruct a conforming flux from a given reduced solution, that is locally conservative with respect to the underlying finite element grid. All components of the procedure depend separably on the parameter and allow for further use in offline/online decomposed computations, for instance in the context of a posterior error estimation or flow problems.

math.NA

Localized model reduction for parameterized problems

In this contribution we present a survey of concepts in localized model order reduction methods for parameterized partial differential equations. The key concept of localized model order reduction is to construct local reduced spaces that have only support on part of the domain and compute a global approximation by a suitable coupling of the local spaces. In detail, we show how optimal local approximation spaces can be constructed and approximated by random sampling. An overview of possible conforming and non-conforming couplings of the local spaces is provided and corresponding localized a posteriori error estimates are derived. We introduce concepts of local basis enrichment, which includes a discussion of adaptivity. Implementational aspects of localized model reduction methods are addressed. Finally, we illustrate the presented concepts for multiscale, linear elasticity and fluid-flow problems, providing several numerical experiments. This work has been accepted as a chapter in P. Benner, S. Grivet-Talocia, A. Quarteroni, G. Rozza, W.H.A. Schilders, L.M. Sileira. Handbook on Model Order Reduction. Walter De Gruyter GmbH, Berlin, 2019+.

math.NA

Mass Conservative Reduced Order Modeling of a Free Boundary Osmotic Cell Swelling Problem

We consider model order reduction for a free boundary problem of an osmotic cell that is parameterized by material parameters as well as the initial shape of the cell. Our approach is based on an Arbitrary-Lagrangian-Eulerian description of the model that is discretized by a mass-conservative finite element scheme. Using reduced basis techniques and empirical interpolation, we construct a parameterized reduced order model in which the mass conservation property of the full-order model is exactly preserved. Numerical experiments are provided that highlight the performance of the resulting reduced order model.

math.NA

MULTIBAT: Unified workflow for fast electrochemical 3D simulations of lithium-ion cells combining virtual stochastic microstructures, electrochemical degradation models and model order reduction

We present a simulation workflow for efficient investigations of the interplay between 3D lithium-ion electrode microstructures and electrochemical performance, with emphasis on lithium plating. Our approach addresses several challenges. First, the 3D microstructures of porous electrodes are generated by a parametric stochastic model, in order to significantly reduce the necessity of tomographic imaging. Secondly, we integrate a consistent microscopic, 3D spatially-resolved physical model for the electrochemical behavior of the lithium-ion cells taking lithium plating and stripping into account. This highly non-linear mathematical model is solved numerically on the complex 3D microstructures to compute the transient cell behavior. Due to the complexity of the model and the considerable size of realistic microstructures even a single charging cycle of the battery requires several hours computing time. This renders large scale parameter studies extremely time consuming. Hence, we develop a mathematical model order reduction scheme. We demonstrate how these aspects are integrated into one unified workflow, which is a step towards computer aided engineering for the development of more efficient lithium-ion cells.

math.NA