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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Розробка інформаційного, програмного та методичного забезпечення для побудови середовища колективного розподіленого проектування. Основні вимоги до систем автоматизованого проектування і GRID-технологій. Вивчення специфіки проектування гетерогенних САПР.

Системний аналіз комунікаційних систем комп'ютерних мереж масштабу підприємства. Методи об'єктно-орієнтованої декомпозиції і проектування КСКМ масштабу підприємства на рівні об'єктів мережних структур. Методики проектування мережевих об'єктів і КСКМ.

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

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

Аналіз завдань організаційного управління навчальних закладів (НЗ), визначення інструментів і методів оцінки рівня якості діяльності НЗ. Моделі інформаційних процесів для управління якістю діяльності НЗ та його оцінювання на основі CALS–технології.

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

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

Формування цілей і критеріїв управління функціонуванням і розвитком РНВВ СФДУ, розробка інформаційної технології системи підтримки прийняття рішень при управлінні та дослідження розроблених моделей і алгоритмів на повнорозмірній вихідній інформації.

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

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

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

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

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

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

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