Фундаментальная информатика и информационные технологии

Магистратура   |   02.04.02
Профиль: Искусственный интеллект и компьютерные науки

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


Вы также можете ознакомиться с полной версией учебного плана 2022 года приема.

Процесс поступления

Для поступления на любое направление магистратуры факультета ИВТ необходимо сдать один экзамен по информатике и математике (программа вступительного экзамена, примеры билетов вступительных испытаний).

Если вы наберете на экзамене меньше 40 баллов, то не сможете поступить в магистратуру.

Примеры выпускных работ

М.С. Комар. Оценка применимости широкополосных каналов связи для организации взаимодействия между ядрами центрального процессора

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

С.И. Вовчок. Алгоритм достижимости для векторной системы сложения

Объектом исследования является система векторного сложения в двумерном пространстве. Цель работы — создание алгоритма проверки достижимости в системе векторного сложения.

В процессе работы была исследована взаимосвязь системы векторного сложения и сетей Петри. Были придуманы идеи для алгоритма, доказана теорема о существовании границ при поиска достижимости.

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

А.Е. Шленский. Моделирование программ логических контроллеров раскрашенными сетями Петри высокого уровня

Целью работы является Моделирование программ логических контроллеров раскрашенными сетями Петри высокого уровня. В результате был изучен метод программирования по LTL-спецификации и построена модель ПЛК-программы с помощью инструментария CPN Tools v3.4. А также проведено тестирования программных свойств по средствам программного моделирования.

Технология продемонстрирована на примере установки для приготовления смесей.

М.С. Каряева. Разработка и реализация информационно-аналитической системы тезауруса

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

Предложен алгоритм построения базы знаний «Тезаурус по поэтологии» с применением автоматических методов извлечения семантических отношений между терминами для заполнения терминологических статей тезауруса.

Результатом данной работы является разработка методов по обработке источников в виде словарей, справочников и других пособий, имеющих структуру словарной статьи с термином и определением. Применение разработанных методов для подготовки данных для дальнейшего анализа. Создание методов по извлечению семантических отношений между терминами с использованием лексико-синтаксических шаблонов и метода машинного обучения KNN с применением таких метрик близости как косинусная мера и количество общих слов в определении.

А.Н. Тульсков. Имитационное моделирование и анализ транспортных протоколов в современных коммуникационных системах

В результате исследования были выявлены ключевые особенности работы транспортного протокола Trickles, версий протокола TCP (TCP Tahoe, TCP Reno, TCP New Reno), накоплен и проанализирован значительный объем экспериментальных данных. С помощью дискретно-событийного симулятора ns-3 была реализована иерархическая сетевая модель проводной сети с реализацией технологии программно-конфигурируемых сетей. На данной модели были проведены исследования производительности транспортных протоколов. Посредством написанных скриптов для программ awk и Gnuplot, были получены графики трансляции пакетов в сети, по которым можно определять время и местонахождение пакетов, адресатов, наличие задержек и потерь.

А.И. Сальников. Разработка программного модуля анализа вихретоковых дефектограмм
Объект исследования - методы и алгоритмы анализа данных, которые поступают от вихретокового дефектоскопа. Цель работы --- создание программного модуля анализа.
В процессе работы были изучены необходимые программные средства, реализованы алгоритмы и создан программный модуль анализа вихретоковых дефектограмм.
Областью применения является неразрушающий контроль железнодорожных рельсов. Предполагается использовать модуль как часть коммерческой системы неразрушающего контроля.
А.П. Козлова. Эвристические алгоритмы поиска гамильтоновых циклов
Объектом исследования данной работы являются эвристические алгоритмы, осуществляющие поиск приблизительного решения некоторых трудоёмких математических задач, для которых неизвестно точного эффективного алгоритма.
Цель настоящей работы - разработать эвристические алгоритмы поиска гамильтоновых циклов в графе специального вида.
В ходе исследования было создано несколько алгоритмов по решению этой задачи на основе двух различных эвристик - имитации отжига и поиска с запретами. Для генерации состояния системы было рассмотрено две структуры соседства: на основе случайного обмена рёбрами и на основе покрытия графа циклами и поиска совершенного паросочетания.
На основе алгоритмов было реализовано приложение, а затем проведено сравнение скорости и точности выполнения этих алгоритмов на пирамидальных и случайных гамильтоновых циклах разного размера с различными входными параметрами.

Другие программы магистратуры





Образовательная программа имеет государственную аккредитацию