Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
Hauptverfasser:	Гейко, О. О., Варава , І. А.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут проблем реєстрації інформації НАН України 2025
Schlagworte:	software verification validation modeling process modeling information technology quality control analysis
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)

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)

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)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Information Technology for Computer Systems Applied Software Development and Usage Cost expert-analytical estimation
von: Andon, P.I., et al.
Veröffentlicht: (2019)

Information technologies for environmental monitoring of landfills using remotely piloted aircraft
von: Shevchuk, Oleksandr
Veröffentlicht: (2025)

Технологія контролю якості виробів адитивного виробництва в ході друку елементів енергетичних комплексів
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)

TECHNOLOGY OF QUALITY CONTROL OF ADDITIVE MANUFACTURING PRODUCTS DURING PRINTING OF ELEMENTS OF ENERGY COMPLEXES
von: Romanenko, Vladyslav, et al.
Veröffentlicht: (2024)

Practical Aspects of Modeling Changes in the Topology of the Global Computer Network
von: Kovalev, A. I.
Veröffentlicht: (2012)

Application of Semiconductor Digital Interferometers in High-Density Optical Recording and Geophysical Measurements
von: Britsky, A. I.
Veröffentlicht: (2012)

Chebyshev coefficients in modeling the wave process by the method of normal modes
von: Залевська, О. В., et al.
Veröffentlicht: (2024)

A software technology providing tuning procedures of a quantitative model of human hemodynamics
von: Grygoryan, R.D., et al.
Veröffentlicht: (2021)

Three-dimensional generalization and verification of structured bounding surface model for natural clay
von: Cui Yunliang, et al.
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)

Architecture metrics: a servey of the potential to improve softwar
von: Liubchenko, V.V.
Veröffentlicht: (2024)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

THE EXPERIMENTAL VALIDATION OF THE GROUNDING DEVICE RESISTANCE MEASUREMENT METHOD
von: Nizhevskyi, I. V., et al.
Veröffentlicht: (2016)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
von: Давидюк, А. В., et al.
Veröffentlicht: (2021)

Information-Technology Approach to Complex Substantiation of Requirements for Automated Systems
von: Самохвалов, Ю. Я., et al.
Veröffentlicht: (2012)

Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)

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)

A methodology of detection of the event basis for information operations
von: Prishchepa, S. V.
Veröffentlicht: (2018)

Hybrid autotuning model with statistic modelling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Validation of correctness of autotuning code transformations with rewriting rules technique
von: Ivanenko, P.A.
Veröffentlicht: (2020)

Performance analysis of massively parallel programs for graphics processing units
von: Rahozin, D.V.
Veröffentlicht: (2023)

Software engineering and big data software
von: Sydorov, N.O., et al.
Veröffentlicht: (2023)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

The software tool of constructive-synthesizing modeling
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

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)

An approximate method for solving assignment problem
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)

Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)

Structure design of knowledge base of software enterprise based on project development
von: Xin Cui
Veröffentlicht: (2017)

Software and information simulation complex of multinode integrated and autonomous power and heat supply systems
von: Denysov, Viktor, et al.
Veröffentlicht: (2023)

Technological trends & software engineering education: a systematic review study
von: Nesterenko, O.V.
Veröffentlicht: (2023)

Improvement of role-based access control model in private cloud environments
von: Volynets, O. Yu., et al.
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)

Information systems of observation of marine waters and adjacent areas using remotely piloted aircraft
von: Trysnyuk, Taras V., et al.
Veröffentlicht: (2024)