Datenbestand vom 13. Juni 2019
Tel: 089 / 66060798
Mo - Fr, 9 - 12 Uhr
Fax: 089 / 66060799
DER VERLAG IST IN DER ZEIT VOM 12.06.2019 BIS 23.06.2019 AUSCHLIESSLICH PER EMAIL ERREICHBAR.
aktualisiert am 13. Juni 2019
978-3-8439-1708-7, Reihe Informatik
Result Verification and Uncertainty Management in Engineering Applications
186 Seiten, Habilitation Universität Duisburg-Essen (2014), Softcover, A5
This work gives a broad perspective on how to extend the area of technology assisted by computers with a comprehensive verification and validation systematics relying on methods with result verification. The main attention is devoted to the stage of verification, although considered techniques can be applied also at the qualification and validation stages of the modeling and simulation cycle in engineering. At the same time, the work summarizes theoretical and practical contributions by the author to the subjects of uncertainty quantification and result verification while bringing them into a broader context and demonstrating their place in the overall verification and validation procedure. In particular, a method for finding verified enclosures of solutions to non-smooth initial value problems is described on the theoretical side along with a methodological overview of the current state-of-the-art in the area. The practical side includes development of software for verified and flexible modeling and simulation in the areas of (bio)mechanics and solid oxide fuel cells. The material is accompanied by many illustrative examples.