کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
429559 687601 2013 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Preventing deadlock during anisotropic 2D mesh adaptation in hp-adaptive FEM
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Preventing deadlock during anisotropic 2D mesh adaptation in hp-adaptive FEM
چکیده انگلیسی

The paper presents a grammar for anisotropic two-dimensional mesh adaptation in hp-adaptive Finite Element Method with rectangular elements. Expressing mesh transformations as grammar productions is useful for concurrency analysis thanks to exhibiting the partial causality order (Lamport relationship) between atomic operations. 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 concluded with numerical simulations of magnetolluric measurements where the deadlock problem occurred.


► The paper presents a grammar for anisotropic 2D mesh adaptation in hp-adaptive FEM.
► Simple approach to grammar definition leads to potential deadlock.
► The grammar is then enhanced to prevent deadlock condition in h adaptation.
► Deadlock (non-)occurrence is proven via hierarchical Petri net model.
► Problem is illustrated by numerical simulations of magnetolluric measurements.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computational Science - Volume 4, Issue 3, May 2013, Pages 170–179
نویسندگان
, , , ,