Robust and efficient validation of the linear hexahedral element

06/06/2017
by   Amaury Johnen, et al.
0

Checking mesh validity is a mandatory step before doing any finite element analysis. If checking the validity of tetrahedra is trivial, checking the validity of hexahedral elements is far from being obvious. In this paper, a method that robustly and efficiently compute the validity of standard linear hexahedral elements is presented. This method is a significant improvement of a previous work on the validity of curvilinear elements. The new implementation is simple and computationally efficient. The key of the algorithm is still to compute Bézier coefficients of the Jacobian determinant. We show that only 20 Jacobian determinants are necessary to compute the 27 Bézier coefficients. Those 20 Jacobians can be efficiently computed by calculating the volume of 20 tetrahedra. The new implementation is able to check the validity of about 6 million hexahedra per second on one core of a personal computer. Through the paper, all the necessary information is provided that allow to easily reproduce the results, write a simple code that takes the coordinates of 8 points as input and outputs the validity of the hexahedron.

READ FULL TEXT
research
03/15/2022

Automatic HFL(Z) Validity Checking for Program Verification

We propose an automated method for checking the validity of a formula of...
research
07/18/2023

Finite element solution of a radiation/propagation problem for a Helmholtz equation with a compactly supported nonlinearity

A finite element method for approximating the solution of a mathematical...
research
05/12/2020

Finite Element Methods For Interface Problems On Local Anisotropic Fitting Mixed Meshes

A simple and efficient interface-fitted mesh generation algorithm is dev...
research
11/08/2019

Revisiting Semantics of Interactions for Trace Validity Analysis

Interaction languages such as UML sequence diagrams are often associated...
research
01/21/2021

Simple finite elements and multigrid for efficient mass-consistent wind downscaling in a coupled fire-atmosphere model

We present a simple finite element formulation of mass-consistent approx...
research
08/07/2023

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version)

In this paper we propose a novel abstraction that we have named Range-Re...
research
05/22/2018

One machine, one minute, three billion tetrahedra

This paper presents a new scalable parallelization scheme to generate th...

Please sign up or login with your details

Forgot password? Click here to reset