1. Модельне конструювання програм
(Завантажити PDF)
Мета напряму — розробка надійних безпомилкових програм шляхом побудови формалізованих моделей на основі опису їх логіки та поведінки. Такі моделі формуються у вигляді недетермінованих скінченних автоматів, що трансформуються у програми цільовими мовами програмування. Опис моделі програм предикатами породжує автоматну модель програми, яка дозволяє представити її у вигляді спеціалізованої бази даних.
У напрямку працюють:
Заспа Григорій Олександрович, к.т.н., доцент
Кандидатська дисертація: «Концентрична інформаційна технологія цифрової трансформації освітньої діяльності ЗВО»
Тема докторської дисертації: «Інтелектуальний моніторинг якості конструювання програмного забезпечення»
Білик Валерій Вікторович, аспірант
Тема дисертаційних досліджень: «Метод оцінки якості програмного коду»
Керівник: доц. Заспа Г.О.
2. Інтелектуальний моніторинг програмними агентами. Агентні функціонали моніторингових програмних систем
Напрям зосереджений на розробці технологій інтелектуального моніторингу — інформаційного забезпечення процесів прийняття рішень через неперервне спостереження, обробку даних і отримання знань (Data Mining). Моделі формуються за допомогою Machine Learning, а реалізація ведеться агентним методом з використанням віртуальних роботів для забезпечення стійкого інформаційного відгуку в умовах кризи або обмежених даних.
У напрямку працюють:
Немченко Вадим Вячеславович, к.т.н., доцент
Тема дисертації: «Інформаційна технологія багаторівневої обробки даних в управлінні рухом мобільного робота»
Олексюк Вадим Володимирович, к.т.н., доцент
Тема дисертації: «Математичне та програмне забезпечення дослідження завадостійкості цифрових модемів з шумовими сигналами»
Керівник: проф. Первунінський С.М.
Куницька Світлана Юріївна, к.т.н., доцент
Тема дисертації: «Метод та засоби синтезу швидкодіючих арифметичних пристроїв на основі позиційних систем числення»
Керівник: проф. Рудницький В.М.
Остапюк Володимир Вікторович, аспірант
Тема дослідження: «Моніторинговий програмний агент віртуального робота»
Керівник: проф. Голуб С.В.
Білоніг Анатолій Вікторович, аспірант
Тема дослідження: «Програмний агент інтелектуального моніторингу на основі бази модельних знань»
Керівник: проф. Голуб С.В.
Немов Руслан Григорович, аспірант
Тема дослідження: «Агентне програмування інтелектуального аналізу текстів»
Керівник: проф. Голуб С.В.
Горбань Вадим Вячеславович, аспірант
Тема дослідження: «Програмний агент мобільного робота»
Керівник: доц. Немченко В.В.
Левченко Сергій Петрович, аспірант
Тема дослідження: «Програмне формування траєкторії руху мобільного робота»
Керівник: доц. Немченко В.В.
Шебалін Олексій Олександрович, аспірант
Тема дослідження: «Моніторинговий програмний агент для захисту корпоративної мережі»
Керівник: доц. Олексюк В.В.
3. Моделювання предметної області застосування агентного програмування. Формування правил поведінки дослідницьких програмних агентів
Дослідження спрямовані на побудову агентно-орієнтованих моделей предметної області, створення адаптивних правил поведінки програмних агентів у складних інтелектуальних системах.
У напрямку працюють:
Метелап Володимир Володимирович, к.т.н., доцент
Тема дисертації: «Кореляційно-часові методи і засоби формування та обробки шумових сигналів у комп’ютерних мережах»
Керівник: проф. Первунінський С.М.
Півень Олександр Борисович, к.т.н., доцент
Тема дисертації: «Вплив лазерного фотографічного обернення на кристалізацію срібла в фотошарі»
Керівник: проф. Лопаткін Ю.М.
Кіліхевич Нікіта Іванович, аспірант
Тема дисертаційних досліджень: «Інтелектуальна агентно-орієнтована система демодуляції повідомлень з шумовими сигналами»
Керівник: проф. Первунінський С.М.
Мигович Артем Валерійович, аспірант
Тема дисертаційних досліджень: «Програмні агенти захисту корпоративних мереж з цифровими модемами шумових сигналів»
Керівник: проф. Первунінський С.М.