DSpace at KhAI: Recent submissions
Now showing items 21-40 of 7017
-
A type system for formal verification of cyber-physical systems C/C++ software
(KhAI, 2024)The subject: This study focuses on improving the quality of Cyber-Physical System (CPS) software by eliminating incorrect usage of units of measurement and orientation in C/C++ programs. Incorrect usage often leads to ... -
Deployment of a UAV swarm-based LiFi network in the obstacle-ridden environment: algorithms of finding the path for UAV placement
(KhAI, 2024)The subject of this study is unmanned aerial vehicle (UAV)-based wireless networks in an obstacle-ridden environment. The aim of this study is to develop methods and software to ensure reliable LiFi communication using ... -
Study of methods for searching and localizing objects in images from aircraft using convolutional neural networks
(KhAI, 2024)The use of unmanned and manned aerial vehicles for remote object localization and classification is very common. These methods are used in various systems, ranging from territory surveys to law enforcement. Methods of ... -
Study on potential application of brightness temperature models in passive remote sensing
(KhAI, 2024)In the modern science and practice of remote sensing of any surface, including various types of land cover, radio systems are widely used. Due to low energy consumption and high stealth, the most promising direction of ... -
Military logistics planning models for enemy targets attack by a swarm of combat drones
(KhAI, 2024)This article describes and investigates the planning aspect of military actions aimed at destroying enemy targets with the help of an attack drone swarm. This study attempts to solve the task of operational-tactical planning ... -
Investigation of the effect of object size on accuracy of human localisation in images acquired from unmanned aerial vehicles
(KhAI, 2024)The use of unmanned aerial vehicles is gaining wide popularity in various areas of research and information acquisition. More and more often, unmanned aerial vehicles are used to obtain various types of images of the Earth’s ... -
Використання засобів штучного інтелекту в інженерії вимог: аналіз можливостей та чат-бот для валідації
(ХАІ, 2024)Об’єктом дослідження є процеси і засоби інженерії вимог (ІВ) програмного забезпечення і складних систем (ПЗС). Предметом дослідження є інструментальні засоби ІВ ПЗС, які базуються на методах штучного (обчислювального) ... -
About the Kyiv school mathematicians contribution to the extrema of functions of many variables theory
(KhAI, 2024)The subject of this article is the study of Kyiv school mathematicians’ contribution to the many variable extrema function theory. The purpose of this article is to study the work of Kyiv mathematician Professor M. Ye. ... -
Аналіз точності самоналаштування динамічної моделі газотурбінного двигуна
(ХАІ, 2024)Один з найбільш перспективних напрямів розвитку авіаційних двигунів пов’язаний із впровадженням адаптивних систем автоматичного керування (САК). Визначальним елементом цих систем є динамічні математичні моделі двигунів, ... -
Використання методу верифікації FMEDA/FIT для оцінювання кібербезпеки програмованого логічного контролера: нова інтерпретація принципу SIS
(ХАІ, 2024)Об’єктом дослідження роботи є програмований логічний контролер (safety PLC), що входить до складу інформаційно-керуючої системи призначеною для здійснення безпечного управління важливими технологічними процесами. Предметом ... -
Simulating multi-particle deposition based on cel method: studing the effects of particle and substrate temperature on deposition
(ХАІ, 2024)The subject matter of this study is to use numerical simulation methods to study the influence of the temperature of particles and substrates on the post-deposition coating during the multi-particle deposition process of ... -
Моделювання процесу парашутування літака на злітно-посадкову смугу при його посадці
(ХАІ, 2024)Посадка літака є невідомою частиною його польоту і на цьому етапі спостерігається найбільша кількість аварій і навіть катастроф. Слід зазначити, що рух літака на його повітряних ділянках, коли він знаходиться під впливом ... -
Analysis of environmentally friendly commercial aviation development ways
(ХАІ, 2024)The goal of this study is to identify effective directions to decrease the greenhouse gas emissions of commercial aviation. The subject matter of this research is to analyze ways known from literature to decrease the ... -
Оптимизация динамических характеристик катапульты с телескопическим приводом
(ХАИ, 2012)Предложен способ оптимизации динамических характеристик катапульты с телескопическим приводом для запуска беспилотного летательного аппарата за счет обеспечения квазипостоянного тягового усилия привода. Сформулирован ... -
Определение эффективного коэффициента теплопроводности сотового заполнителя методом электротепловой аналогии
(ХАИ, 2012)Приведены результаты исследований, посвященных определению эффективного коэффициента теплопроводности сотового заполнителя с использованием метода электротепловой аналогии. Получены аналитические зависимости эффективного ... -
Визначення товщини поглинаючого шару при вакуум-автоклавному методі формування
(ХАИ, 2012)Запропоновано методику визначення товщини та структури поглинаючого шару при вакуум-автоклавному методі формування виробів із полімерних композиційних матеріалів. Надана методика базується на законі Дарсі в одновимірній ... -
Экспериментальное определение температурных деформаций стержней из композитов под действием внутреннего напряженного состояния
(ХАИ, 2012)На основании предварительно разработанного подхода по определению напряженно-деформированного состояния тонкостенных стержней из композиционных материалов с неоднородным поперечным сечением практически реализован подход к ... -
О равнопрочных и равнонапряженных структурах композиционных материалов
(ХАИ, 2012)Проанализирован ряд имеющихся решений в области проектирования композитных конструкций. Рассмотрена в общей постановке задача о прочности тонкостенных конструкций из ортотропных слоистых композиционных материалов, находящихся ... -
Проектирование малогабаритных крыльев из композитов
(ХАИ, 2012)Рассмотрены основные подходы, применяемые для проектирования крыльев малого удлинения заданной конструктивно-силовой схемы. На базе дифференциального подхода предложена методика предэскизного проектирования конструктивных ... -
Краевые задачи теории упругости для ортотропных пластин, ограниченных координатными линиями декартовой и параболической систем координат
(ХАИ, 2012)Предложен аналитический метод решения краевых задач теории упругости для ортотропных пластин, ограниченных координатными линиями декартовой и параболической систем координат. Специальные преобразования общих решений уравнений ...