Расширение программного обеспечения ActualFlow, позволяющего рассчитывать мгновенные нерегулярные поля скоростей в потоках жидкости и газа. Описание реализации методики слежения за частицей (Particle Tracking Velocimetry). Отсев ошибочных векторов.

Общая характеристика программного продукта BPwin v 4.1. Метод SADT как совокупность правил и процедур, предназначенных для построения функциональной модели объекта какой-либо предметной области. Рассмотрение основных способов построения SADT-модели.

Метод SADT как совокупность правил и процедур, предназначенных для построения функциональной модели объекта какой-либо предметной области. Знакомство с методом функционального моделирования SADT (IDEF)). Анализ подходов к разработке программных продуктов.

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

Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.

Современные тенденции в области автоматизации процесса сбора информации из интернет-источников. Способы построения (верстки) WEB-сайтов. Метод извлечения информации из слабоструктурированных источников, основанный на XML и принципы его реализации.

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

Приведено описание метода автоматизированного построения процедур обнаружения объектов на изображении. В основе данного метода лежит идея формального преобразования исходной модели объекта. Для выполнения преобразований были введены операции над моделями.

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

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

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

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

Преимущества акустико-эмиссионного метода неразрушающего контроля. Разработка обобщенной схемы работы алгоритма, реализация программной части в среде LabView. Основные операции потока обработки данных, выполняемые действия, проверка работоспособности.

Временная диаграмма работы программного комплекса для управления акустико-эмиссионной установкой. Обработка данных с устройства сбора данных, событийной структуры и изменения вида отображения информации. Тестирование программы методом генерации сигнала.

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

Метод обробки вихідних сигналів при визначенні технічного стану динамічних систем (ДС). Оптимальні методи обробки вихідних сигналів для випадку нормальних розподілів перешкоди та параметрів контролю ДС. Оперативність визначення технічного стану ДС.

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

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

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

Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.

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

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

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

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

Целочисленное линейное программирование: понятие и задачи. Изучение процедуры перебора всех целочисленных допустимых решений. Использование метода ветвей и границ. Анализ опыта решения практических задач, значений базисных и небазисных переменных.

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

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

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

Характеристика поведінки інтелектуального агента у конкурентному середовищі. Моделювання поведінки за допомогою петлі OODA. Взаємодія етапів петлі OODA (спостереження, орієнтація, прийняття рішення, дія) із онтологією задач, в межах яких функціонує агент.

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