VECMAtk: a scalable verification, validation and uncertainty quantification toolkit for scientific simulations

Autor: Linda van Veen, O. O. Luk, Peter V. Coveney, Robert C. Sinclair, Jalal Lakhlili, Maxime Vassaux, Tomasz Piontek, D. P. Coster, Paul Karlshoefer, David W. Wright, N. Monnier, Diana Suleimenova, Erwan Raffin, Piotr Kopta, Michal Kulczewski, Daan Crommelin, Robin A. Richardson, Fredrik Jansson, Mariusz Bieniek, Derek Groen, Hamid Arabnejad, Anna Nikishova, Vytautas Jancauskas, O. Hoenen, Bartosz Bosak, Wouter Edeling
Přispěvatelé: Brunel University London [Uxbridge], Centrum Wiskunde & Informatica, Amsterdam (CWI), Department of Chemistry [UCL, London], University College of London [London] (UCL), Computational Science Lab (IVI, FNWI), Analysis (KDV, FNWI), KdV Other Research (FNWI), Faculty of Science, Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands
Jazyk: angličtina
Rok vydání: 2021
Předmět:
FOS: Computer and information sciences
010504 meteorology & atmospheric sciences
uncertainty quantification
General Mathematics
General Physics and Astronomy
[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
01 natural sciences
010305 fluids & plasmas
[SPI.MAT]Engineering Sciences [physics]/Materials
[PHYS.MECA.MEMA]Physics [physics]/Mechanics [physics]/Mechanics of materials [physics.class-ph]
multiscale simulations
Software
[PHYS.MECA.STRU]Physics [physics]/Mechanics [physics]/Structural mechanics [physics.class-ph]
0103 physical sciences
Validation
[PHYS.MECA.SOLID]Physics [physics]/Mechanics [physics]/Solid mechanics [physics.class-ph]
[SPI.GCIV.RISQ]Engineering Sciences [physics]/Civil Engineering/Risques
[MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]
Sensitivity (control systems)
Uncertainty quantification
Reliability (statistics)
Research Articles
0105 earth and related environmental sciences
validation
business.industry
[SPI.GCIV.GEOTECH]Engineering Sciences [physics]/Civil Engineering/Géotechnique
General Engineering
Verification
Articles
[PHYS.MECA.MSMECA]Physics [physics]/Mechanics [physics]/Materials and structures in mechanics [physics.class-ph]
[INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]
cs.MS
Range (mathematics)
Scalability
Key (cryptography)
Computer Science - Mathematical Software
[SPI.GCIV.STRUCT]Engineering Sciences [physics]/Civil Engineering/Structures
Multiscale simulations
[SPI.GCIV.MAT]Engineering Sciences [physics]/Civil Engineering/Matériaux composites et construction
verification
Software engineering
business
Focus (optics)
Mathematical Software (cs.MS)
[SPI.GCIV.GCN]Engineering Sciences [physics]/Civil Engineering/Génie civil nucléaire
Zdroj: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2021, 379 (2197), ⟨10.1098/rsta.2020.0221⟩
Philosophical Transactions of the Royal Society A-Mathematical, Physical and Engineering Sciences, 379(2197):20200221. The Royal Society
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
Philosophical Transactions of the Royal Society A, 379(2197)
Royal Society of London. Philosophical Transactions A. Mathematical, Physical and Engineering Sciences (online), 379(2197)
ISSN: 1471-2962
1364-503X
Popis: We present the VECMA toolkit (VECMAtk), a flexible software environment for single and multiscale simulations that introduces directly applicable and reusable procedures for verification, validation (V&V), sensitivity analysis (SA) and uncertainty quantification (UQ). It enables users to verify key aspects of their applications, systematically compare and validate the simulation outputs against observational or benchmark data, and run simulations conveniently on any platform from the desktop to current multi-petascale computers. In this sequel to our paper on VECMAtk which we presented last year, we focus on a range of functional and performance improvements that we have introduced, cover newly introduced components, and applications examples from seven different domains such as conflict modelling and environmental sciences. We also present several implemented patterns for UQ/SA and V&V, and guide the reader through one example concerning COVID-19 modelling in detail.
23 pages, 10 figures
Databáze: OpenAIRE
Externí odkaz: