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