• Цифровізація критичної інфраструктури як чинник її сталого розвитку та захисту 

  Шевченко, І. (ХАІ, 2025)

  У статті розглянуто роль цифровізації як ключового чинника зміцнення захисту та стійкості критичної інфраструктури в умовах сучасних глобальних викликів. Визначено основні цифрові технології, що впроваджуються в інфраструктурні ...

• Аналіз нормативно-правової бази процесу сертифікації авіаційної техніки 

  Литвинов, О.М.; Чуприна, О.В.; Гребенікова, В.О. (ХАІ, 2025)

  У статті розглянуто нормативно-правову базу сертифікації типу авіаційної техніки (АТ), що є ключовим елементом забезпечення авіаційної безпеки. Висвітлено трансформацію нормативно-правових актів, що були запроваджені ...

• Формування єдиної освітньої платформи закладу вищої освіти: виклики, рішення, перспективи розвитку 

  Носиков, О.С.; Ситнік, О.О. (ХАІ, 2025)

  У статті досліджено проблеми формування єдиного інформаційного простору в закладах вищої освіти України в контексті сучасних викликів цифрової трансформації. Проаналізовано ключові виклики, пов'язані з фрагментацією даних ...

• Інтерактивна модель навчання критичному мисленню через ШІ-діалог 

  Шаповал, М.В.; Чухрай, А.Г.; Мандрікова, Л.В. (ХАІ, 2025)

  У статті представлено міждисциплінарне дослідження, присвячене розробці інтерактивного діалогового тренажера, що використовує штучний інтелект для формування навичок критичного мислення у користувачів. Центральна ідея ...

• Application of property proving to quadcopter flight control software 

  Sokol, D.V.; Zhukevych, A.B.; Miroshnychenko, H.A. (ХАІ, 2025)

  The object of the study is a computer model of an automatic control system for a quadcopter. The subject matter of the research encompasses the application of formal methods for analyzing and verifying requirements for ...

View more