Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.

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

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

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

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

Рассмотрение системно независимого процесса организации, хранения, назначения ответственных над ключевыми объектами данных предприятия. Анализ показателей деятельности предприятия, на основе информации, собираемой всеми используемыми на предприятии ИС.

Проблема выбора маршрута в телекоммуникационной системе с учетом рисков информационной безопасности. Выбор наиболее безопасного маршрута для проходящего трафика в условиях активной атаки и при пассивном анализе рисков элементов системы маршрутизации.

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

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

Опроса экспертов по оценке форматов файлов для конфигурирования с обработкой его результатов. Выполнена проверка согласованности мнений экспертов с помощью расчета критерия Фишера и коэффициента конкордации. Проведен расчет относительной важности объектов

Анализ основной проблемы формализации и последующего использования в процессном управлении персональных знаний исполнителей. Особенности преобразования в форму бизнес-правил скрытых в логах зависимостей между состоянием контекста и действиями процесса.

Проблема распознавания кривых линий на сложном фоне шумовых точек и близких соседних кривых. Главные требования к обработке в современных экспериментах. Понятие и особенности эластичных нейронных сетей. Робастные методы оценки параметров и их применение.

Анализ существующих методов оценки лабильности зрительного анализатора (ЗА) человека. Разработка имитационной модели восприятия ЗА парных световых импульсов. Алгоритмическое и приборное и программно-техническое обеспечение оценки лабильности ЗА человека.

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

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

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

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

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

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

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

Аналіз проблеми розробки програмного продукту для веб-аналітики та розробка нового методу аналізу та збору статистики корпоративного додатку. Виявлення основних недоліків багатофункціонального сервісу для аналізу інтернет-сайтів Google Analytics.

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

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

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

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

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

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

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

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

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