-
A Delaunay Refinement Algorithm for the Particle Finite Element Method applied to Free Surface Flows
Authors:
Thomas Leyssens,
Michel Henry,
Jonathan Lambrechts,
Jean-Francois Remacle
Abstract:
This paper proposes two contributions to the calculation of free surface flows using the particle finite element method (PFEM). The PFEM is based on a Lagrangian approach: a set of particles defines the fluid. Then, unlike a pure Lagrangian method, all the particles are connected by a triangular mesh. The difficulty lies in locating the free surface from this mesh. It is a matter of deciding which…
▽ More
This paper proposes two contributions to the calculation of free surface flows using the particle finite element method (PFEM). The PFEM is based on a Lagrangian approach: a set of particles defines the fluid. Then, unlike a pure Lagrangian method, all the particles are connected by a triangular mesh. The difficulty lies in locating the free surface from this mesh. It is a matter of deciding which of the elements in the mesh are part of the fluid domain, and to define a boundary - the free surface. Then, the incompressible Navier-Stokes equations are solved on the fluid domain and the particles' position is updated using the resulting velocity vector. Our first contribution is to propose an approach to adapt the mesh with theoretical guarantees of quality: the mesh generation community has acquired a lot of experience and understanding about mesh adaptation approaches with guarantees of quality on the final mesh. We use here a Delaunay refinement strategy, allowing to insert and remove nodes while gradually improving mesh quality. We show that this allows to create stable and smooth free surface geometries. Our PFEM approach models the topological evolution of one fluid. It is nevertheless necessary to apply conditions on the domain boundaries. When a boundary is a free surface, the flow on the other side is not modelled, it is represented by an external pressure. On the external free surface boundary, atmospheric pressure can be imposed. Nevertheless, there may be internal free surfaces: the fluid can fully encapsulate cavities to form bubbles. The pressure required to maintain the volume of those bubbles is a priori unknown. We propose a multi-point constraint approach to enforce global incompressibility of those empty bubbles. This approach allows to accurately model bubbly flows that involve two fluids with large density differences, while only modelling the heavier fluid.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Integrable Frame Fields using Odeco Tensors
Authors:
Mattéo Couplet,
Alexandre Chemin,
Jean-François Remacle
Abstract:
We propose a method for computing integrable orthogonal frame fields on planar surfaces. Frames and their symmetries are implicitly represented using orthogonally decomposable (odeco) tensors. To formulate an integrability criterion, we express the frame field's Lie bracket solely in terms of the tensor representation; this is made possible by studying the sensitivity of the frame with respect to…
▽ More
We propose a method for computing integrable orthogonal frame fields on planar surfaces. Frames and their symmetries are implicitly represented using orthogonally decomposable (odeco) tensors. To formulate an integrability criterion, we express the frame field's Lie bracket solely in terms of the tensor representation; this is made possible by studying the sensitivity of the frame with respect to perturbations in the tensor. We construct an energy formulation that computes smooth and integrable frame fields, in both isotropic and anisotropic settings. The user can prescribe any size and orientation constraints in input, and the solver creates and places the singularities required to fit the constraints with the correct topology. The computed frame field can be integrated to a seamless parametrization that is aligned with the frame field.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
X-Mesh: A new approach for the simulation of two-phase flow with sharp interface
Authors:
Antoine Quiriny,
Jonathan Lambrechts,
Nicolas Moës,
Jean-François Remacle
Abstract:
Accurate modeling of moving boundaries and interfaces is a difficulty present in many situations of computational mechanics. We use the eXtreme Mesh deformation approach (X-Mesh) to simulate the interaction between two immiscible flows using the finite element method, while maintaining an accurate and sharp description of the interface without remeshing. In this new approach, the mesh is locally d…
▽ More
Accurate modeling of moving boundaries and interfaces is a difficulty present in many situations of computational mechanics. We use the eXtreme Mesh deformation approach (X-Mesh) to simulate the interaction between two immiscible flows using the finite element method, while maintaining an accurate and sharp description of the interface without remeshing. In this new approach, the mesh is locally deformed to conform to the interface at all times, which can result in degenerated elements. The surface tension between the two fluids is added by imposing the pressure jump condition at the interface, which, when combined with the X-Mesh framework, allows us to have an exactly sharp interface. If a numerical scheme fails to properly balance surface tension and pressure gradients, it leads to numerical artefacts called spurious or parasitic currents. The method presented here is well balanced and reduces such currents down to the level of machine precision.
△ Less
Submitted 1 February, 2024; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Hex-Mesh Generation and Processing: a Survey
Authors:
Nico Pietroni,
Marcel Campen,
Alla Sheffer,
Gianmarco Cherchi,
David Bommes,
Xifeng Gao,
Riccardo Scateni,
Franck Ledoux,
Jean-Francois Remacle,
Marco Livesu
Abstract:
In this article, we provide a detailed survey of techniques for hexahedral mesh generation. We cover the whole spectrum of alternative approaches to mesh generation, as well as post processing algorithms for connectivity editing and mesh optimization. For each technique, we highlight capabilities and limitations, also pointing out the associated unsolved challenges. Recent relaxed approaches, aimi…
▽ More
In this article, we provide a detailed survey of techniques for hexahedral mesh generation. We cover the whole spectrum of alternative approaches to mesh generation, as well as post processing algorithms for connectivity editing and mesh optimization. For each technique, we highlight capabilities and limitations, also pointing out the associated unsolved challenges. Recent relaxed approaches, aiming to generate not pure-hex but hex-dominant meshes, are also discussed. The required background, pertaining to geometrical as well as combinatorial aspects, is introduced along the way.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
The eXtreme Mesh deformation approach (X-MESH) for the Stefan phase-change model
Authors:
Nicolas Moes,
Jean-Francois Remacle,
Jonathan Lambrechts,
Benoit Le,
Nicolas Chevaugeon
Abstract:
The eXtreme Mesh deformation approach (X-MESH) is a new paradigm to follow sharp interfaces without remeshing and without changing the mesh topology. Even though the mesh does not change its topology, it can follow interfaces that do change their topology (nucleation, coalescence, splitting). To make this possible, the key X-MESH idea is to allow elements to reach zero measure. This permits interf…
▽ More
The eXtreme Mesh deformation approach (X-MESH) is a new paradigm to follow sharp interfaces without remeshing and without changing the mesh topology. Even though the mesh does not change its topology, it can follow interfaces that do change their topology (nucleation, coalescence, splitting). To make this possible, the key X-MESH idea is to allow elements to reach zero measure. This permits interface relaying between nodes as well as interface annihilation and seeding in a time continuous manner. The paper targets the Stefan phase change model in which the interface (front) is at a given temperature. Several examples demonstrate the capability of the approach.
△ Less
Submitted 24 January, 2023; v1 submitted 7 November, 2021;
originally announced November 2021.
-
Generation of High-Order Coarse Quad Meshes on CAD Models via Integer Linear Programming
Authors:
Mattéo Couplet,
Maxence Reberol,
Jean-François Remacle
Abstract:
We propose an end-to-end pipeline to robustly generate high-quality, high-order and coarse quadrilateral meshes on CAD models. This kind of mesh enables the use of high-order analysis techniques such as high-order finite element methods or isogeometric analysis. An initial unstructured mesh is generated; this mesh contains a low number of irregular vertices but these are not necessarily aligned, c…
▽ More
We propose an end-to-end pipeline to robustly generate high-quality, high-order and coarse quadrilateral meshes on CAD models. This kind of mesh enables the use of high-order analysis techniques such as high-order finite element methods or isogeometric analysis. An initial unstructured mesh is generated; this mesh contains a low number of irregular vertices but these are not necessarily aligned, causing a very dense quad layout. A T-mesh is built on the mesh which allows to modify its topology by assigning new integer lengths to the T-mesh arcs. The task of simplifying the quad layout can be formulated as an Integer Linear Program which is solved efficiently using an adequate solver. Finally, a high-order quad mesh is extracted from the optimized topology. Validation on several CAD models shows that our approach is fast, robust, strictly respects the CAD features, and achieves interesting results in terms of coarseness and quality.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
Quasi-structured quadrilateral meshing in Gmsh -- a robust pipeline for complex CAD models
Authors:
Maxence Reberol,
Christos Georgiadis,
Jean-François Remacle
Abstract:
We propose an end-to-end pipeline to robustly generate high-quality quadrilateral meshes for complex CAD models. An initial quad-dominant mesh is generated with frontal point insertion guided by a locally integrable cross field and a scalar size map adapted to the small CAD features. After triangle combination and midpoint-subdivision into an all-quadrilateral mesh, the topology of the mesh is mod…
▽ More
We propose an end-to-end pipeline to robustly generate high-quality quadrilateral meshes for complex CAD models. An initial quad-dominant mesh is generated with frontal point insertion guided by a locally integrable cross field and a scalar size map adapted to the small CAD features. After triangle combination and midpoint-subdivision into an all-quadrilateral mesh, the topology of the mesh is modified to reduce the number of irregular vertices. The idea is to preserve the irregular vertices matching cross-field singularities and to eliminate the others. The topological modifications are either local and based on disk quadrangulations, or more global with the remeshing of patches of quads according to predefined patterns. Validity of the quad mesh is guaranteed by monitoring element quality during all operations and reverting the changes when necessary. Advantages of our approach include robustness, strict respect of the CAD features and support for user-prescribed size constraints. The quad mesher, which is available in Gmsh, is validated and illustrated on two datasets of CAD models.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Quad layouts with high valence singularities for flexible quad meshing
Authors:
Jovana Jezdimirovi\' c,
Alexandre Chemin,
Maxence Reberol,
François Henrotte,
Jean François Remacle
Abstract:
A novel algorithm that produces a quad layout based on imposed set of singularities is proposed. In this paper, we either use singularities that appear naturally, e.g., by minimizing Ginzburg-Landau energy, or use as an input user-defined singularity pattern, possibly with high valence singularities that do not appear naturally in cross-field computations. The first contribution of the paper is th…
▽ More
A novel algorithm that produces a quad layout based on imposed set of singularities is proposed. In this paper, we either use singularities that appear naturally, e.g., by minimizing Ginzburg-Landau energy, or use as an input user-defined singularity pattern, possibly with high valence singularities that do not appear naturally in cross-field computations. The first contribution of the paper is the development of a formulation that allows computing a cross-field from a given set of singularities through the resolution of two linear PDEs. A specific mesh refinement is applied at the vicinity of singularities to accommodate the large gradients of cross directions that appear in the vicinity of singularities of high valence. The second contribution of the paper is a correction scheme that repairs limit cycles and/or non-quadrilateral patches. Finally, a high quality block-structured quad mesh is generated from the quad layout and per-partition parameterization.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Ginzburg-Landau energy and placement of singularities in generated cross fields
Authors:
Alexis Macq,
Maxence Reberol,
François Henrotte,
Pierre-Alexandre Beaufort,
Alexandre Chemin,
Jean-François Remacle,
Jean Van Schaftingen
Abstract:
Cross field generation is often used as the basis for the construction of block-structured quadrangular meshes, and the field singularities have a key impact on the structure of the resulting meshes. In this paper, we extend Ginzburg-Landau cross field generation methods with a new formulation that allows a user to impose inner singularities. The cross field is computed via the optimization of a l…
▽ More
Cross field generation is often used as the basis for the construction of block-structured quadrangular meshes, and the field singularities have a key impact on the structure of the resulting meshes. In this paper, we extend Ginzburg-Landau cross field generation methods with a new formulation that allows a user to impose inner singularities. The cross field is computed via the optimization of a linear objective function with localized quadratic constraints. This method consists in fixing singularities in small holes drilled in the computational domain with specific degree conditions on their boundaries, which leads to non-singular cross fields on the drilled domain. We also propose a way to calculate the Ginzburg-Landau energy of these cross fields on the perforated domain by solving a Neumann linear problem. This energy converges to the energy of the Ginzburg-Landau functional as epsilon and the radius of the holes tend to zero. To obtain insights concerning the sum of the inner singularity degrees, we give: (i) an extension of the Ginzburg-Landau energy to the piecewise smooth domain allowing to identify the positions and degrees of the boundary singularities, and (ii) an interpretation of the Poincaré-Hopf theorem focusing on internal singularities.
△ Less
Submitted 30 October, 2020;
originally announced October 2020.
-
Automatic feature-preserving size field for 3D mesh generation
Authors:
Arthur Bawin,
François Henrotte,
Jean-François Remacle
Abstract:
This paper presents a methodology aiming at easing considerably the generation of high-quality meshes for complex 3D domains. We show that the whole mesh generation process can be controlled with only five parameters to generate in one stroke quality meshes for arbitrary geometries. The main idea is to build a meshsize field $h(x)$ taking local features of the geometry, such as curvatures, into ac…
▽ More
This paper presents a methodology aiming at easing considerably the generation of high-quality meshes for complex 3D domains. We show that the whole mesh generation process can be controlled with only five parameters to generate in one stroke quality meshes for arbitrary geometries. The main idea is to build a meshsize field $h(x)$ taking local features of the geometry, such as curvatures, into account. Meshsize information is then propagated from the surfaces into the volume, ensuring that the magnitude of $\vert \nabla h \vert$ is always controlled so as to obtain a smoothly graded mesh. As the meshsize field is stored in an independent octree data structure, the function h can be computed separately, and then plugged in into any mesh generator able to respect a prescribed meshsize field. The whole procedure is automatic, in the sense that minimal interaction with the user is required. Applications examples based on models taken from the very large ABC dataset, are then presented, all treated with the same generic set of parameter values, to demonstrate the efficiency and the universality of the technique.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Quality tetrahedral mesh generation with HXT
Authors:
Célestin Marot,
Jean-François Remacle
Abstract:
We proposed, in a recent paper (10.1002/nme.5987), a fast 3D parallel Delaunay kernel for tetrahedral mesh generation. This kernel was however incomplete in the sense that it lacked the necessary mesh improvement tools. The present paper builds on that previous work and proposes a fast parallel mesh improvement stage that delivers high-quality tetrahedral meshes compared to alternative open-source…
▽ More
We proposed, in a recent paper (10.1002/nme.5987), a fast 3D parallel Delaunay kernel for tetrahedral mesh generation. This kernel was however incomplete in the sense that it lacked the necessary mesh improvement tools. The present paper builds on that previous work and proposes a fast parallel mesh improvement stage that delivers high-quality tetrahedral meshes compared to alternative open-source mesh generators. Our mesh improvement toolkit includes edge removal and improved Laplacian smoothing as well as a brand new operator called the Growing SPR Cavity, which can be regarded as the mother of all flips. The paper describes the workflow of the new mesh improvement schedule, as well as the details of the implementation. The result of this research is a series of open-source scalable software components, called HXT, whose overall efficiency is demonstrated on practical examples by means of a detailed comparative benchmark with two open-source mesh generators: Gmsh and TetGen.
△ Less
Submitted 19 August, 2020;
originally announced August 2020.
-
Automatic surface mesh generation for discrete models: A complete and automatic pipeline based on reparameterization
Authors:
Pierre-Alexandre Beaufort,
Christophe Geuzaine,
Jean-François Remacle
Abstract:
Triangulations are an ubiquitous input for the finite element community. However, most raw triangulations obtained by imaging techniques are unsuitable as-is for finite element analysis. In this paper, we give a robust pipeline for handling those triangulations, based on the computation of a one-to-one parametrization for automatically selected patches of input triangles, which makes each patc…
▽ More
Triangulations are an ubiquitous input for the finite element community. However, most raw triangulations obtained by imaging techniques are unsuitable as-is for finite element analysis. In this paper, we give a robust pipeline for handling those triangulations, based on the computation of a one-to-one parametrization for automatically selected patches of input triangles, which makes each patch amenable to remeshing by standard finite element meshing algorithms. Using only geometrical arguments, we prove that a discrete parametrization of a patch is one-to-one if (and only if) its image in the parameter space is such that all parametric triangles have a positive area. We then derive a non-standard linear discretization scheme based on mean value coordinates to compute such one-to-one parametrizations, and show that the scheme does not discretize a Laplacian on a structured mesh. The proposed pipeline is implemented in the open source mesh generator Gmsh, where the creation of suitable patches is based on triangulation topology and parametrization quality, combined with feature edge detection. Several examples illustrate the robustness of the resulting implementation.
△ Less
Submitted 8 January, 2020;
originally announced January 2020.
-
Multiple Approaches to Frame Field Correction for CAD Models
Authors:
Maxence Reberol,
Alexandre Chemin,
Jean-Francois Remacle
Abstract:
Three-dimensional frame fields computed on CAD models often contain singular curves that are not compatible with hexahedral meshing. In this paper, we show how CAD feature curves can induce non meshable 3-5 singular curves and we study four different approaches that aims at correcting the frame field topology. All approaches consist in modifying the frame field computation, the two first ones cons…
▽ More
Three-dimensional frame fields computed on CAD models often contain singular curves that are not compatible with hexahedral meshing. In this paper, we show how CAD feature curves can induce non meshable 3-5 singular curves and we study four different approaches that aims at correcting the frame field topology. All approaches consist in modifying the frame field computation, the two first ones consisting in applying internal constraints and the two last ones consisting in modifying the boundary conditions. Approaches based on internal constraints are shown not to be very reliable because of their interactions with other singularities. On the other hand, boundary condition modifications are more promising as their impact is very localized. We eventually recommend the 3-5 singular curve boundary snap** strategy, which is simple to implement and allows to generate topologically correct frame fields.
△ Less
Submitted 9 December, 2019; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Finding Hexahedrizations for Small Quadrangulations of the Sphere
Authors:
Kilian Verhetsel,
Jeanne Pellerin,
Jean-François Remacle
Abstract:
This paper tackles the challenging problem of constrained hexahedral meshing. An algorithm is introduced to build combinatorial hexahedral meshes whose boundary facets exactly match a given quadrangulation of the topological sphere. This algorithm is the first practical solution to the problem. It is able to compute small hexahedral meshes of quadrangulations for which the previously known best so…
▽ More
This paper tackles the challenging problem of constrained hexahedral meshing. An algorithm is introduced to build combinatorial hexahedral meshes whose boundary facets exactly match a given quadrangulation of the topological sphere. This algorithm is the first practical solution to the problem. It is able to compute small hexahedral meshes of quadrangulations for which the previously known best solutions could only be built by hand or contained thousands of hexahedra. These challenging quadrangulations include the boundaries of transition templates that are critical for the success of general hexahedral meshing algorithms.
The algorithm proposed in this paper is dedicated to building combinatorial hexahedral meshes of small quadrangulations and ignores the geometrical problem. The key idea of the method is to exploit the equivalence between quad flips in the boundary and the insertion of hexahedra glued to this boundary. The tree of all sequences of flip** operations is explored, searching for a path that transforms the input quadrangulation Q into a new quadrangulation for which a hexahedral mesh is known. When a small hexahedral mesh exists, a sequence transforming Q into the boundary of a cube is found; otherwise, a set of pre-computed hexahedral meshes is used.
A novel approach to deal with the large number of problem symmetries is proposed. Combined with an efficient backtracking search, it allows small shellable hexahedral meshes to be found for all even quadrangulations with up to 20 quadrangles. All 54,943 such quadrangulations were meshed using no more than 72 hexahedra. This algorithm is also used to find a construction to fill arbitrary domains, thereby proving that any ball-shaped domain bounded by n quadrangles can be meshed with no more than 78 n hexahedra. This very significantly lowers the previous upper bound of 5396 n.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Representing three-dimensional cross fields using 4th order tensors
Authors:
Alexandre Chemin,
François Henrotte,
Jean-François Remacle,
Jean Van Schaftingen
Abstract:
This paper presents a new way of describing cross fields based on fourth order tensors. We prove that the new formulation is forming a linear space in $\mathbb{R}^9$. The algebraic structure of the tensors and their projections on $\mbox{SO}(3)$ are presented. The relationship of the new formulation with spherical harmonics is exposed. This paper is quite theoretical. Due to pages limitation, few…
▽ More
This paper presents a new way of describing cross fields based on fourth order tensors. We prove that the new formulation is forming a linear space in $\mathbb{R}^9$. The algebraic structure of the tensors and their projections on $\mbox{SO}(3)$ are presented. The relationship of the new formulation with spherical harmonics is exposed. This paper is quite theoretical. Due to pages limitation, few practical aspects related to the computations of cross fields are exposed. Nevetheless, a global smoothing algorithm is briefly presented and computation of cross fields are finally depicted.
△ Less
Submitted 12 August, 2018;
originally announced August 2018.
-
A 44-element mesh of Schneiders' pyramid: bounding the difficulty of hex-meshing problems
Authors:
Kilian Verhetsel,
Jeanne Pellerin,
Jean-françois Remacle
Abstract:
This paper shows that constraint programming techniques can successfully be used to solve challenging hex-meshing problems. Schneiders' pyramid is a square-based pyramid whose facets are subdivided into three or four quadrangles by adding vertices at edge midpoints and facet centroids. In this paper, we prove that Schneiders' pyramid has no hexahedral meshes with fewer than 18 interior vertices an…
▽ More
This paper shows that constraint programming techniques can successfully be used to solve challenging hex-meshing problems. Schneiders' pyramid is a square-based pyramid whose facets are subdivided into three or four quadrangles by adding vertices at edge midpoints and facet centroids. In this paper, we prove that Schneiders' pyramid has no hexahedral meshes with fewer than 18 interior vertices and 17 hexahedra, and introduce a valid mesh with 44 hexahedra. We also construct the smallest known mesh of the octagonal spindle, with 40 hexahedra and 42 interior vertices. These results were obtained through a general purpose algorithm that computes the hexahedral meshes conformal to a given quadrilateral surface boundary. The lower bound for Schneiders' pyramid is obtained by exhaustively listing the hexahedral meshes with up to 17 interior vertices and which have the same boundary as the pyramid. Our 44-element mesh is obtained by modifying a prior solution with 88 hexahedra. The number of elements was reduced using an algorithm which locally simplifies groups of hexahedra. Given the boundary of such a group, our algorithm is used to find a mesh of its interior that has fewer elements than the initial subdivision. The resulting mesh is untangled to obtain a valid hexahedral mesh.
△ Less
Submitted 21 September, 2018; v1 submitted 4 June, 2018;
originally announced June 2018.
-
One machine, one minute, three billion tetrahedra
Authors:
Célestin Marot,
Jeanne Pellerin,
Jean-François Remacle
Abstract:
This paper presents a new scalable parallelization scheme to generate the 3D Delaunay triangulation of a given set of points. Our first contribution is an efficient serial implementation of the incremental Delaunay insertion algorithm. A simple dedicated data structure, an efficient sorting of the points and the optimization of the insertion algorithm have permitted to accelerate reference impleme…
▽ More
This paper presents a new scalable parallelization scheme to generate the 3D Delaunay triangulation of a given set of points. Our first contribution is an efficient serial implementation of the incremental Delaunay insertion algorithm. A simple dedicated data structure, an efficient sorting of the points and the optimization of the insertion algorithm have permitted to accelerate reference implementations by a factor three. Our second contribution is a multi-threaded version of the Delaunay kernel that is able to concurrently insert vertices. Moore curve coordinates are used to partition the point set, avoiding heavy synchronization overheads. Conflicts are managed by modifying the partitions with a simple rescaling of the space-filling curve. The performances of our implementation have been measured on three different processors, an Intel core-i7, an Intel Xeon Phi and an AMD EPYC, on which we have been able to compute 3 billion tetrahedra in 53 seconds. This corresponds to a generation rate of over 55 million tetrahedra per second. We finally show how this very efficient parallel Delaunay triangulation can be integrated in a Delaunay refinement mesh generator which takes as input the triangulated surface boundary of the volume to mesh.
△ Less
Submitted 6 November, 2018; v1 submitted 22 May, 2018;
originally announced May 2018.
-
There are 174 Subdivisions of the Hexahedron into Tetrahedra
Authors:
Jeanne Pellerin,
Kilian Verhetsel,
Jean-Francois Remacle
Abstract:
This article answers an important theoretical question: How many different subdivisions of the hexahedron into tetrahedra are there? It is well known that the cube has five subdivisions into 6 tetrahedra and one subdivision into 5 tetrahedra. However, all hexahedra are not cubes and moving the vertex positions increases the number of subdivisions. Recent hexahedral dominant meshing methods try to…
▽ More
This article answers an important theoretical question: How many different subdivisions of the hexahedron into tetrahedra are there? It is well known that the cube has five subdivisions into 6 tetrahedra and one subdivision into 5 tetrahedra. However, all hexahedra are not cubes and moving the vertex positions increases the number of subdivisions. Recent hexahedral dominant meshing methods try to take these configurations into account for combining tetrahedra into hexahedra, but fail to enumerate them all: they use only a set of 10 subdivisions among the 174 we found in this article.
The enumeration of these 174 subdivisions of the hexahedron into tetrahedra is our combinatorial result. Each of the 174 subdivisions has between 5 and 15 tetrahedra and is actually a class of 2 to 48 equivalent instances which are identical up to vertex relabeling. We further show that exactly 171 of these subdivisions have a geometrical realization, i.e. there exist coordinates of the eight hexahedron vertices in a three-dimensional space such that the geometrical tetrahedral mesh is valid. We exhibit the tetrahedral meshes for these configurations and show in particular subdivisions of hexahedra with 15 tetrahedra that have a strictly positive Jacobian.
△ Less
Submitted 13 December, 2018; v1 submitted 4 January, 2018;
originally announced January 2018.
-
High quality mesh generation using cross and asterisk fields: Application on coastal domains
Authors:
Christos Georgiadis,
Pierre-Alexandre Beaufort,
Jonathan Lambrechts,
Jean-François Remacle
Abstract:
This paper presents a method to generate high quality triangular or quadrilateral meshes that uses direction fields and a frontal point insertion strategy. Two types of direction fields are considered: asterisk fields and cross fields. With asterisk fields we generate high quality triangulations, while with cross fields we generate right-angled triangulations that are optimal for transformation to…
▽ More
This paper presents a method to generate high quality triangular or quadrilateral meshes that uses direction fields and a frontal point insertion strategy. Two types of direction fields are considered: asterisk fields and cross fields. With asterisk fields we generate high quality triangulations, while with cross fields we generate right-angled triangulations that are optimal for transformation to quadrilateral meshes. The input of our algorithm is an initial triangular mesh and a direction field calculated on it. The goal is to compute the vertices of the final mesh by an advancing front strategy along the direction field. We present an algorithm that enables to efficiently generate the points using solely information from the base mesh. A multi-threaded implementation of our algorithm is presented, allowing us to achieve significant speedup of the point generation. Regarding the quadrangulation process, we develop a quality criterion for right-angled triangles with respect to the local cross field and an optimization process based on it. Thus we are able to further improve the quality of the output quadrilaterals. The algorithm is demonstrated on the sphere and examples of high quality triangular and quadrilateral meshes of coastal domains are presented.
△ Less
Submitted 7 June, 2017;
originally announced June 2017.
-
Robust and efficient validation of the linear hexahedral element
Authors:
Amaury Johnen,
Jean-Christophe Weill,
Jean-François Remacle
Abstract:
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 t…
▽ More
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, \ie write a simple code that takes the coordinates of 8 points as input and outputs the validity of the hexahedron.
△ Less
Submitted 7 August, 2017; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Computing cross fields -- A PDE approach based on the Ginzburg-Landau theory
Authors:
Pierre-Alexandre Beaufort,
Christos Georgiadis Jonathan Lambrechts,
François Henrotte,
Christophe Geuzaine,
Jean-François Remacle
Abstract:
This paper proposes a method to compute crossfields based on the Ginzburg-Landau theory. The Ginzburg-Landau functional has two terms: the Dirichlet energy of the distribution and a term penalizing the mismatch between the fixed and actual norm of the distribution. Directional fields on surfaces are known to have a number of critical points, which are properly identified with the Ginzburg-Landau a…
▽ More
This paper proposes a method to compute crossfields based on the Ginzburg-Landau theory. The Ginzburg-Landau functional has two terms: the Dirichlet energy of the distribution and a term penalizing the mismatch between the fixed and actual norm of the distribution. Directional fields on surfaces are known to have a number of critical points, which are properly identified with the Ginzburg-Landau approach: the asymptotic behavior of Ginzburg-Landau problem provides well-distributed critical points over the 2-manifold, whose indices are as low as possible. The central idea in this paper is to exploit this theoretical background for crossfield computation on arbitrary surfaces. Such crossfields are instrumental in the generation of meshes with quadrangular elements. The relation between the topological properties of quadrangular meshes and crossfields are hence first recalled. It is then shown that a crossfield on a surface can be represented by a complex function of unit norm with a number of critical points, i.e., a nearly everywhere smooth function taking its values in the unit circle of the complex plane. As maximal smoothness of the crossfield is equivalent with minimal energy, the crossfield problem is equivalent to an optimization problem based on Ginzburg-Landau functional. A discretization scheme with Crouzeix-Raviart elements is applied and the correctness of the resulting finite element formulation is validated on the unit disk by comparison with an analytical solution. The method is also applied to the 2-sphere where, surprisingly but rightly, the computed critical points are not located at the vertices of a cube, but at those of an anticube.
△ Less
Submitted 6 January, 2020; v1 submitted 2 June, 2017;
originally announced June 2017.
-
Identifying combinations of tetrahedra into hexahedra: a vertex based strategy
Authors:
Jeanne Pellerin,
Amaury Johnen,
Kilian Verhetsel,
Jean-Francois Remacle
Abstract:
Indirect hex-dominant meshing methods rely on the detection of adjacent tetrahedra an algorithm that performs this identification and builds the set of all possible combinations of tetrahedral elements of an input mesh T into hexahedra, prisms, or pyramids. All identified cells are valid for engineering analysis. First, all combinations of eight/six/five vertices whose connectivity in T matches th…
▽ More
Indirect hex-dominant meshing methods rely on the detection of adjacent tetrahedra an algorithm that performs this identification and builds the set of all possible combinations of tetrahedral elements of an input mesh T into hexahedra, prisms, or pyramids. All identified cells are valid for engineering analysis. First, all combinations of eight/six/five vertices whose connectivity in T matches the connectivity of a hexahedron/prism/pyramid are computed. The subset of tetrahedra of T triangulating each potential cell is then determined. Quality checks allow to early discard poor quality cells and to dramatically improve the efficiency of the method. Each potential hexahedron/prism/pyramid is computed only once. Around 3 millions potential hexahedra are computed in 10 seconds on a laptop. We finally demonstrate that the set of potential hexes built by our algorithm is significantly larger than those built using predefined patterns of subdivision of a hexahedron in tetrahedral elements.
△ Less
Submitted 4 January, 2018; v1 submitted 6 May, 2017;
originally announced May 2017.
-
Fast and robust mesh generation on the sphere Application to coastal domains
Authors:
Jean-François Remacle,
Jonathan Lambrechts
Abstract:
This paper presents a fast an robust mesh generation procedure that is able to generate meshes of the earth system (ocean and continent) in matters of seconds. Our algorithm takes as input a standard shape-file i.e. geospatial vector data format for geographic information system (GIS) software. The input is initially coarsened in order to automatically remove unwanted channels that are under a des…
▽ More
This paper presents a fast an robust mesh generation procedure that is able to generate meshes of the earth system (ocean and continent) in matters of seconds. Our algorithm takes as input a standard shape-file i.e. geospatial vector data format for geographic information system (GIS) software. The input is initially coarsened in order to automatically remove unwanted channels that are under a desired resolution. A valid non-overlap** 1D mesh is then created on the sphere using the Euclidian coordinates system $x,y,z$. A modified Delaunay kernel is then proposed that enables to generate meshes on the sphere in a straightforward manner without parametrization. One of the main difficulty in dealing with geographical data is the over-sampled nature of coastline representations. We propose here an algorithm that automatically unrefines coastline data. Small features are automatically removed while always kee** a valid (non-overlap**) geometrical representation of the domain. A Delaunay refinement procedure is subsequently applied to the domain. The refinement scheme is also multi-threaded at a fine grain level, allowing to generate about a million points per second on 8 threads. Examples of meshes of the Baltic sea as well as of the global ocean are presented.
△ Less
Submitted 7 July, 2016;
originally announced July 2016.
-
GPU accelerated spectral finite elements on all-hex meshes
Authors:
J. -F. Remacle,
R. Gandham,
T. Warburton
Abstract:
This paper presents a spectral element finite element scheme that efficiently solves elliptic problems on unstructured hexahedral meshes. The discrete equations are solved using a matrix-free preconditioned conjugate gradient algorithm. An additive Schwartz two-scale preconditioner is employed that allows h-independence convergence. An extensible multi-threading programming API is used as a common…
▽ More
This paper presents a spectral element finite element scheme that efficiently solves elliptic problems on unstructured hexahedral meshes. The discrete equations are solved using a matrix-free preconditioned conjugate gradient algorithm. An additive Schwartz two-scale preconditioner is employed that allows h-independence convergence. An extensible multi-threading programming API is used as a common kernel language that allows runtime selection of different computing devices (GPU and CPU) and different threading interfaces (CUDA, OpenCL and OpenMP). Performance tests demonstrate that problems with over 50 million degrees of freedom can be solved in a few seconds on an off-the-shelf GPU.
△ Less
Submitted 19 June, 2015;
originally announced June 2015.