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 - CHAP A1 - Jahr, Katrin A1 - Schlich, Robert A1 - Dragos, Kosmas A1 - Smarsly, Kay ED - Gürlebeck, Klaus ED - Lahmer, Tom T1 - DECENTRALIZED AUTONOMOUS FAULT DETECTION IN WIRELESS STRUCTURAL HEALTH MONITORING SYSTEMS USING STRUCTURAL RESPONSE DATA T2 - Digital Proceedings, International Conference on the Applications of Computer Science and Mathematics in Architecture and Civil Engineering : July 20 - 22 2015, Bauhaus-University Weimar N2 - Sensor faults can affect the dependability and the accuracy of structural health monitoring (SHM) systems. Recent studies demonstrate that artificial neural networks can be used to detect sensor faults. In this paper, decentralized artificial neural networks (ANNs) are applied for autonomous sensor fault detection. On each sensor node of a wireless SHM system, an ANN is implemented to measure and to process structural response data. Structural response data is predicted by each sensor node based on correlations between adjacent sensor nodes and on redundancies inherent in the SHM system. Evaluating the deviations (or residuals) between measured and predicted data, sensor faults are autonomously detected by the wireless sensor nodes in a fully decentralized manner. A prototype SHM system implemented in this study, which is capable of decentralized autonomous sensor fault detection, is validated in laboratory experiments through simulated sensor faults. Several topologies and modes of operation of the embedded ANNs are investigated with respect to the dependability and the accuracy of the fault detection approach. In conclusion, the prototype SHM system is able to accurately detect sensor faults, demonstrating that neural networks, processing decentralized structural response data, facilitate autonomous fault detection, thus increasing the dependability and the accuracy of structural health monitoring systems. KW - Angewandte Informatik KW - Angewandte Mathematik KW - Building Information Modeling KW - Computerunterstütztes Verfahren KW - Data, information and knowledge modeling in civil engineering; Function theoretic methods and PDE in engineering sciences; Mathematical methods for (robotics and) computer vision; Numerical modeling in engineering; Optimization in engineering applications Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:gbv:wim2-20170314-28031 SN - 1611-4086 ER - TY - CHAP A1 - Wiggenbrock, Jens A1 - Smarsly, Kay ED - Gürlebeck, Klaus ED - Lahmer, Tom T1 - A GENERIC FRAMEWORK SUPPORTING DISTRIBUTED COMPUTING IN ENGINEERING APPLICATIONS T2 - Digital Proceedings, International Conference on the Applications of Computer Science and Mathematics in Architecture and Civil Engineering : July 20 - 22 2015, Bauhaus-University Weimar N2 - Modern distributed engineering applications are based on complex systems consisting of various subsystems that are connected through the Internet. Communication and collaboration within an entire system requires reliable and efficient data exchange between the subsystems. Middleware developed within the web evolution during the past years provides reliable and efficient data exchange for web applications, which can be adopted for solving the data exchange problems in distributed engineering applications. This paper presents a generic approach for reliable and efficient data exchange between engineering devices using existing middleware known from web applications. Different existing middleware is examined with respect to the suitability in engineering applications. In this paper, a suitable middleware is shown and a prototype implementation simulating distributed wind farm control is presented and validated using several performance measurements. KW - Angewandte Informatik KW - Angewandte Mathematik KW - Building Information Modeling KW - Computerunterstütztes Verfahren KW - Data, information and knowledge modeling in civil engineering; Function theoretic methods and PDE in engineering sciences; Mathematical methods for (robotics and) computer vision; Numerical modeling in engineering; Optimization in engineering applications Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:gbv:wim2-20170314-28260 SN - 1611-4086 ER -