НОЦ СП. Темы выпускных работ за 2005 год

Темы выпускных работ за 2005 год

Магистерские диссертации

Группа 975
1. Власов К.А. «Операционная система реального времени для ЦПОС MicroDSP». Руководитель: к.ф.-м.н. Гайсарян С.С.
2. Турчанин П.И. «Настраиваемый ассемблер с поддержкой статического определения межкомандных конфликтов». Руководитель: к.ф.-м.н. Гайсарян С.С.
3. Михеев А.С. «Интегрированная среда описания системы команд для сигнальных процессоров». Руководитель: к.ф.-м.н. Гайсарян С.С.

Выпускные квалификационные работы на степень бакалавра

Группа 175
1. Бобровский М. «Поиск уязвимостей типа "FORMAT STRIG" в программах на языке C». Руководитель: к.ф.-м.н. Гайсарян С.С.
2. Богданов Е. «Управление транзакциями в системах баз данных на массивно-параллельных архитектурах». Руководитель: д.т.н. Кузнецов С.Д.
3. Гетьман А. «Точная диагностика ошибок в программе при помощи обратного слайсинга». Руководитель: к.ф.-м.н. Гайсарян С.С.
4. Горбати Г. «Спецификация интерфейса управления потоками в Linux и разработка тестов на соответствие спецификации». Руководитель: д.ф.-м.н. Петренко А.К.
5. Жуков О. «Автоматическое моделирование XML-конфигураций». Руководитель: к.ф.-м.н. Мансуров Н.Н.
6. Ким Е. «Оценка масштабируемости выполнения программы в параллельных отладчиках». Руководитель: к.т.н. Калинов А.Я.
7. Костицына И. «Тестирование реализации узла-корреспондента на соответствие спецификации мобильного IPv6». Руководитель: д.т.н. Шнитман В.З.
8. Кузнецов А.В. «Проблема алгебраизации в языках информационного моделирования». Руководитель: д.ф.-м.н. Семенов В.А.
9. Несов В. «Учет зависимостей между переменными для повышения точности статического анализа». Руководитель: к.ф.-м.н. Гайсарян С.С.
10. Хохлов А.Н. «Выделение архитектурных компонентов из исходного кода приложений». Руководитель: к.ф.-м.н. Мансуров Н.Н.
11. Гогин А. «Разработка спецификаций и тестов для подсистемы управления мьютексами стандарта POSIX». Руководитель: д.ф.-м.н. Петренко А.К.

Группа 176
1. Бимбас С. «Тестирование реализации домашнего агента на соответствие спецификации мобильного IPv6». Руководитель: д.т.н. Шнитман В.З.
2. Видюк С. «Использование стандарта Resource Description Framework для реализации информационной службы системы IARnet». Руководитель: д.ф.-м.н. Афанасьев А.П.
3. Глазов В. «Использование языка UML при проектировании объектно-реляционных баз данных». Руководитель: д.т.н. Кузнецов С.Д.
4. Гржибовецкий А. «Спецификация интерфейса управления приоритетами потоков в Linux и разработка тестов на соответствие спецификации». Руководитель: д.ф.-м.н. Петренко А.К.
5. Кокоркин П. «Спецификация интерфейса управления атрибутами потоков в Linux и разработка тестов на соответствие спецификации». Руководитель: д.ф.-м.н. Петренко А.К.
6. Моргун Д. Руководитель: д.ф.-м.н. Кузюрин Н.Н.
7. Острицкий С. «Построение систем распознавания и принятия решений на основе образов, сравнимых на общность». Руководитель: д.ф.-м.н. Жданов А.А.
8. Танцуев А. «Идентификация пользователя по характеру движения мыши». Руководитель: д.ф.-м.н. Жданов А.А.
9. Щетинин Д.И. «Оптимизация запросов в системах баз данных на массивно-параллельных архитектурах». Руководитель: д.т.н. Кузнецов С.Д.
10. Черненко Е. «Программно-аналитическая модель адаптивного управления перевернутым маятником для инструмента 4GN». Руководитель: д.ф.-м.н. Жданов А.А.
11. Чернодуб А. «Программно-физическая модель автопилота на основе метода автономного адаптивного управления». Руководитель: д.ф.-м.н. Жданов А.А.

[2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006] [2006-2007]

[2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013] [2013-2014]

[2014-2015]