УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Дипломы (версия для печати)


Дипломы



Темы магистерских диссертаций, бакалаврских и курсовых работ для студентов "Компьютерные технологии" (внешняя ссылка: docs.google.com)

Бакалаврские 2003

Наумов Л.А. Разработка среды и библиотеки CAME&L для решения задач с использованием клеточных автоматов

Южаков Е.М. Построение автономного виртуального робота на основе автоматного подхода (на примере игры «CodeRally», предложенной на Java Challenge туре чемпионата мира по программированию по версии ACM 2003 г.)

Бакалаврские 2004

Наумов А.С. Объектно-ориентированное программирование с явным выделением состояний

Бакалаврские 2005

Коротков М.А. Разработка и реализация алгоритма укладки диаграмм состояний

Лукьянова А.П. Моделирование и верификация потоков данных на диаграммах состояний

Столбов С.А. Разработка метода реализации игр на тетрагональном поле, в которых преобладают локальные взаимодействия

Фельдман П.И. Разработка средств для отладки автоматных программ, построенных на основе предложенной библиотеки

Бакалаврские 2006

Бедный Ю.Д. Применение генетических алгоритмов для построения клеточных автоматов

Вельдер С.Э. Введение в верификацию автоматных программ на основе метода Model Checking (PDF)

Маврин П.Ю. Реализация диаграмм состояний

Поликарпова Н.И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением

Магистерские 2006

Корниенко А.А. Автоматный подход к реализации элементов графического пользовательского интерфейса

Ларионов А.В. Визуальный язык автоматного программирования для Microsoft Visual Studio 2005

Раер М.Г. Автоматное расширение языка C#

Гуисов М.И. Применение нейронных сетей для оценки позиции в игре Го

Бакалаврские 2007

Данилов В.Р. Технология генетического программирования для генерации автоматов управления системами со сложным поведением

Козлов В.А. Оптимальный поиск в длинных строках с использованием внешней памяти (PDF)

Кочелаев Д.Ю. Методы динамической проверки непротиворечивости автоматной модели (PDF)

Лукин М.А. Верификация автоматных программ (PDF)

Паращенко Д.А. Обработка строк на основе суффиксных автоматов

Решетников О.Е. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain-Specific Language Tools

Царев Ф.Н. Разработка метода совместного применения генетического программирования и конечных автоматов (PDF)

Хасянзянов Б.З. Метод создания отладчиков для доменно-ориентированных языков программирования на основе технологии Eclipse Modeling

Яминов Б.Р. Автоматизация верификации автоматных UniMod-моделей на основе инструментального средства Bogor (PDF)

Магистерские 2007

Коротков М.А. Алгоритмы укладки диаграмм состояний

Лукьянова А.П. Преобразования программ, сохраняющие поведение

Скаков П.С. Классификация поведения одномерных клеточных автоматов (PDF)

Столбов С.А. Автоматизированное построение клеточного автомата на основе описания логики игры

Суясов Д.И. Разработка алгоритмов распознавания текста на основе клеточных автоматов

Бакалаврские 2008

Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша

Дворкин М.Э. Методы оптимизации доказательства NP-полноты двумерных локально зависимых задач (PDF)

Егоров К.В. Разработка верификатора автоматных программ

Законов А.Ю. Применение автоматного подхода при создании JavaCard-приложений

Иринев А.В. Генерация вероятностных автоматов методами стимулирующего обучения

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

Лагунов И.А. Разработка текстового языка автоматного программирования и его реализация для инструментального средства UniMod на основе автоматного подхода

Магистерские 2008

Абдрашитов Д.С. Применение деревьев для представления строковой информации

Бедный Ю.Д. Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления

Вельдер С.Э. Применение методов снижения размерности к задачам верификации TCTL и оптимальной укладки графов (PDF)

Котов А.Н. Моделирование дорожного движения на многополосной магистрали при помощи двумерного вероятностного клеточного автомата с тремя состояниями

Тихонова У.Т. Определение языков программирования интерпретируемыми автоматами

Точилин В.Н. Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий на основе генетического программирования

Цимбалюк Е.А. Текстовый язык автоматного программирования ТАВР

Поликарпова Н.И. Динамический вывод утверждений в языке программирования с поддержкой проектирования по контракту (на примере языка Eiffel) (PDF)

Бакалаврские 2009

Гиндин С.И. Верификация автоматной модели мобильного банковского приложения (PDF)

Пенькин Д.М. Построение автоматной модели по спецификации на примере банковского сервера аутентификации

Селифонов Е.В. Оптимизация работы программ для графического процессора (PDF)

Смирнов Е.В. Приведение объектно-ориентированных программ к автоматному виду (PDF)

Соколов Д.О. Применение двухэтапного генетического программирования для построения автомата, управляющего моделью танка в игре Robocode (PDF)

Тихомиров А.В. Адаптивная модификация текстурной раскладки для карт освещенности (PDF)

Федотов П.В. Подход к безопасному внесению изменений в графы переходов автоматных систем (PDF)

Буздалов М.В. Применение генетических алгоритмов для генерации тестов, выявляющих неэффективные решения олимпиадных задач по программированию, на примере задачи о рюкзаке (PDF)

Магистерские 2009

Данилов В.Р. Методы представления функции переходов при генерации автоматов управления на основе генетического программирования (PDF)

Кочелаев Д.Ю. Проектирование, спецификация и реализация автоматизированных классов (PDF)

Лукин М.А. Верификация визуальных автоматных программ с использованием инструментального средства SPIN (PDF)

Паращенко Д.А. Суффиксные автоматы с сохранением промежуточных версий и их приложений (PDF)

Решетников Е.О. Инструментальное средство для поддержки автоматного программирования в среде разработки Microsoft Visual Studio 2008

Царев Ф.Н. Разработка методов совместного применения генетического и автоматного программирования (PDF)

Яминов Б.Р. Сравнение методов верификации UniMod-моделей (PDF)

Бакалаврские 2010

Алексеев С.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами (PDF)

Борисенко А.А. Интеграция верификации в интерактивный процесс разработки программ с явным выделением состояний (PDF)

Долгих Е.Д. Разработка системы, моделирующей поведение агента в стохастической игре с неполной информацией, на примере игры "Покер Техасский Холдем"

Исенбаев В.В. Разработка системы секвенирования ДНК с использованием paired-end данных (PDF)

Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты (PDF)

Попов С.И. Многоэтапное обучение агентов, управляемых автоматами, с помощью генетических алгоритмов (PDF)

Родиков Д.Е. Синхронное определение местоположения и составление 2D-карты по стерео изображению в режиме реального времени (PDF)

Терескин А.А. Метод выделения факторов, влияющих на решения объекта моделирования, на примере игры "Покер техасский холдем"

Чебатуркин А.А. Методы верификации конечных автоматов, взаимодействующих по акторной модели

Чернявский И.И. Применение машинного обучения для создания управляющих автоматов на примере игры "Robocode" (PDF)

Магистерские 2010

Дворкин М.Э. Методы минимизации необходимого числа цепей для секвенирования ДНК (PDF)

Егоров К.В. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением (PDF)

Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ (PDF)

Клебанов А.А. Применение шаблонов требований для формальной спецификации и верификации автоматных программ (PDF)

Кулев В.А. Метод генетического программирования на основе моделирования противоборствующих популяций автоматных программ (PDF)

Мандриков Е.А. Совместное использование автоматного программирования и генетических алгоритмов для управления мультиагентными системами (PDF)

Синев И.А. Применение двухфазного метода для генерации тестов для олимпиадных задач по теории графов (PDF)

Бакалаврские 2011

Ахи А.А. Автоматические методы модификации решений для тестирования проверяющих программ

Банных А.Г. Применение деревьев для реализации массовых операций на многомерных массивах данных

Казаков С.В. Разработка метода построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров

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

Шестаков А.В. Разработка методов модификации автоматных программ при изменении сценариев их работы

Сергушичев А.А. Разработка метода восстановления фрагментов нуклеотидной последовательности по парным чтениям

Магистерские 2011

Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных алгоритмов

Селифонов Е.В. Оптимизация высокопроизводительных вычислений с использованием графических процессоров (PDF)

Бакалаврские 2012

Афанасьева А.С. Выбор вспомогательных оптимизируемых величин для ускорения процесса оптимизации с помощью машинного обучения

Николаев К.В. Методы оптимизации мобильных интерфейсов

Магистерские 2012

Тяхти А.С. Применение генетических алгоритмов и эволюционных стратегий для построения управляющих конечных автоматов по сценариям работы

Чернявский И.И. Извлечение отношений из текстов на естественном языке

Бакалаврские 2013

Бужинский И.П. Метод построения управляющих конечных автоматов с учетом непрерывных выходных воздействий на основе обучающих примеров (PDF)

Петрова И.А. Повышение эффективности алгоритмов многокритериальной оптимизации с помощью машинного обучения для решения задач составления расписаний (PDF)

Рост А.Ю. Методы автоматизированного покрытия кода тестами на основе эволюционных алгоритмов (PDF)

Магистерские 2013

Александров А.В. Разработка метода исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности (PDF)

Чивилихин Д.С. Метод построения конечных автоматов на основе муравьиного алгоритма

Казаков С.В. Разработка алгоритма упрощения графа перекрытий при сборке геномных последовательностей (PDF)

Сергушичев А.А. Разработка метода восстановления фрагментов генома по парным чтениям с ошибками вставки и удаления (PDF)

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

Бакалаврские 2014

Васин А.Ю. Сборка скэффолдов геномной последовательности на основе принципа максимального правдоподобия

Муравьев С.Б. Разработка метода оценки качества сборки генома на основе принципа максимального правдоподобия

Попов А.Л. Разработка классификатора для оценки качества перевода без использования эталонов перевода (PDF)

Муцянко М.С. Статический и динамический вывод типов скомпилированных макросов языка программирования Scala (PDF)

Магистерские 2014

Долганов В.О. Разработка метода сборки транскриптома на основе анализа компонент связности графа де Брейна (PDF)

Кевер М.Е. Теоретическое исследование вычислительной сложности задачи Jump-K (PDF)

Бакалаврские 2015

Зайцев К.В. Проектирование и реализация веб-сервиса для анализа экспрессии генов (PDF)

Закирзянов И.Т. Разработка предикатов нарушения симметрии для построения детерминированных конечных автоматов при помощи сведения к задаче о выполнимости (PDF)

Мельник М.В. Применение методов решения задачи о выполнимости булевой формулы для построения минимальной филогенетической сети (PDF)

Ткаченко Г.С. Параллельные алгоритмы поиска кратчайших путей на графах (PDF)

Магистерские 2015

Аксенов В.Е. Комбинаторные конструкции для вычисления числа паросочетаний и определителей на решетках (PDF)

Архипов В.С. Разработка эффективной параллельной реализации эволюционной стратегии с адаптацией ковариационной матрицы (PDF)

Бужинский И.П. Генерация покрывающих наборов тестов для систем, представленных в стандарте IEC 61499, на основе эволюционных алгоритмов (PDF)

Буланова Н.С. Исследование эффективности применения вспомогательных оптимизируемых величин при использовании методов оптимизации на основе искусственных иммунных систем (PDF)

Кириллова А.А. Разработка алгоритма неточного поиска чтений в геноме с применением вычислений на видеокартах (PDF)

Ливарский Р.Ю. Построение модели для определения вероятностей ошибок в данных секвенирования в зависимости от контекста (PDF)

Матвеева А.А. Выбор вспомогательных оптимизируемых величин в эволюционных алгоритмах при помощи многокритериального обучения с подкреплением (PDF)

Нигматуллин Н.Г. Поддержка вычисления вспомогательных оценочных величин в структурах данных для инкрементальной недоминирующей сортировки (PDF)

Петрова И.А. Выбор вспомогательных оптимизируемых величин для повышения эффективности эволюционных алгоритмов в нестационарных условиях (PDF)

Рост А.Ю. Адаптивная настройка параметров эволюционных алгоритмов с помощью обучения с подкреплением (PDF)

Якупов И.Ю. Разработка структуры данных для инкрементальной недоминирующей сортировки (PDF)

Бакаларские 2016

Лобода А.А. "Решение задачи нахождения связного подграфа максимального веса с учетом весов ребер" (PDF)

Магистерские 2016

Муцянко М.С. Compiler-agnostic модель раскрытия макроопределений с динамическим выводом типов языка программирования Scala (PDF)

Русин Н.С. "Разработка системы управления малогабаритным беспилотным вертолетом на основе автоматного программирования и машинного обучения" (PDF)

Бакалаврские 2017

Зенкова Д.М. Реализация эффективного взаимодействия между платформой для анализа экспрессии генов Morpheus и библиотекой вычислительных методов R/Bioconductor (PDF)

Моклев В.В. Нарушение симметрий в графах на основе обхода в ширину (PDF)

Мухутдинов Д.В. Глубокие самообучающиеся агенты в мультиагентной системе маршрутизации (PDF)

Магистерские 2017

Ковшаров А.П. Исследование зависимости вероятности ошибки на блок от спектра графа Таннера для кодов с малой плотностью проверок на четность (PDF)

Самборский И.М. Мультимодальный кроссплатформенный анализ данных для выявления индивидуальных и групповых атрибутов пользователей социальных сетей (PDF)

Эсаулова Е.Н. Предсказание взаимодействий между раковой опухолью и организмом по данным метилирования ДНК, экзомного и РНК-секвенирования (PDF)

Бакалаврские 2018

Коликов Д.А. Индукция алгоритмов с помощью Тьюринг-полных сетей глубокого обучения (PDF)

Якутов Д.А. Солвер для задачи линейной оптимизации в пространстве сбалансированных потоков с термодинамическими ограничениями (PDF)

Магистерские 2018

Коноплич Г.В. Распознование именованных сущностей в русском языке с использованием глубоких нейронных сетей (PDF)

Магистерские 2019

Мухутдинов Д.В. Децентрализованный алгоритм управления конвейерной системой с использованием методов мультиагентного обучения с подкреплением (PDF)

Работы коллег

Spichakova M. Genetic Inference of Finite State Machines (внешняя ссылка: s-ma-u-g.googlecode.com)

Бахорина А.П. Рекуррентные соотношения и конечные автоматы в решении задач информатики (PDF)




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com