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

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

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


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

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

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

Важные даты:

  • 20 июня 2017 года — начало приема документов;
  • 14 августа 2017 года — дата завершения приема документов;
  • 18 августа 2017 года — срок завершения приема вступительных испытаний.

Учебный план

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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





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