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

У статті розглянуто молекулярні механізми дії нікотину на клітинному рівні. Проаналізовано хімічну природу нікотину, його здатність взаємодіяти з нікотиновими ацетилхоліновими рецепторами (nAChR) та впливати на сигнальні шляхи клітин. Особливу увагу приділено впливу нікотину на кальцієвий гомеостаз, ангіогенез, імунну відповідь та прогресування ракових захворювань. Матеріал базується на міждисциплінарному аналізі літературних джерел із біохімії, нейрофізіології та молекулярної біології.

Технологія 3D друку беззаперечно себе зарекомендувала у багатьох галузях виробництва, від робототехніки до авіапромисловості. З іншого боку, поширеною технологією армування полімерних матеріалів є додавання до них волоконних наповнювачів. Раціонально було б запропонувати об’єднати ці технології задля покращення механічних властивостей надрукованих деталей. Для реалізації цієї ідеї, було обрано технологію 3D друку — Digital Light Procesing (DLP), а як наповнювач — дисперговане у фотополімерній смолі подрібнене скловолокно. У результаті досліджень підтверджена можливість DLP 3D друку фотополімерною смолою наповненою дрібнодисперсним скловолокном, при цьому виявлено підвищення еластичності у зразках, наповнених скловолокном, при незначній втраті механічних властивостей. Модуль Юнга та границя міцності для композиту з 10 мас.% вмісту скловолокна становить 0.209 ±0.032 ГПа та 15.36 ±0.71 МПа, відповідно. А для композиту з 15 мас.% вмісту скловолокна — 0.151 ±0.008 ГПа та 10.59 ±0.38 МПа, відповідно.

Accurate nanoscale transport modeling is vital for next-generation electronics and quantum devices. Traditional methods like Molecular Dynamics (MD), Monte Carlo (MC), ballistic models, and hybrid approaches face significant limitations as dimensions shrink and quantum or ballistic phenomena dominate. This review examines these constraints, including computational cost, accuracy issues from underlying assumptions (e.g., interatomic potentials, scattering kernels), parameter fitting difficulties, and challenges in capturing multi-scale, multi-physics behavior. Sub-continuum effects pose particular constraints. These shortcomings highlight the need for novel computational paradigms, such as those emerging from machine learning, to advance nanotechnology research.

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

The report presents a theoretical analysis of surface magnon-plasmon polaritons (MPPs) in a layered structure with a thin uniaxial antiferromagnetic (AFM) film between two non-magnetic metals. The interaction between electromagnetic modes and AFM magnetization dynamics, influenced by a non-diagonal magnetic permeability tensor, leads to hybridized wave states. Unlike in ferrite-based systems, E- and H-waves in AFM media cannot be treated independently. The resulting biquadratic dispersion relation yields two frequency branches with anisotropy-driven shifts. An exact fourth-order equation reveals four solution branches and four corresponding modes, with two displaying significant damping and two supporting low-loss wave propagation.

У цьому дослідженні ми наводимо морфометричні дані та аналіз дистального відділу плечової кістки собаки. На основі 3D-моделей, реконструйованих з КТ-сканів 13 собак, було виміряно шість розмірних параметрів і проаналізовано їх у двох групах за вагою. Результати показують збільшення цих параметрів залежно від ваги і статистично значущі лінійні кореляції між ними.

Ge_1-xSn_xTe is a ternary alloy semiconductor of germanium telluride (GeTe) and tin telluride (SnTe), a type of IV-VI compound semiconductors. Both GeTe and SnTe belong to the class of ferroelectric Rashba semiconductors that are highly promising materials for spintronic devices. The ternary alloy Ge_1-xSn_xTe based on these compounds undergoes a ferroelectric phase transition at the Curie temperature, which depends on the germanium-to-tin ratio in the alloy. Accordingly, it is extremely important to correctly determine the surface temperature, which affects both the chemical composition and the physical properties of the Ge_1-xSn_xTe. This is addressed in this work using pyrometric interferometry. The obtained data will be used in future studies to control the germanium and tin composition and to study the ferroelectric phase transition and domains formation in Ge_1-xSn_xTe.

У даній роботі було зроблено літературний огляд застосування методу молекулярної динаміки (МД) для визначення теплових та електричних властивостей матеріалів з карбіду кремнію (SiC). Розглянуто моделі потенціалів взаємодії в SiC та області їх використання. Також була розглянуто питання моделювання методом МД процесу осадження SiC на кремнієву підкладку з метою покращення передбачення параметрів росту тонких плівок. Розглянуті аспекти можуть мати великий вплив на якість напівпровідникових приладів, тому дана тема є досить актуальною в напівпровідниковій індустрії.

Проведена експериментальна перевірка можливості виявлення статичних об’єктів розташованих на землі із малою ефективною площею розсіяння МІМО радаром міліметрового діапазону. Продемонстровано вплив калібрування системи на якість детекції об’єктів, зокрема у випадках зашумлених умов середовища.

У даній роботі в рамках рівняння Гросса-Пітаєвського з двома ідентичними пастками в якості утримуючого потенціалу досліджуються локалізовані стани Бозе-Ейнштейнівського конденсату. Проведено аналіз розв’язків для локалізованих станів у випадках лінійного та нелінійного середовища в потенціальних ямах і лінійного оточуючого середовища, та досліджено їх властивості.

Якість філамента, що використовується у 3D-друці, значно впливає на механічні властивості та якість кінцевих виробів. Одним із перспективних напрямків виготовлення філамента є переробка пластикових відходів, зокрема пляшок з ПЕТ, для виробництва філаменту. У моїх попередніх дослідженнях була розроблена експериментальна установка для переробки ПЕТ–пляшок в філамент. Установка включала компоненти для фіксації пляшок, різання, нагрівання стрічки, екструзії та намотування готового філаменту. У даному дослідженні представлено вдосконалення попередньої моделі шляхом введення вертикальної конфігурації установки, активної системи охолодження (вентилятори або охолоджувальна ванна) та додаткового механізму для подачі та витягування готового філаменту. Досліджено можливість виробництва двокольорового філаменту PLA шляхом ко–екструзії двох філаментів різних кольорів діаметром 1,75 мм. Для забезпечення стабільного потоку матеріалу через екструдер було вивчено залежність між швидкістю подачі і швидкістю витягування матеріалу. Були проведені механічні випробування отриманого філаменту до і після сушіння, а також порівняння з комерційними зразками філаменту. Результати демонструють потенціал вдосконаленої установки для створення двохкольоровиз філаментів та в перспективі стоврення філаментів зі складними структурами — за принципом поєднання структурних і функціональних (провідних) компонентів.

У роботі досліджено стійкі конфігурації світлового поля в оптичних волокнах за допомогою математичного моделювання та чисельних методів. Розглянуто метод граничних інтегралів, метод функцій Ерміта-Гаусса та чисельний метод Рунге-Кутти для розв’язання хвильового рівняння, що описує поширення світлової хвилі в оптоволоконі. Проведено аналіз впливу структури волокна, його діелектричних характеристик та початкового профілю введеного лазерного випромінювання на формування стійких конфігурацій світлового поля. Розрахунки виконано для різних типів оптичних волокон, зокрема одночастотних волокон та порожнистих волокон типу «фотонний кристал». Продемонстровано, що методи чисельного аналізу дозволяють точно прогнозувати інтенсивність і стабільність світлового поля на виході оптоволокна. Отримані результати можуть бути використані для покращення технологій оптичної передачі даних, оптимізації конструкції волоконно-оптичних систем та розробки нових типів оптоволокон з покращеними характеристиками. Зокрема, застосування чисельного моделювання дозволяє підвищити точність контролю над параметрами поширення світла, що є ключовим для високоефективних оптичних комунікацій та лазерних технологій.

Методом ab-initio моделювання досліджено атомну та електронну будову ряду кристалічних ОЦК структур, Ti_54-nNb_n, які моделюють 𝛽-сплав Ti_1-xNb_x. Досліджено механізм стабілізації атомної будови модельних структур з атомами Nb. Розраховано енергії міжатомних взаємодій і деформаційні енергії при різній концентрації атомів Nb. Досліджено міцнісні властивості всіх структур. Розраховано модулі Юнга. Отримано концентраційні залежності модулів Юнга. Проведено порівняння отриманих результатів з експериментальними даними. Отримано хорошу збіжність теоретичних і експериментальних результатів. Результати моделювання можуть бути важливими для прогнозування властивостей реальних 𝛽-сплавів Ti_1-xNb_x.

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

A topological defect in the form of a magnetic vortex is modeled as a magnetic flux-carrying tube that is impenetrable to quantum matter. The spinor matter field is quantized in the background of the vortex, with the most general set of boundary conditions ensuring both the impenetrability of the vortex core and the self-adjointness of the Dirac Hamiltonian operator. We compute the induced vacuum magnetic flux along the vortex axis in 3+1-dimensional space-time. Requiring the total induced vacuum flux to be finite restricts the set of admissible boundary conditions to a single option: the MIT bag boundary condition. The dependence of the results on the transverse size of the vortex was investigated.

Визначення структури теплової системи за її перехідними характеристиками методом деконволюції є складним процесом. З огляду на значну чутливість цього методу до шуму, особлива увага має надаватися методам деконволюції. У цій роботі розглянуто декілька класичних підходів до цієї проблеми, як от, баєсівська оптимізація та Фур’є деконволюція, а також метод регуляризованої оптимізації. На прикладі перехідної характеристики RC ланцюжка топології Кауер-І проаналізовано переваги та недоліки кожного із методів. Ефективність роботи алгоритму також проаналізована за умов шуму шляхом додавання гаусівського шуму до сигналу. Виявлено, що деконволюція методом оптимізації із l_2 регуляризацією є найбільш оптимальною у сенсі швидкодії, якості результату та простоти налаштування.

Ефективне керування тепловими потоками в нанорозмірних структурах є ключовим викликом для сучасної мікро- та наноелектроніки. Особливої уваги набувають нанопористі матеріали, які завдяки зниженій теплопровідності при збереженні електричних властивостей мають значний потенціал для застосування в термоелектриці та енергетичних пристроях нового покоління. У цьому контексті актуальним є вивчення механізмів теплопереносу в наноплівках та двовимірних матеріалах з урахуванням геометричних та структурних факторів. У роботі виконано комплексне моделювання теплопровідності наноплівок Si та моношарового MoS2 за допомогою методів молекулярної динаміки. Досліджено вплив геометричних розмірів та пористості на ефективну теплопровідністьцих матеріалів. Встановлено, що при зменшенні розмірів системи, а також у присутності пор, домінуючим стає фонон-межовий механізм розсіювання, що призводить до суттєвого зниження теплопереносу. Отримані результати апроксимовано для подальшого використання у багаторівневих моделях FEM, що дозволяє інтегрувати дані молекулярної динаміки в інженерні розрахунки. Отримані залежності мають прикладне значення для оптимізації теплових характеристик у системах охолодження та розробки високоефективних термоелектричних структур.

The Korteweg-de Vries equation is partial differential equation that describes certain types of wave phenomena. The solution to this equation describes one mysterious wave, discovered by John Scott Russell in 1834, and is named soliton. Soliton waves were later found in models of plasma, solid-state physics, biological systems, optic systems. In the middle of 1960’s the Korteweg-de Vries equation was found out to be closely related to the Schrödinger equation. Due to this fact, this equation is interpreted as sort of condition for compatibility of an abstract system of two auxiliary linear equations, and the solution of this equation can be found with the help of the Darboux transformation apparatus. This method allows us to construct new solutions to a nonlinear equation with the help of a known one. General formulas for the Darboux transformation were obtained earlier. In the given paper we consider mathematical application of the Darboux transformation in order to obtain solutions of the Korteweg-de Vries equation in explicit form. The resulting formulas describe some interaction of multisoliton solutions, namely, two- and three-soliton solutions.

Hadron therapy has proven to be highly effective in treating various types of cancer. CERN is actively engaged in knowledge transfer of linear accelerator technology for medical applications. As a result, a compact 750 MHz radio-frequency quadrupole (RFQ) was designed at CERN. As part of the commissioning of the RFQ, we performed beam matching from an ion source into the RFQ acceptance, and validated the results through initial current and profile measurements.

У статті досліджено вплив часткового блокування отворів для видуву охолоджувача, спричиненого забрудненням повітря, на ефективність плівкового охолодження лопаток газових турбін у військових умовах. Чисельне моделювання проведено в ANSYS CFX 2019 R2 із застосуванням SST-моделі турбулентності. Розглянуто параметр вдуву від 0.4 до 1.0 для трьох конфігурацій отворів: без блокування, з 25% і 50% перекриттям перерізу. Встановлено, що блокування знижує ефективність охолодження на 2.7% та 7.9%, при цьому поперечна нерівномірність плівки з максимумами по осі отворів і мінімумами між ними зберігається.

This brief review highlights the application of topology optimization (TO) in the design of liquid cooling systems for high-power electronic devices. Unlike conventional, geometry-based approaches, TO enables the generation of high-performance, non-intuitive cooling channel structures by optimizing material and fluid distributions. The review outlines commonly used objective functions, including average temperature minimization and multi-objective formulations balancing heat transfer and pressure drop through adjustable weighting factors. General benefits of TO are discussed, such as improved thermal performance, reduced pressure losses, and enhanced design flexibility. Additionally, recent research on topology-optimized cooling plates for server CPUs is summarized, demonstrating notable gains in thermal resistance, convective performance, and pressure drop reduction compared to traditional designs.

У статті представлено чисельне та аналітичне дослідження процесів теплообміну в алюмінієвих та мідних радіаторах з різними значеннями коефіцієнта емісії поверхні. Метою роботи є оцінка впливу матеріалу та емісійних властивостей на максимальну температуру радіатора при фіксованій геометрії, що відповідає вимогам компанії Intel. Аналітична модель базується на класичному розв’язанні рівняння теплопровідності для прямокутного ребра з ізольованим кінцем. Чисельне моделювання виконано в середовищі ANSYS Transient Thermal. Порівняння результатів дозволило оцінити узгодженість між аналітичним та чисельним підходами, а також визначити ефективні комбінації матеріалів і покриттів для зниження температури компонентів.

У роботі розглядається числове моделювання потоку робочого тіла малого турбореактивного двигуна (ТРД) у різних варіаціях профілювання соплового тракту з ежектором та порівняння роботи різних варіантів геометрії сопла на тепловий слід малого ТРД. Отримано поля значень основних параметрів потоку газу на виході з двигуна для 3D-моделі сопла у рамках верифікації моделі та для різних варіацій профілю сопла. Отримано якісний висновок — модифікація профілю сопла малого ТРД у поєднанні з ежектором дозволяє створювати передбачувані вихрові течії, що інтенсифікують теплообмін потоків з ежектора та сопла та зменшують тепловий слід факелу ТРД. Отримані кількісні результати можуть бути застосовані у малогабаритних літальних апаратах (ЛА) із крейсерськими дозвуковими швидкостями для зниження теплової помітності апарата.

Енергоспоживання протягом доби є нерівномірним: вранці та ввечері спостерігаються пікові навантаження, тоді як уночі та вдень — значні спади. Через відсутність ефективних методів масштабного зберігання електроенергії сучасні енергосистеми змушені постійно балансувати виробництво та споживання. Це призводить до того, що теплові електростанції, а в деяких ситуаціях і атомні електростанції періодично запускаються й зупиняються, що супроводжується високими енергетичними витратами, прискореним зношенням обладнання та підвищеним ризиком аварій. Одним із перспективних рішень для згладжування добових піків навантаження є використання протонообмінних водневих паливних елементів (PEMFC). У поєднанні з електролізерами вони дають змогу перетворювати надлишкову електроенергію в водень у години низького споживання, а потім повертати її у вигляді електроенергії в години пікового навантаження. Таке рішення дозволяє розвантажити традиційну генерацію, підвищити ефективність роботи енергосистеми та знизити викиди діоксиду вуглецю. Додатковою перевагою є температурна залежність ефективності електролізу: при зростанні температури електроліз проходить ефективніше. Оскільки атомні та теплові електростанції мають надлишкове тепло (завдяки системам водяного охолодження), це дозволяє підвищити ефективність без додаткових витрат на нагрів.

У даній роботі описано принцип роботи ежектора та його вплив на тягу турбореактивного двигуна (ТРД). За допомогою програмного пакету Ansys Fluent створено модель потоку газу на виході із сопла двигуна та на її основі верифіковано розрахункову модель. Проведено розрахунок параметрів потоку та тяги для двигуна без ежектора та зі стандартним ежектором, особливу увагу приділено модифікації внутрішньої поверхні ежектора шляхом встановлення тонких металевих лопаток, оцінено відносний приріст тяги за відповідної модифікації.

Ця стаття розглядає математичний апарат та критерії ефективності теплообмінників блоку перетворення енергії газотурбінного модульного гелієвого реактору. На їх основі пропонується алгоритм оптимізації теплогідравлічних показників теплообмінників.

Регулювання та контроль концентрації двоокису вуглецю автоматизованими інкубаторами критично важливе для низки хімічних та біологічних процесів. Біологічні та хімічні інкубатори повинні забезпечувати не тільки задану концентрацію газів, але і достатньо швидке досягнення заданої концентрації та відсутність значних градієнтів в робочій порожнині. Нами був створений портативний двоканальний пристрій для вимірювання концентрації двоокису вуглецю в діапазоні 0.0 — 100.0 об’ємних відсотків. Пристрій може градуюватися за допомогою стандартного чистого технічного газоподібного двоокису вуглецю та повітря для роботи в режимі точності до десятої частини відсотка, не потребуючи аналітичних стандартів. Двоканальна робота забезпечується швидким програмованим перемиканням між двома трубками для забору газу, що дозволяє вимірювати концентрації в двох додаткових точках одночасно з основним, вбудованим в інкубатор, датчиком двоокису вуглецю. Керування пристроєм та зчитуванням даних з нього забезпечується портативним ПК з операційною системою Windows без встановлення додаткового програмного забезпечення. Дослідження комерційного інкубатора Galaxy 170S за допомогою розробленого приладу вперше встановило, що середній час досягнення цільової концентрації двоокису вуглецю 5% в даному інкубаторі в середньому рівний 29 хв. Було також вперше встановлене явище накопичення двоокису вуглецю в верхній частині робочої зони інкубатора, що не описано в літературі та технічній документації і є по суті контрінтуїтивним явищем, яке вимагає окремого фізичного аналізу.

У цій роботі проведено чисельне моделювання органічної сонячної комірки на основі системи D18:L8-BO за допомогою програмного середовища OghmaNano. Досліджено вплив ключових технологічних параметрів — товщини активного шару, температури експлуатації, інтенсивності освітлення та мобільності носіїв заряду — на фотоелектричні характеристики пристрою. Змодельовано вольт-амперні характеристики (J–V криві) у світловому режимі при різних рівнях освітлення (0–100 %). При цьому, рівень освітлення 100 % відповідає стандартному сонячному спектру AM1.5G, а 0 % — умовам повної темряви. Побудовано залежності параметрів J_SC, V_OC, FF і PCE від варійованих умов, проведено аналіз чутливості до змін рухливості та температури, а також проведено порівняння результатів з теоретичними і наявними теоретичними даними. Результати можуть бути використані для проектування високоефективних мобільних і гнучких органічних фотоелектричних пристроїв.

В роботі розглянуто можливості використання технологій штучного інтелекту для виявлення закладних пристроїв. Наведено перспективні напрямки для впровадження технолоій штучного інтелекту в процес пошуку закладних пристроїв.

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

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

У роботі проведено порівняльний аналіз сучасних підходів до збільшення точності виявлення прихованих даних у цифрових зображеннях. Розглянуто методи відбору демаскуючих ознак сформованих стеганограм метод на основі функції різниці та кореляційного аналізу, бінарного алгоритму моделювання поведінки кажанів та моделі відбору демаскуючих ознак з урахуванням фаз коефіцієнтів двовимірного дискретного косинусного перетворення зображень. Проведено порівняння впливу зазначених підходів на точність розпізнавання стеганограм, сформованих згідно методу HUGO. Показано, що зменшення кількості параметрів або зміна способу їх формування може суттєво (до 10%) підвищити точність виявлення стеганограм.

У роботі здійснено аналіз основних векторів атак на інформаційні системи через периферійні пристрої з фокусом на апаратні вразливості протоколу USB. Розглянуто нормативні вимоги технічного захисту інформації згідно з НД ТЗІ 2.5-004-99 і ДСТУ 3396-96, а також принципи реалізації багаторівневої моделі безпеки. Запропоновано реалізацію системи контролю доступу до периферії на основі принципу обмеженої взаємодії, що унеможливлює непередбачену маршрутизацію команд або передачу даних між компонентами, які не мають явно дозволеного каналу зв’язку.

У роботі проведено порівняльний аналіз обчислювальної складності налаштування сучасних стегодетекторів для цифрових зображень. Досліджено випадок побудови стегодетекторів з використанням як згорткових (наприклад, YeNet, YedroudjNet та ZhuNet), так і гібридних (зокрема SRNet, MRS-Net і ResFormer) штучних нейронних мереж. Проведено оцінку тривалості обробки цифрових зображень та об’єму залученої відеопам’яті при використанні стандартних пакетів BOSSBase 1.01 і BOWS2. Встановлено, що налаштування стегодетекторів на основі поширених типів нейронних мереж (а саме YeNet та YedroudjNet) для виявлення стеганограм, сформованих згідно адаптивного стеганографічного методу WOW та середнього (менше 20%) ступеня заповнення зображення-контейнеру стегоданими, займає у середньому 9 годин за використання GPU RTX 3090. Налаштування новітніх нейронних мереж для побудови стегодетекторів, наприклад мережі ResFormer, займає 3 години при використанні однакового об’єму відеопам’яті (менше 3 ГБ).

У статті розглянуто підходи до виявлення вразливостей у популярних контент-менеджмент системах (CMS), які використовуються на російських вебресурсах. Запропоновано архітектуру інструменту для оцінки стійкості вебресурсів на базі автоматизованого збору інформації, визначення версії CMS та подальшого аналізу потенційних вразливих компонентів. Окрема увага приділяється модульній структурі сканування, агрегованому пошуку відомостей про вразливості (CVE) та ранжуванню ризиків з використанням відкритих джерел. Розглянуто зовнішні інструменти, що полегшують процес автоматизації аудиту.

У роботі пропонується концептуальний фреймворк захисту мікросервісної архітектури на основі принципів Zero Trust (моделі «нульової довіри»). Запропонований підхід поєднує інструменти керування ідентифікацією та доступом для кожного сервісу, мережеву сегментацію і шифрування трафіку на рівні service mesh, а також механізми забезпечення цілісності програмного забезпечення. Така багаторівнева модель безпеки покликана усунути притаманні мікросервісам вразливості шляхом тотальної перевірки довірених сторін і артефактів. У тезах розглянуто складові фреймворку (SPIFFE/SPIRE, OPA, Istio, Sigstore, SLSA) та їхню взаємодію для досягнення принципів Zero Trust. Наведено очікувані переваги від впровадження запропонованого рішення.

У даній роботі досліджено проблематику захищеності віддаленого оновлення прошивок пристроїв Інтернету речей. Запропоновано рішення на основі хмарної інфраструктури Amazon Web Services з використанням цифрового підпису, mTLS та HMAC. Розроблений метод було протестовано на стійкість до типових атак.

В даній роботі досліджені загрози в середовищі Active Directory та в методах аутентифікації ОС Windows. Використано методи аналізу конфігураційних політик Windows, сканування облікових записів і груп доступу, аналіз прав Kerberos-токенів. Запропоновано програму-скрипт для автоматизованої перевірки наявності вразливостей та їх усунення.

У цій роботі досліджується предметна область процедури кіберрозвідки для розуміння її технік та інструментів в залежності від типу і методології. Проводиться огляд математичної концепції моделі дерева рішень. Результат цієї роботи допоможе більш структуровано підходити до збору і аналізу даних під час процедури розвідки у кіберпросторі.

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

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

Ця робота присвячена дослідженню інтеграції сучасних методів зворотньої розробки (реверс-інжинірингу) та аналізу бінарних вразливостей з можливостями великих мовних моделей (LLM) для покращення процесу виявлення потенційних вразливостей у програмному забезпеченні. Робота включає практичну імплементацію та тестування запропонованої методології на різних типах бінарних файлів. Результати демонструють потенціал використання штучного інтелекту для спрощення та підвищення ефективності процесу реверс-інжинірингу, що має значні перспективи для галузі кібербезпеки та аналізу захищеності програмного забезпечення.

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

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

У роботі розглянуто підхід до визначення факту реальної компрометації інформаційної системи на основі кореляції локально виявлених індикаторів компрометації (IoC) microsoft-ioc з подіями, що фіксуються системою моніторингу безпеки. Запропоновано метод побудови графа взаємозв’язків між подіями та індикаторами на основі логічних зв’язків (наприклад, спадковості процесів). Реалізовано прототип системи збору, нормалізації та аналізу IoC з використанням Neo4j neo4j.

У цій роботі представлено розробку веб-застосунку для автоматизованого аналізу безпекових вразливостей веб-сайтів з використанням Nmap та інтегрованим Vulscan, OWASP ZAP, Nuclei, Wapiti та Google Dorking. Було проведене тестування розробки на локально розгорнутому вразливому середовищі Metasploitable2 та порівняно результати зі сканером вразливостей Nessus. Отримані результати вказують на можливість застосування цього веб-застосунку у сфері тестування безпеки веб-сайтів. Дане рішення допоможе підвищити рівень безпеки веб-ресурсів в малих та середніх організаціях.

У роботі розглядається процес збору цифрових артефактів з популярних веб-браузерів (Google Chrome, Mozilla Firefox, Arc) як ключового джерела доказів у цифровій криміналістиці. Запропоновано методику вилучення артефактів (cookies, історія переглядів, кеш, паролі, закладки) з урахуванням особливостей кожного браузера. Проведено огляд інструментів для автоматизації збору даних, створено програмне рішення, яке дозволяє зручно та ефективно здійснювати витяг і аналіз артефактів hindsight, autopsy. Результати роботи мають практичне значення для фахівців з кібербезпеки та цифрових розслідувань.

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

У роботі розглянуто питання захисту конфіденційних даних у вебсервісах із використанням блокчейну та доказів з нульовим розголошенням. Проаналізовано базові методи захисту інформації, їхні обмеження та переваги технології блокчейн для забезпечення цілісності даних. Описано концепцію Zero-Knowledge Proofs (ZKP) і можливості її застосування для аутентифікації і приватних транзакцій без розкриття самого змісту даних. Запропоновані підходи демонструють, що поєднання блокчейну та ZKP дозволяє істотно підвищити конфіденційність у розподілених веб-системах, хоча потребує додаткових обчислювальних ресурсів.

У роботі досліджено можливості застосування технології блокчейн для побудови безпечної децентралізованої моделі управління даними в системах Інтернету речей (IoT). Проаналізовано загрози в IoT, типи блокчейну, види протоколів консенсусу, а також особливості реалізації на основі смарт-контрактів. Запропоновано концептуальну модель інтеграції, яка дозволяє досягти високого рівня безпеки, контролю власності та цілісності даних.

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

Робота присвячена проблемі виявлення аномалій на об’єктах критичної інфраструктури. В даному дослідженні розв’язано часткову задачу, яка стосується виявлення аномалій на об’єктах водопостачання по даних операційної системи, які можуть свідчити про потенційну кібернетичну атаку. Запропоновано використати комплексний підхід до покращення якості класифікації, який передбачає використання штучних даних. Експериментально показано, що штучні дані, згенеровані LLM за встановленими вимогами, дозволяють істотно покращити якість класифікації. Проаналізовано вплив ознак на якість виявлення аномалій, проведено виділення найбільш значущих ознак, що дозволило розв’язати задачу більш ефективно. Задача пов’язана із результатами дослідження кіберфізичних впливів на стенді системи резервуарів в лабораторії ICS НН ФТІ.

У статті розглянуто підхід до адаптивного виявлення мережевих атак в IDS із використанням методу багаторуких бандитів. На відміну від класичного сигнатурного підходу або статичних машинних моделей, запропоноване рішення дозволяє динамічно обирати найбільш ефективний детектор атак у потоці мережевих подій. Для реалізації було використано алгоритм UCB, який оптимізує вибір моделі на основі історії її результативності. Обраний підхід допоможе IDS краще виявляти zero-day атаки і знизить кількість хибнопозитивних спрацювань.

Робота присвячена дослідженню сфери безпеки систем ICS з метою розробки актуальної методики перевірки систем на захищеність. У роботі описані основні поняття та особливості безпеки індустріальної інфраструктури. Результатом дослідження є розроблена методика проведення перевірки індустріальних систем керування на захищеність.

Кількість кібератак на об’єкти критичної інфраструктури постійно збільшується. Так само зростає їх складність, організованість та здатність обходити традиційні засоби захисту, що породжує необхідність їх глибокого дослідження та вдосконалення існуючих методів виявлення. В даній роботі розглянуто модель непомітної атаки (stealthy attack), що має на меті максимізувати вплив на систему керування. Досліджено основні характеристики такої атаки та запропоновано поетапний алгоритм для їх визначення.

Робота присвячена дослідженню методів машинного навчання для виявлення Lateral Movement в корпоративних мережах Microsoft Windows. У цій роботі описані техніки та вразливості, що використовуються зловмисниками для проведення Lateral Movement. Дослідження представляє собою розробку методу виявлення Lateral Movement за допомогою аналізу логів Sysmon. Отриманий в результаті проведення дослідження метод можна використати для мінімізації випадків Lateral Movement в мережах Microsoft Windows.

В даній роботі були розглянуті основні методи відстеження транзакцій в блокчейні та проаналізовані поведінкові особливості криптовалютных адрес на основі відкритих даних з блокчейну Bitcoin. Користуючись даними аналізу, були запропоновані метрики для побудови початкової моделі виявлення потенційно підозрілих адрес. Застосовано регресійний підхід для виявлення гіпотетичних закономірностей. Описана модель може стати базовою для подальшого розширення, масштабування та впровадження більш комплексних систем дослідження.

В роботі запропоновано методику виявлення витоків даних щодо об’єктiв критичної інфраструктури iз застосуванням Google-dorks. Методика дозволяє встановити ступінь відкритості організації за запропонованими критеріями. Розроблено переліки видів інформації, яка може представляти цікавість для зловмисників, в тому числі соціальних інженерів. Запропоновано метод оцінки серйозності витоків, використані числові критерії сформовані із наданням вагiв знайденим даним шляхом попарних порівнянь i складанням матриці попарних порівнянь Саатi. Одержані результати можуть бути використані на підприємствах критичної інфраструктури для самоаналізу та роботи над підвищенням захищеності, а також зовнішніми аудиторами безпеки.

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

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

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

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

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

В роботі проаналізовано існуючі стандарти реагування на інциденти в ICS/OT середовищі. На основі проведеного аналізу запропоновано підхід до експертних рекомендації в процесі реагування на інциденти з використанням LLM. При налаштуваннях LLM моделі враховано специфіку індустріальних систем контролю, приклади реальних інцидентів, на основі яких відбувається навчання моделі. Результатом використання LLM є Standard Operating Procedure(SOP), які містить етапи реагування на інцидент: виявлення та аналіз, стримування, усунення та відновлення, постінцидентний аналіз та в кожному етапі послідовність дій, які треба виконати для реагування на інцидент. Взаємодію із LLM через API реалізовано у вигляді застосунку.

Роботу присвячено розробці адаптивної методики оцінки якості програмних засобів у сфері кібербезпеки. Розглянуто підхід до одночасної оцінки функціональності та зручності використання продуктів на прикладі міжмережних екранів і засобів багатофакторної автентифікації. Методика базується на використанні чеклістів, анкетування, методу Сааті та запропонованого інтегрального показника.

Розробка та впровадження легких криптографічних алгоритмів стають дедалі важливішими через зростання обсягів даних, які передаються безпілотними літальними апаратами (БПЛА) та іншими автономними системами. Ці системи потребують рішень з інформаційної безпеки, що є ефективними та малоресурсними. Легка криптографія забезпечує збалансовану комбінацію продуктивності, низького енергоспоживання та простоти реалізації. У цій статті представлено перше порівняльне дослідження легких криптографічних алгоритмів у контексті БПЛА, із оцінюванням їхньої придатності для захисту даних і керування в режимі реального часу у середовищах з обмеженими ресурсами. Основним внеском є практичний експеримент із вимірюванням навантаження на процесор, використання памʼяті та енергоспоживання відібраних алгоритмів на апаратному забезпеченні дрона. Результати дають чітке уявлення про ефективність кожного алгоритму в реальних умовах.

Робота присвячена методу виявлення атаки на енергетичну інфраструктуру, що спирається на використання PMU(Phasor Measurement Unit). У цій роботі описані основні принципи роботи PSS (Power System Stabilizer) та типи атак, що його стосуються. Результати проведеного аналізу можливо застосувати для програмної або апаратної реалізації аналізу стану енергосистеми, підвищення її стійкості до кібератак, а також прискорення виявлення аномалій поведінки генератора.

Ця робота містить опис математичної та програмної моделей, за допомогою яких розв’язано задачі моделювання порушень доступності мережі безпілотних літальних апаратів (БПЛА) внаслідок дії кіберфізичних засобів, зокрема радіоелектронної боротьби (РЕБ), а також внаслідок дії шкідливого програмного забезпечення (ШПЗ). Для створення та аналізу моделей було застосовано апарати комплексних мереж та клітинних автоматів.

Робота присвячена дослідженню вразливостей протоколу SS7 в умовах його інтеграції з IP-мережами, аналізі найпоширеніших сценаріїв атак та розробка рекомендацій для підвищення рівня безпеки у мобільних мережах. У цій роботі описано поняття та основні вразливості, що стосуються мережі SIGTRAN. Результати проведеного дослідження можливо застосувати у реалізації мережі SS7 over IP для покращення рівня безпеки обміну інформацією через мережі 2G/3G.

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

У сучасному світі зростання кіберзагроз, таких як фішинг, ransomware та атаки на критичну інфраструктуру, вимагає вдосконалення методів оцінювання ризиків у кіберсистемах для забезпечення їхньої безпеки, стійкості та безперебійної роботи. У даній роботі проведено детальний аналіз існуючих методологій оцінювання ризиків, включаючи CRAMM, NIST RMF, ISO 27005, FAIR, OCTAVE, COBIT та ISO 31000/31010, з оцінкою їхніх переваг, недоліків та застосовності до сучасних викликів кібербезпеки. Запропоновано новий метод оцінки ризиків, заснований на формулі R = P ×I ×V, який враховує ймовірність реалізації загроз, їхній вплив та цінність активів. Метод поєднує кількісні та якісні підходи, забезпечуючи гнучкість, точність і адаптивність до різних типів організацій. Дослідження спрямоване на підвищення захищеності кіберсистем шляхом прогнозування ризиків, оптимізації контрзаходів та розробки стратегій управління вразливостями.

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

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

Найбільшою складністю в оцінці викидів метану в Україні є дискретність та неповнота даних інвентаризацій, що призводить до недооцінки регіональних та локальних джерел. У статті запропоновано підхід до інтегрованого інверсійного моделювання викидів метану на базі супутникових спостережень TROPOMI/Sentinel-5P та хмарної платформи Amazon Web Services із використанням моделі Integrated Methane Inversion. Проведено повноцінні інверсії для трьох етапів: довоєнного періоду, початку повномасштабної війни та періоду продовження воєнних дій у 2023 році по всій території України з роздільною здатністю 0,25°×0,3125°, які дозволили виміряти як загальну кількість викидів, так і по секторам. Отримані апостеріорні оцінки виявилися в цілому вищими за офіційні дані подані Україною в Національному звіті інвентаризації викидів за Рамковою конвенцією ООН зі зміни клімату (UNFCCC), що може свідчити про систематичну недооцінку реальних викидів у традиційних методиках та підкреслює необхідність їх подальшої верифікації. Показано, що запропонований інверсійний підхід забезпечує високу просторову деталізацію та може стати ефективним інструментом для моніторингу та коригування національних інвентаризацій викидів метану.

This work explores and implements a method for leveling illumination in various types of images. Issues such as insufficient or uneven lighting can lead to the loss of important details, low contrast or incorrect color reproduction. On the other hand, excessive lighting may cause overexposed areas which leads to image information being lost. This problem is particularly relevant in the processing of medical images, where poor lighting can make them look too dark and hide important details, particularly in the shadowed areas. The practical part of the work presents a mathematical model that describes the transition from the variational (optimization) formulation of the problem to its differential form. To evaluate effectiveness of existing numerical methods from the field of mathematical physics in the context of illumination leveling, a comparative analysis is conducted. Experiments were carried out to determine the computation time and number of iterations required to obtain images with leveled illumination.

У роботі розглянуто методи виявлення фішингових електронних листів на основі сучасних технологій глибокого навчання. Особливу увагу приділено архітектурам нейронних мереж, зокрема CNN, LSTM і трансформерам (BERT), що демонструють високу точність при класифікації фішингових, спамових і безпечних листів. Також досліджено ефективність традиційних методів, таких як сигнатурний аналіз, чорні списки, правила фільтрації, а також алгоритми машинного навчання. Розкрито залежність точності класифікації від якості датасетів і важливість постійного оновлення моделей.

Будівельні майданчики характеризуються високою складністю візуальної сцени, що ускладнює автоматизоване виявлення та сегментацію об’єктів. У цьому дослідженні виконано порівняльний аналіз трьох сучасних моделей сегментації екземплярів: Mask R-CNN, YOLOv8l-seg та Mask2Former. Навчання та оцінювання проводили на наборі даних Alberta Construction Image Dataset (ACID) із використанням стандартних метрик COCO (mAP, mAP_50, mAP_75) та оцінки швидкості інференсу (FPS). Результати показали, що Mask2Former досягає найвищої точності (mAP 79.2%), тоді як YOLOv8l-seg забезпечує найвищу швидкість обробки (33.7 FPS) із високою точністю (mAP 77.1%). Mask R-CNN поступається обом сучаснішим моделям як за точністю, так і за швидкістю. Отримані результати ілюструють компроміс між точністю і продуктивністю в задачах сегментації будівельної техніки та підкреслюють ефективність використання трансформерних архітектур у складних візуальних умовах.

Війна спричинила глибоку кризу сільських територій України, і за обмежених державних ресурсів їх відновлення залежить від зовнішніх інвестицій. Проте високі ризики та нестача об’єктивної інформації стримують інвесторів. Це дослідження має на меті комплексно оцінити інвестиційну привабливість сіл за допомогою багатокритеріального геопросторового аналізу. Розглядалися три основні критерії: природний потенціал, інфраструктурна доступність і воєнна безпека. Серед напрямів інвестування — аграрний сектор, відновлювана енергетика та туризм. Ваги критеріїв визначалися методом попарних порівнянь із залученням п’яти великих мовних моделей (GPT-4, Claude, Gemini, Deepseek, Grok 3) як віртуальних експертів. Отримані результати порівнювались з оцінками дев’яти фахівців. Мовні моделі показали вищу узгодженість і подібність до людських оцінок за ключовими критеріями. Безпека визначена як головний чинник, а землеробство — як найперспективніший напрям інвестування. У підсумку створено серію тематичних карт, що візуалізують інвестиційний потенціал українських сіл. Найпривабливішими виявились західні регіони, найменш — східні та південні.

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

На відміну від сегментації клітин, яка активно розвивається, наразі не існує загальноприйнятого підходу саме для детекції гелю в біомедичних зображеннях. Ця задача є технічно складною через неоднорідність зображень і відсутність чітких візуальних критеріїв для виділення гелевих утворень. Така складність зумовила розробку двогілкового алгоритму обробки, що дозволяє незалежно аналізувати клітинні елементи та гелеву основу. Розроблений підхід демонструє високу точність, достатню для подальшого просторового аналізу гелевих структур.

У цій статті пропонується розглянути проблему реконструкції неповних хмар точок Dai2017ShapeCompletion,Park2019DeepSDF, що є актуальною задачею в комп’ютерному зорі, автономній навігації та цифровій реконструкції. Пропонується підхід на основі симпліціальної нейронної мережі (Simplicial Neural Network, SNN), що враховує топологічні структури вищого порядку. Для валідації моделі використано підмножину датасету ModelNet40 Wu2015ShapeNet . Отримані результати демонструють здатність SNN відновлювати відсутні ділянки з високою точністю, зберігаючи топологічну узгодженість. Продемонстровано, що запропонований метод дозволяє краще відновлювати локальні деталі порівняно з базовими підходами. Додатково відзначено підвищену стійкість до зашумлених даних, що є критичним чинником для реальних застосувань.

У роботі розглянуто актуальну проблему виявлення безпілотних літальних апаратів (БПЛА) за допомогою застосування методів штучного інтелекту, зокрема глибокого навчання та комп’ютерного зору. Проведено огляд основних підходів до детекції дронів — радіолокаційних, акустичних, інфрачервоних, радіочастотних та оптичних — із визначенням їхніх переваг та обмежень. Основну увагу зосереджено на оптичному виявленні з використанням згорткових нейронних мереж, зокрема архітектури YOLOv8, яка забезпечує високу точність і швидкодію в умовах реального часу. Описано структурні компоненти моделі, функції втрат, ключові метрики оцінювання (mAP, Precision, Recall, F1-score), а також практичні аспекти навчання моделей для задачі виявлення дронів. Робота має прикладне значення для розробки ефективних систем моніторингу повітряного простору як у військових, так і в цивільних умовах.

У даній роботі було проведено дослідження сучасних методів ройового інтелекту, серед яких були наступні алгоритми: алгоритму «Півень-Курка-Курча», алгоритм оптимізації тигрового жука, багатостратегічний покращений ройовий алгоритм пошуку медуз. Їх було протестовано на унімодальних та мультимодальних функціях глобальної оптимізації та досліджено ефективність роботи для кожної з них.

Виявлення нафтових плям на морі є важливим завданням для моніторингу екологічних надзвичайних ситуацій. Модель PRITHVI 2.0, розроблена NASA, демонструє високу ефективність у задачах аналізу супутникових даних завдяки попередньому навчанню на великій кількості зображень з різних сенсорів. У цій статті ми досліджуємо її можливості, адаптучи цю модель до задачі сегментації нафтових плям, використовуючи відкриті SAR дані NOAA/NESDIS із застосуванням до них методу попередньої обробки, який забезпечує формування інформативного RGB-представлення одноканальних VV-поляризованих знімків. В експериментальній частині ми порівнюємо продуктивність двох конфігурацій PRITHVI 2.0 (300M та 600M параметрів) на датасеті, що включає 512 зображень із різних регіонів світового океану. Найкраща модель (PRITHVI-EO-2.0-600M) досягає 55,2% mIoU та 75,3% піксельної точності на тестовому наборі даних. Результати показують, що PRITHVI 2.0 здатна ефективно виявляти нафтові плями навіть за обмеженої кількості навчальних даних, що відкриває нові можливості для моніторингу екологічних катастроф за допомогою фундаментальних моделей та сприяє реалізації проєкту створення масштабованого цифрового двійника для моніторингу змін земного покриву.

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

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

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

Characteristic of Janus particles is that one half of their surface is modified such that the two sides of the particle exhibit different properties. In this study we will formulate of the problem of Janus particles with an interaction potential due to magnetic caps and simulate their energy, presenting theoretical ground work and implementation for two approaches to tackling this problem, namely incremental approach and its modification involving sparse grids. We will compare those two approaches, their significance for further research and potential for future improvements.

У дослідженні порівнюються класичні алгоритми машинного навчання для задачі прогнозування врожайності зернових культур. Використано статистичні дані Світового банку та супутникові дані (опади, покриття лісами). Оцінено ефективність Linear Regression, Decision Tree, Random Forest та Gradient Boosting.

Розглядається застосування великих мовних моделей для вирішення задачі визначення географічного положення на основі аналізу зображень з Google Street View. Основна ідея полягає в тому, щоб інтегрувати популярні у наш час мовні моделі із модулем аналізу візуального контексту та просторових ознак, доповнюючи їх механізмом точного перетворення географічних координат у пікселі для нанесення на навігаційну мапу та перевірки якості прогнозу за допомогою онлайн-ресурсу GeoGuessr. Прогнози моделей можуть слугувати основою для побудови вузькоспеціалізованої моделі у майбутньому та її навчання методом дистиляції знань.

У даній роботі розглянуто використання супутникових даних, вегетаційних індексів на їх основі, ембедінгів отриманих за допомогою фундаментальної моделі Presto та їх комбінацій як вхід для моделі випадкового лісу для вирішення задачі семантичної сегментації типу лісу на основі часових рядів супутникових даних Sentinel-1 та Sentinel-2. Було виявлене погіршення результатів сегментації внаслідок використання моделі Presto на 0.09 в рамках міри F1. Найкращі результати, зі значенням F1 на рівні 0.83, продемонструвало як пряме використання випадкового лісу над супутникових даних, так і їх комбінація з вегетаційниими індексами.

В роботі досліджено властивості експоненційного індексу складності випадкового рекурсивного дерева. Доведено, що послідовність нормованих індексів складності утворює обмежений в L_p, p≥1 мартингал, та встановлено існування граничної випадкової величини, до якої збігається ця послідовність, коли кількість вершин дерева прямує до нескінченності. Для граничної випадкової величини доведено існування щільності розподілу, встановлено вигляд рівняння, якому ця щільність задовольняє, а також перевірено виконання умови Карлемана, яка гарантує, що розподіл граничної випадкової величини визначається однозначно її моментами.

У роботі представлено підхід до моделювання чисельності популяцій риб у річці Дніпро з урахуванням рівнів водного забруднення. Для оцінки впливу екологічних чинників використано дані гідрохімічного моніторингу та вилову за період 2019–2023 років. Проведено регіональну кластеризацію пунктів спостереження та побудовано модель росту популяцій із впливом агрегованого індексу забруднення. Отримані значення коефіцієнтів чутливості дозволили оцінити відносну важливість забрудників. На прикладі виду Лин проаналізовано сценарій зниження рівня кисню у воді, що демонструє потенціал моделі до прогнозування наслідків екологічних змін.

У роботі розглянуто математичні методи корекції та оптимізації візуального SLAM (Simultaneous Localization and Mapping) для задач автономної навігації мобільних роботів у динамічних середовищах. Актуальність теми зумовлена потребою у доступних рішеннях для застосування в умовах обмежених ресурсів, зокрема в Україні під час воєнного стану. Здійснено огляд сучасних алгоритмів обробки візуальних даних, зокрема методів фільтрації шумів, виявлення змін у середовищі та адаптивного оновлення карти. Проведено експерементальні дослідження з використання власного датасету, сформованого під конкретну апаратну платформу. Результати показали, що застосування запропонованих підходів дозволяє підвищити точність і стабільність побудови карти без використання дорогих сенсорів, таких як LiDAR. Робота є основою для подальшої розробки повноцінного прототипу мобільного робота, здатного працювати в умовах руйнувань та обмеженої видимості.

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

У роботі розглянуто застосування сучасних криптографічних механізмів для вирішення проблем, пов’язаних із проведенням публічних закупівель. Зокрема, увагу зосереджено на використанні верифікованих випадкових функцій (VRF) та протоколів розподіленого генерування ключів (DKG) для забезпечення прозорості та конфіденційності даних у процесі тендерів. Досліджено основні проблеми існуючих тендерних систем, а також спроби впровадження блокчейну в такі системи. У результаті запропоновано два методи проведення тендерних закупівель із використанням блокчейн технологій, що підвищують надійність і відкритість процедур.

У роботі формалізовано сценарій, у якому використання нестійкої функції створення ключа призводить до втрати стійкості механізму об’єднання ключів на основі конкатенації (CtKDF) відносно атаки нерозрізнення з вибраним відкритим текстом (IND-CPA). Запропонована модель із двома іграми: у першій зловмисник отримує значення нестійкої функції створення ключа, у другій — випадкове значення. Здатність зловмисника розрізнити ці два випадки визначає рівень безпеки механізму CtKDF. Проведений аналіз підкреслює важливість безпечної функції створення ключів для забезпечення загальної безпеки гібридних схем.

У даній роботі розглядається новий клас ARX-примітивів: S-функції із забуванням, головною особливістю яких є відсутність залежності між станами обчислень. Для S-функцій із забуванням у загальному випадку було знайдено вирази для імовірностей пар обертання, які характеризують стійкість до обертального криптоаналізу. Розглянуто два класи спеціального виду S-функцій із забуванням, для яких знайдено чисельні значення імовірностей усіх пар обертання.

У даній роботі розглядаються алгоритми для оптимізації реалізації S-блоків для малопотужних пристроїв та їх можливе практичне застосування для 4-бітових S-блоків, які є кандидатами у нелінійні компоненти шифру ГОСТ. Також розглядається основні критерії, за якими можна оптимізовувати реалізації S-блоків та їх основні представлення для безпечних та ефективних реалізацій.

У цій роботі досліджується постквантовий криптографічний примітив сімейства AJPS — схема шифрування AJPS-1, що базується на арифметиці за модулем числа Мерсенна. Описано оригінальну криптосистему, а також її модифікації з використанням інших класів чисел у якості модуля. Проведено порівняльний аналіз псевдовипадковості відкритого ключа та шифротексту оригінальної криптосистеми AJPS-1 та її модифікацій з використанням узагальнених чисел Мерсенна та чисел Кренделла за допомогою набору тестів псевдовипадковості NIST SP 800-22. Одержані результати підтверджують доцільність використання альтернативних модулів в AJPS-1 для збільшення варіативності параметрів та підвищення рівня стійкості криптосистеми.

У роботі досліджено методи вибору та обґрунтування параметрів колатеральних DeFi-протоколів на основі Order Book. Проведено огляд архітектури децентралізованих фінансів, класифіковано основні типи колатеральних механізмів, обґрунтовано переваги Order Book-моделі у контексті DeFi-кредитування. Побудовано математичну модель умови ліквідації, яка враховує відхилення цін між оракулом і DEX, ціновий вплив великих угод та миттєве падіння ринкової ціни активу. Проведено чисельні розрахунки граничного коефіцієнта LTV_ для основних торгових пар (BTC/USDT, ETH/USDT, DOGE/USDT, PEPE/USDT) із урахуванням резерву безпеки. Виконано порівняння результатів з даними Yellow Paper та обґрунтовано вплив ринкової кон’юнктури на параметри кредитування.

В цій роботі досліджено зв’язок структурності S-блоків та їхніми таблицями розподілу диференціалів (DDT). Розглянуто тести «випадковості» S-блоків, що ґрунтуються на їхніх статистичних характеристиках — так званих аномаліях; наведено певні уточнення цих оцінок, а також проаналізовано основні відомі в літературі S-блоки на предмет випадковості.

В роботі побудовано реалізацію протоколу квантового захищеного прямого зв’язку LM05 на основі аніонних систем. Розглянуто представлення логічних кубітів та операцій протоколу через маніпуляції абелевими аніонами моделі Китаєва та неабелевими аніонами Фібоначчі. Проведено порівняльний аналіз аніонних реалізацій з класичним фотонним підходом щодо ключових характеристик, таких як точність, стійкість та складність. Обговорено переваги та експериментальні виклики аніонних платформ для квантового обміну інформації.

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

У цій роботі запропоновано альтернативну модель оцінки ймовірності успіху атаки випередження типу заміщення в блокчейн-мережах за умови відсутності залежності між часом обробки транзакції та розміром її комісії. На відміну від існуючих підходів, дана модель розглядає випадок, коли порядок включення транзакцій у блок стає випадковим через низьке завантаження мемпулу або однакові комісії. Сформульовано та доведено дві теореми, які дають точні аналітичні формули для обчислення ймовірності випередження в двох граничних випадках: повного включення транзакцій (M ≤N) та обмеженого розміру блоку (M > N). Встановлено, що ймовірність успіху атаки зменшується зі зростанням співвідношення M/N. Дослідження показало, що навіть за відсутності залежності від комісії контроль завантаженості мемпулу залишається ключовим фактором для запобігання атакам випередження.

У роботі досліджено алгебраїчні властивості ймовірностей RX-диференціалів операції, яка апроксимує додавання за модулем у криптосистемі NORX. Наведено аналітичні вирази для обчислення RX-ймовірностей, проаналізовано умови існування RX-диференціалів з ненульовою ймовірністю та запропоновано алгоритми пошуку таких диференціалів. Представлені аналітичні формули дозволяють ефективно оцінювати стійкість криптографічних примітивів класів ARX та LRX, які використовують апроксимації модульного додавання, до диференціально-обертального криптоаналізу.

У роботі досліджено структуру криптографічної схеми Лая-Мессі, яка є одним із варіантів ітеративної побудови симетричних шифрів. Розглянуто наявні квантові атаки на цю схему. Проаналізовано одне з наявних узагальнень схеми Лая-Мессі. Побудовано атаку відновлення ключа першого раунду для 1-раундової узагальненої схеми Лая-Мессі, а також квантову атаку на відновлення ключа першого раунду для часткового випадку 2-раундової узагальненої схеми Лая-Мессі. Побудовано розпізнавач для часткового випадку 2-раундової та 3-раундової узагальнених схем Лая-Мессі.

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

У роботі запропоновано ефективний алгоритм оцінки стійкості LBlock до диференціального криптоаналізу, який замість точних розподілів диференціалів імовірностей S-блоків використовує шаблони активності диференціалів. Алгоритм ітеративно обчислює верхні межі ймовірностей диференціалів (UB^[r]) для заданої кількості раундів, що суттєво знижує обчислювальні витрати. Для експериментальної перевірки оригінальні 4-бітові S-блоки були замінені на 8-бітовий з шифру AES значення максимальної ймовірності диференціала якого дорівнює 2⁻⁶. Досліджено різні конфігурації модифікації шифру LBlock, що дозволило виділити чотири класи стійкості конфігурацій перестановок P та 𝜌.

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

Роботу присвячено аналізу випадкового блукання пари частинок на гіперкубі, динаміка руху якої описується двовимірним ланцюгом Маркова. Матриця перехідних ймовірностей цього ланцюга є такою, що обидва маргінальні розподіли пари відповідають простому випадковому блуканню на гіперкубі і, крім того, закон руху пари вибрано так, щоб мінімізувати математичне сподівання відстані між частинками за один крок. Для такого блукання було знайдено розподіл відстані між частинками в кожен момент часу за допомогою твірних функцій. Було отримано числові характеристики моменту зустрічі, знайдено його граничний розподіл, а також оцінено ймовірність великих відхилень за допомогою нерівності Чернова. Отримані аналітичні результати доповнено чисельним експериментом, що демонструє поведінку моменту зустрічі на практиці.

У роботі проведено аналіз стійкості геш-функції Купина у квантовій моделі обчислень. Розглянуто застосування трьох квантових алгоритмів: Гровера, Брассара-Хоєра-Таппа (BHT) та Шайу-Наї-Пласенсiї-Шроттенльоєра (CNS). Наведено їхні оцінки складності (за кількістю запитів до оракула, кубітів та вентилів) та особливості реалізації для режимів Купина-256 та Купина-512. Обчислено, що квантовий алгоритм Гровера забезпечує оптимальну ефективність при пошуку прообразів геш-функції, коли задано одне цільове геш-значення. Тоді як квантовий алгоритм CNS демонструє найкращі показники для задачі пошуку колізій та є ефективнішим для пошуку прообразу у випадку наявності множини цільових значень.

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

У статті представлено принципи побудови децентралізованої системи обліку робочого часу із застосуванням блокчейн-технологій на базі протоколу консенсусу Proof-of-Accuracy. Розглянуто основні механізми функціонування системи, а також проаналізовано можливі загрози, зокрема атаку на децентралізацію та її послаблену версію. Наведено кількісні оцінки ймовірності успішної реалізації зазначених атак.

У роботі досліджуються постквантові задачі MLHRSP та MLHCSP, на основі яких побудовано криптографічні примітиви сімейства AJPS, та їхні модифікації: задача MLHCSP-U та задачі розрізнення MLHCDP та MLHCDP-U. У 2019 році Г. Ферраді та К. Ксаґава запропонували три протоколи автентифікації сторін та код автентифікації повідомлень, стійкість яких ґрунтується на задачі MLHCDP-U. У цій роботі виконується модифікація задач MLHCSP, MLHCSP-U, MLHCDP та MLHCDP-U шляхом зміни класу чисел, що використовується як модуль, та доводиться зведення побудованих задач розрізнення між собою. Отримані результати можуть бути використані для побудови модифікацій протоколів автентифікації та коду автентифікації повідомлень, запропонованих Г. Ферраді та К. Ксаґавою, задля збільшення варіативності параметрів та підвищення стійкості цих криптопримітивів.