Features of Software Solutions in the Field of Verification and Validation of Numerical Models
The numerical modeling increasingly replaces expensive experiments and physical prototypes in engineering and research, but the practical value of simulations depends on the demonstrated credibility of results. This study systematizes contemporary approaches and software capabilities for verificatio...
Saved in:
| Date: | 2025 |
|---|---|
| Main Authors: | Гейко, О. О., Варава , І. А. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем реєстрації інформації НАН України
2025
|
| Subjects: | |
| Online Access: | https://drsp.ipri.kiev.ua/article/view/354592 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Data Recording, Storage & Processing |
| Download file: | |
Institution
Data Recording, Storage & ProcessingSimilar Items
The system of models of domain "Software Metatechnology"
by: Morentsov, Y.I.
Published: (2018)
by: Morentsov, Y.I.
Published: (2018)
Restoration of missing environmental data in an air quality monitoring system based on a naive Bayes classifier
by: Shevchenko, Dmytro, et al.
Published: (2026)
by: Shevchenko, Dmytro, et al.
Published: (2026)
THE METHODICAL ASPECTS OF VALIDITY ASSESGMENT FOR HEAT-MOISTURE EXCHANGE STUDIES (AS AN EXAMPLE THE COMPLEX OF KYIV PECHERSK LAVRA)
by: Sitnikov, A.B.
Published: (2015)
by: Sitnikov, A.B.
Published: (2015)
Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)
by: Chebanyuk, O.V., et al.
Published: (2020)
Toward software engineering ecosystems definition
by: Sydorov, M.O.
Published: (2023)
by: Sydorov, M.O.
Published: (2023)
Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)
by: Chebanyuk, O.V.
Published: (2018)
Information Technology for Computer Systems Applied Software Development and Usage Cost expert-analytical estimation
by: Andon, P.I., et al.
Published: (2019)
by: Andon, P.I., et al.
Published: (2019)
Information technologies for environmental monitoring of landfills using remotely piloted aircraft
by: Shevchuk, Oleksandr
Published: (2025)
by: Shevchuk, Oleksandr
Published: (2025)
THE EXPERIMENTAL VALIDATION OF THE GROUNDING DEVICE RESISTANCE MEASUREMENT METHOD
by: Nizhevskyi, I. V., et al.
Published: (2016)
by: Nizhevskyi, I. V., et al.
Published: (2016)
Three-dimensional generalization and verification of structured bounding surface model for natural clay
by: Cui Yunliang, et al.
Published: (2018)
by: Cui Yunliang, et al.
Published: (2018)
Технологія контролю якості виробів адитивного виробництва в ході друку елементів енергетичних комплексів
by: Romanenko, Vladyslav
Published: (2024)
by: Romanenko, Vladyslav
Published: (2024)
TECHNOLOGY OF QUALITY CONTROL OF ADDITIVE PRODUCTION PRODUCTS DURING PRINTING OF ELEMENTS OF ENERGY COMPLEXES
by: Romanenko, Vladyslav
Published: (2024)
by: Romanenko, Vladyslav
Published: (2024)
TECHNOLOGY OF QUALITY CONTROL OF ADDITIVE MANUFACTURING PRODUCTS DURING PRINTING OF ELEMENTS OF ENERGY COMPLEXES
by: Romanenko, Vladyslav, et al.
Published: (2024)
by: Romanenko, Vladyslav, et al.
Published: (2024)
AI landscape of software engineering
by: Nesterenko, O.V., et al.
Published: (2026)
by: Nesterenko, O.V., et al.
Published: (2026)
Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)
by: Kolchin, A.V., et al.
Published: (2015)
Chebyshev coefficients in modeling the wave process by the method of normal modes
by: Залевська, О. В., et al.
Published: (2024)
by: Залевська, О. В., et al.
Published: (2024)
Application of Semiconductor Digital Interferometers in High-Density Optical Recording and Geophysical Measurements
by: Britsky, A. I.
Published: (2012)
by: Britsky, A. I.
Published: (2012)
Practical Aspects of Modeling Changes in the Topology of the Global Computer Network
by: Kovalev, A. I.
Published: (2012)
by: Kovalev, A. I.
Published: (2012)
A software technology providing tuning procedures of a quantitative model of human hemodynamics
by: Grygoryan, R.D., et al.
Published: (2021)
by: Grygoryan, R.D., et al.
Published: (2021)
Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
by: Давидюк, А. В., et al.
Published: (2021)
by: Давидюк, А. В., et al.
Published: (2021)
Mathematical model of the distribution of radio monitoring resources for observation of satellite communication channels using neural networks
by: Trysnyuk, Vasyl, et al.
Published: (2025)
by: Trysnyuk, Vasyl, et al.
Published: (2025)
Validation of correctness of autotuning code transformations with rewriting rules technique
by: Ivanenko, P.A.
Published: (2020)
by: Ivanenko, P.A.
Published: (2020)
Formal model for verification of personalized educational trajectories based on ALLOY
by: Poltoratskyi, M.Yu., et al.
Published: (2026)
by: Poltoratskyi, M.Yu., et al.
Published: (2026)
Architecture metrics: a servey of the potential to improve softwar
by: Liubchenko, V.V.
Published: (2024)
by: Liubchenko, V.V.
Published: (2024)
COLONIAL PICOFOSSIL'S OF PRECAMBRIAN HYME-NOPHACOIDES ROBLOT 1964: STAGES OF THEIR REPLICATION AS THE BASIC ARGUMENT OF THEIR BIOGENIC VERIFICATION
by: LOPUKHIN, A. S., et al.
Published: (2011)
by: LOPUKHIN, A. S., et al.
Published: (2011)
Information-Technology Approach to Complex Substantiation of Requirements for Automated Systems
by: Самохвалов, Ю. Я., et al.
Published: (2012)
by: Самохвалов, Ю. Я., et al.
Published: (2012)
Ecosystem research in software engineering
by: Sydorov, N.A.
Published: (2025)
by: Sydorov, N.A.
Published: (2025)
Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)
by: Panchuk, B.O.
Published: (2024)
Verification and validation: process VS procedure
by: V. L. Demekhin, et al.
Published: (2013)
by: V. L. Demekhin, et al.
Published: (2013)
A methodology of detection of the event basis for information operations
by: Prishchepa, S. V.
Published: (2018)
by: Prishchepa, S. V.
Published: (2018)
Hybrid autotuning model with statistic modelling
by: Doroshenko, А.Yu., et al.
Published: (2018)
by: Doroshenko, А.Yu., et al.
Published: (2018)
Software engineering and big data software
by: Sydorov, N.O., et al.
Published: (2023)
by: Sydorov, N.O., et al.
Published: (2023)
Performance analysis of massively parallel programs for graphics processing units
by: Rahozin, D.V.
Published: (2023)
by: Rahozin, D.V.
Published: (2023)
The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)
by: Shynkarenko, V.I., et al.
Published: (2024)
Features of generalized dynamics of quasiparticles in the presence of an external potential field. Part 2. Minkowski equations and degeneration of mobility in the strong fields
by: Suprun, A.D., et al.
Published: (2016)
by: Suprun, A.D., et al.
Published: (2016)
Structure design of knowledge base of software enterprise based on project development
by: Xin Cui
Published: (2017)
by: Xin Cui
Published: (2017)
Technological trends & software engineering education: a systematic review study
by: Nesterenko, O.V.
Published: (2023)
by: Nesterenko, O.V.
Published: (2023)
Simplicial analysis of the structure of a cognitive model for researching the security of critical infrastructure object
by: Saliieva, O. V., et al.
Published: (2020)
by: Saliieva, O. V., et al.
Published: (2020)
An approximate method for solving assignment problem
by: Marko, M.Y., et al.
Published: (2017)
by: Marko, M.Y., et al.
Published: (2017)
Modeling of financial flow regulators in systemic macroeconomic environment
by: Makarenko, I.P.
Published: (2017)
by: Makarenko, I.P.
Published: (2017)
Similar Items
-
The system of models of domain "Software Metatechnology"
by: Morentsov, Y.I.
Published: (2018) -
Restoration of missing environmental data in an air quality monitoring system based on a naive Bayes classifier
by: Shevchenko, Dmytro, et al.
Published: (2026) -
THE METHODICAL ASPECTS OF VALIDITY ASSESGMENT FOR HEAT-MOISTURE EXCHANGE STUDIES (AS AN EXAMPLE THE COMPLEX OF KYIV PECHERSK LAVRA)
by: Sitnikov, A.B.
Published: (2015) -
Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020) -
Toward software engineering ecosystems definition
by: Sydorov, M.O.
Published: (2023)