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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.

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

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

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

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

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

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

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

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

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

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

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