Величина - кількісно виражене значення властивості об'єкта. Характеристика основних типів результатів операцій над змінними числових типів. Константа - постійна величина, якій присвоюється конкретне значення в описовій частині комп`ютерної програми.
Висловлювання — речення, яке містить твердження про зв'язки між об'єктами. Основні команди мови програмування, які використовуються для присвоєння певній змінній значення логічного виразу. Таблиця істинності для диз'юнкції двох логічних виразів.
Построение венгерского алгоритма. Пересчет потенциала и увеличение паросочетания. Ключевые идеи, позволяющие достичь требуемой асимптотики. Цикл добавления строк. Реализацию венгерского алгоритма на языке C#. Инициализация массивов и создание матрицы.
- 3034. Венгерский метод
Анализ основных идей венгерского метода на примере решения задачи выбора (задачи о назначениях), которая является частным случаем Т-задачи. Алгоритм венгерского метода, оценка последовательно проводимых итераций. Венгерский метод для транспортной задачи.
Задачи принятия решений в условиях неопределенностей. Методология вербального анализа и принятия решений. Использование нечисловой (качественной) информации. Метод смешанных нечетких оценок. Шкала предпочтения альтернативы. Линейная свертка критериев.
Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.
- 3037. Верификация и валидация
Рассмотрение терминов верификация и валидация. Тестирование программного обеспечения. Установление разницы между валидацией и верификацией. Характеристика процесса выявления ошибок в программном обеспечении. Определение методики выявления дефектов.
Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.
Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.
Доведення гарантованості розпізнавання кібератак за допомогою нейронних мереж типу багатошарового персептрону та мережі радіальної базисної функції. Моделювання процесу виявлення кібератаки за допомогою вказаної неперервної багатопараметричної функції.
Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.
- 3043. Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів
Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
Классификация лесных пожаров с помощью многослойного персептрона. Кластеризация стихийного, неуправляемого распространения огня в лесу с помощью карт Кохонена. Математическая модель и программное проектирование системы оценки последствий пожара.
Сущность и предмет исследования, а также история развития компьютерной лингвистики. Особенности применения статистических методов в языкознании. Математический аппарат для исследования текстов на естественном языке, используемое программное обеспечение.
Формирование в информационных системах алгоритмов анализа и синтеза для измерения, моделирования и управления динамическими системами. Рассмотрение методов линейной и нелинейной фильтрации, интерполирования и прогнозирования статистических решений.
Пример решения задачи минимизации затрат на функционирование сети по числу линий обслуживания в системах сети. Исследование нового класса сетей массового обслуживания – марковских сетей или НМ-сетей произвольной структуры, расчет ожидаемых доходов.
Определение вероятности безотказной работы радиотехнической схемы. Вычисление показателей с помощью метода аналитического и статистического моделирования. Расчет интенсивности отказов элементов. Изменение характеристик надежности при изменении системы.
История создания и развития операционной системы для портативных устройств. Функциональные возможности операционной системы Андроид и ее программного обеспечения, сравнительный анализ её версий. Сравнение возможностей операционных систем Андроид и iOS.
- 3050. Весь мир опутали сети
Определение компьютерной сети. Классификация сетей и аппаратура для их построения. Обеспечение связи и соединения в сетях. Виды беспроводных сетей. Городская, персональная, локальная, глобальная вычислительные сети. Архитектура и топология сетей.
Использование различных распределенных информационных систем в современной инфраструктуре вуза. Применение единой платформы систем с множеством модулей для требуемой автоматизации. Значение дублирования операций и данных между различными системами.
Рассмотрение устройства и функционирования виртуального мира. Определение понятий виртуал, виртуальная личность, фактор вовлечения. Характеристика развития современных технологий как новых возможностей и серьезнейших угроз и рисков для человечества.
Значение обмена научно-технической информацией между учеными разных стран. Особенности распределенной системы хранения научно-технической информации "Интеллект". Различия в структуре хранения и представления информации, форматах хранения данных.
Экономическое обоснование получения кредита и расчет схем его погашения. Система автоматизированного составления смет. Автоматизация решения задач оптимизации производственного планирования. Место информационной системы в организационной структуре.
Определение и анализ особенностей взаимосвязи между понятиями физической, хореографической и музыкальной культуры. Рассмотрение специфики развития физических качеств на тренировке по Брейкингу. Характеристика хореографической составляющей в Брейкинге.
Применение метода конечных элементов для решения задач механики деформируемого твердого тела, теплообмена, гидродинамики и электродинамики. Переход от геометрической к сеточной моделям. Способы генерации сетки в универсальных программах (Ansys, Samtech).
Теория турниров, понятие об индустрии киберспорта. Описание киберспортивных турниров - предварительный анализ данных и методология проведения исследования. Выполнение теории турниров, представленной экономистами Лейзером и Роузеном, в контексте турниров.
Показатели качества информационных систем: надежность, достоверность, безопасность. Износ технических средств при их использовании. Проблемы интенсификации ресурсов ИС. Эффективное использование и обеспечение работоспособности средств информатизации.
Изучение взвешенного метода наименьших квадратов. Разработка программного обеспечения. Анализ программных продуктов и методов решения проблемы оценки случайных ошибок взвешенной модели регрессии, дисперсии ошибок и коэффициента пропорциональности.
Прогресс интернет-технологий и сети Интернет. Телевизионные проекты, посещаемость телевещательных сайтов. Тенденции развития интернет-вещания. Методы компрессии аудиовидеосигнала с сохранением качества изображения и звука и технологии передачи сигнала.