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

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

Застосовано байєсівські мережі довіри для встановлення на якісному рівні причинно-наслідкових залежностей між глобальними загрозами і індексами сталого розвитку. Використання запропонованих в роботі методів синтезу мережі ...

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

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

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

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