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)

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)

Three-dimensional generalization and verification of structured bounding surface model for natural clay
von: Cui Yunliang, et al.
Veröffentlicht: (2018)

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

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

Toward software engineering ecosystems definition
von: Sydorov, M.O.
Veröffentlicht: (2023)

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)

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

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

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

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)

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)

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)

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

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

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

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

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)

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)

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

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)

Formal verification of deep neural networks
von: Panchuk, B.O.
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)

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

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

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)

Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)

Improvement of role-based access control model in private cloud environments
von: Volynets, O. Yu., et al.
Veröffentlicht: (2019)

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

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

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

Software engineering and big data software
von: Sydorov, N.O., 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)