Results 1 to 10 of about 8,773 (135)

Верификация разливов нефти на водных поверхностях по аэрофотоснимкам на основе методов глубокого обучения

Информатика и автоматизация, 2022
В статье решается задача верификации разливов нефти на водных поверхностях рек, морей и океанов по оптическим аэрофотоснимкам с использованием методов глубокого обучения.
Margarita Favorskaya, Nishchhal Nishchhal   +1 more
doaj   +1 more source

Verification of the WWER-1200 reactor dynamic model consisting of one-fuel unit adjacent to two coolant units

Глобальная ядерная безопасность, 2023
As modern control systems engineering imposes limits on mathematical models of control objects, further development, and verification of the mathematical models suitable for power control system synthesis of nuclear power facilities is an ongoing problem.
S. S. Pravosud, D. S. Maslakov, Ya. O. Yakubov, A. A. Ovcherenko   +3 more
doaj   +1 more source

Метод и инструментарий верификации кроссплатформенного бортового программного обеспечения

Современные инновации, системы и технологии, 2021
Представлен разработанный метод и инструментарий верификации и подтверждения бортового программного обеспечения, гарантирующие его соответствие всем установленным функциональным и нефункциональным требованиям в течение всего цикла жизни ...
И.В. Ковалев, M.В. Сарамуд, В.В. Лосев, А.А. Колташев   +3 more
doaj   +1 more source

Towards Deductive Verification of C Programs with Shared Data

Труды Института системного программирования РАН, 2018
The paper takes a look at the problem of deductive verification of Linux kernel code that is concurrent and accesses shared data. The presence of shared data does not allow to apply traditional deductive verification techniques, so we consider how to ...
M. U. Mandrykin, A. V. Khoroshilov
doaj   +1 more source

Component-based verification of operating systems

Труды Института системного программирования РАН, 2019
The paper presents recent results on the way towards accurate and complete verification of industrial operating systems (OS). We consider here OSes, either of general purpose or actively used in some industrial domain, elaborated and maintained for a ...
V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov   +2 more
doaj   +1 more source

THE DEVELOPMENT OF THE BIRD-IMPACTOR MODEL FOR MATHEMATICAL MODELING OF TURBOFAN ENGINE PARTS DAMAGE PROCESSES

Авіаційно-космічна техніка та технологія, 2020
This study aims to develop of the bird-impactor model for mathematical modeling of turbofan engine parts damage processes in case of a bird ingestion into the its air-gas channel.
Дмитрий Владимирович Ивченко, Вячеслав Михайлович Меркулов, Наталья Владимировна Сметанкина   +2 more
doaj   +1 more source

Подходы к исследованию фактчекинга: научный обзор

Знак: проблемное поле медиаобразования, 2021
Рассмотрены подходы к определению понятий «фактчекинг» и «верификация информации». Фактчекинг одновременно инструмент, используемый при подготовке материала, и заключительный процесс на этапе сбора информации.
Виктория Кобызева
doaj   +1 more source

Verification of flow in the vortex chamber devices [PDF]

, 2016
За результатами верифікації математичного моделювання у вихрових клапанах і вихрекамерних нагнітачах із закритим виходом, отримано, що найбільш підходящою для розрахунків моделлю є модель нестисливої рідини з урахуванням кривизни ліній струму та ...
Levashov, A., Levashov, Ya., Rogovyi, A., Syomin, D., Левашов, Артем Николаевич, Левашов, Ярослав Николаевич, Роговой, Андрей Сергеевич, Сёмин, Дмитрий Александрович   +7 more
core   +1 more source

Cloud Framework for the Networked Expert and Analytical Tools Integration

Труды Института системного программирования РАН, 2018
Information-analytical decision support systems in government and business are distributed. There are two substantially different approaches of information, experts and analytical support of decision-making.
A. . Ermakov, S. . Klimenko, A. . Merkulov, S. . Panfilov, A. N. Raikov   +4 more
doaj   +1 more source

TRANSLATION OF PHILOSOPHIC TEXT-REFLEXION AND INTUITION IN TRANSLATION PROCESS

Гуманитарные и юридические исследования, 2021
In the article the phenomenon of mental construction translation in a philosophical discourse is considered, as the main problem in distinction of a philosophical form of reality representation appears the meta-language combining lines of scientific ...
L. R. Vartanova
doaj