Перечень тем выпускных квалификационных работ …
TRANSCRIPT
УТВЕРЖДЕН
Решением Ученого совета факультета
Информационных технологий НГУ
От «29» июня 2021 г. № 82
Перечень тем выпускных квалификационных работ бакалавров, предлагаемых обучающимся
в 2021- 2022 учебном году
Образовательная программа: 09.03.01 Информатика и вычислительная техника. Программная инженерия и
компьютерные науки.
Кафедра Примерная тема ВКР
(направление исследования)
Руководитель ВКР
(ФИО, ученая
степень, должность
и место работы в
НГУ, должность и
место работы в
другой организации
– при наличии)
Ссылка на
персональную
страницу или
электронный адрес
руководителя ВКР
для консультаций
Форма работы
над ВКР
(индивиду-альная
или групповая)
Ограниче-
ние
количества
студентов (у
данного
руководи-
теля или
при
групповом
выполне-
нии ВКР по
данной
тематике)
Пререквизиты,
необходимые для
успешного выполнения
работы (необходимость
освоения определенных
элективных дисциплин,
наличие углубленных
знаний в конкретной
области и т.п.)
Краткое примерное
описание темы ВКР
(какие вопросы или
направления
исследования могут
быть рассмотрены)
Наличие
заявки от
организации и
название
организации
Дискретного
анализа и
исследования
операций
Разработка и реализация
алгоритмов для
исследования совершенных
раскрасок обобщенного
графа Петерсена
Горкунов Евгений
Владимирович,
к.ф.-м.н., доцент
КафДАиИО ФИТ
НГУ;
с.н.с. ИМ СО РАН
[email protected] индивидуальная 1 нет Алгоритмы построения
подходящих и
допустимых матриц
параметров
совершенных
раскрасок, самих
совершенных раскрасок
обобщенного графа
Петерсена и других
графов, построенных на
его основе.
ИМ СО РАН
Дискретного
анализа и
исследования
операций
Разработка компьютерной
системы поддержки
решений по выбору
рациональных маршрутов
транспортных средств для
обслуживания заданного
множества потребителей с
временными окнами
Береснев Владимир
Леонидович,
д.ф.-м.н.,
заведующий
кафедрой
КафДАиИО ФИТ
НГУ;
в.н.с. ИМ СО РАН
[email protected] индивидуальная 1 нет Итерационная схема
последовательного
выбора рационального
маршрута одного
транспортного
средства, позволяющая
минимизировать общее
число используемых
транспортных средств.
ИМ СО РАН
Дискретного
анализа и
исследования
операций
Алгоритмы построения k*-
контейнеров в графах
Пережогин Алексей
Львович, к.ф.-м.н.,
доцент КафДАиИО
ФИТ НГУ; с.н.с.
ИМ СО РАН
[email protected] индивидуальная 3 нет Граф, в котором между
любыми двумя
вершинами существует
k*-контейнер,
называется k*-связным.
Предполагается
исследовать некоторые
классы графов на k*-
связность и разработать
эффективные
алгоритмы построения
k*-контейнеров
ИМ СО РАН
Дискретного
анализа и
исследования
операций
Кодирование дискретных
сообщений в сетях пятого
поколения мобильной связи
Пережогин Алексей
Львович, к.ф.-м.н.,
доцент КафДАиИО
ФИТ НГУ;
с.н.с. ИМ СО РАН
[email protected] индивидуальная 2 нет Преобразование
дискретных сообщений
с целью уменьшения
энергозатрат при их
передаче по мобильным
сетям и
одновременному
повышению
помехоустойчивости
ИМ СО РАН
Дискретного
анализа и
исследования
операций
Алгоритмы отыскания
трансверсалей в латинских
кубах
Пережогин Алексей
Львович, к.ф.-м.н.,
доцент КафДАиИО
ФИТ НГУ;
с.н.с. ИМ СО РАН
[email protected] индивидуальная 2 нет Разработка алгоритмов
отыскания
трансверсалей в
многомерных
латинских кубах
фиксированной
значности
ИМ СО РАН
Общей
информатики
1. Разработка
семантических смарт-
контрактов на основе
технологии блокчейн
2. Разработка технологий
семантических предметно-
ориентированных языков
(domain-specific languages)
3. Разработка гибридных
систем машинного обучения
на основе синтеза
нейронных сетей и логико-
семантических моделей
4. Применение методов
онтологического и
семантического
моделирования предметных
областей
5. Разработка цифровых
Пальчунов Дмитрий
Евгеньевич, д.ф.-
м.н., заведующий
кафедрой КафОИ
ФИТ НГУ;
в.н.с. ИМ СО РАН
[email protected] индивидуальная
или групповая
5 Курсы «Логические
методы в инженерии
знаний» и
«Информационные
технологии в Интернет-
маркетинге».
Данные тематики работ
относятся к области
исследований
инженерии знаний,
онтологического и
семантического
моделирования
предметных областей.
Предполагается
разработка бакалаврами
методов извлечения и
обработки знаний,
методов порождения
новых знаний. Для
этого используются
теоретико-модельные
методы, методы
анализа и обработки
текстов естественного
ИМ СО РАН
двойников ролей в бизнес-
процессах предприятий
6. Разработка
автоматизированных
технологий порождения
новых знаний на основе
методов Semantic Web
7. Разработка
пользовательских
интерфейсов на
естественном языке
8. Применение методов
анализа больших данных
для обработки текстов
естественного языка,
представленных в
Интернете
9. Применение методов
анализа больших данных,
основанных на методологии
анализа формальных
понятий
10. Анализ поведения
посетителей веб-сайтов
средствами
интеллектуального анализа
данных
11. Реализация методов
обработки и порождения
знаний, основанных на
теории нечётких моделей
12. Разработка
интеллектуальных
помощников
13. Разработка чат-
ботов, поддерживающих
анализ и выражение
эмоций
14. Разработка технологий
моделирования
рассуждений и
аргументации
языка, методы анализа
формальных понятий, а
также методы и
технологии
семантической паутины
(Semantic Web).
Общей
информатики
1. Разработка
компьютерной программы,
позволяющей моделировать
сложное социальное
поведение человека в
Савостьянов
Александр
Николаевич,
д.филос.н.,
профессор КафОИ
alexander.savostyanov
@gmail.com
индивидуальная 5 Курс «Когнитивная
психология»
Данное
направление
относится к
области
медицинской
НИИНМ
условиях
психофизиологического
эксперимента.
2. Разработка и реализация
компьютерных методов
анализа ЭЭГ человека для
локализации и
картирования участков
головного мозга,
функционально
вовлеченных в исполнение
экспериментальных
заданий.
ФИТ НГУ;
в.н.с., НИИНМ
информатики.
Студент будет
заниматься
разработкой
методов анализа
данных и
разработкой
программного
обеспечения для
одного из
направлений
медицинской
диагностики –
технологий
нейровизуализации.
Общей
информатики
Создание веб-приложений и
программных систем для
комплексного анализа
поэтических текстов
Барахнин Владимир
Борисович, д.т.н.,
профессор КафОИ
ФИТ НГУ;
в.н.с. ФИЦ ИВТ.
[email protected] индивидуальная 5 Интерес к предметной
области – русской
классической поэзии,
применительно к ИТ –
создание веб-
приложений на языке
python (возможно
освоение в процессе
работы).
Создание веб-сервиса
для обработки массивов
поэтических текстов с
использованием
программной системы
http://poem.ict.nsc.ru/
(в настоящее время она
обрабатывает только
отдельные
стихотворения)
ФИЦ ИВТ
Общей
информатики
Разработка программных
систем, использующих
алгоритмы извлечения и
обработки знаний
Яхъяева Гульнара
Эркиновна, к.ф.-
м.н., доцент КафОИ
ФИТ НГУ
[email protected] индивидуальная
5 Курс «Логические
методы в инженерии
знаний».
Данное направление
представляет собой
область применения
методов искусствен-
ного интеллекта,
инженерии знаний
(Knowledge
Engineering) и мягких
вычислений (Soft
Computing) в
различных областях
человеческой
деятельности, где
используются
формализованные
знания.
НГУ
Общей
информатики
Разработка модуля
инерциально-визуального
SLAM на
автопилотируемых роботах
Блощицын Виталий
Яковлевич, к.ф.-
м.н., доцент КафОИ
ФИТ НГУ,
Соруководитель:
Лях Татьяна
https://vk.com/tanya_lu
ach
индивидуальная 5 нет Разработка модулей для
робототехнического
тренажера Duckietown.
Запуск на дакиботе
SLAM (построение
карты, обнаружение
JetBrains
Research
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
местонахождения
робота) с
использованием IMU
сенсора. Добавление
IMU сенсора на робота.
Общей
информатики
Автоматическая калибровка
автопилотируемого робота в
процессе движения
Блощицын Виталий
Яковлевич, к.ф.-
м.н., доцент КафОИ
ФИТ НГУ,
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
https://vk.com/tanya_lu
ach
индивидуальная
или групповая
5 нет Разработка модулей для
робототехнического
тренажера Duckietown.
Автоматическая
калибровка камеры и
моторов робота при
движении по городской
среде.
JetBrains
Research
Общей
информатики
Распознавание дорожных
знаков для
автопилотируемых роботов
Блощицын Виталий
Яковлевич, к.ф.-
м.н., доцент КафОИ
ФИТ НГУ,
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
https://vk.com/tanya_lu
ach
индивидуальная 5 нет Разработка модулей для
робототехнического
тренажера Duckietown.
Распознавание
дорожных знаков без
использования
специализированных
отметок.
JetBrains
Research
Общей
информатики
Сервис для дистанционного
доступа к
автопилотируемому роботу
Блощицын Виталий
Яковлевич, к.ф.-
м.н., доцент КафОИ
ФИТ НГУ,
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
https://vk.com/tanya_lu
ach
индивидуальная
или групповая
5 нет Разработка модулей для
робототехнического
тренажера Duckietown.
Разработка модуля
управления
роботом\доступа к
имитатору робота.
JetBrains
Research
Общей
информатики
Автоматизированный сбор
датасетов при движении
автопилотируемого робота
Блощицын Виталий
Яковлевич, к.ф.-
м.н., доцент КафОИ
ФИТ НГУ,
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
https://vk.com/tanya_lu
ach
индивидуальная
или групповая
5 нет Разработка модулей для
робототехнического
тренажера Duckietown.
Автоматическое
построение датасетов
при движении робота
по городской среде.
JetBrains
Research
Общей
информатики
Разработка программных
систем для автоматизации
Блощицын Виталий
Яковлевич, к.ф.-
Telegram: @Polina
Sazonova
индивидуальная
или групповая
2 Желательно:
понимание на
Будет разработано ПО,
позволяющее малому
ООО
«Десенчери»
бизнес-процессов м.н., доцент КафОИ
ФИТ НГУ.
Соруководитель:
Сазонова Полина
Андреевна, старший
преподаватель
КафОИ ФИТ НГУ;
директор ООО
«Десенчери».
начальном уровне
принципов построения
бизнес-процессов,
нотации BPMN.
или среднему бизнесу
автоматизировать
бизнес-процессы.
Общей
информатики
Разработка программного
обеспечения с
использованием технологии
блокчейн
Блощицын Виталий
Яковлевич, к.ф.-
м.н., доцент КафОИ
ФИТ НГУ.
Соруководитель:
Сазонова Полина
Андреевна, старший
преподаватель
КафОИ ФИТ НГУ;
директор ООО
«Десенчери».
Telegram: @Polina
Sazonova
индивидуальная
или групповая
3 Желательно:
факультатив «Введение
в распределенные
реестры и технологию
блокчейн».
Будет разработан
прототип финтех-
проекта с
использованием
технологии блокчейн.
ООО
«Десенчери»
Общей
информатики
Разработка WEB-
интерфейса для анализа
результатов трехмерной
сейсмической томографии.
Дучков Антон
Альбертович, к.ф.-
м.н., доцент КафСИ
ФИТ НГУ;
зав. лаб.
динамических
проблем сейсмики
ИНГГ СО РАН
www.ipgg.sbras.ru/ru/p
erson/ipgg-duchkovaa
as.ru
индивидуальная
или групповая
2 нет В сейсмологии
реализованы
вычислительные
алгоритмы томографии
для построения
моделей внутреннего
строения геологической
среды, но нет удобных
средств визуализации и
анализа. Цель:
разработка web-
приложения, которое
обеспечивает: 1) доступ
к результатам
томографии; 2)
процедуры анализа
результатов; 3)
инструменты
визуализации.
ИНГГ СО
РАН
Общей
информатики
Реализация образовательной
системы для школьников по
изучению геофизических
съемок в среде Майнкрафт.
Дучков Антон
Альбертович, к.ф.-
м.н., доцент КафСИ
ФИТ НГУ;
зав. лаб.
динамических
проблем сейсмики
ИНГГ СО РАН
www.ipgg.sbras.ru/ru/p
erson/ipgg-duchkovaa
as.ru
индивидуальная
или групповая
2 нет Цель: обучение
школьников основам
геофизических съемок
в игровой форме в
среде Майнкрафт.
Задачи: 1) создание
внешних скриптов
моделирования
ИНГГ СО
РАН
геофизических
измерений; 2)
организация вызова
скриптов из
Майнкрафт; 3)
визуализация
результатов
моделирования внутри
Майнкрафт.
Систем
информатики
Исследование методов
разработки виртуальных
графов знаний
Апанович Зинаида
Владимировна,
к.ф.-м.н., доцент
КафПрг ММФ НГУ;
с.н.с. ИСИ СО РАН
u
индивидуальная 5 нет В настоящее время
появилось много
инструментов,
позволяющих создавать
графы знаний.
Предлагается на
практике исследовать
инструменты создания
виртуальных графов
знаний
ИСИ СО РАН
Систем
информатики
Разработка приложения для
сравнение временных
диаграмм исполнения
программы на GPU
Романенко Алексей
Анатольевич, к.т.н.,
доцент КафСИ ФИТ
НГУ
http://ccfit.nsu.ru/arom индивилуальная 1 Базы данных (SQLite),
Python
С возрастанием
сложности
вычислительных
систем возрастает и
сложность отладки
программ.
Предлагаемая в рамках
данной работы тема
позволит понять
упростить процесс
отладки и поиска узких
мест в программе.
НГУ
Систем
информатики
Разработка модели и
приложения для оценки
времени работы программы
на гибридной системе с
заданными параметрами.
Романенко Алексей
Анатольевич, к.т.н.,
доцент КафСИ ФИТ
НГУ
http://ccfit.nsu.ru/arom индивилуальная 1 Базы данных (SQLite),
Python
С возрастанием
сложности
вычислительных
систем возрастает и
сложность
прогнозирования
времени работы
программы.
Предполагается
разработать
инструмент, который
по полученной от
профилировщиков
информации сможет
оценить время работы
программы на заданном
НГУ
аппаратном
обеспечение.
Систем
информатики
Реализация задачи расчета
распространения волны
цунами на вложенных
сетках.
Романенко Алексей
Анатольевич, к.т.н.,
доцент КафСИ ФИТ
НГУ
http://ccfit.nsu.ru/arom индивилуальная 1 Написание, отладка и
профилирование
программ.
Для более точного
расчета параметров
волны цунами в
прибрежной зоне
необходимо переходить
на более мелкие сетки.
Была проверена
возможность такого
перехода в ручном
режиме, необходимо
реализовать
автоматический
переход.
НГУ
Систем
информатики
Реализация задачи расчета
распространения волны
цунами на нескольких
графических процессорах.
Романенко Алексей
Анатольевич, к.т.н.,
доцент КафСИ ФИТ
НГУ
http://ccfit.nsu.ru/arom индивилуальная 1 Написание, отладка и
профилирование
программ.
Было показано, что при
мелкозернистом
распараллеливании
большие накладные
расходы идут на
коммуникации.
Предлагается
реализовать расчет
задачи распространения
волны цунами на
нескольких GPU с
использованием
библиотеки NCCL.
НГУ
Систем
информатики
Разработка интерфейсов и
визуальных форм для
представления результатов
анализа языков
программирования
Городняя Лидия
Васильевна,
к.ф.-м.н., доцент
КафПрг ММФ НГУ;
с.н.с. ИСИ СО РАН
[email protected] индивилуальная 2 Наличие знакомства с
несколькими языками
программирования
Будут рассмотрены
вопросы анализа и
сравнения определений
и реализаций языков
программирования
ИСИ СО РАН
Систем
информатики
Разработка мультиагентной
системы процесса принятий
решений в экономической
системе: исследование
поведения и верификация
свойств
Есикова Татьяна
Николаевна, к.э.н.,
доцент КафСИ ФИТ
НГУ;
в.н.с. ИЭОПП СО
РАН
om
индивидуальная 1-2 нет Анализ алгоритмов
принятия решений.
Изучение приемов
моделирования
процессов принятия
решений.
Анализ решения этих
проблем в данной
проблемной области.
Реализация задачи
средствами МАС
ИЭОПП СО
РАН
Систем
информатики
Разработка инструментария
для оценки
пространственной
Есикова Татьяна
Николаевна, к.э.н.,
доцент КафСИ ФИТ
om
индивидуальная 1-2 нет Анализ
информационных
потоков интернет-
ИЭОПП СО
РАН
трансформации Азиатской
России при различных
сценарных условиях
НГУ;
в.н.с. ИЭОПП СО
РАН
пространства методами
IT/ Генерации
сценарных условий по
результатам анализа
инфопотоков.
Реализация алгоритмов
по генерация гипотез и
оценка их влияния.
Параллельных
вычислений
Оптимизация
коммуникаций в
параллельной программе с
учетом топологии
коммуникационной сети
суперкомпьютера в системе
фрагментированного
программирования
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Перепёлкин
Владислав
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
perepelkin@
ssd.sscc.ru
индивидуальная
или групповая
2 Владение
программированием на
С/С++, умение
пользоваться ОС
Linux/UNIX, знание
MPI и POSIX/C++
Threads на базовом
уровне.
Рассматриваются
вопросы оптимизации
коммуникаций в
распределённом
интерпретаторе языка
описания численных
алгоритмов.
Оптимизация
достигается за счёт
учёта сетевой
топологии и
конфигурации
вычислителя
(суперкомпьютера), а
также особенностей
интерпретируемого
численного алгоритма.
Требуется разработать
алгоритм,
отображающий
прикладную задачу на
вычислительные узлы
суперкомпьютера.
ИВМиМГ СО
РАН
Параллельных
вычислений
Разработка и реализация
механизма профилирования
фрагментированных
программ
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Киреев Сергей
Евгеньевич,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
kireev@ ssd.sscc.ru индивидуальная
или групповая
2 Владение
программированием на
С/С++, умение
пользоваться ОС
Linux/UNIX, знание
MPI и POSIX/C++
Threads на базовом
уровне.
Рассматривается
проблема
автоматизированного
анализа исполнения
фрагментированных
программ с точки
зрения эффективности,
а также нагрузки,
которая возникает на
различные аппаратные
подсистемы
(процессоры, память,
сеть). Требуется
разработать
инструмент,
ИВМиМГ СО
РАН
позволяющий
обнаруживать «узкие
места»
фрагментированных
программ, выявлять и,
возможно, устранять их
причины.
Параллельных
вычислений
Управление
распределенными
фрагментированными
данными в
мультикомпьютере
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Перепёлкин
Владислав
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
perepelkin@
ssd.sscc.ru
индивидуальная
или групповая
2 Владение
программированием на
С/С++, умение
пользоваться ОС
Linux/UNIX, знание
MPI и POSIX/C++
Threads на базовом
уровне.
Рассматривается
проблема организации
хранения, передачи по
сети и поиска данных
на суперкомпьютере в
рамках технологии
фрагментированного
программирования.
Требуется разработать
алгоритмы,
обеспечивающие
хранение и
использование
распределённых
данных. При этом
должен учитываться
характер
взаимодействия
прикладной программы
с её распределёнными
данным, свойственных
численному
моделированию на
суперкомпьютерах.
ИВМиМГ СО
РАН
Параллельных
вычислений
Разработка и реализация
визуального языка
представления
фрагментированных
программ
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Перепёлкин
Владислав
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
perepelkin@
ssd.sscc.ru
индивидуаль
ная
5 нет Задача – создать
графический DSL
(Domain Specific
Language),
позволяющий на
высоком уровне
абстракции описывать
численные алгоритмы с
целью последующего
их исполнения на том
или ином
суперкомпьютере.
Требуется также
разработать среду
визуальной разработки
алгоритмов и
ИВМиМГ СО
РАН
транслятор с
разработанного языка.
Параллельных
вычислений
Визуализация процесса
исполнения
фрагментированных
программ
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Перепёлкин
Владислав
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
perepelkin@
ssd.sscc.ru
индивидуальная 5 Знание основ
параллельного
программирования,
владение С/С++,
умение пользоваться
ОС Linux/UNIX.
Работа посвящена
созданию
визуализатора,
отображающего ход
исполнения
фрагментированных
программ на
суперкомпьютере с
целью анализа хода
исполнения.
ИВМиМГ СО
РАН
Параллельных
вычислений
Разработка системы
визуального
конструирования программ:
графический редактор
вычислительных моделей и
алгоритмов, синтез
алгоритмов на простых
вычислительных моделях
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Перепёлкин
Владислав
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
perepelkin@
ssd.sscc.ru
индивидуальная 5 Знание основ
параллельного
программирования,
знакомство с языком
JavaScript, знакомство с
разработкой web-
интерфейсов
пользователя, хорошее
понимание
математической
логики.
В основе работы лежит
математический
аппарат
вычислительных
моделей (ВМ),
позволяющий
автоматически
конструировать и
исполнять программу,
решающую заданную
задачу. Требуется
разработать
визуальный
конструктор и
интерпретатор ВМ.
ИВМиМГ СО
РАН
Параллельных
вычислений
Управление
распределёнными
структурами данных
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Перепёлкин
Владислав
Александрович,
старший
преподаватель
perepelkin@
ssd.sscc.ru
индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов,
параллельного
программирования,
владение С/С++, Linux.
Работа выполняется в
рамках проектов
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по созданию
высокоуровневых
инструментов
разработки
высокоуровневых
программ для
ИВМиМГ СО
РАН
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
неоднородных
распределенных
вычислительных
систем.
Параллельных
вычислений
Разработка компонентов
HPC Community Cloud для
управления
распределенными задачами
и ресурсами
метакомпьютеров NumGrid
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов,
параллельного
программирования,
владение С/С++, Linux.
Работа выполняется в
рамках проектов
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
программного
обеспечения NumGrid
для объединения
высокопроизводительн
ых вычислительных
сетей в
вычислительные мета-
системы с целью
проведения
крупномасштабного
численного
моделирования,
анализа данных.
Объединение
выполняется с учетом
решения задачи
повышения общей
эффективности
использования
вычислительных
ресурсов.
ИВМиМГ СО
РАН
Параллельных
вычислений
Разработка элементов
программного комплекса
для объединения
суперкомпьютеров в
единую вычислительную
метасистему
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов,
параллельного
программирования,
владение С/С++, Linux.
Работа выполняется в
рамках проектов
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
программного
обеспечения NumGrid
для объединения
высокопроизводительн
ых вычислительных
сетей в
ИВМиМГ СО
РАН
РАН вычислительные мета-
системы с целью
проведения
крупномасштабного
численного
моделирования,
анализа данных.
Объединение
выполняется с учетом
решения задачи
повышения общей
эффективности
использования
вычислительных
ресурсов.
Параллельных
вычислений
Разработка элементов
системы управления
международной
конференцией
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов, веб-
разработки, БД, Linux.
Работа выполняется в
рамках проекта
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
программного
обеспечения для
поддержки проведения
международной
конференции Parallel
Computing
Technologies:
управление
конференцией,
автоматизация
процедур по
организации
конференции,
пользовательские
приложения для
поддержки участников,
управление данными
конференции, анализ
данных по
конференции, научным
публикациям.
ИВМиМГ СО
РАН
Параллельных
вычислений
Создание технологической
платформы для разработки
библиотеки решателей
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов,
Работа выполняется в
рамках проектов
кафедры Параллельных
ИВМиМГ СО
РАН
СЛАУ
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
параллельного
программирования,
владение С/С++, Linux.
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
предметно-
ориентированных сред
для повышения уровня
разработки
суперкомпьютерных
приложений в
различных предметных
областях
Параллельных
вычислений
Разработка программной
среды для решения задач
обработки сейсмических
данных на
высокопроизводительных
вычислительных системах
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов,
параллельного
программирования,
владение С/С++, Linux.
Работа выполняется в
рамках проектов
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
предметно-
ориентированных сред
для повышения уровня
разработки
суперкомпьютерных
приложений в
различных предметных
областях
ИВМиМГ СО
РАН
Параллельных
вычислений
Разработка компонентов
HPC Community Cloud для
поддержки разработки,
сборки и выполнения
суперкомпьютерных
приложений
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов,
параллельного
программирования,
владение С/С++, Linux.
Работа выполняется в
рамках проектов
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
предметно-
ориентированных сред
для повышения уровня
разработки
суперкомпьютерных
приложений в
различных предметных
областях
ИВМиМГ СО
РАН
Параллельных Генерация Малышкин Виктор maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных Работа выполняется в ИВМиМГ СО
вычислений пользовательских
интерфейсов
суперкомпьютерных
приложений по
спецификациям
вычислительных моделей
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
сетей, сетевых
протоколов,
параллельного
программирования,
основы веб-
программирования,
Linux.
рамках проектов
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
системы HPC
Community Cloud,
унифицирующей
работу пользователей с
различными
высокопроизводительн
ыми вычислительными
системами. Требуется
создать систему для
управления проектами
разработки
суперкомпьютерных
приложений,
обеспечивающую
возможность
выполнения программ
на различных
суперкомпьютерах
через единый
интерфейс
РАН
Параллельных
вычислений
Разработка системы
управления научными
данными в HPC Community
Cloud
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Городничев Максим
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
maxim@ ssd.sscc.ru индивидуальная 5 Основы компьютерных
сетей, сетевых
протоколов,
параллельного
программирования,
основы веб-
программирования,
Linux.
Работа выполняется в
рамках проектов
кафедры Параллельных
вычислений ФИТ НГУ,
Лаборатории синтеза
параллельных
программ ИВМиМГ СО
РАН по разработке
системы HPC
Community Cloud,
унифицирующей
работу пользователей с
различными
высокопроизводительн
ыми вычислительными
системами. Требуется
разработать решение
для управления
данными, которые
обрабатываются и
ИВМиМГ СО
РАН
производятся на
суперкомпьютерах
приложениями,
находящимися под
управлением HPC
Community Cloud
Параллельных
вычислений
Реализация численных
моделей на распределенных
вычислительных системах
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Киреев Сергей
Евгеньевич,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
kireev@ ssd.sscc.ru индивидуальная 5 Основы параллельного
программирования,
владение С/С++, Linux.
Рассматриваются
проблемы
параллельной
реализации программ
для решения различных
классов прикладных
задач и изучаются
возможности для
повышения уровня
разработки программ в
конкретных
прикладных областях.
ИВМиМГ СО
РАН
Параллельных
вычислений
Разработка и реализация
алгоритмов синтеза
прикладных программ на
базе вычислительных
моделей
Малышкин Виктор
Эммануилович,
д.т.н., заведующий
кафедрой КафПВ
ФИТ НГУ;
г.н.с. ИВМиМГ СО
РАН.
Соруководитель:
Перепёлкин
Владислав
Александрович,
старший
преподаватель
КафПВ ФИТ НГУ;
н.с. ИВМиМГ СО
РАН
perepelkin@
ssd.sscc.ru
индивидуальная 5 Знакомство с
параллельными
вычислениями, знание
математической логики
и теории алгоритмов.
Описание: работа
выполняется в рамках
проекта лаборатории
синтеза параллельных
программ ИВМиМГ СО
РАН по разработке
методов и
инструментов
автоматизации
конструирования
параллельных
программ по их
функциональной и
нефункциональной
спецификации. Ввиду
принципиальной
неуниверсальности
таких систем
рассматривается
конкретная предметная
область – научное
моделирование на
суперкомпьютерах. В
работе исследуются
подходы к
интеллектуальным
ИВМиМГ СО
РАН
методам
автоматического
конструирования
параллельных
программ с
требуемыми
свойствами на основе
накопленной базы
экспертных знаний в
области системного
параллельного
программирования,
представленных в
активной форме.
Параллельных
вычислений
Разработка
оптимизированных
алгоритмов обработки
внутренних структур и
объектов системы
фрагментированного
программирования LuNA на
основе данных
профилирования и
трассировки
Власенко Андрей
Юрьевич, к.т.н.,
доцент Каф ПВ
ФИТ НГУ
a.vlasenko@ g.nsu.ru групповая 2 базовые знания языка
программирования
C/C++, библиотек MPI,
OpenMP, Pthreads
На первом этапе
должны быть освоены
средства трассировки,
профилирования и
визуализации
параллельных
программ (TAU -
Tuning and Analysis
Utilities, Intel VTune
Profiler, Vampir,
ParaVer, Jumpshot).
Затем с помощью
данных средств должна
быть проанализирована
система LuNA на
предмет поиска «узких
мест» и других проблем
производительности.
Выявленные проблемы
должны быть
устранены, для чего
необходимо
оптимизировать
применяемые в системе
алгоритмы обработки
внутренних объектов.
ИВМиМГ СО
РАН
Компьютерны
х систем
Система компьютерного
моделирования функции
эффективности для
химических соединений
Осипов Александр
Леонидович, к.т.н.,
доцент КафКС ФИТ
НГУ
[email protected] индивидуальная 1 Непараметрические
методы
моделирования, базы
данных,
программирование
Разработать
непараметрический
подход к
моделированию
функции
эффективности (доза-
эффект) для
нет
химических
соединений.
Разработать
программный
интерфейс для
реализации модели.
Компьютерны
х систем
Компьютерная система
прогнозирования налоговых
поступлений
Осипов Александр
Леонидович, к.т.н.,
доцент КафКС ФИТ
НГУ
[email protected] индивидуальная 1 Методы анализа
временных рядов,
математическое
моделирование, базы
данных,
программирование
Разработать
математические модели
для прогнозирования
налоговых поступлений
на основе макроэконо-
мических факторов.
Разработать
программный
интерфейс для
реализации моделей.
нет
Компьютерны
х систем
Разработка средств
повышения эффективности
функционирования
менеджера ресурсов
SLURM в стандарте PMIx
Павский Кирилл
Валерьевич, д.т.н.,
доцент КафКС ФИТ
НГУ; заведующий
Лабораторией ВС
ИФП СО РАН
[email protected] , р.т. (383)
330-56-26
индивидуальная 2 Язык
программирования C.
Знание основ теории
вычислительных
систем, организации
функционирования
распределенных
вычислительных
систем и параллельного
программирования.
Работа направлена на
разработку алгоритмов
и программ повышения
эффективности
функционирования
менеджера ресурсов
SLURM в стандарте
PMIx. Одно из
направлений этой
работы является
создание и управление
подсистемой
избыточности с целью
обеспечения заданного
уровня
производительности
при решении
параллельных задач
пользователей в
условиях отказов.
ИФП СО РАН
Компьютерны
х систем
Разработка параллельных
программ для
моделирования физических
процессов при
гетероэпитаксии германия
на структурированных
подложках кремния
Павский Кирилл
Валерьевич, д.т.н.,
доцент КафКС ФИТ
НГУ; заведующий
Лабораторией ВС
ИФП СО РАН
[email protected] , р.т. (383)
330-56-26
индивидуальная 2 Язык
программирования C.
Знание основ теории
вычислительных
систем, организации
функционирования
распределенных
вычислительных
систем и параллельного
программирования.
Работа направлена на
разработку
отказоустойчивых
параллельных
алгоритмов и программ
с использованием
библиотеки MPI,
OpenMP.
ИФП СО РАН
Компьютерны Исследование отказов и Павский Кирилл [email protected], индивидуальная 1 Знание основ: теории Работа направлена на ИФП СО РАН
х систем сбоев в
высокопроизводительных
вычислительных системах.
Валерьевич, д.т.н.,
доцент КафКС ФИТ
НГУ;
заведующий
лабораторией
вычислительных
систем ИФП СО
РАН
[email protected] , р.т. (383)
330-56-26
вычислительных
систем, теории
вероятностей. Язык
программирования С.
OS Linux.
исследование отказов и
сбоев в
масштабируемых
вычислительных
системах.
Компьютерны
х систем
Параллельные алгоритмы и
программы решения задач
анализа и структурной
оптимизации случайных
графов
Родионов Алексей
Сергеевич, д.т.н.,
профессор КафКС
ФИТ НГУ;
заведующий
лабораторией
ИВМиМГ СО РАН
[email protected] групповая 3 Обязательно: навыки
параллельного
программирования
(MPI, Open MP), C++ и
клоны, теория графов
(основы), ТВиМС.
Желательно: понятия
об эволюционных
алгоритмах
Создание открытого
пакета для установки на
ССКЦ КП СО РАН,
предназначен-ного для
решения задач на
графах и сетях большой
размерности. Web
интерфейс, средства
хранения, интеллек-
туальный подбор
алгоритмов решения.
ИВМиМГ СО
РАН
Компьютерны
х систем
Био-инспирированные
алгоритмы структурной
оптимизации сетей
мониторинга окружающей
среды
Родионов Алексей
Сергеевич, д.т.н.,
профессор КафКС
ФИТ НГУ;
заведующий
лабораторией
ИВМиМГ СО РАН
[email protected] индивидуальная 5 Обязательно: навыки
параллельного
программирования
(MPI, Open MP), C++ и
клоны, теория графов
(основы), ТВиМС.
Желательно: понятия
об эволюционных
алгоритмах
Разработка алгоритмов
и программ
оптимизации
сенсорных сетей
мониторинга,
включающих
стационарные и
мобильные узлы,
обеспечивающих
совместную
оптимизацию
структуры и
маршрутизации
передачи сообщений.
Web интерфейс.
ИВМиМГ СО
РАН
Компьютерны
х систем
Диалоговые средства
оптимизации комплексной
системы сбора, переработки
и утилизации ТБО в городах
Родионов Алексей
Сергеевич, д.т.н.,
профессор КафКС
ФИТ НГУ;
заведующий
лабораторией
ИВМиМГ СО РАН
[email protected] индивидуальная 5 Обязательно: навыки
параллельного
программирования
(MPI, Open MP), C++ и
клоны, теория графов
(основы), ТВиМС.
Желательно: понятия
об эволюционных
алгоритмах
Разработка алгоритмов
и программ
оптимизации
сенсорных сетей
мониторинга,
включающих
стационарные и
мобильные узлы,
обеспечивающих
совместную
оптимизацию
структуры и
маршрутизации
ИВМиМГ СО
РАН
передачи сообщений.
Web интерфейс.
Компьютерны
х систем
Методы сжатия с прямым
доступом к закодированным
данным
Рябко Борис
Яковлевич, д.т.н.,
профессор КафКС
ФИТ НГУ;
гл.н.с., и.о. зав. лаб.
информационных
систем и защиты
информации ФИЦ
ИВТ
boris.ryabko.net индивидуальная
или групповая
2 Обладать умением
построения сложных
алгоритмов
Методы компактного
(«сжатого») хранения
данных, позволяющие
«считывать» данные с
любого места (а не
только сначала).
ФИЦ ИВТ
Компьютерны
х систем
Построение
стеганографических систем
с заданным уровнем
искажения
Рябко Борис
Яковлевич, д.т.н.,
профессор КафКС
ФИТ НГУ;
гл.н.с., и.о. зав. лаб.
информационных
систем и защиты
информации ФИЦ
ИВТ
boris.ryabko.net индивидуальная
или групповая
2 Обладать умением
построения сложных
алгоритмов
Стеганографические
системы с заранее
ограниченным уровнем
вносимых искажений
ФИЦ ИВТ
Компьютерны
х систем
Построение универсального
теста для проверки
генераторов случайных
чисел (ГСЧ)
Рябко Борис
Яковлевич, д.т.н.,
профессор КафКС
ФИТ НГУ;
гл.н.с., и.о. зав. лаб.
информационных
систем и защиты
информации ФИЦ
ИВТ
boris.ryabko.net индивидуальная
или групповая
2 Знание теории
вероятностей и
математической
статистики
Разработка алгоритмов,
программ и проведение
экспериментов с
тестами для ГСЧ
ФИЦ ИВТ
Компьютерны
х систем
Создание имитационных
моделей промышленного
оборудования и систем
Шакиров Станислав
Рудольфович, к.ф.-
м.н., доцент КафКС
ФИТ НГУ;
заведующий
конструкторско-
технологическим
отделом ФИЦ ИВТ
[email protected] индивидуальная 5 Работа в программных
пакетах Blender и Unity
Создание
имитационных моделей
различного
промышленного
оборудования с 3D
визуализацией и
последующее
проведение численных
экспериментов
ФИЦ ИВТ
Компьютерны
х систем
Проверка эквивалентности
булевых функций:
алгоритмы и реализация
Токарева Наталья
Николаевна,
к.ф.-м.н., доцент
КафКС ФИТ НГУ;
с.н.с. ИМ СО РАН.
Соруководитель:
Коломеец Николай
Александрович,
к.ф.-м.н., ассистент
www.crypto.nsu.ru индивидуальная нет Курсы и семинары по
криптографии и
дискретной математике
Решение долго стоящей
проблемы быстрой
реализации проверки
эквивалентности
булевых функций.
Включает в себя
разработку
специального
алгоритма. Задача
ИМ СО РАН
КафПВ ФИТ НГУ;
н.с. ИМ СО РАН
очень актуальна в
криптографии.
Компьютерны
х систем
Классификация
криптографических булевых
функций
Токарева Наталья
Николаевна,
к.ф.-м.н., доцент
КафКС ФИТ НГУ;
с.н.с. ИМ СО РАН.
Соруководитель:
Коломеец Николай
Александрович,
к.ф.-м.н., ассистент
КафПВ ФИТ НГУ;
н.с. ИМ СО РАН
www.crypto.nsu.ru индивидуальная нет Курсы и семинары по
криптографии и
дискретной математике
Булевы функции в
криптографии
используются для
построения компонент
симметричных шифров.
Это сложная и
актуальная задача –
уметь строить битовые
отображения,
обладающие рядом
специфичных
(криптографических)
свойств.
ИМ СО РАН
Компьютерны
х систем
Конструирование S-блоков
в симметричных шифрах:
комбинаторные подходы к
построению APN-функций
Токарева Наталья
Николаевна,
к.ф.-м.н., доцент
КафКС ФИТ НГУ;
с.н.с. ИМ СО РАН.
Консультант:
Идрисова Валерия
Александровна,
к.ф.-м.н., н.с. ИМ
СО РАН
www.crypto.nsu.ru индивидуальная нет Курсы и семинары по
криптографии и
дискретной математике
APN-функции (почти
совершенно
нелинейные функции) –
одни из самых
востребованных в
криптографических
приложениях. Так, в
государственном
стандарте шифрования
США, в шифрах для
Интернета вещей
используются именно
эти функции.
Планируется решать (и
решить?) красивую
задачу, связанную с
APN.
ИМ СО РАН
Компьютерны
х систем
Разработка алгоритмов
обеспечения приватности в
распределенных реестрах
Токарева Наталья
Николаевна,
к.ф.-м.н., доцент
КафКС ФИТ НГУ;
с.н.с. ИМ СО РАН.
Соруководитель:
Кондырев Дмитрий
Олегович
ассистент КафСИ
ФИТ НГУ;
м.н.с. ИМ СО РАН
www.crypto.nsu.ru индивидуальная нет Курсы и семинары по
криптографии и
дискретной математике
Современное
направление для
исследование,
непосредственно
связанное с блокчейн-
технологиями.
ИМ СО РАН
Компьютерны
х систем
Оптимизация
криптографических
протоколов для
использования в
Токарева Наталья
Николаевна,
к.ф.-м.н., доцент
КафКС ФИТ НГУ;
www.crypto.nsu.ru индивидуальная нет Курсы и семинары по
криптографии и
дискретной математике
Современное
направление для
исследование,
непосредственно
ИМ СО РАН
распределенных реестрах с.н.с. ИМ СО РАН.
Соруководитель:
Кондырев Дмитрий
Олегович
ассистент КафСИ
ФИТ НГУ;
м.н.с. ИМ СО РАН
связанное с блокчейн-
технологиями.
Компьютерны
х систем
Анализ стойкости
протоколов постквантовой
криптографии, основанных
на теории решёток
Токарева Наталья
Николаевна,
к.ф.-м.н., доцент
КафКС ФИТ НГУ;
с.н.с. ИМ СО РАН.
Соруководитель:
Куценко Александр
Владимирович, к.ф.-
м.н., ассистент
КафТК ММФ НГУ;
м.н.с. ИМ СО РАН
www.crypto.nsu.ru индивидуальная нет Курсы и семинары по
криптографии и
дискретной математике
Криптографические
системы, устойчивые к
анализу с помощью
квантовых
компьютеров, строятся
на различных
принципах. Теория
решёток – одна из
областей, задачи
которой используются
в построении таких
систем.
ИМ СО РАН
Компью-
терных
технологий
Исследование
унифицированных
архитектур и механизмов
расширения ядра Web-IDE
процесс-ориентированного
языка poST
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Theia)
Разработка механизма
бесшовного
расширения ядра Web-
IDE на основе Theia
специализированными
модулями в
приложении к языку
poS (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование методов
унификации грамматик
языков Reflex и IndustrialC
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext)
Разработка синтаксиса,
в котором язык
IndustrialC выступает в
качестве расширения
языка Reflex при этом
из языка IndustrialC
устранены платформо-
зависимые конструкции
ATmega (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
ИАиЭ СО
РАН
КафКТ ФИТ НГУ третьем курсе практику
по смежным темам)
Компью-
терных
технологий
Рефакторинг IDE
транслятора IndustrialC
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext)
Создание однородной
IDE IndustrialC на базе
стека технологий
Eclipse/Xtext/Xtend c
устранением
платформо-
ориентированности
кодогенератора на
микроконтроллеры
AVR (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование механизмов
конфигурирования и
декларации переменных для
распределенных процесс-
ориентированных программ
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext)
Разработка механизмов
описания окружения и
вычислительной
платформы,
позволяющих
автоматически
генерировать
исполняемый Си-код
для распределенных
систем Индустрии 4.0
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование механизмов
разрешения конфликтов в
конкурирующих
процессах процесс-
ориентированных программ
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
[email protected] индивидуальная 1 язык Си, Java (Eclipse,
Xtext), Reflex
Исследование и
разработка
программных моделей
на основе конечного
автомата,
ориентированных
на описание устройств
Индустрии 4.0
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам,
ИАиЭ СО
РАН
преподаватель
КафКТ ФИТ НГУ
проходившим на
третьем курсе практику
по смежным темам)
Компью-
терных
технологий
Исследование механизмов
спецификации легковесных
состоянии в процесс-
ориентированных языках
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
[email protected] индивидуальная 1 язык Си, Java (Eclipse,
Xtext),
Исследование
семантики возможных
вариантов
спецификации и
кодогенерации (“slice”-
конструкции) в
процесс-
ориентированных
языках
ИАиЭ СО
РАН
Компью-
терных
технологий
Разработка библиотечных
процессов для языка poST
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
[email protected] групповая 3 Подбор и первичное
исследование процесс-
ориентированных
библиотек для
использования в
программировании на
языке poST
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам, проходив-
шим на третьем курсе
практику по смежным
темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование стратегий
использования процесс-
ориентированной
технологии в задачах
распределенных систем
управления
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
индивидуальная 1 язык Java (Eclipse,
Xtext) Reflex,
IndustrialC, poST
Исследование вопросов
обмена сообщениями,
разделяемых
переменных
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
Разработка трансляционной
семантики языка poST в
Гаранина Наталья
Олеговна, к.ф.-м.н.,
индивидуальная 1 Си, Reflex, Promela,
Eclipse, Xtext, Xtend
Создание транслятора
Reflex-программ в язык
ИАиЭ СО
РАН
технологий терминах языка Promela для
целей верификации методом
проверки моделей
доцент КафКТ ФИТ
НГУ
Promela для целей
верификации (гипер
процесс в promela-
процессы) средствами
автоматизированной
разработки проблемно-
ориентированных
языков (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
третьем курсе практику
по смежным темам)
Компью-
терных
технологий
Разработка транслятора
языка poST в язык Promela
для целей верификации
методом проверки моделей
Гаранина Наталья
Олеговна, к.ф.-м.н.,
доцент КафКТ ФИТ
НГУ
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
индивидуальная 1 Си, Reflex, Promela,
Eclipse, Xtext, Xtend
Создание транслятора
Reflex-программ в язык
Promela для целей
верификации (гипер
процесс в promela-
процессы) средствами
автоматизированной
разработки проблемно-
ориентированных
языков (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Разработка базового набора
тестовых задач для системы
динамической верификации
poST-программ
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
[email protected] групповая 3 нет Подбор и первичное
исследование тестовых
задач для организации
лабораторных работ и
демонстрации
принципов процесс-
ориентированного
программирования, в
том числе, с
использованием
системы динамической
верификации poST-
программ в системе
CoDeSys (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
ИАиЭ СО
РАН
проходившим на
третьем курсе практику
по смежным темам)
Компью-
терных
технологий
Разработка редактора
спецификаций требований к
управляющему ПО на языке
EDTL
Гаранина Наталья
Олеговна, к.ф.-м.н.,
доцент КафКТ ФИТ
НГУ
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext), IndustrialC, poST
Разработка
программной системы с
рабочим названием
EDTL4CSRS (event-
driven temporal logic for
control software
requirements
specification), который
бы позволял
специфицировать
свойства
верифицируемой ПО-
программы как черного
ящика (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Разработка транслятора
EDTL- требований в LTL-
формулы
Гаранина Наталья
Олеговна, к.ф.-м.н.,
доцент КафКТ ФИТ
НГУ
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext), IndustrialC, poST
Разработка транслятора
утверждений на
нотации event-driven
temporal logic в
формулы linear temporal
logic (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходив-шим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Разработка транслятора
EDTL- требований в NL
Гаранина Наталья
Олеговна, к.ф.-м.н.,
доцент КафКТ ФИТ
НГУ
Соруководитель:
Лях Татьяна
Викторовна,
к.т.н., старший
преподаватель
КафОИ ФИТ НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext), IndustrialC, poST
Разработка транслятора
утверждений на
нотации event-driven
temporal logic в
предложения на
естественном языке
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам,
проходившим на
третьем курсе практику
ИАиЭ СО
РАН
по смежным темам)
Компью-
терных
технологий
Исследование методов
контроля
непротиворечивости набора
EDTL-требований
Гаранина Наталья
Олеговна, к.ф.-м.н.,
доцент КафКТ ФИТ
НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext), IndustrialC, poST
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам,
проходившим на
третьем курсе практику
по смежным темам)
разработка транслятора
утверждений на
нотации event-driven
temporal logic в
формулы linear temporal
logic
ИАиЭ СО
РАН
Компью-
терных
технологий
Разработка виртуальных
лабораторных стендов под
CoDeSys (poST)
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
[email protected] групповая 3 язык Java (Eclipse,
Xtext), IndustrialC, poST
Имплементация
тестовых задач для
организации
лабораторных работ и
демонстрации
принципов процесс-
ориентированного
программирования, в
том числе, с
использованием
системы динамической
верификации poST-
программ в системе
CoDeSys (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование методов
верификации процесс-
ориентированных программ
на платформе Rodin
Гаранина Наталья
Олеговна, к.ф.-м.н.,
доцент КафКТ ФИТ
НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext), IndustrialC, poST
Исследование методов
автоматизации
процедуры
верификации poST
программ средствами
дедуктивной
верификации в системе
Rodin (предпочтение
будет отдаваться
студентам третьего
курса, или студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование
применимости языка poST
для целей спецификации
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext), IndustrialC, poST
Изучить систему
4DIAC, особенности
стандарта IEC
ИАиЭ СО
РАН
функциональных блоков
IEC 61499 в системе 4DIAC
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
исследовать
возможности и методы
замены Event Control
Chart на poST-
подобный синтаксис,
или, как вариант,
исследовать
возможность
использовать чистый
poST для спецификации
инкапсулированной
функциональности IEC
61499 функциональных
блоков в варианте
Simple FB
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам,
проходившим на
третьем курсе практику
по смежным темам)
Компью-
терных
технологий
Исследование методов и
средств статического
анализа процесс-
ориентированных программ
Зюбин Владимир
Евгеньевич, д.т.н.
заведующий
кафедрой КафКТ
ФИТ НГУ;
зав.лаб.
киберфизических
систем ИАиЭ СО
РАН
Соруководитель:
Розов Андрей
Сергеевич, старший
преподаватель
КафКТ ФИТ НГУ
[email protected] индивидуальная 1 язык Java (Eclipse,
Xtext), IndustrialC, poST
Исследование методов,
моделей, механизмов
анализа процесс-
ориентированных
программ для целей
реверсивного
инжиниринга
(предпочтение будет
отдаваться студентам
третьего курса, или
студентам,
проходившим на
третьем курсе практику
по смежным темам)
ИАиЭ СО
РАН
Компью-
терных
технологий
Разработка и исследование
методов оптического
контроля, а также
алгоритмов обработки
изображений
применительно к
высокоскоростному
контролю движущихся
объектов в рамках
конвейерного производства
Чугуй Юрий
Васильевич, д. т. н.,
профессор КафКТ
ФИТ НГУ;
научный
руководитель КТИ
НП СО РАН
[email protected] групповая 2 язык С Разработка и
исследование методов
оптического контроля,
а также алгоритмов
обработки изображений
применительно к
высокоскоростному
контролю движущихся
объектов в рамках
конвейерного
производства
КТИ НП СО
РАН
Компью-
терных
технологий
Разработка проекционной
системы компьютерной
генерации изображений для
комплексного тренажёра
Чугуй Юрий
Васильевич, д. т. н.,
профессор КафКТ
ФИТ НГУ;
научный
руководитель КТИ
НП СО РАН
[email protected] групповая 2 язык С Разработка
проекционной системы
компьютерной
генерации изображений
для комплексного
тренажёра
КТИ НП СО
РАН
Компью-
терных
технологий
Исследование
промышленных систем
технического зрения
Чугуй Юрий
Васильевич, д. т. н.,
профессор КафКТ
ФИТ НГУ;
научный
руководитель КТИ
НП СО РАН
[email protected] групповая 3 язык С разработка алгоритмов
обработки
видеоизображений и их
исследование в задачах
технического зрения
(объект исследования
уточняется после
собеседования) (тема
имеет развитие на
уровне магистратуры)
КТИ НП СО
РАН
Компью-
терных
технологий
Разработка элементов
программно-аппаратного
комплекса автоматизации
исследований в области
оптических измерений на
основе пакета LabVIEW
Чугуй Юрий
Васильевич, д. т. н.,
профессор КафКТ
ФИТ НГУ;
научный
руководитель КТИ
НП СО РАН
Консультант:
Завьялов Петр
Сергеевич, к.т.н.,
директор КТИ НП
индивидуальная 1 Знакомство с методами
обработки сигналов и
изображений;
знакомство с
современной
элементной базой
оптоэлектроники.
Разработка
программных решений,
позволяющих
автоматизировать
проведение типовых
лабораторных
исследований в области
оптики на основе
платформы LabVIEW.
Работа с
оборудованием:
цифровые камеры,
датчики, двигатели,
лазерные и
светодиодные
источники света.
Обработка
изображений (тема
имеет развитие на
уровне магистратуры)
КТИ НП СО
РАН
Компью-
терных
технологий
Исследование алгоритмов
профилометрии на основе
метода структурного
освещения
Чугуй Юрий
Васильевич, д. т. н.,
профессор КафКТ
ФИТ НГУ;
научный
руководитель КТИ
НП СО РАН
Консультант:
групповая 2 Знакомство с методами
обработки сигналов и
изображений;
знакомство с
современной
элементной базой
оптоэлектроники.
Разработка
высоконадежных
алгоритмов обработки
изображений
трехмерных объектов,
освещенных
структурированными
световыми полями
(тема имеет развитие
КТИ НП СО
РАН
Завьялов Петр
Сергеевич, к.т.н.,
директор КТИ НП
на уровне
магистратуры )
Компью-
терных
технологий
Исследование методов
расчёта волновых полей в
проекционных
пространственно-
неинвариантных
оптических системах
Чугуй Юрий
Васильевич, д. т. н.,
профессор КафКТ
ФИТ НГУ;
научный
руководитель КТИ
НП СО РАН
[email protected] индивидуальная 1 Знакомство с основами
преобразования
световых полей в
оптических системах, с
дифракционными
явлениями в оптике, с
расчётом оптических
полей в Mathcad
Изучение особенностей
формирования
бинарных изображений
в проекционных
пространственно-
неинвариантных
оптических системах
применительно к
размерному контролю
объектов.
Расчёт полевых и
частотных
характеристик таких
систем (тема имеет
развитие на уровне
магистратуры )
КТИ НП СО
РАН
Компью-
терных
технологий
Исследование методов
измерения температуры
твёрдых тел по их спектру
излучения
Лихачев Алексей
Валерьевич, д.т.н.,
доцент КафКТ ФИТ
НГУ
Консультант:
Лабусов Владимир
Александрович,
д.т.н.;
зав. лабораторией
ИАиЭ СО РАН
u
индивидуальная 1 C++ и/или C Sharp под
Windows
Обработка спектров
излучения для
вычисления
температуры с
использованием
известных физических
моделей, в том числе
формулы Планка. (тема
имеет развитие на
уровне магистратуры )
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование методов
измерения температуры
плазмы с использованием
атомарных и молекулярных
спектральных линий
Лихачев Алексей
Валерьевич, д.т.н.,
доцент КафКТ ФИТ
НГУ
Консультант:
Лабусов Владимир
Александрович,
д.т.н.;
зав. лабораторией
ИАиЭ СО РАН
u
индивидуальная 1 C++ и/или C Sharp под
Windows
Обработка спектров
излучения для
вычисления
температуры с
использованием
известных физических
моделей, в том числе
формулы Планка (тема
имеет развитие на
уровне магистратуры )
ИАиЭ СО
РАН
Компью-
терных
технологий
Исследование алгоритмов
симуляции объектов
атомной физики
Лихачев Алексей
Валерьевич, д.т.н.,
доцент КафКТ ФИТ
НГУ
Консультант:
индивидуальная 1 базовые основы
программирования,
желательно знакомство
алгоритмами
компьютерной графики
и с CUDA
моделирование
объектов атомной
физики и графическое
представление моделей
(тема имеет развитие
на уровне
ИАиЭ СО
РАН
Литвинцев
Валентин
Игнатьевич,
главный
специалист-
электроник ИАиЭ
магистратуры )
Компью-
терных
технологий
Разработка программного
обеспечения устройства
HTTP-фильтрации для
промышленного Интернета
на платформе Linux
Лихачев Алексей
Валерьевич, д.т.н.,
доцент КафКТ ФИТ
НГУ
Консультант:
Будников
Константин
Иванович, к.т.н., с.
н. с. ИАиЭ СО РАН
индивидуальная 1 Язык C++ ОС Linux Цель работы – создание
ПО для устройства,
которое производит
фильтрацию запросов
по протоколу HTTP.
Устройство предназ-
начено для работы в
составе промыш-
ленных автоматизи-
рованных систем
управления (IACS).
ИАиЭ СО
РАН
Компью-
терных
технологий
Разработка подсистемы
хранения, записи и поиска
URL-адресов устройства
HTTP-фильтрации для
промышленного Интернета
на платформе Linux
Лихачев Алексей
Валерьевич, д.т.н.,
доцент КафКТ ФИТ
НГУ
Консультант:
Будников
Константин
Иванович, к.т.н., с.
н. с. ИАиЭ СО РАН
индивидуальная 1 Язык C++ ОС Linux /
Windows
Цель работы – создание
ПО базы URL-адресов
для устройства, которое
производит
фильтрацию запросов
по протоколу HTTP.
Устройство
предназначено для
работы в составе
промышленных автома
тизированных систем
управления (IACS).
ИАиЭ СО
РАН