SearcharxivSearch

arXiv subjects

Oleg Iliev

Publications and source records attributed to Oleg Iliev.

15 recordsLinked to original sources

Learning from Linear Algebra: A Graph Neural Network Approach to Preconditioner Design for Conjugate Gradient Solvers

Large linear systems are ubiquitous in modern computational science and engineering. The main recipe for solving them is the use of Krylov subspace iterative methods with well-designed preconditioners. Recently, GNNs have been shown to be a promising tool for designing preconditioners to reduce the overall computational cost of iterative methods by constructing them more efficiently than with classical linear algebra techniques. Preconditioners designed with these approaches cannot outperform those designed with classical methods in terms of the number of iterations in CG. In our work, we recall well-established preconditioners from linear algebra and use them as a starting point for training the GNN to obtain preconditioners that reduce the condition number of the system more significantly than classical preconditioners. Numerical experiments show that our approach outperforms both classical and neural network-based methods for an important class of parametric partial differential equations. We also provide a heuristic justification for the loss function used and show that preconditioners obtained by learning with this loss function reduce the condition number in a more desirable way for CG.

cs.LG

ConDiff: A Challenging Dataset for Neural Solvers of Partial Differential Equations

We present ConDiff, a novel dataset for scientific machine learning. ConDiff focuses on the parametric diffusion equation with space dependent coefficients, a fundamental problem in many applications of partial differential equations (PDEs). The main novelty of the proposed dataset is that we consider discontinuous coefficients with high contrast. These coefficient functions are sampled from a selected set of distributions. This class of problems is not only of great academic interest, but is also the basis for describing various environmental and industrial problems. In this way, ConDiff shortens the gap with real-world problems while remaining fully synthetic and easy to use. ConDiff consists of a diverse set of diffusion equations with coefficients covering a wide range of contrast levels and heterogeneity with a measurable complexity metric for clearer comparison between different coefficient functions. We baseline ConDiff on standard deep learning models in the field of scientific machine learning. By providing a large number of problem instances, each with its own coefficient function and right-hand side, we hope to encourage the development of novel physics-based deep learning approaches, such as neural operators, ultimately driving progress towards more accurate and efficient solutions of complex PDE problems.

cs.LG

Greedy Kernel Methods for Approximating Breakthrough Curves for Reactive Flow from 3D Porous Geometry Data

We address the challenging application of 3D pore scale reactive flow under varying geometry parameters. The task is to predict time-dependent integral quantities, i.e., breakthrough curves, from the given geometries. As the 3D reactive flow simulation is highly complex and computationally expensive, we are interested in data-based surrogates that can give a rapid prediction of the target quantities of interest. This setting is an example of an application with scarce data, i.e., only having available few data samples, while the input and output dimensions are high. In this scarce data setting, standard machine learning methods are likely to ail. Therefore, we resort to greedy kernel approximation schemes that have shown to be efficient meshless approximation techniques for multivariate functions. We demonstrate that such methods can efficiently be used in the high-dimensional input/output case under scarce data. Especially, we show that the vectorial kernel orthogonal greedy approximation (VKOGA) procedure with a data-adapted two-layer kernel yields excellent predictors for learning from 3D geometry voxel data via both morphological descriptors or principal component analysis.

math.NA

On the efficient preconditioning of the Stokes equations in tight geometries

If the Stokes equations are properly discretized, it is known that the Schur complement matrix is spectrally equivalent to the identity matrix. Moreover, in the case of simple geometries, it is often observed that most of its eigenvalues are equal to one. These facts form the basis for the famous Uzawa algorithm. Despite recent progress in developing efficient iterative methods for solving the Stokes problem, the Uzawa algorithm remains popular in science and engineering, especially when accelerated by Krylov subspace methods. However, in complex geometries, the Schur complement matrix can become severely ill-conditioned, having a significant portion of non-unit eigenvalues. This makes the established Uzawa preconditioner inefficient. To explain this behaviour, we examine the Pressure Schur Complement formulation for the staggered finite-difference discretization of the Stokes equations. Firstly, we conjecture that the no-slip boundary conditions are the reason for non-unit eigenvalues of the Schur complement matrix. Secondly, we demonstrate that its condition number increases with increasing the surface-to-volume ratio of the flow domain. As an alternative to the Uzawa preconditioner, we propose using the diffusive SIMPLE preconditioner for geometries with a large surface-to-volume ratio. We show that the latter is much more fast and robust for such geometries. Furthermore, we show that the usage of the SIMPLE preconditioner leads to more accurate practical computation of the permeability of tight porous media. Keywords: Stokes problem, tight geometries, computing permeability, preconditioned Krylov subspace methods

math.NA

On the structure of the Schur complement matrix for the Stokes equation

In this paper, we investigate the structure of the Schur complement matrix for the fully-staggered finite-difference discretization of the stationary Stokes equation. Specifically, we demonstrate that the structure of the Schur complement matrix depends qualitatively on a particular characteristic, namely the number of non-unit eigenvalues, and the two limiting cases are of special interest.

math.NA

Machine learning methods for prediction of breakthrough curves in reactive porous media

Reactive flows in porous media play an important role in our life and are crucial for many industrial, environmental and biomedical applications. Very often the concentration of the species at the inlet is known, and the so-called breakthrough curves, measured at the outlet, are the quantities which could be measured or computed numerically. The measurements and the simulations could be time-consuming and expensive, and machine learning and Big Data approaches can help to predict breakthrough curves at lower costs. Machine learning (ML) methods, such as Gaussian processes and fully-connected neural networks, and a tensor method, cross approximation, are well suited for predicting breakthrough curves. In this paper, we demonstrate their performance in the case of pore scale reactive flow in catalytic filters.

physics.flu-dyn

On the Performance of Machine Learning Methods for Breakthrough Curve Prediction

Reactive flows are important part of numerous technical and environmental processes. Often monitoring the flow and species concentrations within the domain is not possible or is expensive, in contrast, outlet concentration is straightforward to measure. In connection with reactive flows in porous media, the term breakthrough curve is used to denote the time dependency of the outlet concentration with prescribed conditions at the inlet. In this work we apply several machine learning methods to predict breakthrough curves from the given set of parameters. In our case the parameters are the Damköhler and Peclet numbers. We perform a thorough analysis for the one-dimensional case and also provide the results for the three-dimensional case.

physics.flu-dyn

On a workflow for efficient computation of the permeability of tight sandstones

The paper presents a workflow for fast pore-scale simulation of single-phase flow in tight reservoirs typically characterized by low, multiscale porosity. Multiscale porosity implies that the computational domain contains porous voxels (unresolved porosity) in addition to pure fluid voxels. In this case, the Stokes-Brinkman equations govern the flow, with the Darcy term needed to account for the flow in the porous voxels. As the central part of our workflow, robust and efficient solvers for Stokes and Stokes-Brinkman equations are presented. The solvers are customized for low-porosity binary and multiclass images, respectively. Another essential component of the workflow is a preprocessing module for classifying images with respect to the connectivity of the multiscale pore space. Particularly, an approximation of the Stokes-Brinkman problem, namely, the Darcy problem, is investigated for the images that do not have pure fluid percolation paths. Thorough computational experiments demonstrate efficiency and robustness of the workflow for simulations on images from tight reservoirs. Raw files describing the used CT images are provided as supplementary materials to enable other researchers to use them.

math.NA

Modified Bee Colony optimization algorithm for computational parameter identification for pore scale transport in periodic porous media

This paper discusses an optimization method called Modified Bee Colony algorithm (MBC) based on a particular intelligent behavior of honeybee swarms. The algorithm was checked in a few benchmarks like Shekel, Rozenbroke, Himmelblau and Rastrigin functions, then was applied to parameter identification for reactive flow problems in periodic porous media. The simulation results show that the performance and efficiency of MBC algorithm are comparable to the other parameter identification methods and strategies, at the same time it is able to better capture local minima for the considered class of problems. The proposed identification approach is applicable for different geometries (random and periodic) and for a range of process parameters. In this paper the potential of the approach is demonstrated in identifying parameters of Langmuir isotherm for low Peclet and high Damkoler numbers reactive flow in a 2D periodic porous media with circular inclusions. Finite element approximation in space and implicit time discretization are exploited.

cs.CE

Computational identification of adsorption and desorption parameters for pore scale transport in periodic porous media

Computational identification of unknown adsorption and desorption rates is discussed in conjunction with reactive flow considered at pore scale. The reactive transport is governed by incompressible Stokes equations, coupled with convection-diffusion equation for species transport. The surface reactions, namely adsorption and desorption, are accounted via Robin boundary conditions. Henry and Langmuir isotherms are considered. Measured concentration of the specie at the outlet of the domain has to be provided to carry out the identification procedure. Deterministic and stochastic parameter identification approaches are considered. The influence of the noise in the measurements on the accuracy of the identified parameters is discussed. Multistage identification procedure is suggested for the considered class of problems. The proposed identification approach is applicable for different geometries (random and periodic) and for a range of process parameters. In this paper the potential of the approach is demonstrated in identifying parameters of Langmuir isotherm for low Peclet and low Damkoler numbers reactive flow in a 2D periodic porous media with circular inclusions. Simulation results for random porous media and other regime parameters are subject of follow up papers. Finite element approximation in space and implicit time discretization are exploited.

math.NA

Exa-Dune -- Flexible PDE Solvers, Numerical Methods and Applications

In the Exa-Dune project we have developed, implemented and optimised numerical algorithms and software for the scalable solution of partial differential equations (PDEs) on future exascale systems exhibiting a heterogeneous massively parallel architecture. In order to cope with the increased probability of hardware failures, one aim of the project was to add flexible, application-oriented resilience capabilities into the framework. Continuous improvement of the underlying hardware-oriented numerical methods have included GPU-based sparse approximate inverses, matrix-free sum-factorisation for high-order discontinuous Galerkin discretisations as well as partially matrix-free preconditioners. On top of that, additional scalability is facilitated by exploiting massive coarse grained parallelism offered by multiscale and uncertainty quantification methods where we have focused on the adaptive choice of the coarse/fine scale and the overlap region as well as the combination of local reduced basis multiscale methods and the multilevel Monte-Carlo algorithm. Finally, some of the concepts are applied in a land-surface model including subsurface flow and surface runoff.

cs.MS

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

Numerical simulation of oxidation processes in a cross-flow around tube bundles

An oxidation process is simulated for a bundle of metal tubes in a cross-flow. A fluid flow is governed by the incompressible Navier-Stokes equations. To describe the transport of oxygen, the corresponding convection-diffusion equation is applied. The key point of the model is related to the description of oxidation processes taking into account the growth of a thin oxide film in the quasi-stationary approximation. Mathematical modeling of oxidant transport in a tube bundle is carried out in the 2D approximation. The numerical algorithm employed in the work is based on the finite-element discretization in space and the fully implicit discretization in time. The tube rows of a bundle can be either in-line or staggered in the direction of the fluid flow velocity. The growth of the oxide film on tube walls is predicted for various bundle structures using the developed oxidation model.

cs.CE

On pore-scale modeling and simulation of reactive transport in 3D geometries

Pore-scale modeling and simulation of reactive flow in porous media has a range of diverse applications, and poses a number of research challenges. It is known that the morphology of a porous medium has significant influence on the local flow rate, which can have a substantial impact on the rate of chemical reactions. While there are a large number of papers and software tools dedicated to simulating either fluid flow in 3D computerized tomography (CT) images or reactive flow using pore-network models, little attention to date has been focused on the pore-scale simulation of sorptive transport in 3D CT images, which is the specific focus of this paper. Here we first present an algorithm for the simulation of such reactive flows directly on images, which is implemented in a sophisticated software package. We then use this software to present numerical results in two resolved geometries, illustrating the importance of pore-scale simulation and the flexibility of our software package.

cs.CE