Information Technologies and Systems (Інформаційні технології та системи), 2025
Permanent URI for this community
Browse
Browsing Information Technologies and Systems (Інформаційні технології та системи), 2025 by Issue Date
Now showing 1 - 20 of 29
Results Per Page
Sort Options
Item Автоматична класифікація текстів українською мовою за функційними стилями(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Музичук, М. А.; Заболотня, Тетяна МиколаївнаThe proposed multilevel method for classifying Ukrainian texts by functional style combines statistical analysis, keyword analysis, and contextual analysis based on the BERT model, which accounts for semantic and contextual dependencies in the text. The results support the hypothesis that combining contextual features (generated by BERT) with statistical style parameters yields the highest classifi cation accuracy. This highlights the advantage of the proposed model for tasks requiring high precision and stability in identifying functional text styles.Item Посилене навчання нейромережі в уяві в системах керування безпілотними рухомими об’єктами(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Урсатьєв, Олексій Андрійович; Волков, Олександр ЄвгеновичПроаналізовано зарубіжний досвід розроблення та застосування засобів штучного інтелекту, а саме глибокого посиленого навчання за моделлю для розв’язання проблем поведінки рухомих об’єктів у невідомих частково спостережуваних середовищах. Досліджено задачу керування рухомими об’єктами в одно- та багатоагентних системах із застосуванням ментальної моделі світу. Такі системи діють за аналогією роботи мозку людини. Для розв’язання задачі керування рухомими об’єктами застосовують великі рекурентні нейронні мережі — моделі, які здатні навчатися за даними виміряними у часі та просторі. Для вибору оптимальної стратегії дій агентів й точного відтворення середовища, вхідні дані мають бути високої розмірності. На основі проведеного аналізу запропоновано застосування відомого підходу на основі глибинного посиленого навчання для розв’язання задачі керування рухомими об’єктами. Мета керування за цим підходом досягається шляхом побудови моделі уявлення світу замість проведення реальних дорогих випробувань.Item Автоматизоване машинне навчання. Стан та перспективи розвитку(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Урсатьєв, Олексій Андрійович; Волков, Олександр Євгенович; Ткаля, Вячеслав ГригоровичРозглянуто автоматизоване машинне навчання як рішення на основі штучного інтелекту для потреби автоматизації наскрізного процесу застосування машинного навчання, тобто проектування конвеєрів машинного навчання — послідовності кроків, які перетворюють необроблені дані на машинну модель, прийнятну для розгортання у практичному використанні. Присутність людини у цьому циклі має бути значно скорочена або її бажано зовсім виключити. Розглянуто напрям подальшого розвитку штучного інтелекту та автоматизованого машинного навчання та тенденції його розвитку.Item Успіхи та виклики квантової програмної інженерії(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Мороз, Григорій Борисович; Мороз, Ольга ГригорівнаБагато проблем, які неможливо вирішити в межах класичних обчислень, може бути вирішено з допомогою квантових обчислень. Наразі квантові комп’ютери розробляють швидкими темпами з використанням різноманітних технологій, таких як надпровідність, захоплення іонів тощо. Ключовим фактором для створення революційних квантових додатків є квантове програмне забезпечення. Через принципові відмінності між класичним і квантовим обчисленнями застосування методів та інструментів добре розвиненої класичної програмної інженерії для розроблення квантового програмного забезпечення здебільшого є безглуздим. Наразі, існує нагальна потреба у створенні нової фундаментальної дисципліни «Квантова програмна інженерія» із широким залученням до цього процесу як наукових, так і промислових кіл. Перші кроки в цьому напрямі уже зроблено. Є певні успіхи, проте залишається багато невирішених проблем та відкритих питань. У роботі надано основні принципи та теоретичне підґрунтя необхідності розроблення інженерії квантового програмного забезпечення, а також розглянуто наявні проблеми цієї галузі та проаналізовано останні досягнення.Item Новий метод генерування тестових кодів для виявлення множинних пошкоджень stuck-at-faults у комбінаційних схемах. Частина 2(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Рицар, Богдан ЄвгеновичВступ. Діагностувати множинні несправності stuck-at-faults (0/1) у цифрових схемах типу PIPO значно складніше, ніж у пристроях типу PISO (частина 1). Функції системи переважно взаємопов’язані між собою, а отже, виявлене пошкодження в якійсь одній функції схеми може передатися інших функцій системи, що описує роботу досліджуваної схеми. Відповідно, методи генерування тестових кодів на основі одиночних несправностей не працюють для схем типу PIPO, а ті методи й алгоритми діагностики, що використовують моделювання одиночних несправностей, ускладнені додатковими процедурами, не дають надійного результату. Аналогічний висновок про певні практичні обмеження можна також зробити і до аналітичних підходів до розв’язання зазначеної проблеми виявлення множинних несправностей stuck-at-faults (0/1) у цифрових схемах типу PIPO. Мета статті. Запропонувати метод генерування векторів тестових кодів для виявлення як одиночних, так і множинних пошкоджень типу stuck-at-faults (0/1) у комбінаційних пристроях типу PIPO, який порівняно з відомими методами й алгоритмами може забезпечувати достовірні результати з допомогою реалізації простих операцій і процедур. Методи. Запропонований метод генерування тестових кодів ґрунтується на числовому теоретико-множинному підході до реалізації всіх операцій і процедур, а саме: штучного впровадження у буловий простір заданої системи повних функцій F(X), X = {x1, x2, …, xn }, що описує роботу досліджуваної PIPO-схеми, одної або більше (до n - 1) неістотних змінних та застосуванні процедури q-розбиття до системних мінтермів з урахуванням індексів функцій заданої системи F(X). Результати. Завдяки застосуванню процедури q-розбиття системних мінтермів впровадження «неістотних» змінних у буловий простір заданої системи забезпечує виявлення всіх можливих як одиночних, так і множинних пошкоджень типу stuck-at-faults (0/1) у досліджуваній схемі. Унаслідок цього формуються 2r ( r = 1, 2, ..., n-1 ) псевдодосконалих ТМФ «пошкодженої» системи F(X), на підставі яких після виконання простих операцій спрощення одержуються шукані вектори тестових кодів, з допомогою яких можна визначити в схемі як місце пошкодження, так і тип одиночного та множинного stuck-atfaults (0/1) пошкодження. Висновки. Запропоновано новий метод генерування векторів тестових кодів для визначення місця і типу stuck-at-faults (0/1) одиночних і множинних пошкоджень у комбінаційних PIPO-схемах, що ґрунтується на штучному впровадженні в досліджувану схему одної і більше неістотних змінних та застосуванні процедури q-розбиття системних мінтермів заданої системи булових функцій. Порівняно з відомими методами та алгоритмами метод відрізняється відносно простішою реалізацією та надійністю отриманих остаточних результатів практичної діагностики без застосування додаткових засобів та обмежень. Наведені в статті приклади визначення місця і типу stuck-at-faults (0/1) одиночних і множинних пошкоджень ілюструють ефективність пропонованого методу.Item Підходи до створення мультиагентних систем і глибокого посиленого навчання(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Урсатьєв, Олексій Андрійович; Волков, Олександр ЄвгеновичРозглянуто зарубіжний досвід розробки та застосування штучного інтелекту за допомоги глибокого посиленого навчання нейромереж для розв’язання проблем з якими стикаються рухливі об’єкти у невідомих, можливо частково спостережуваних середовищах, для опису яких не існує математичної моделі. Надано таксономію різних завдань, що виникають при управлінні БПЛА чи роєм дронів, і наведено запропоновані безмодельні алгоритми глибокого посиленного навчання для розв’язання кожного з них. Виконано математичну формалізацію завдань у сфері управління БПЛА при посиленому навчанні, зокрема розглянуто парадигму навчання у багатоагентному середовищі. Розглянуто рішення деяких завдань щодо використання БПЛА.Item Організація роботи з екологічними даними моніторингу водних об’єктів довкілля на основі мережевих та хмарних рішень(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Суровцев, Ігор Вікторович; Галімова, Валентина М.; Ляхов, Володимир Сергійович; Ханевич, Андрій Костянтинович; Антонюк, Ярослав МихайловичПід час оперативного екологічного моніторингу водних об’єктів довкілля важливо застосовувати сучасні переносні технічні системи швидкого визначення вмісту хімічних речовин у воді, які забезпечують ефективну організацію робіт з даними вимірювань — збирання, передавання, зберігання, оброблення та їх аналіз. Метою роботи є розробити мережеві та хмарні рішення для довготривалого збереження, оброблення та аналізу екологічних даних моніторингу водних об’єктів довкілля, отриманих у польових умовах із застосуванням портативної технічної системи швидкого вимірювання концентрацій хімічних елементів. Застосування такої портативної системи швидкого вимірювання концентрацій хімічних елементів забезпечить ефективний екологічний моніторинг водних об’єктів довкілля. Розроблена технологія обміну даними дала змогу значно спростити програмну реалізацію локального застосування системи та забезпечити якісне зберігання отриманих екологічних даних у хмарному сервері шляхом передачі даних через інтернет.Item Методологія і практика конвергенції міждисциплінарних знань у сфері цифрової охорони здоров’я(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Петренко, Микола Григорович; Малахов, Кирило СергійовичУ статті обґрунтовано методологічні засади трансдисциплінарного підходу та показано його прикладне значення для цифрової охорони здоров’я. Інтеграція знань медицини, інформатики, інженерії та соціально-поведінкових наук розглядається як передумова створення ефективних дистанційних реабілітаційних сервісів. Окреслено концептуальні межі дисциплінарного, між-, мульти- та трансдисциплінарного підходів і показано, як їхня конвергенція генерує інноваційні рішення. На підтвердження теоретичних висновків виконано умовно-емпіричне дослідження у гібридному хмарному середовищі Hybrid cloud environment for telerehabilitation. Отримані результати свідчать про потенційну клінічну й економічну ефективність трансдисциплінарно-орієнтованих цифрових платформ, особливо для пацієнтів із обмеженим доступом до очної реабілітаційної медицини.Item Прогнозування показників та інтегрального індексу зовнішньоекономічної сфери економічної безпеки України(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Волощук, Роман Васильович; Сьоміна, Людмила Петрівна; Сафонов, Віталій ІвановичОцінювання та прогнозування показників зовнішньоекономічної сфери в Україні є актуальною проблемою, адже країна тривалий період знаходиться в стані економічної кризи спровокованої війною. Отже, аналіз та прогнозування інтегрального індексу зовнішньоекономічної безпеки є необхідним інструментом для підвищення ступеня поінформованості осіб, які приймають рішення, стосовно важливих тенденцій у сфері зовнішньоекономічної безпеки. Розроблена інформаційна технологія, яка дає можливість відслідковувати і прогнозувати стан економічної безпеки держави за галузями і через інтегральний індекс безпеки в цілому в динаміці. Забезпечується оперативне виявлення галузей з поточним чи потенційно можливим низьким рівнем безпеки, визначаються показники, які є джерелом відповідних небезпечних тенденцій, і забезпечується можливість виявлення ресурсів і більш раціональне їх використання, що має забезпечити покращення рівня безпеки як окремої галузі, так і стану економічної безпеки в цілому.Item Парадигматична модель розуміння і використання штучного інтелекту в навчанні(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Манако, Алла; Манако, Володимир; Манако, ДмитроВступ. За останні роки відбулися безпрецедентні зміни, пов’язані з прискореним впровадження інструментів штучного інтелекту в практику. Проблеми використання штучного інтелекту в освіті розглядаються з різних точок зору. У нашому дослідженні моделювання зосереджено на використанні засобів штучного інтелекту в навчанні шляхом побудови загальної парадигматичної моделі на основі моделі метафор в навчанні та штучного інтелекту, моделі парадигми академіка В.М. Глушкова та принципів психології. Розроблено принципи побудови такої моделі в навчанні, які містять модель метафор навчання, модель «Дія. Реєстр задач», модель парадигм академіка В.М. Глушкова і принципи психології: біхевіоризм; обробку інформації та когнітивну психологію; індивідуальний конструктивізм; соціальний конструктивізм та ситуаційне навчання. Метою цього дослідження є розроблення формалізованого опису зі змістовними інтерпретаціями парадигматичної моделі використання засобів штучного інтелекту в навчанні. Методи. Системна методологія, методи редукції, абстрагування, аналогії, аналіз та синтез. Результати. Запропоновано підхід до теоретичного обґрунтування використання інструментів штучного інтелекту в навчанні, а саме до побудови загальної парадигматичної моделі на основі моделей метафор навчання і штучного інтелекту, парадигм академіка В.М. Глушкова і психології (біхевіоризму; оброблення інформації та когнітивної психології; індивідуального конструктивізму; соціального конструктивізму і ситуаційного навчання) та моделі «Дія. Реєстр задач». Висновок. В епоху цифрової трансформації розв’язання проблеми побудови та практичного використання загальної парадигматичної моделі використання засобів штучного інтелекту в навчанні потребує комплексного розв’язання багатьох актуальних науково-практичних проблем. Водночас необхідно подолати численні труднощі структурування та інтеграції різних конкретних моделей. Тому необхідною умовою та вимогою систематичного вдосконалення загальних і конкретних моделей є комплексна інтерпретація абстракцій у контексті зазначених проблем, а також їх практична перевірка з використанням наявних систем оброблення інформації з метою виявлення та поширення унікальних кращих практик і досвіду усіх зацікавлених сторін.Item Алгоритм визначення особливостей психоемоційного і функційного стану людини за стресогенних умов(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Кобзар, Тетяна; Крячок, Тетяна; Семіхова, Олена; Чалий, ПавлоВступ. Тривалий стрес від негативних емоцій, що їх переживають внаслідок психотравмуючих подій, призводить до розладу адаптаційних механізмів з погіршенням функційного стану та, як наслідок, до психосоматичних захворювань. Наразі особливої актуальності набуває задача завчасного виявлення таких стресогенних станів. Мета. Розробити алгоритм визначення особливостей психоемоційного і функційного стану людини за стресогенних умов. Дослідити контингент наукових працівників у віковому та гендерному аспекті на наявність функційних та органічних розладів органів та систем у взаємозв’язку з типом їх конституції; відібрати найефективніші методики оцінювання цих станів; дослідити феномен стресостійкості в осіб з різним конституційним типом, психотипом, особливостями характеру, фізичним та психоемоційним станом; провести кількісне оцінювання рівня функційного та фізичного стану за методом узагальнювальних оцінок. Об’єкт і методи дослідження. Для дослідження поточного психоемоційного, фізичного та функційного стану людини в умовах стресу було використано програмно-апаратний методичний комплекс «ЕКСПРЕСмедОГЛЯД» [12], доповнений рядом методик та шкал на визначення психоемоційних та психосоціальних характеристик, зокрема: типу темпераменту (тест Г.Айзенка); визначення поточного психоемоційного стану — оцінювання психічних станів за Г. Айзенком (шкала фрустрації, шкала тривожностї, шкала агресивності, шкала ригідності), визначення стресостійкості та соціальної адаптації за шкалою Холмса і Раге, визначення стійкості до стресу, шкала позитивного ментального здоров’я, визначення належності до дистресорного «Д» типу особистості, визначення схильності до ПТСР, госпітальною шкала тривоги та депресії (HADS); а також оцінюванням особливостей характеру індивіда за програмою «ТОХО». Лікарі проводили огляд та експертне оцінювання стану здоров’я за 5-ти бальною шкалою — експертне оцінювання лікарем (ЕОЛ). Всі отримані первинні параметри використовувались і для самостійного аналізу, і для обчислення ряду індексів та оцінок здоров’я, зокрема біологічного віку, темпу старіння, рівня фізичного стану за Пироговою (1986). Для оцінювання загального функційного стану використали метод узагальнювальних оцінок [12]. Отримані результати та їх аналіз. Всього було протестовано 63 науковця різного віку і статі. Віковий та гендерний розподіл, порівнюванний між усіма групами, був таким: 18–45 років (жінок — 10 осіб, чоловіків — 10 осіб); 46–65 років (жінок — 12 осіб, чоловіків — 10 осіб); 66–75 років (жінок — 11 осіб, чоловіків — 10 осіб). Було виявлено зниження рівня стресостійкості, що найвиразніше відобразилось за шкалами позитивного ментального здоров’я, HADS, психічних станів Айзенка, шкалі DS 14 на визначення дистресорного «Д» типу; зниження адаптаційного потенціалу; зниження загального рівня здоров’я, що визначається за показниками, які увійшли до узагальнювальної оцінки здоров’я «УОЗ». При аналізі даних персонального і сімейного анамнезу було виявлено, що у переважної більшості респондентів (близько 90 %) є захворювання психосоматичного характеру, зокрема артеріальна гіпертензія, ішемічна хвороба серця, захворювання травної системи, у тому числі виразкова хвороба шлунку і 12-палої кишки, цукровий діабет, судинні захворювання кінцівок, бронхіальна астма тощо. Було показано, що в основі цих захворювань — гіперсимпатикотонія, незмінна супутниця будь-якого стресу. У переважної кількості досліджуваних осіб було виявлено низький рівень адаптаційного потенціалу Баєвського, що свідчить про незадовільну адаптацію до стресу та виснаження ресурсів, яке незмінно веде до соматичних захворювань психогенного характеру. Висновки. Проведене дослідження має багатоаспектне значення, оскільки дає можливість простими скринінговими засобами, якими є опитувальники та нескладні неінвазивні методи, проводити монsторинг функційного стану працівників та виявляти небезпечні для здоров’я і життя стани, щоб завчасно скеровувати людей до медичних установ та надавати поради щодо коригування способу життя.Item Деякі підходи до вирішення проблеми невизначеності на цифрових платформах(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Тимофієва, Надія Костянтинівна; Павленко, Наталія ЕвгенівнаРозглянуто ситуацію невизначеності, яка виникає під час розроблення та експлуатації цифрових платформ. Вона має різну природу і з’являється внаслідок об’єктивних причин, які закладені в самій природі задач, і суб’єктивних, які вносяться особою, що приймає рішення в процесі розв’язування задачі. Для її вирішення проводять аналіз поведінки системи за заданий проміжок часу та встановлюють певну закономірність, яку враховують при прогнозуванні майбутніх результатів.Item Новий метод генерування тестових кодів для виявлення множинних пошкоджень Stuck-at-Faults у комбінаційних схемах. Частина 1(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Рицар, Богдан ЄвгеновичВступ. Важливим розділом логікового проєктування цифрових пристроїв є технічна діагностика, в межах якої розробляються методи перевірки технічного стану пристроїв для забезпечення надійності їх роботи. Виявити несправність у схемі пристрою можна послідовністю контрольних тестів (генеруванням векторів тестових кодів) на її входах та спостереження результатів на її виходах. На практиці проєктування мікросхем часто трапляються ситуації, коли пошкодження типу stuck-at-faults (0/1) можуть виникати як в одній точці схеми, так і в кількох різних взаємопов’язаних точках схеми одночасно, які складно виявляти. Відомі методи діагностики множинних пошкоджень такого типу, які ґрунтуються на моделюванні одиночних помилок та символьних методах, не забезпечують переконливі докази достовірності результату, що знижує надійність процесу проєктування. Мета статті. Запропонувати метод генерування векторів тестових кодів для виявлення як одиночних, так і множинних пошкоджень типу stuck-at-faults (0/1) у комбінаційних пристроях, який порівняно з відомими методами може забезпечувати достовірні результати з допомогою реалізації простих операцій і процедур. Методи. Запропонований метод генерування тестових кодів ґрунтується на числовому теоретико-множинному підході до реалізації всіх операцій і процедур, а саме: штучного впровадження у булвий простір повної функції f x x x ( , ,..., ) 1 2 ï , що описує роботу схеми досліджуваного комбінаційного пристрою, одної або більше (до n - 1 ) неістотних змінних та застосуванні процедури q-розбиття мінтермів досконалої ТМФ Y1 функції f. Результати. За допомогою згенерованих запропонованим методом векторів тестових кодів можна визначити в схемі пристрою як місце пошкодження, так і тип одиночного та множинного stuck-at-faults (0/1) пошкодження. Показано застосування процедури q-розбиття двійкових мінтермів, на основі якої реалізується впровадження одної неістотної змінної та формування псевдодосконалої ТМФ 1 Yxi /~ функції f для визначення одиночних пошкоджень, а також більше (від двох до n-1) неістотних змінних та формування відповідних псевдодосконалих ТМФ функції f для визначення множинних пошкоджень. Висновки. Завдяки застосуванню числового теоретико-множинного підходу для виконання операцій і процедур пропонований метод, порівняно з відомими, відрізняється відносно простішою практичною реалізацією виявлення згаданих несправностей як в будь якій одній точці, так і в одночасно кількох точках досліджуваної схеми. Зазначені переваги методу ілюструють наведені в статті приклади визначення можливих пошкоджень у реальних схемах комбінаційних пристроїв.Item Аналіз поширених типів мережевих атак та чинники, що уможливлюють їх успішне здійснення(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Годлевський, Олександр Богуславович; Мороховець, Марина Костянтинівна; Щоголева, Н. М.Подано огляд поширених типів мережевих атак. Для кожного типу атак описано джерела та об’єкти атаки, мету та результати атаки, дії, що виконуються для досягнення мети атаки. Для кожного типу атак зазначено, що уможливлює здійснення атак. На базі знайдених відомостей зібрано та класифіковано чинники, що уможливлюють успішне здійснення атак. Окреслено напрями посилення стійкості до мережевих атак.Item Визначення масштабу та кута повороту для довгострокового відстеження об’єкта у відео(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Кийко, Володимир МихайловичНадійність відстеження у відео значною мірою залежить від ефективності (точності та порівняно малої обчислювальної складності) задіяних алгоритмів визначення масштабу та кута повороту об’єкта відстеження на зображеннях. Пропонується алгоритм для оцінки цих параметрів на основі пошуку відповідних ключових точок (КТ) на кожному кадрі до КТ у моделі об’єкта M, що складається із КТ об’єкта та навколишнього фону. Алгоритм переважно може бути задіяний в умовах, коли зміни масштабу та кута повороту головним чином є наслідком змін руху камери або дій оператора і в значній мірі корелюють зі змінами на фоні, що зазвичай відповідає відеоспостереженню з літального апарата, зокрема БПЛА. Переваги алгоритму полягають у тому, що є порівняно більш стійким до наявності помилок в визначенні відповідних пар КТ, а також може бути використаний під час тривалої відсутності об’єкта у відео для оцінки масштабу та кута повороту шляхом пошуку КТ на зображенні, що відповідають до КТ фону у M. Це виконується з метою оновлення моделі об’єкта і його детектування після появи у відео зі значно зміненими параметрами. Наведено приклади використання алгоритму для довгострокового відстеження із застосуванням пропонованого критерію наявності об’єкта в полі зору камери, а також двох способів оновлення M за його присутності або відсутності на зображеннях.Item Методологічні аспекти інтероперабельності в прикладних задачах оцінювання та підтримки здоров’я(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Кіфоренко, Світлана Іванівна; Бєлов, Володимир Михайлович; Лавренюк, Микола Васильович; Гонтар, Тетяна Михайлівна; Козловська, Вікторія ОлександрівнаВ статті обговорюється проблема використання методології інтероперабельності при розробленні інформаційних систем біологічної та медичної спрямованості, в яких використовується системно-ієрархічний підхід. Сформульовано основні положення забезпечення інтероперабельності в складній структурно-ієрархічній системі кількісного оцінювання здоров‘я з урахуванням наявних модельних уявлень щодо структурних особливостей інтероперабельності. Розроблено комп’ютерну систему кількісного оцінювання здоров’я та його складників, а також систему підтримки реабілітаційних рішень з урахуванням персональних характерологічних властивостей за використання принципу інтероперабельності. Використання принципу інтероперабельності при розв’язанні прикладних задач цифрової медицини, дає можливість забезпечення взаємодії як окремих модулів в конкретних програмах, інформація в яких різноякісна, містить різні типи даних, так і взаємодії програмного забезпечення, створеного за різних мов програмування, яка потребує узгодження при реалізації інформаційного обміну між цими програмами.Item Модель цифрової трансформації задля сталого розвитку освіти(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Кудрявцева, Світлана Павлівна; Волков, Олександр Євгенович; Синиця, Катерина Михайлівна; Савченко-Синякова, Євгенія АнатоліївнаВступ. Освіта задля сталого розвитку (ОЗСР) відповідає реалізації Цілей сталого розвитку, зокрема Цілі 4 «забезпечення якісної доступної освіти для всіх». Перехід від традиційної освіти до ОЗСР потребує значних змін не тільки у змісті навчання, але й у стратегіях та методах навчання та тренування, що пов’язано зі зміною головної мети навчання – від опанування знань та навичок минулого до навчання та підготовки до розв’язання нових, комплексних та мультидісціплинарних проблем, зокрема, шляхом роботи в групі. Така підготовка також потребує розвиненої технологічної підтримки, тому трансформацію традиційної освіти в освіту задля сталого розвитку доцільно здійснювати під час цифрової трансформації. Під цифровою трансформацією зазвичай розуміють перехід до інтенсивного застосування інформаційно-комунікаційних технологій з метою підвищення ефективності виробництва, керованості процесів, спрощення адміністрування, розширення клієнтської бази або запровадження нових продуктів чи сервісів. Досліджені моделі цифрової трансформації стосуються здебільшого окремих організацій, які централізовано переходять до нових умов функціонування. Оскільки ОЗСР призводить до змін у системі цінностей та культурі суспільства, бажаним є залучення представників зацікавлених спільнот до планування, реалізації та оцінювання результатів цифрової трансформації на кожному етапі. Таким чином, потрібно створення нової моделі. Метою статті є розгляд залежностей між освітніми елементами для запровадження такої моделі цифрової трансформації в освітній сфері, яка буде корисною для систематичного управління освітніми змінами. Для цього визначено основні елементи, що характеризують освіту, та продемонстровано їхню еволюцію протягом етапів трансформації. Методи дослідження полягають у визначенні основних характеристик ОЗСР у порівнянні з традиційною моделлю освіти та створенні гнучкої моделі трансформації освіти для досягнення цілей сталого розвитку з застосуванням цифрових технологій для організації освітніх процесів, підтримки пізнавальної діяльності, розроблення інтерактивного навчального контенту тощо. Результати. Запропоновано нову модель цифрової трансформації освіти для досягнення цілей сталого розвитку, яка враховує внесок зацікавлених спільнот та оцінку поточного стану трансформації, що дає змогу паралельно відпрацьовувати завдання та оцінювати поточний стан трансформації, які описують різні її етапи, враховуючи зміни технологій і нормативної бази, а також планувати тренінги для учасників трансформаційних процесів. Визначено елементи, які відрізняють ОЗСР від інших моделей. Висновки. Модель побудовано з урахуванням динаміки середовища, в якому відбуваються зміни, мережевих (децентралізованих) зв’язків між учасниками. Окрім цього, модель демонструє принципи ОЗСР у дії — співпрацю у підготовці рішень та впровадженні технологій, баланс між локальними планами впровадження інновацій та стратегічними напрямами, що підтримуються централізовано.Item Оптимізація багатокритеріального вибору комп’ютерних комплектуючих на основі аналізу ієрархій(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Ситник, Максим В.; Піднебесна, Галина А.Вступ. У статті розглядається проблема оптимального вибору компонентів для персональних комп’ютерів у закладах охорони здоров’я в умовах обмеженого бюджету та множинних критеріїв оцінювання. Визначено, що традиційні методи вибору компонентів, засновані на емпіричному досвіді або простому порівнянні характеристик, є недостатньо ефективними для прийняття оптимальних рішень у ситуаціях багатокритеріального вибору. Обґрунтовано застосування адаптованого аналітичного ієрархічного процесу Томаса Сааті як ефективного інструменту для математично обґрунтованого багатокритеріального вибору компонентів з урахуванням технічної сумісності, енергетичного балансу та пріоритетів користувачів. Метою статті є висвітлення особливостей адаптації методу аналізу ієрархічних процесів Сааті як проблеми багатокритеріального вибору компонентів комп’ютера та демонстрація його практичного застосування в контексті оптимізації ІТ-витрат медичних закладів з урахуванням технічної сумісності, енергетичного балансу та динамічного балансування пріоритетів користувачів. Методи. Адаптований метод ієрархічного аналізу Томаса Сааті застосовано для багатокритеріального вибору компонентів з урахуванням технічної сумісності, енергетичного балансу та пріоритетів користувачів. Результати. Подано систему динамічного балансування вагових коефіцієнтів з підтримкою блокування окремих параметрів, що забезпечує постійну суму ваг, що дорівнює 100%, зберігаючи при цьому пропорційність розблокованих параметрів. Розроблено багаторівневу систему фільтрації компонентів з урахуванням технічної сумісності (сокетів, форм-факторів, типів пам’яті тощо), енергетичного балансу системи, фізичних обмежень та трьох режимів оптимізації. Проведено детальний порівняльний аналіз наявних підходів до вибору компонентів на українському та світовому ринках, який виявив їхні обмеження та переваги. Висновок. Наведено конкретні приклади застосування методу при виборі процесора для закладу охорони здоров’я, що демонструють чотири сценарії з різними пріоритетами параметрів та трьома режимами оптимізації. Експериментальна валідація підтвердила високу точність алгоритму у відстеженні визначених користувачем пріоритетів. Проведено аналіз економічної ефективності розробленого системного застосування, який продемонстрував потенційну економію до 25% ІТ-бюджету для закладів охорони здоров’я при збереженні необхідного рівня продуктивності.Item Автоматизоване визначення авторства програмного коду на основі системи метрик(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Адамчук, А. Г.; Сущук-Слюсаренко, Вікторія Ігорівна; Дичка, Андрій ІвановичThe paper reviews existing methods for automated program code authorship attribution and then proposes an original method based on a system of metrics. The proposed method uses a metric system grounded in the “fi ngerprinting” technique. The metrics refl ect the individual stylistic features of a programmer, regardless of the programming language.Item Аналіз протоколів інтернет-транспорту нового покоління: QUIC, WebTransport, HTTP/3(Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Бондар, ОлексійВступ. Традиційний інтернет-транспорт базується на стеку TCP/IP з прикладними протоколами HTTP/1.1 та HTTP/2. Така комбінація досягає меж продуктивності через блокування на початку черги, багатоетапні рукостискання та відсутність вбудованих механізмів безпеки на транспортному рівні. Сучасні затримкочутливі застосунки, зокрема хмарні ігри та AR/VR, вимагають наскрізної затримки значно меншої за 50 мс (часто близько 20 мс), що є проблемним для класичного стеку TCP+HTTP/1.1/2. Нові транспортні рішення на базі QUIC у поєднанні з HTTP/3 та API WebTransport покликані подолати ці обмеження, зберігаючи вебпарадигму розробки. Їх глобальне впровадження вже суттєво зросло (понад 40 % вебтрафіку через QUIC/HTTP/3), що робить систематичний аналіз цих протоколів своєчасним і практично значущим. Постановка проблеми. Попри швидке впровадження QUIC, HTTP/3 та WebTransport основними хмарними провайдерами та браузерами, досі бракує цілісного аналізу, який би поєднував специфікації IETF, академічні дослідження та практику розгортання в мережах доставки контенту (CDN) і ядрах 5G. Практики змушені спиратися на розрізнені дописи в блогах і часткові бенчмарки, що ускладнює розуміння, у яких сценаріях транспорти на базі QUIC перевершують класичний стек TCP+HTTP/2, як поводяться різні алгоритми контролю перевантаження та які обмеження залишаються в затримкочутливих сервісах. Мета. Метою статті є критичний аналіз інтернет транспорту нового покоління на базі QUIC, HTTP/3 та WebTransport з акцентом на еволюції архітектури, алгоритмах контролю перевантаження, моделях розгортання та властивостях безпеки. Для досягнення цієї мети простежується перехід від SPDY та HTTP/2 до HTTP/3 поверх QUIC, порівнюються схеми контролю перевантаження (CUBIC, BBRv2 та варіанти HyStart++), узагальнюються підходи до оптимізації розгортання (розвантаження XDP/eBPF, 5G L4S) та окреслюються відкриті питання, зокрема підтримка багатоадресної розсилки, супутникові канали та спостережуваність. Методи. Ми аналізуємо документи RFC IETF (зокрема RFC9000, RFC9114 та чернетку QUICv2) і сучасні наукові публікації та галузеві звіти. Продуктивність узагальнюється на основі опублікованих бенчмарків та експериментальних досліджень.Робота має оглядовий та аналітичний характер; власні експерименти обмежуються індикативними тестами, що доповнюють наявні бенчмарки. Додатково ми залучаємо окремі висновки з нашого досвіду роботи з CDN та досліджень (спостереження «під капотом») для ілюстрації поведінки в реальних умовах. Результати. Оптимізоване рукостискання QUIC (1-RTT, необов’язково 0-RTT) та зашифровані заголовки значно зменшують затримку. Впровадження підтверджено великими технологічними компаніями (Мета: ~75 % трафіку на QUIC/HTTP3). Контроль перевантаження QUIC демонструє компроміси: CUBIC добре протестований, але може перевищувати норму, тоді як BBRv2 пропонує надійну пропускну здатність у неглибоких буферах, а HyStart++ зменшує втрати при запуску. WebTransport розширює HTTP/3 за допомогою мультиплексованих потоків та ненадійних дейтаграм, що тепер підтримується в браузерах (наприклад, Firefox 114). Стратегії розвантаження (XDP/eBPF) та бібліотеки, такі як quiche від Cloudflare, покращують продуктивність периферійних мереж. Висновки. (1) QUIC/HTTP3 ефективно вирішує вузькі місця TCP/UDP, наприклад, усуваючи блокування TCP «заголовок рядка». (2) Покращення безпеки (TLS1.3, захист заголовків) означають, що майже всі корисні навантаження пакетів шифруються. (3) Новітні алгоритми CC, такі як BBRv2 та гібридні повільні запуски, покращують чесність та зменшують втрати. (4) WebTransport дозволяє створювати нові вебархітектури (потокове передавання, ігри), поєднуючи QUIC з WebCodecs. (5) Практичні переваги розгортання від бібліотек обходу ядра (XDP) та QUIC (quiche, lsquic). (6) Відкриті питання включають QUIC з підтримкою багатоадресної розсилки (наприклад, MCQUIC), планування супутників та багатше ведення журналу (qlog) для спостереження. У майбутньому може бути досліджено PERC-over-QUIC (виправлення помилок уперед), підключаються фреймворки CC та покращення на основі QUICv2.