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

PE Farrell, DA Ham, SW Funke, ME Rognes - SIAM Journal on Scientific …, 2013 - SIAM
In this paper we demonstrate a new technique for deriving discrete adjoint and tangent
linear models of a finite element model. The technique is significantly more efficient and …

An introduction to algorithmic differentiation

AH Gebremedhin, A Walther - Wiley Interdisciplinary Reviews …, 2020 - Wiley Online Library
Algorithmic differentiation (AD), also known as automatic differentiation, is a technology for
accurate and efficient evaluation of derivatives of a function given as a computer model. The …

Wavefield reconstruction in attenuating media: A checkpointing-assisted reverse-forward simulation method

P Yang, R Brossier, L Métivier, J Virieux - Geophysics, 2016 - pubs.geoscienceworld.org
Three-dimensional implementations of reverse time migration (RTM) and full-waveform
inversion (FWI) require efficient schemes to access the incident field to apply the imaging …

A framework for automated PDE-constrained optimisation

SW Funke, PE Farrell - arXiv preprint arXiv:1302.3894, 2013 - arxiv.org
A generic framework for the solution of PDE-constrained optimisation problems based on
the FEniCS system is presented. Its main features are an intuitive mathematical interface, a …

PETSc TSAdjoint: a discrete adjoint ODE solver for first-order and second-order sensitivity analysis

H Zhang, EM Constantinescu, BF Smith - SIAM Journal on Scientific …, 2022 - SIAM
We present a new software system, PETSc TSAdjoint, for first-order and second-order
adjoint sensitivity analysis of time-dependent nonlinear differential equations. The derivative …

Optimal multistage algorithm for adjoint computation

G Aupy, J Herrmann, P Hovland, Y Robert - SIAM Journal on Scientific …, 2016 - SIAM
We reexamine the work of Stumm and Walther on multistage algorithms for adjoint
computation. We provide an optimal algorithm for this problem when there are two levels of …

Asynchronous two-level checkpointing scheme for large-scale adjoints in the spectral-element solver Nek5000

M Schanen, O Marin, H Zhang, M Anitescu - Procedia Computer Science, 2016 - Elsevier
Adjoints are an important computational tool for large-scale sensitivity evaluation,
uncertainty quantification, and derivative-based optimization. An essential component of …

Optimal checkpointing for adjoint multistage time-stepping schemes

H Zhang, EM Constantinescu - Journal of Computational Science, 2023 - Elsevier
We consider checkpointing strategies that minimize the number of recomputations needed
when performing discrete adjoint computations using multistage time-stepping schemes that …

New algorithms for optimal online checkpointing

P Stumm, A Walther - SIAM Journal on Scientific Computing, 2010 - SIAM
Frequently, the computation of derivatives for optimizing time-dependent problems is based
on the integration of the adjoint differential equation. For this purpose, the knowledge of the …

[HTML][HTML] 基于插值原理的检查点技术波场重构与叠前逆时偏移

陈桂廷, 王真理 - 地球物理学报, 2018 - html.rhhz.net
叠前逆时偏移等基于波场互相关原理的地球物理方法存在极大的计算与存储需求,
因此采用合适的波场重构方法显得尤为重要. 常规的随机边界法容易产生成像噪声 …