Automated derivation of the adjoint of high-level transient finite element programs
From MaRDI portal
Abstract: In this paper we demonstrate a new technique for deriving discrete adjoint and tangent linear models of finite element models. The technique is significantly more efficient and automatic than standard algorithmic differentiation techniques. The approach relies on a high-level symbolic representation of the forward problem. In contrast to developing a model directly in Fortran or C++, high-level systems allow the developer to express the variational problems to be solved in near-mathematical notation. As such, these systems have a key advantage: since the mathematical structure of the problem is preserved, they are more amenable to automated analysis and manipulation. The framework introduced here is implemented in a freely available software package named dolfin-adjoint, based on the FEniCS Project. Our approach to automated adjoint derivation relies on run-time annotation of the temporal structure of the model, and employs the FEniCS finite element form compiler to automatically generate the low-level code for the derived models. The approach requires only trivial changes to a large class of forward models, including complicated time-dependent nonlinear models. The adjoint model automatically employs optimal checkpointing schemes to mitigate storage requirements for nonlinear models, without any user management or intervention. Furthermore, both the tangent linear and adjoint models naturally work in parallel, without any need to differentiate through calls to MPI or to parse OpenMP directives. The generality, applicability and efficiency of the approach are demonstrated with examples from a wide range of scientific applications.
Recommendations
Cited in
(58)- Topology optimization of Stokes flow on dynamic meshes using simple optimizers
- Rapid development and adjoining of transient finite element models
- Geometric MCMC for infinite-dimensional inverse problems
- Tikhonov regularization of optimal control problems governed by semi-linear partial differential equations
- Identification of the anti-diffusion coefficient for the linear Kuramoto-Sivashinsky equation
- Adjoint optimization of pressurized membrane structures using automatic differentiation tools
- Metrics for performance quantification of adaptive mesh refinement
- Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation
- Time varying control of magnetohydrodynamic duct flow
- Optimal control of the Sabatier process in microchannel reactors
- A note on a bilevel problem for parameter learning for inverse problems with the wave equation
- Exploration of anisotropic design space by using unified Taylor-cokriging method
- An open-source framework for coupling non-matching isogeometric shells with application to aerospace structures
- Physics constrained learning for data-driven inverse modeling from sparse observations
- Topology optimization based on a two-dimensional swirl flow model of tesla-type pump devices
- Determining the optimal parameters for the MHD flow and heat transfer with variable viscosity and Hall effect
- Quantifying the uncertainty in a hyperelastic soft tissue model with stochastic parameters
- Accelerating Monte Carlo estimation with derivatives of high-level finite element models
- Reconstructing wave profiles from inundation data
- Topology optimization of turbulent flows
- Non-homogeneous boundary value problems for some KdV-type equations on a finite interval: a numerical approach
- Optimal experiment design for a bottom friction parameter estimation problem
- Optimal control for a coupled spin-polarized current and magnetization system
- Cross-mode stabilized stochastic shallow water systems using stochastic finite element methods
- Sample average approximations of strongly convex stochastic programs in Hilbert spaces
- Adjoint-based sensitivity analysis of viscoelastic fluids at a low Deborah number
- Higher-order moving mesh methods for PDE-constrained shape optimization
- Weak and strong form shape hessians and their automatic generation
- \texttt{trlib}: a vector-free implementation of the GLTR method for iterative solution of the trust region problem
- Controlling the Power-Law Fluid Flow and Heat Transfer Under the External Magnetic Field Using the Flow Index and the Hartmann Number
- Control of bifurcation structures using shape optimization
- \texttt{PETSc TSAdjoint}: a discrete adjoint ODE solver for first-order and second-order sensitivity analysis
- An approximation scheme for distributionally robust PDE-constrained optimization
- Automated calculation of higher order partial differential equation constrained derivative information
- Unified embedded parallel finite element computations via software-based Fréchet differentiation
- Automated adjoints of coupled PDE-ODE systems
- Adjoint-based optimization for rigid body motion in multiphase Navier-Stokes flow
- A framework for the automation of generalized stability theory
- Unified form language: a domain-specific language for weak formulations of partial differential equations
- Optimal placement of the multiple magnetic sources for the MHD flow in a rectangular duct
- Principled interpolation of Green's functions learned from data
- Optimization of Hopf Bifurcation Points
- A robust, discrete-gradient descent procedure for optimisation with time-dependent PDE and norm constraints
- Topology optimization applied to the design of Tesla-type turbine devices
- Waterscales: mathematical and computational foundations for modelling cerebral fluid flow
- Derivative-informed neural operator: an efficient framework for high-dimensional parametric derivative learning
- Estimation of oil reservoir transmissivity and storativity fields using a radial basis function network based on inverse problem solving
- Numerical methods for shape optimal design of fluid-structure interaction problems
- Identifying the mixed and forced convection flow with transverse magnetic field
- Well-posedness and numerical solver for a KPI equation with time-dependent coefficients
- An inverse problem for a linear system of dispersive equations
- Medical image registration using optimal control of a linear hyperbolic transport equation with a DG discretization
- Topology optimization for flow machine rotor design considering resonance and low mass density flows
- Criticality measure-based error estimates for infinite dimensional optimization
- Optimization with equality and inequality constraints using parameter continuation
- Variational Inference Using a Differentiable Multigrid Linear Solver
- Batched Wavefront Sweeps for Linear Transport Uncertainty Quantification
- Reconstruction of a space-dependent coefficient in a linear Benjamin-Bona-Mahony type equation
This page was built for publication: Automated derivation of the adjoint of high-level transient finite element programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2855671)
