Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автори:	Гейко, О. О., Варава , І. А.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем реєстрації інформації НАН України 2025
Теми:	software verification validation modeling process modeling information technology quality control analysis
Онлайн доступ:	https://drsp.ipri.kiev.ua/article/view/354592
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Data Recording, Storage & Processing

Репозитарії

Data Recording, Storage & Processing

Схожі ресурси

The system of models of domain "Software Metatechnology"
за авторством: Morentsov, Y.I.
Опубліковано: (2018)

Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)

Toward software engineering ecosystems definition
за авторством: Sydorov, M.O.
Опубліковано: (2023)

THE METHODICAL ASPECTS OF VALIDITY ASSESGMENT FOR HEAT-MOISTURE EXCHANGE STUDIES (AS AN EXAMPLE THE COMPLEX OF KYIV PECHERSK LAVRA)
за авторством: Sitnikov, A.B.
Опубліковано: (2015)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Information Technology for Computer Systems Applied Software Development and Usage Cost expert-analytical estimation
за авторством: Andon, P.I., та інші
Опубліковано: (2019)

Information technologies for environmental monitoring of landfills using remotely piloted aircraft
за авторством: Shevchuk, Oleksandr
Опубліковано: (2025)

Технологія контролю якості виробів адитивного виробництва в ході друку елементів енергетичних комплексів
за авторством: Romanenko, Vladyslav
Опубліковано: (2024)

TECHNOLOGY OF QUALITY CONTROL OF ADDITIVE PRODUCTION PRODUCTS DURING PRINTING OF ELEMENTS OF ENERGY COMPLEXES
за авторством: Romanenko, Vladyslav
Опубліковано: (2024)

TECHNOLOGY OF QUALITY CONTROL OF ADDITIVE MANUFACTURING PRODUCTS DURING PRINTING OF ELEMENTS OF ENERGY COMPLEXES
за авторством: Romanenko, Vladyslav, та інші
Опубліковано: (2024)

Practical Aspects of Modeling Changes in the Topology of the Global Computer Network
за авторством: Kovalev, A. I.
Опубліковано: (2012)

Application of Semiconductor Digital Interferometers in High-Density Optical Recording and Geophysical Measurements
за авторством: Britsky, A. I.
Опубліковано: (2012)

Chebyshev coefficients in modeling the wave process by the method of normal modes
за авторством: Залевська, О. В., та інші
Опубліковано: (2024)

Three-dimensional generalization and verification of structured bounding surface model for natural clay
за авторством: Cui Yunliang, та інші
Опубліковано: (2018)

A software technology providing tuning procedures of a quantitative model of human hemodynamics
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2021)

Mathematical model of the distribution of radio monitoring resources for observation of satellite communication channels using neural networks
за авторством: Trysnyuk, Vasyl, та інші
Опубліковано: (2025)

Architecture metrics: a servey of the potential to improve softwar
за авторством: Liubchenko, V.V.
Опубліковано: (2024)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

THE EXPERIMENTAL VALIDATION OF THE GROUNDING DEVICE RESISTANCE MEASUREMENT METHOD
за авторством: Nizhevskyi, I. V., та інші
Опубліковано: (2016)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
за авторством: Давидюк, А. В., та інші
Опубліковано: (2021)

Ecosystem research in software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2025)

Information-Technology Approach to Complex Substantiation of Requirements for Automated Systems
за авторством: Самохвалов, Ю. Я., та інші
Опубліковано: (2012)

COLONIAL PICOFOSSIL'S OF PRECAMBRIAN HYME-NOPHACOIDES ROBLOT 1964: STAGES OF THEIR REPLICATION AS THE BASIC ARGUMENT OF THEIR BIOGENIC VERIFICATION
за авторством: LOPUKHIN, A. S., та інші
Опубліковано: (2011)

A methodology of detection of the event basis for information operations
за авторством: Prishchepa, S. V.
Опубліковано: (2018)

Hybrid autotuning model with statistic modelling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: Ivanenko, P.A.
Опубліковано: (2020)

Performance analysis of massively parallel programs for graphics processing units
за авторством: Rahozin, D.V.
Опубліковано: (2023)

Software engineering and big data software
за авторством: Sydorov, N.O., та інші
Опубліковано: (2023)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

An approximate method for solving assignment problem
за авторством: Marko, M.Y., та інші
Опубліковано: (2017)

Modeling of financial flow regulators in systemic macroeconomic environment
за авторством: Makarenko, I.P.
Опубліковано: (2017)

The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

Simplicial analysis of the structure of a cognitive model for researching the security of critical infrastructure object
за авторством: Saliieva, O. V., та інші
Опубліковано: (2020)

Structure design of knowledge base of software enterprise based on project development
за авторством: Xin Cui
Опубліковано: (2017)

Towards ecosystem research in the software engineering
за авторством: Sydorov, M.O.
Опубліковано: (2024)

Software and information simulation complex of multinode integrated and autonomous power and heat supply systems
за авторством: Denysov, Viktor, та інші
Опубліковано: (2023)

Technological trends & software engineering education: a systematic review study
за авторством: Nesterenko, O.V.
Опубліковано: (2023)

Improvement of role-based access control model in private cloud environments
за авторством: Volynets, O. Yu., та інші
Опубліковано: (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
за авторством: Suprun, A.D., та інші
Опубліковано: (2016)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)