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 |
|---|---|
| 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 METHODICAL ASPECTS OF VALIDITY ASSESGMENT FOR HEAT-MOISTURE EXCHANGE STUDIES (AS AN EXAMPLE THE COMPLEX OF KYIV PECHERSK LAVRA)
von: Sitnikov, A.B.
Veröffentlicht: (2015)
von: Sitnikov, A.B.
Veröffentlicht: (2015)
Domain engineering approach of software requirements analysis
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)
Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2023)
von: Sydorov, M.O.
Veröffentlicht: (2023)
Information Technology for Computer Systems Applied Software Development and Usage Cost expert-analytical estimation
von: Andon, P.I., et al.
Veröffentlicht: (2019)
von: Andon, P.I., et al.
Veröffentlicht: (2019)
Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)
von: Chebanyuk, O.V.
Veröffentlicht: (2018)
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)
Технологія контролю якості виробів адитивного виробництва в ході друку елементів енергетичних комплексів
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)
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)
Information technologies for environmental monitoring of landfills using remotely piloted aircraft
von: Shevchuk, Oleksandr
Veröffentlicht: (2025)
von: Shevchuk, Oleksandr
Veröffentlicht: (2025)
AI landscape of software engineering
von: Nesterenko, O.V., et al.
Veröffentlicht: (2026)
von: Nesterenko, O.V., et al.
Veröffentlicht: (2026)
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)
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)
A software technology providing tuning procedures of a quantitative model of human hemodynamics
von: Grygoryan, R.D., et al.
Veröffentlicht: (2021)
von: Grygoryan, R.D., et al.
Veröffentlicht: (2021)
Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)
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)
Architecture metrics: a servey of the potential to improve softwar
von: Liubchenko, V.V.
Veröffentlicht: (2024)
von: Liubchenko, V.V.
Veröffentlicht: (2024)
Validation of correctness of autotuning code transformations with rewriting rules technique
von: Ivanenko, P.A.
Veröffentlicht: (2020)
von: Ivanenko, P.A.
Veröffentlicht: (2020)
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)
COLONIAL PICOFOSSIL'S OF PRECAMBRIAN HYME-NOPHACOIDES ROBLOT 1964: STAGES OF THEIR REPLICATION AS THE BASIC ARGUMENT OF THEIR BIOGENIC VERIFICATION
von: LOPUKHIN, A. S., et al.
Veröffentlicht: (2011)
von: LOPUKHIN, A. S., et al.
Veröffentlicht: (2011)
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)
Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)
von: Sydorov, N.A.
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)
Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)
von: Panchuk, B.O.
Veröffentlicht: (2024)
Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)
Software engineering and big data software
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)
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)
Hybrid autotuning model with statistic modelling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
Performance analysis of massively parallel programs for graphics processing units
von: Rahozin, D.V.
Veröffentlicht: (2023)
von: Rahozin, D.V.
Veröffentlicht: (2023)
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)
Technological trends & software engineering education: a systematic review study
von: Nesterenko, O.V.
Veröffentlicht: (2023)
von: Nesterenko, O.V.
Veröffentlicht: (2023)
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)
Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)
von: Sydorov, M.O.
Veröffentlicht: (2024)
Methods and tools for developing an information system for validation of non-formal learning outcomes
von: Pryima, S.M., et al.
Veröffentlicht: (2020)
von: Pryima, S.M., et al.
Veröffentlicht: (2020)
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)
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)
Ä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 METHODICAL ASPECTS OF VALIDITY ASSESGMENT FOR HEAT-MOISTURE EXCHANGE STUDIES (AS AN EXAMPLE THE COMPLEX OF KYIV PECHERSK LAVRA)
von: Sitnikov, A.B.
Veröffentlicht: (2015) -
Domain engineering approach of software requirements analysis
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020) -
Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2023)