MetaFEM: A Generic FEM Solver By Meta-expressions

11/05/2021
by   Jiaxi Xie, et al.
0

Current multi-physics Finite Element Method (FEM) solvers are complex systems in terms of both their mathematical complexity and lines of code. This paper proposes a skeleton generic FEM solver, named MetaFEM, in total about 5,000 lines of Julia code, which translates generic input Partial Differential Equation (PDE) weak forms into corresponding GPU-accelerated simulations with a grammar similar to FEniCS or FreeFEM. Two novel approaches differentiate MetaFEM from the common solvers: (1) the FEM kernel is based on an original theory/algorithm which explicitly processes meta-expressions, as the name suggests, and (2) the symbolic engine is a rule-based Computer Algebra System (CAS), i.e., the equations are rewritten/derived according to a set of rewriting rules instead of going through completely fixed routines, supporting easy customization by developers. Example cases in thermal conduction, linear elasticity and incompressible flow are presented to demonstrate utility.

READ FULL TEXT

page 17

page 18

page 21

page 22

page 23

page 24

research
03/10/2018

How to solve the stochastic partial differential equation that gives a Matérn random field using the finite element method

This tutorial teaches parts of the finite element method (FEM), and solv...
research
08/30/2023

Towards Robust Solvers for Nuclear Fusion Simulations Using JOREK: A Numerical Analysis Perspective

One of the most well-established codes for modeling non-linear Magnetohy...
research
04/21/2012

Paraiso : An Automated Tuning Framework for Explicit Solvers of Partial Differential Equations

We propose Paraiso, a domain specific language embedded in functional pr...
research
06/05/2017

Solver composition across the PDE/linear algebra barrier

The efficient solution of discretisations of coupled systems of partial ...
research
10/07/2019

Optimizing Geometric Multigrid Methods with Evolutionary Computation

For many linear and nonlinear systems that arise from the discretization...
research
09/23/2020

Initial Guesses for Sequences of Linear Systems in a GPU-Accelerated Incompressible Flow Solver

We consider several methods for generating initial guesses when iterativ...
research
05/09/2021

High-performance symbolic-numerics via multiple dispatch

As mathematical computing becomes more democratized in high-level langua...

Please sign up or login with your details

Forgot password? Click here to reset