TY  - JOUR
A1  - Gürlebeck, Klaus
A1  - Legatiuk, Dmitrii
A1  - Nilsson, Henrik
A1  - Smarsly, Kay
T1  - Conceptual modelling: Towards detecting modelling errors in engineering applications
JF  - Mathematical Methods in Applied Sciences
N2  - Rapid advancements of modern technologies put high demands on mathematical modelling of engineering systems. Typically, systems are no longer “simple” objects, but rather coupled systems involving multiphysics phenomena, the modelling of which involves coupling of models that describe different phenomena. After constructing a mathematical model, it is essential to analyse the correctness of the coupled models and to detect modelling errors compromising the final modelling result. Broadly, there are two classes of modelling errors: (a) errors related to abstract modelling, eg, conceptual errors concerning the coherence of a model as a whole and (b) errors related to concrete modelling or instance modelling, eg, questions of approximation quality and implementation. Instance modelling errors, on the one hand, are relatively well understood. Abstract modelling errors, on the other, are not appropriately addressed by modern modelling methodologies. The aim of this paper is to initiate a discussion on abstract approaches and their usability for mathematical modelling of engineering systems with the goal of making it possible to catch conceptual modelling errors early and automatically by computer assistant tools. To that end, we argue that it is necessary to identify and employ suitable mathematical abstractions to capture an accurate conceptual description of the process of modelling engineering systems.
KW  - Angewandte Mathematik
KW  - Angewandte Informatik
KW  - Ingenieurwissenschaften
KW  - Modellierung
KW  - engineering
KW  - abstraction
KW  - modelling
KW  - formal approaches
KW  - type theory
Y1  - 2019
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:gbv:wim2-20200110-40614
UR  - https://onlinelibrary.wiley.com/doi/abs/10.1002/mma.5934
SP  - 1
EP  - 10
ER  - 
TY  - JOUR
A1  - Legatiuk, Anastasiia
A1  - Gürlebeck, Klaus
A1  - Hommel, Angela
T1  - Estimates for the discrete fundamental solution of the discrete Laplace operator on a rectangular lattice
JF  - Mathematical Methods in the Applied Sciences
N2  - This paper presents numerical analysis of the discrete fundamental solution of the discrete Laplace operator on a rectangular lattice. Additionally, to provide estimates in interior and exterior domains, two different regularisations of the discrete fundamental solution are considered. Estimates for the absolute difference and lp-estimates are constructed for both regularisations. Thus, this work extends the classical results in the discrete potential theory to the case of a rectangular lattice and serves as a basis for future convergence analysis of the method of discrete potentials on rectangular lattices.
KW  - diskrete Fourier-Transformation
KW  - Laplace-Operator
KW  - discrete fourier transform
KW  - discrete fundamental solution
KW  - laplace operator
KW  - rectangular lattice
Y1  - 2021
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:gbv:wim2-20220209-45829
UR  - https://onlinelibrary.wiley.com/doi/full/10.1002/mma.7747
VL  - 2021
SP  - 1
EP  - 23
PB  - Wiley
CY  - Chichester
ER  -