RUS ENG
Магистерские работы 2020 года
| Студент | Руководитель | Тема |
|---|---|---|
| Каракчиева Людмила Валерьевна | Трифонов П.В. | Построение и декодирование недвоичных полярных кодов |
| Крышин Алексей Андреевич | Сениченков Ю.Б. | Конвертер Modelica-MVl. Многокомпонентные модели |
| Сергеев Максим Владимирович | Сениченков Ю.Б. | Конвертер Modelica-MVl. Непрерывные, дискретные и гибридные системы |
Магистерские работы 2019 года
| Студент | Руководитель | Тема |
|---|---|---|
| Самойлов Алексей Михайлович | Самочадин А.В. | Средства автоматизации тестирования программного обеспечения микроконтроллеров |
| Слепцова Стелла Васильевна | Шошмина И.В. | Разработка онлайн-тренажера для верификации моделей программ курса математической логики |
Магистерские работы 2018 года
| Студент | Руководитель | Тема |
|---|---|---|
| Гуменюк М.К. | Глебовский А.Ю. | Исследование средствами имитационного моделирования эффективности алгоритмов активного управления очередями IP-маршрутизаторов |
| Зембовский Е.А. | Карпов Ю.Г. | Алгоритм планирования действий в динамической многоагентной среде с использованием моделей поведения агентов |
| Преловский Д.С. | Самочадин А.В. | Средства валидации входных данных для системы автоматизации медицинского учреждения |
| Трофимюк Г.А. | Трифонов П.В. | Методы построения и декодирования полярных подкодов |
| Якуба Н.В. | Трифонов П.В. | Методы снижения задержки при декодировании полярных подкодов |
Магистерские работы 2017 года
| Студент | Руководитель | Тема |
|---|---|---|
| Архипов Т. | Шошмина И.В. | Разработка и реализация алгоритма синтеза систем переходов для GR(1)-формул при помощи BDD |
| Архипова З. | Шошмина И.В. | Разработка метода эффективной проверки реализуемости контекстных требований |
| Гинчак И. | Самочадин А.В. | Средства автоматизации рейтингового оценивания знаний студентов |
| Григуть Е. | Сениченков Ю.Б. | Разработка библиотеки электрических элементов для пакета моделирования RAND MODEL DESIGNER |
| Иванов К. | Трифонов П.В. | Метод декодирования полярных подкодов |
| Орлов И. | Карпов Ю.Г. | Разработка и реализация алгоритма идентификации страны в текстах новостей на естественном языке |
| Палий А. | Карпов Ю.Г. | Прогнозирование результатов спортивных матчей методами машинного обучения |
| Рапенок И. | Карпов Ю.Г. | Алгоритм разрешения лексической многозначности с учетом контекста |
| Рец С. | Трифонов П.В. | Методы кодовой модуляции, основанные на полярных подкодах |
| Фатхиев А. | Карпов Ю.Г. | Разработка и реализация системы извлечения ключевых слов из текстов на естественном языке |
| Чуприн В. | Карпов Ю.Г. | Разработка и реализация алгоритма разрешения сущностей в текстах на естественном языке |
Магистерские работы 2016 года
| Студент | Руководитель | Тема |
|---|---|---|
| А. Паутов | И.В. Шошмина | Разработка и внедрение программного пакета поиска клонов программ на языке Promela |
| О. Сужаев | А.В. Самочадин | Разработка средств предсказания популярности контента |
| Я. Синицын | Д.А. Тимофеев | Алгоритм определения целевого состояния среды функционирования робота при интерпретации высокоуровневых команд |
| А. Гильдин | Д.А. Тимофеев | Алгоритм планирования действий робота при выполнении высокоуровневых команд |
| А. Шушканов | А.В. Самочадин | Имитационное моделирование системы эстафетной доставки грузов |
| В. Фридман | Ю.Г. Карпов | Символьный алгоритм разработки супервизора для синхронизации управляющих процессов на основе LTL спецификации |
| А. Павленко | Ю.Б. Сениченков | Разработка элементов библиотеки "Гидравлика" для среды визуального моделирования Rand Model Designer |
Магистерские работы 2015 года
| Студент | Руководитель | Тема |
|---|---|---|
| Анастасия Вавилова | Р. И. Ивановский | Анализ применимости методов экспериментального определения свойств линейных динамических объектов. |
| Александр Горнов | А. В. Самочадин | Разработка мобильных средств учета успеваемости студентов. |
| Мария Курбатова | А. В. Самочадин | Разработка многоплатформенного сервиса контроля посещаемости занятий. |
| Анна Низовская | Ю. Б. Сениченков | Описание «физических моделей» на языке графов связей. |
| Марк Новожилов | Р. И. Ивановский | Разработка алгоритмов извлечения информации из электроэнцефалограмм. |
| Максим Розанов | Д. А. Тимофеев | Разработка алгоритмов информационного поиска с учетом семантической неоднозначности слов. |
| Артемий Чугреев | Д. А. Тимофеев | Автоматизация построения тестов для web-сервисов на основе вывода грамматик. |
| Мария Щербань | А. В. Самочадин | Средства автоматизированного формирования тестов для оценки знаний. |
mailto: webmaster@dcn.ftk.spbstu.ru