Anisotropic 2D mesh adaptation in hp-adaptive FEM

Abstract The paper presents a grammar for anisotropic two-dimensional mesh adaptation in hp-adaptive Finite Element Method with rectangular elements. It occurs that a straightforward approach to modeling this process via grammar productions leads to potential deadlock in h-adaptation of the mesh. This fact is shown on a Petri net model of an exemplary adaptation. Therefore auxiliary productions are added to the grammar in order to ensure that any sequence of productions allowed by the grammar does not lead to a deadlock state. The fact that the enhanced grammar is deadlock-free is proven via a corresponding Petri net model. The proof has been performed by means of reachability graph construction and analysis. The paper is enhanced with numerical simulations of magnetolluric measurements where the deadlock problem occured.

[1]  Maciej Paszynski.  On the Parallelization of Self-Adaptive hp-Finite Element Methods Part II. Partitioning Communication Agglomeration Mapping (PCAM) Analysis , 2009, Fundam. Informaticae.

[2]  Leszek Demkowicz,et al.  Verification of goal-oriented HP-adaptivity , 2005 .

[3]  Leszek Demkowicz,et al.  Parallel, fully automatic hp-adaptive 2d finite element package , 2006 .

[4]  L. Demkowicz.  One and two dimensional elliptic and Maxwell problems , 2006 .

[5]  David Pardo,et al.  A self-adaptive goal-oriented hp-finite element method with electromagnetic applications. Part II: Electrodynamics , 2007 .

[6]  Maciej Paszynski,et al.  Parallel, fully automatic hp-adaptive 3D finite element package , 2007, Engineering with Computers.

[7]  L. Demkowicz,et al.  SIMULATION OF RESISTIVITY LOGGING-WHILE-DRILLING (LWD) MEASUREMENTS USING A SELF-ADAPTIVE GOAL-ORIENTED HP FINITE ELEMENT METHOD , 2022 .

[8]  Maciej Paszyński,et al.  Computing with hp-ADAPTIVE FINITE ELEMENTS: Volume II Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications , 2007 .

[9]  David Pardo,et al.  Graph Grammar Based Petri Net Controlled Direct Solver Algorithm , 2010, Comput. Sci..

[10]  Maciej Paszynski,et al.  Parallel, fully automatic hp-adaptive 3D finite element package , 2006, Engineering with Computers.

[11]  Maciej Paszynski.  On the Parallelization of Self-Adaptive hp-Finite Element Methods Part I. Composite Programmable Graph GrammarModel , 2009, Fundam. Informaticae.

[12]  Carlos Torres-Verdín,et al.  PML Enhanced with a Self-Adaptive Goal-Oriented hp-Finite Element Method: Simulation of Through-Casing Borehole Resistivity Measurements , 2008, SIAM Journal on Scientific Computing.

[13]  Ewa Grabska,et al.  Graph Transformations for Modeling hp-Adaptive Finite Element Method with Triangular Elements , 2008, ICCS.

[14]  Anna Paszynska,et al.  Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method , 2007, PPAM.

[15]  Carlos Torres-Verdín,et al.  Two-Dimensional High-Accuracy Simulation of Resistivity Logging-While-Drilling (LWD) Measurements Using a Self-Adaptive Goal-Oriented hp Finite Element Method , 2006, SIAM J. Appl. Math..

[16]  D. Pardo,et al.  Simulations of 3D DC borehole resistivity measurements with a goal-oriented hp finite-element method. Part II: through-casing resistivity instruments , 2008 .