ISBN 978-3-8439-1708-7

978-3-8439-1708-7, Reihe Informatik

Ekaterina Auer
Result Verification and Uncertainty Management in Engineering Applications

186 Seiten, Habilitation Universität Duisburg-Essen (2014), Softcover, A5

Zusammenfassung / Abstract

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.