REFERENCE ARCHITECTURE FOR THE SOFTWARE PLATFORM FOR VERIFICATION OF MATHEMATICAL MODELS
DOI:
https://doi.org/10.32689/maup.it.2024.2.3Keywords:
verification, validation, model, data, analysisAbstract
The purpose of this work is to develop software for verification and validation of mathematical models that automatically evaluates similarities and differences between two curves. This program is created to help engineers and analysts perform curve comparisons during the numerical model verification and validation process. The software package enables automatic pre-processing of two input curves to make them comparable.The methodology used in the work includes several options for preprocessing the input curves before calculating the comparison metrics. The data can be filtered and synchronized, or any shifts or drifts can be removed. Various pre-processing options are available through a user-friendly graphical user interface to ensure the most accurate verification possible. Any operation, from entering curves to selecting pre-processing options and final visualization of the results, is available through this interface.The scientific novelty of the work consists in the automation of the process of pre-processing and comparison of curves, which significantly simplifies and speeds up the process of verification and validation of numerical models. The developed program reduces human errors and provides more accurate results, which is important for improving the quality and reliability of models. In addition, the ability to save numerical results in a convenient format of a spreadsheet and graphs in the form of raster images makes the program even more useful for further research.The conclusions drawn on the basis of the conducted studies emphasize the importance of verification and validation as critical stages in the development of computer models to ensure their accuracy and reliability. The work states that achieving the best results requires constant improvement and adherence to best practices in the process of developing and applying models. Simple examples using an analytical form illustrate the characteristics of metrics that demonstrate the effectiveness and accuracy of the developed software.Thus, the presented work makes a significant contribution to the field of verification and validation of numerical models, offering innovative approaches to the automation of curve comparison and improving the accuracy and efficiency of this process. This program will become an indispensable tool for engineers and analysts, helping to improve the quality of mathematical models and their correspondence to real data.
References
Bruce A. McCarl. Model Validation: An Overview with some Emphasis on Risk Models. The World’s Largest Open Access Agricultural & Applied Economics Digital Library, 1984. 1–5.
D. Sornette, A. B. Davis, K. Ide, K. R. Vixie, V. Pisarenko, and J. R. Kamm. Algorithm for model validation: Theory and applications, 2007. 1–2 https://doi.org/10.1073/pnas.061167710.
D.J. Murray-Smith. Testing and Validation of Computer Simulation Models, Simulation Foundations, Methods and Applications. Springer International Publishing Switzerland, 2015. 1–20.
Gonçalves S. N., Albuquerque D. M., Pereira J. C.. Modelling and energy efficiency analysis of the microwave continuous processing of limestone. Journal of Cleaner Production, 142912, 2024. https://doi.org/10.1016/j.jclepro.2024.142912
Mongiardini M. Development of a Computer Program for the Verification and Validation of Numerical Simulations in Roadside Safety. Worcester Polytechnic Institute, 2010. https://digitalcommons.wpi.edu/etd-dissertations/276/
Mongiardini M., Ray M. H., Anghileri M. Acceptance criteria for validation metrics in roadside safety based on repeated full-scale crash tests. International Journal of Reliability and Safety, 4(1), 2010. 69. https://doi.org/10.1504/ ijrs.2010.029565
Mongiardini M., Ray M. H., Anghileri M. Development of a software for the comparison of curves during the verification and validation of numerical models. 7th European LS-DYNA Conference, 2009. 1–12. https://www.dynalook. com/european-conf-2009/K-I-03.pdf
Pal N., Yadav D. K. Modeling and verification of software evolution using bigraphical reactive system. Cluster Computing, 2024. https://doi.org/10.1007/s10586-024-04597-y
Ray M. H., Mongiardini M., Atahan A. O., Anghileri M. Recommended procedures for verification and validation of computer simulations used for roadside safety. ResearchGate, 2008. https://www.researchgate.net/ publication/313094419_Recommended_procedures_for_verification_and_validation_of_computer_simulations_used_for_ roadside_safety_applications
Schwer L. E.. An overview of the PTC 60/V&V 10: guide for verification and validation in computational solid mechanics. Engineering With Computers, 23(4), 2007. 245–252. https://doi.org/10.1007/s00366-007-0072-z
Tao F., Sun X., Cheng J., Zhu Y., Liu W., Wang Y., Xu H., Hu T., Liu X., Liu T., Sun Z., Xu J., Bao J., Xiang F., Jin X. makeTwin: A reference architecture for digital twin software platform. Chinese Journal of Aeronautics/Chinese Journal of Aeronautics, 37(1), 2024. 1–18. https://doi.org/10.1016/j.cja.2023.05.002