Devito (v3.1.0): an embedded domain-specific language for finite differences and geophysical exploration

@article{Louboutin2018DevitoA,
  title={Devito (v3.1.0): an embedded domain-specific language for finite
differences and geophysical exploration},
  author={Mathias Louboutin and Michael Lange and Fabio Luporini and Navjot Kukreja and Philipp A. Witte and F. Herrmann and Paulius Velesko and Gerard Gorman},
  journal={arXiv: Discrete Mathematics},
  year={2018}
}
Abstract. We introduce Devito, a new domain-specific language for implementing high-performance finite difference partial differential equation solvers. The motivating application is exploration seismology where methods such as Full-Waveform Inversion and Reverse-Time Migration are used to invert terabytes of seismic data to create images of the earth's subsurface. Even using modern supercomputers, it can take weeks to process a single seismic survey and create a useful subsurface image. The… 

Scaling through abstractions - high-performance vectorial wave simulations for seismic inversion with Devito

TLDR
The generation and simulation of MPI-parallel propagators (along with their adjoints) for the pseudo-acoustic wave-equation in tilted transverse isotropic media and the elastic wave-Equation are presented, demonstrating Devito's suitability for production-grade seismic inversion problems.

A large-scale framework for symbolic implementations of seismic inversion algorithms in Julia

Writing software packages for seismic inversion is a very challenging task because problems such as full-waveform inversion or least-squares imaging are algorithmically and computationally demanding

Effectiveness and computational efficiency of absorbing boundary conditions for full-waveform inversion

Abstract. Full-waveform inversion (FWI) is a high-resolution numerical technique for seismic waves used to estimate the physical characteristics of a subsurface region. The continuous problem

spyro: a Firedrake-based wave propagation and full waveform inversion finite element solver

In this article, we introduce spyro, a software stack to solve acoustic wave propagation in heterogeneous domains and perform full waveform inversion (FWI) employing the finite element framework from

Minimod: A Finite Difference solver for Seismic Modeling

TLDR
The purpose is to provide a benchmark suite that is easy to build and adapt to the state of the art in programming models and changing high performance hardware landscape, and to have a proxy application to actual production geophysical exploration workloads for Oil & Gas exploration, and other geosciences applications based on the wave equation.

Full waveform inversion using triangular waveform adapted meshes

In this article, continuous Galerkin finite elements are applied to perform full waveform inversion (FWI) for seismic velocity model building. A time-domain FWI approach is detailed that uses meshes

Wave-equation-based inversion with amortized variational Bayesian inference

Solving inverse problems involving measurement noise and modeling errors re-quires regularization in order to avoid data overfit. Geophysical inverse problems, in which the Earth’s highly

Compressive least-squares migration with on-the-fly Fourier transforms

TLDR
This work introduces an algorithm for low-cost sparsity-promoting least-squares migration using on the-fly Fourier transforms to formulate the least-Squares migration objective function.

Temporal blocking of finite-difference stencil operators with sparse “off-the-grid” sources

TLDR
This work proposes a methodology to inspect data dependencies and reorder the computation, leading to performance gains in stencil codes where temporal blocking has not been applicable, and implements this novel scheme in the Devito domain-specific compiler toolchain.
...

References

SHOWING 1-10 OF 113 REFERENCES

A large-scale framework for symbolic implementations of seismic inversion algorithms in Julia

Writing software packages for seismic inversion is a very challenging task because problems such as full-waveform inversion or least-squares imaging are algorithmically and computationally demanding

An overview of full-waveform inversion in exploration geophysics

TLDR
This review attempts to illuminate the state of the art of FWI by building accurate starting models with automatic procedures and/or recording low frequencies, and improving computational efficiency by data-compression techniquestomake3DelasticFWIfeasible.

Solving 3D anisotropic elastic wave equations on parallel GPU devices

TLDR
A 3D finite-difference time-domain solver using a second-order temporal and eighth-order spatial accuracy stencil that leverages the massively parallel architecture of graphics processing units (GPUs) to accelerate the computation of key kernels is tested.

Automated derivation of the adjoint of high-level transient finite element programs

TLDR
A new technique for deriving discrete adjoint and tangent linear models of a finite element model using the FEniCS finite element form compiler, which is significantly more efficient and automatic than standard algorithmic differentiation techniques.

Constraints versus penalties for edge-preserving full-waveform inversion

TLDR
By demonstrating the lack of predictability of edge-preserving inversion when the regularization is in the form of an added penalty term, this work advocates the inclusion of constraints instead of adding penalties to the objective.

Implementation of the Kirchhoff integral for elastic waves in staggered‐grid modeling schemes

Implementation of boundary conditions in finite-difference schemes is not straightforward for the elastic wave equation if a staggered grid formulation is used. Reverse time migration of VSP data

Optimised finite difference computation from symbolic equations

TLDR
This paper introduces Devito, an open-source domain-specific framework for solving partial differential equations from symbolic problem definitions by the finite difference method and highlights the generation and automated execution of highly optimized stencil code from only a few lines of high-level symbolic Python for a set of scientific equations.

Full-waveform inversion, Part 1: Forward modeling

TLDR
This work provides a hands-on walkthrough of FWI using Devito (Lange et al., 2016), a system based on domain-specific languages that automatically generates code for time-domain finite differences.

From modelling to inversion: designing a well‐adapted simulator

This paper describes a few mild design constraints that permit rapid adaptation of the modelling code for linear wave propagation to imaging/inversion or design optimization applications, retaining
...