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...
Gespeichert in:
| Datum: | 2025 |
|---|---|
| Автори та афіліації: |
|
| Ключові слова: | keywords |
| Hauptverfasser: | Гейко, О. О., Варава , І. А. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут проблем реєстрації інформації НАН України
2025
|
| Schlagworte: | |
| Online Zugang: | https://drsp.ipri.kiev.ua/article/view/354592 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Data Recording, Storage & Processing |
| Завантажити файл: |
|
Institution
Data Recording, Storage & ProcessingÄhnliche Einträge
The system of models of domain "Software Metatechnology"
von: Morentsov, Y.I.
Veröffentlicht: (2018)
von: Morentsov, Y.I.
Veröffentlicht: (2018)
Restoration of missing environmental data in an air quality monitoring system based on a naive Bayes classifier
von: Shevchenko, Dmytro, et al.
Veröffentlicht: (2026)
von: Shevchenko, Dmytro, et al.
Veröffentlicht: (2026)
THE EXPERIMENTAL VALIDATION OF THE GROUNDING DEVICE RESISTANCE MEASUREMENT METHOD
von: Nizhevskyi, I. V., et al.
Veröffentlicht: (2016)
von: Nizhevskyi, I. V., et al.
Veröffentlicht: (2016)
Information technologies for environmental monitoring of landfills using remotely piloted aircraft
von: Shevchuk, Oleksandr
Veröffentlicht: (2025)
von: Shevchuk, Oleksandr
Veröffentlicht: (2025)
Технологія контролю якості виробів адитивного виробництва в ході друку елементів енергетичних комплексів
von: Romanenko, Vladyslav
Veröffentlicht: (2024)
von: Romanenko, Vladyslav
Veröffentlicht: (2024)
TECHNOLOGY OF QUALITY CONTROL OF ADDITIVE PRODUCTION PRODUCTS DURING PRINTING OF ELEMENTS OF ENERGY COMPLEXES
von: Romanenko, Vladyslav
Veröffentlicht: (2024)
von: Romanenko, Vladyslav
Veröffentlicht: (2024)
TECHNOLOGY OF QUALITY CONTROL OF ADDITIVE MANUFACTURING PRODUCTS DURING PRINTING OF ELEMENTS OF ENERGY COMPLEXES
von: Romanenko, Vladyslav, et al.
Veröffentlicht: (2024)
von: Romanenko, Vladyslav, et al.
Veröffentlicht: (2024)
Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
von: Давидюк, А. В., et al.
Veröffentlicht: (2021)
von: Давидюк, А. В., et al.
Veröffentlicht: (2021)
Chebyshev coefficients in modeling the wave process by the method of normal modes
von: Залевська, О. В., et al.
Veröffentlicht: (2024)
von: Залевська, О. В., et al.
Veröffentlicht: (2024)
Three-dimensional generalization and verification of structured bounding surface model for natural clay
von: Cui Yunliang, et al.
Veröffentlicht: (2018)
von: Cui Yunliang, et al.
Veröffentlicht: (2018)
Application of Semiconductor Digital Interferometers in High-Density Optical Recording and Geophysical Measurements
von: Britsky, A. I.
Veröffentlicht: (2012)
von: Britsky, A. I.
Veröffentlicht: (2012)
Practical Aspects of Modeling Changes in the Topology of the Global Computer Network
von: Kovalev, A. I.
Veröffentlicht: (2012)
von: Kovalev, A. I.
Veröffentlicht: (2012)
Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)
von: Chebanyuk, O.V.
Veröffentlicht: (2018)
Mathematical model of the distribution of radio monitoring resources for observation of satellite communication channels using neural networks
von: Trysnyuk, Vasyl, et al.
Veröffentlicht: (2025)
von: Trysnyuk, Vasyl, et al.
Veröffentlicht: (2025)
Information-Technology Approach to Complex Substantiation of Requirements for Automated Systems
von: Самохвалов, Ю. Я., et al.
Veröffentlicht: (2012)
von: Самохвалов, Ю. Я., et al.
Veröffentlicht: (2012)
AI landscape of software engineering
von: Nesterenko, O.V., et al.
Veröffentlicht: (2026)
von: Nesterenko, O.V., et al.
Veröffentlicht: (2026)
Formal model for verification of personalized educational trajectories based on ALLOY
von: Poltoratskyi, M.Yu., et al.
Veröffentlicht: (2026)
von: Poltoratskyi, M.Yu., et al.
Veröffentlicht: (2026)
Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)
Architecture metrics: a servey of the potential to improve softwar
von: Liubchenko, V.V.
Veröffentlicht: (2024)
von: Liubchenko, V.V.
Veröffentlicht: (2024)
Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)
von: Panchuk, B.O.
Veröffentlicht: (2024)
A methodology of detection of the event basis for information operations
von: Prishchepa, S. V.
Veröffentlicht: (2018)
von: Prishchepa, S. V.
Veröffentlicht: (2018)
Hydrocarbon deposit mapping validation by the means of ground-based spectrometry, remote sensing and geophysical data
von: Titarenko, Olga
Veröffentlicht: (2019)
von: Titarenko, Olga
Veröffentlicht: (2019)
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
von: Suprun, A.D., et al.
Veröffentlicht: (2016)
von: Suprun, A.D., et al.
Veröffentlicht: (2016)
Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)
von: Sydorov, N.A.
Veröffentlicht: (2025)
Adaptive ensemble decision integration for indicator of resource security: methodology and statistical validation of stability
von: Ilyina, O.P., et al.
Veröffentlicht: (2026)
von: Ilyina, O.P., et al.
Veröffentlicht: (2026)
Simplicial analysis of the structure of a cognitive model for researching the security of critical infrastructure object
von: Saliieva, O. V., et al.
Veröffentlicht: (2020)
von: Saliieva, O. V., et al.
Veröffentlicht: (2020)
An approximate method for solving assignment problem
von: Marko, M.Y., et al.
Veröffentlicht: (2017)
von: Marko, M.Y., et al.
Veröffentlicht: (2017)
Modeling of financial flow regulators in systemic macroeconomic environment
von: Makarenko, I.P.
Veröffentlicht: (2017)
von: Makarenko, I.P.
Veröffentlicht: (2017)
Structure design of knowledge base of software enterprise based on project development
von: Xin Cui
Veröffentlicht: (2017)
von: Xin Cui
Veröffentlicht: (2017)
Improvement of role-based access control model in private cloud environments
von: Volynets, O. Yu., et al.
Veröffentlicht: (2019)
von: Volynets, O. Yu., et al.
Veröffentlicht: (2019)
Features of generalized dynamics of quasiparticles in the presence of an external potential field. Part 1. General analysis of the problem
von: Shmeleva, L.V., et al.
Veröffentlicht: (2015)
von: Shmeleva, L.V., et al.
Veröffentlicht: (2015)
The software tool of constructive-synthesizing modeling
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)
Information systems of observation of marine waters and adjacent areas using remotely piloted aircraft
von: Trysnyuk, Taras V., et al.
Veröffentlicht: (2024)
von: Trysnyuk, Taras V., et al.
Veröffentlicht: (2024)
Software and information simulation complex of multinode integrated and autonomous power and heat supply systems
von: Denysov, Viktor, et al.
Veröffentlicht: (2023)
von: Denysov, Viktor, et al.
Veröffentlicht: (2023)
Application of the Markov model in information technology of the formation of the local socio-economic system
von: Sholokhov, Oleksii, et al.
Veröffentlicht: (2025)
von: Sholokhov, Oleksii, et al.
Veröffentlicht: (2025)
Constructive-synthesizing production of sorting programs adapted by genetic algorithm
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2026)
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2026)
Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)
von: Sydorov, M.O.
Veröffentlicht: (2024)
Features of input data usage in deterministic and stochastic life-cycle models
von: Shulzhenko S.V.
Veröffentlicht: (2014)
von: Shulzhenko S.V.
Veröffentlicht: (2014)
Технологія software quality function deployment у підвищенні якості підтримки стандартів цифрової доступності IT-сервісів
von: Moshchenko, Inna, et al.
Veröffentlicht: (2026)
von: Moshchenko, Inna, et al.
Veröffentlicht: (2026)
Software solution for electrocardiogram storage and analysis
von: Yefremov, M.S., et al.
Veröffentlicht: (2025)
von: Yefremov, M.S., et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
The system of models of domain "Software Metatechnology"
von: Morentsov, Y.I.
Veröffentlicht: (2018) -
Restoration of missing environmental data in an air quality monitoring system based on a naive Bayes classifier
von: Shevchenko, Dmytro, et al.
Veröffentlicht: (2026) -
THE EXPERIMENTAL VALIDATION OF THE GROUNDING DEVICE RESISTANCE MEASUREMENT METHOD
von: Nizhevskyi, I. V., et al.
Veröffentlicht: (2016) -
Information technologies for environmental monitoring of landfills using remotely piloted aircraft
von: Shevchuk, Oleksandr
Veröffentlicht: (2025) -
Технологія контролю якості виробів адитивного виробництва в ході друку елементів енергетичних комплексів
von: Romanenko, Vladyslav
Veröffentlicht: (2024)