DOLFIN: Automated Finite Element Computing
arXiv:1103.6248 · doi:10.1145/1731022.1731030
Abstract
We describe here a library aimed at automating the solution of partial differential equations using the finite element method. By employing novel techniques for automated code generation, the library combines a high level of expressiveness with efficient computation. Finite element variational forms may be expressed in near mathematical notation, from which low-level code is automatically generated, compiled and seamlessly integrated with efficient implementations of computational meshes and high-performance linear algebra. Easy-to-use object-oriented interfaces to the library are provided in the form of a C++ library and a Python module. This paper discusses the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in application code.
References in corpus (9)
- A compiler for variational forms
- Optimisations for quadrature representations of finite element tensors through automated code generation
- Efficient Assembly of H(div) and H(curl) Conforming Finite Elements
- Automating the Finite Element Method
- Automated code generation for discontinuous Galerkin methods
- Optimizing the Evaluation of Finite Element Matrices
- Efficient Compilation of a Class of Variational Forms
- Efficient Representation of Computational Meshes
- Topological Optimization of the Evaluation of Finite Element Matrices
Cited by in corpus (142)
- Firedrake: automating the finite element method by composing abstractions
- Automated derivation of the adjoint of high-level transient finite element programs
- Construction of arbitrary order finite element degree-of-freedom maps on polygonal and polyhedral cell meshes
- Hybrid FEM-NN models: Combining artificial neural networks with the finite element method
- Optimisations for quadrature representations of finite element tensors through automated code generation
- The software design of Gridap: a Finite Element package based on the Julia JIT compiler
- Microstructure synthesis using style-based generative adversarial network
- Fundamental scaling relationships revealed in the optical light curves of tidal disruption events
- pyMOR - Generic Algorithms and Interfaces for Model Order Reduction
- Constructing reparametrization invariant metrics on spaces of plane curves
- A Nitsche-based cut finite element method for a fluid--structure interaction problem
- Phase-Field Modeling of Crack Branching and Deflection in Heterogeneous Media
- Optimal control of a non-smooth semilinear elliptic equation
- SiQAD: A Design and Simulation Tool for Atomic Silicon Quantum Dot Circuits
- Optimal control with stochastic PDE constraints and uncertain controls
- A phase field model for cohesive fracture in micropolar continua
- Graph Convolutional Neural Networks for Body Force Prediction
- OpenSBLI: A framework for the automated derivation and parallel execution of finite difference solvers on a range of computer architectures
- Analysis of an interface stabilised finite element method: The advection-diffusion-reaction equation
- OpenFPM: A scalable open framework for particle and particle-mesh codes on parallel computers
- Multi-phase-field microporomechanics model for simulating ice lens growth and thaw in frozen soil
- Energy stable and momentum conserving hybrid finite element method for the incompressible Navier-Stokes equations
- Medusa: A C++ Library for solving PDEs using Strong Form Mesh-Free methods
- Textural equilibrium melt geometries around tetrakaidecahedral grains
- Skyrmions in thin films with easy-plane magnetocrystalline anisotropy
- The viscosities of partially molten materials undergoing diffusion creep
- PCPATCH: software for the topological construction of multigrid relaxation methods
- Numerical integration on GPUs for higher order finite elements
- A FEniCS-Based Programming Framework for Modeling Turbulent Flow by the Reynolds-Averaged Navier-Stokes Equations
- Modeling flow in porous media with double porosity/permeability: A stabilized mixed formulation, error analysis, and numerical solutions
- A Flexible Krylov Solver for Shifted Systems with Application to Oscillatory Hydraulic Tomography
- Skyrmion states in thin confined polygonal nanostructures
- Finite element numerical integration for first order approximations on multi-core architectures
- Bonded discrete element simulations of sea ice with non-local failure: Applications to Nares Strait
- Automated shape differentiation in the Unified Form Language
- Thermodynamically-consistent derivation and computation of twinning and fracture in brittle materials by means of phase-field approaches in the finite element method
- Tunable proximity effects and topological superconductivity in ferromagnetic hybrid nanowires
- Vectorized OpenCL implementation of numerical integration for higher order finite elements
- Towards out of distribution generalization for problems in mechanics
- Modeling fast acoustic streaming: steady state and transient flow solutions
- Q-tensor model for electrokinetics in nematic liquid crystals
- High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling
- Three-field block-preconditioners for models of coupled magma/mantle dynamics
- Total variation regularization of multi-material topology optimization
- Acousto-Electric Tomography with Total Variation Regularization
- Effects of the electrostatic environment on superlattice Majorana nanowires
- Convergence rates of the DPG method with reduced test space degree
- A robust adaptive algebraic multigrid linear solver for structural mechanics
- Interpolation-based immersed finite element and isogeometric analysis
- On Axisymmetric and Stationary Solutions of the Self-Gravitating Vlasov System
- Giant reduction of thermal conductivity in twinning superlattice InAsSb nanowires
- Energy consistent discontinuous Galerkin methods for a quasi-incompressible diffuse two phase flow model
- A comparative study of structural similarity and regularization for joint inverse problems governed by PDEs
- SELCIE: A tool for investigating the chameleon field of arbitrary sources
- Fully Parallel Mesh I/O using PETSc DMPlex with an Application to Waveform Modeling
- Discontinuous Galerkin methods for the --biharmonic equation from a discrete variational perspective
- Automatic shape derivatives for transient PDEs in FEniCS and Firedrake
- Optimal control of a non-smooth quasilinear elliptic equation
- An Adaptive Finite Element Splitting Method for the Incompressible Navier-Stokes Equations
- Theory and computation of electromagnetic fields and thermomechanical structure interaction for systems undergoing large deformations
- Slate: extending Firedrake's domain-specific abstraction to hybridized solvers for geoscience and beyond
- Eulerian framework for contact between solids represented as phase fields
- Improved effective equation for the Rashba spin-orbit coupling in semiconductor nanowires
- Transient electrohydrodynamic flow with concentration dependent fluid properties: modelling and energy-stable numerical schemes
- Scalable computation of thermomechanical turbomachinery problems
- Analysis of block-preconditioners for models of coupled magma/mantle dynamics
- Flow Characteristics in a Crowded Transport Model
- A multimesh finite element method for the Navier-Stokes equations based on projection methods
- A new gauge-invariant method for diagnosing eddy diffusivities
- A stabilized mixed discontinuous Galerkin formulation for double porosity/permeability model
- Cosmic String and Black Hole Limits of Toroidal Vlasov Bodies in General Relativity
- Efficient implementation of finite element methods on non-matching and overlapping meshes in 3D
- Tailored Nematic and Magnetization Profiles on 2D Polygons
- Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods
- fenicsR13: A Tensorial Mixed Finite Element Solver for the Linear R13 Equations Using the FEniCS Computing Platform
- Electrostatic detection of Shubnikov-de-Haas oscillations in bilayer graphene by Coulomb resonances in gate-defined quantum dots
- More Stiffness with Less Fiber: End-to-End Fiber Path Optimization for 3D-Printed Composites
- Two-dimensional thermal finite element model of directed energy deposition: matching melt pool temperature profile with pyrometer measurement
- A Sequential Homotopy Method for Mathematical Programming Problems
- Version 2.0 -- cashocs: A Computational, Adjoint-Based Shape Optimization and Optimal Control Software
- A Fast Algorithm for Parabolic PDE-based Inverse Problems Based on Laplace Transforms and Flexible Krylov Solvers
- Phase field model for coupled displacive and diffusive microstructural processes under thermal loading
- Bernaise: A flexible framework for simulating two-phase electrohydrodynamic flows in complex domains
- Portable simulation framework for diffusion MRI
- A 55-line code for large-scale parallel topology optimization in 2D and 3D
- Numerical Simulations of Tidal Deformation and Resulting Light Curves of Small Bodies: Material Constraints of 99942 Apophis and 1I/`Oumuamua
- Anomalous Collective Dynamics of Auto-Chemotactic Populations
- Electrohydrodynamic channeling effects in narrow fractures and pores
- Signatures of the spatial extent of plastic events in the yielding transition in amorphous solids
- Error analysis for a Crouzeix-Raviart approximation of the -Dirichlet problem
- Optimal control of the principal coefficient in a scalar wave equation
- Toward fault-tolerant parallel-in-time integration with PFASST
- Nmag micromagnetic simulation tool - software engineering lessons learned
- Torsion of a cylinder of partially molten rock with a spherical inclusion: theory and simulation
- Non-intrusive Hybrid Scheme for Multiscale Heat Transfer: Thermal Runaway in a Battery Pack
- Real-time aerodynamic load estimation for hypersonics via strain-based inverse maps
- Deep Neural Networks Are Effective At Learning High-Dimensional Hilbert-Valued Functions From Limited Data
- Frequency-dependent sensitivity of AC elastocaloric effect measurements explored through analytical and numerical models
- Controlling wetting with electrolytic solutions: phase-field simulations of a droplet-conductor system
- On multiple solutions to the steady flow of incompressible fluids subject to do-nothing or constant traction boundary conditions on artificial boundaries
- Atomistically-informed continuum modeling and isogeometric analysis of 2D materials over holey substrates
- MetaFEM: A Generic FEM Solver By Meta-expressions
- Exploiting Instabilities to Enable Large Shape Transformations in Dielectric Elastomers
- Thermally activated intermittent flow in amorphous solids
- A PDE model for unidirectional flows: stationary profiles and asymptotic behaviour
- Learning Composable Energy Surrogates for PDE Order Reduction
- Efficient discontinuous Galerkin finite element methods via Bernstein polynomials
- Formation of field-induced breakdown precursors on metallic electrode surfaces
- Non-isothermal non-Newtonian fluids: the stationary case
- Cross-mode Stabilized Stochastic Shallow Water Systems Using Stochastic Finite Element Methods
- Basal hydrofractures near sticky patches
- A variational discrete element method for the computation of Cosserat elasticity
- Symmetry Breaking in Density Functional Theory due to Dirac Exchange for a Hydrogen Molecule
- Automatic weak imposition of free slip boundary conditions via Nitsche's method: application to nonlinear problems in geodynamics
- Double-grid quadrature with interpolation-projection (DoGIP) as a novel discretisation approach: An application to FEM on simplexes
- Chameleon Screening Depends on the Shape and Structure of NFW Halos
- A stabilized Nitsche fictitious domain method for the Stokes problem
- An Adaptive Savitsky-Golay Filter for Smoothing Finite Element Computation
- Error estimates for the approximation of multibang control problems
- Spinodal de-wetting of light liquids on graphene
- Nonsymmetric Algebraic Multigrid Based on Local Approximate Ideal Restriction (lAIR)
- Optimal control of anisotropic Allen-Cahn equations
- trlib: A vector-free implementation of the GLTR method for iterative solution of the trust region problem
- BROADCAST: A high-order compressible CFD toolbox for stability and sensitivity using Algorithmic Differentiation
- Characterization of XIA UltraLo-1800 Response to Measuring Charged Samples
- Some challenges of diffused interfaces in implicit-solvent models
- Variational problems with gradient constraints: and error identities
- Compositional Stochastic Modeling and Probabilistic Programming
- Design and characterization of all two-dimensional fragile topological bands
- Rapid prediction of cardiac activation in the left ventricle with geometric deep learning: a step towards cardiac resynchronization therapy planning
- Multi-patch isogeometric neural solver for partial differential equations on computer-aided design domains
- A framework for the automation of generalised stability theory
- Constitutive parameter inference using physics-based data-driven modeling in full volume datasets of intact and torn rotator cuff tendons
- Density estimation for elliptic PDE with random input by preintegration and quasi-Monte Carlo methods
- Electrical Conductivity of Nanoscale Hydrophobic Porous Media: Surface Charge Density and Heterogeneous Pore Structure
- A multi-scale method for complex flows of non-Newtonian fluids
- A vertex scheme for two-phase flow in heterogeneous media
- pySDC - Prototyping spectral deferred corrections
- Fully-Tensorial Elastic-Wave Mode-Solver in FEniCS for Stimulated Brillouin Scattering Modeling
- Fiend -- Finite Element Quantum Dynamics
- Knowledge-Based Automatic Generation of Linear Algebra Algorithms and Code
- φ-FD : A well-conditioned finite difference method inspired by φ-FEM for general geometries on elliptic PDEs