WWW.NAUKA.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Книги, издания, публикации
 


Pages:     | 1 |   ...   | 4 | 5 || 7 |

«СБОРНИК ТЕЗИСОВ ЛУЧШИХ ДИПЛОМНЫХ РАБОТ 2013 года МОСКВА УДК 517.6 + 519.8 ББК 22 С23 Данный сборник посвящается 110-летию со дня рождения Андрея Николаевича Колмогорова – выдающегося ...»

-- [ Страница 6 ] --

5. A. Perko. Implementation of algorithms for K shortest loopless paths.

Networks, 1986, pp. 149–160.

6. J. Y. Yen. Finding the K shortest loopless paths in a network.

Management Science, 1971, pp. 712–716.

Исследование и разработка методов разрешения лексической многозначности на основе неполной базы знаний Работа удостоена диплома I степени Федоренко Денис Глебович Кафедра системного программирования email: fedorenko@ispras.ru Научные руководители: академик РАН Иванников Виктор Петрович, Астраханцев Никита Александрович Разрешение лексической многозначности — одна из центральных проблем обработки естественного языка. Данная проблема заключается в автоматическом определении значений слов на основе их контекстов.

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

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

Разработанное решение основано на существующем алгоритме разрешения лексической многозначности системы Texterra и состоит из следующих этапов: извлечение терминологии из коллекции документов заданной предметной области, определение значений терминов с помощью системы Texterra и распознавание терминов, для которых на самом деле нет подходящих значений.

В качестве метода извлечения терминологии был использован алгоритм голосования, поскольку данный метод является одним из наиболее эффективных [1]. При этом было реализовано большинство основных признаков терминов [2], такие как частота, TF*IDF, релевантность домену, согласованность, сплоченность, t-критерий и другие.

Этап распознавания новых и существующих концептов является центральной частью разработанного метода. На данном этапе решается задача классификации на два класса: «термин, обозначающий новый концепт» и «термин, обозначающий существующий концепт». Для решения данной задачи было рассмотрено несколько методов машинного обучения, в результате чего был выбран метод логистической регрессии. Для применения данного метода был разработан следующий набор признаков:

• Максимальная близость к ключевым значениям домена. Данный признак основан на предположении, что подходящее значение термина, если оно существует, должно быть семантически близко к ключевым понятиям предметной области. Величиной признака является максимальная семантическая близость к ключевым концептам, полученная среди всех значений термина, доступных в базе знаний.

• Постоянство значения. Предположение признака заключается в том, что специфичный термин обозначает одно и то же во всех документах коллекции. Так, слово «стек» в текстах о программировании всегда означает структуру данных и крайне редко может означать, например, трость. Для проверки данного предположения анализируются результаты работы системы Texterra и вычисляется, сколько всего различных значений было присвоено термину.

• Специфичность термина. Данный признак равен отношению частот встречаемости термина в исходном и внешнем корпусе общей тематики. Высокая специфичность может указывать на то, что термин обычно употребляется в единственном значении. Таким образом, есТезисы лучших дипломных работ факультета ВМК МГУ 2013 года ли специфичный термин уже существует в базе знаний, значит для данного термина существует и подходящее значение.

Для тестирования разработанного метода был собран корпус тематики «Настольные игры». Тестирование показало, что разработанный метод превосходит существующий алгоритм решения поставленной задачи [3], а также улучшает точность алгоритма разрешения многозначности системы Texterra на данном корпусе с 52% до 78%, что показывает практическую значимость разработанного метода.

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

Также по результатам данной работы была опубликована статья о методах извлечениях терминологии в сборнике трудов конференции SYRCoDIS 2013.

Литература

1. Zhang Z., Iria J. A comparative evaluation of term recognition algorithms.

2008.

2. Pazienza M. T., Pennacchiotti M., Zanzotto F. M. Terminology extraction: an analysis of linguistic and statistical approaches. // Knowledge Mining. Springer, 2005, p. 255–279.

3. Erk K., Pado S. ShalmaneserЦa toolchain for shallow semantic parsing.

// Proceedings of LREC. 6, 2006.

Синтез архитектурных моделей систем управления реального времени на основе применения генетических алгоритмов Шубин Станислав Павлович Кафедра системного программирования email: stasyatr@gmail.com Научный руководитель: д.ф.-м.н., проф. Петренко Александр Константинович

В данной работе рассматриваются системы реального времени, используемые на бортах самолетов, так называемые системы авионики. Наиболее передовыми системами являются системы, соответствующие стандарту AFDX - Avionics Full Duplex Switched Ethernet. Стандарт AFDX включает в себя следующие понятия :

1. оконечная система — представляет собой вычислительный модуль и набор программ, работающих на нем, такими программами могут являться :

–  –  –

оконечные системы связаны между собой некоторым AFDXсоединением, которое представляет собой набор коммутаторов и связей между ними.

2. виртуальный канал — соединение между двумя приложениями, т.е приложения могут обмениваться сообщениями, например автопилоту могут посылать сообщения о положении самолета в пространстве. виртуальный канал является статически определенным, другими словами его путь по маршрутизаторам задан заранее.

Важным свойством таких систем реального времени является детерминированность доставки сообщений, т.е. стандартом гарантируется, что сообщение будет доставлено от одного приложения до другого не более, чем за строго определенное время. Требования ко времени доставки сообщений влияют на безопасность системы в целом. Например, если мы знаем, что каждые 500ms должны получать данные о высоте самолета и уже более 1s не получали ничего, это говорит, о какой-то неисправности на борту, возможно с датчиком, возможно с сетью, об этом надо сообщить бортинженеру для принятия соответствующих мер.

И перед инженерами, разрабатывающими данные сети авионики часто возникает проблема : у них есть набор заранее определенных требований и необходимо построить систему, которая будет удовлетворять всем этим требованиям. На данный момент эта задача решается по большей части вручную. Более формально задача звучит так : есть набор параметров для приложений, вычислительных модулей и коммутационного оборудования, набор ограничений на время доставки сообщений, набор ограничений на топологию, таких как агрегация и сегрегация приложений, т.е. требование, чтобы две партиции обязательно выполнялись на одном и том же вычислительном модуле или наоборот - никогда не выполнялись на одном модуле. Аналогично для элементов сети, требование о наличии соединения между двумя коммутаторами или об отсутствии такого соединения. Необходимо автоматизированно построить топологию сети, удовлетворяющую всем входным параметрам.

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

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

Литература

1. ARINC Specication 664 Part 7. AEEC, 2004

–  –  –

3. Емельянов В. В., Курейчик В. В., Курейчик В. М. Теория и практика эволюционного моделирования. Физматлит, 2003.

4. Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul. Worst-case endto-end delay analysis of an avionics AFDX network. Proceedings of the Conference on Design, Automation and Test in Europe, 2010.

Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года Темы дипломных работ, защищенных в 2013 году (отделение специалистов) АБАКУМОВ КОНСТАНТИН ВИКТОРОВИЧ – группа 528 Обработка потоковых слабоструктурированных данных в реальном времени Научный руководитель: Кузнецов Сергей Дмитриевич АБРАМЧУК СЕРГЕЙ ВЛАДИМИРОВИЧ – группа 518 О максимальных по включению множествах свободных от решений линейных уравнений Научный руководитель: Сапоженко Александр Антонович АВЕРИНА ВЕРОНИКА ВАДИМОВНА – группа 511 Математическая модель назначения транспортных средств АГАЕВ НУРЛАН ЗАКИРОВИЧ – группа 528 Исследование и разработка современных методов построения вопросно-ответных системы Научный руководитель: Турдаков Денис Юрьевич АГАЛЬЦОВ АЛЕКСЕЙ ДМИТРИЕВИЧ – группа 515 Исследование обобщённого преобразования Радона и его экономические приложения Научный руководитель: Шананин Александр Алексеевич АКИМОВ ДМИТРИЙ АЛЕКСАНДРОВИЧ – группа 521 Метод выделения полупрозрачных частиц в видео на основе анализа резкости кадра Научный руководитель: Ватолин Дмитрий Сергеевич АКЦИПЕТРОВ АЛЕКСАНДР ОЛЕГОВИЧ – группа 527 Семантическая интеграция библиотечных данных Научный руководитель: Серебряков Владимир Алексеевич АЛЕЙНИКОВ ПАВЕЛ ВЯЧЕСЛАВОВИЧ – группа 524 Анализ русскоязычных текстов для генерации системы синтаксических правил Научный руководитель: Грацианова Татьяна Юрьевна АЛЕКРИТСКИЙ ДМИТРИЙ ИГОРЕВИЧ – группа 516 Стохастические дифференциальные уравнения для случайных процессов со смешанными гауссовскими распределениями Научный руководитель: Королев Виктор Юрьевич АЛЕКСАНДРОВ ЯРОСЛАВ АЛЕКСЕЕВИЧ – группа 517 Оптимизация размещения инфраструктуры нефтяного месторождения Научный руководитель: Гуров Сергей Исаевич АЛЕХИН НИКИТА СЕРГЕЕВИЧ – группа 507 Моделирование памяти на фазовых переходах АНИКЕЕВ ФЁДОР АЛЕКСАНДРОВИЧ – группа 507 Параллельные методы решения кинетических уравнений Научный руководитель: Зайцев Федор Сергеевич АНИКИНА ВЕРА ВЛАДИМИРОВНА – группа 508 Моделирование алгоритмов стабилизации линейных нестационарных динамических объектов Научный руководитель: Фурсов Андрей Серафимович АНИСИМОВ АЛЕКСАНДР ВЛАДИМИРОВИЧ – группа 513 Некоторые классы динамических управляемых моделей Темы дипломных работ (отделение специалистов) Научный руководитель: Григоренко Николай Леонтьевич АНТОНОВ ДМИТРИЙ АНДРЕЕВИЧ – группа 511 Исследование методов оптимизации задач обеспечения безопасности АРЕФЬЕВ АРСЕНИЙ ВИКТОРОВИЧ – группа 508 Распознавание выражений лиц Научный руководитель: Фомичев Василий Владимирович АРТЕМОВ АНТОН ПАВЛОВИЧ – группа 522 Метод последовательных уточнений при разрешении синтаксической омонимии АРТЮХИН СТАНИСЛАВ ГЕННАДЬЕВИЧ – группа 517 Классификация трехмерных объектов по двухмерным проекциям Научный руководитель: Местецкий Леонид Моисеевич АРХАНГЕЛЬСКАЯ АННА СЕРГЕЕВНА – группа 502 Исследование задачи дифракции плоской волны на локальной неоднородности границы раздела сред Научный руководитель: Ильинский Анатолий Серафимович АСТАШКИН ГЛЕБ ВЛАДИМИРОВИЧ – группа 528 Статическое представление бинарного кода, полученное из набора связанных трасс Научный руководитель: Падарян Вартан Андроникович АТАМАСЬ ЕВГЕНИЙ ИВАНОВИЧ – группа 508 Алгоритм обращения некоторого класса динамических систем с запаздыванием Научный руководитель: Ильин Александр Владимирович АУШКАП НИКОЛАЙ СЕРГЕЕВИЧ – группа 515 Задача достижимости для модели межвидового взаимодействия АФАНАСЬЕВА ОЛЬГА ИГОРЕВНА – группа 511 Оптимизация назначения резервов в страховании БАБАК АНДРЕЙ АЛЕКСЕЕВИЧ – группа 522 Статический межпроцедурный анализ в программах на языке Питон Научный руководитель: Козлов Д.Д.

БАДРЕТДИНОВ РАМИЛЬ РИНАТОВИЧ – группа 528 Автоматическое обнаружение ошибок в программах на языке Python при помощи статического анализа БАЗДАРЕВ СЕМЕН БОРИСОВИЧ – группа 502 Исследование двойственных задач управления и наблюдения в оптически неоднородной среде БАКЕЕВ РУСЛАН НАДИРОВИЧ – группа 505 Исследование симметрично-симплектических методов на точных решениях задачи Кеплера Научный руководитель: Еленин Георгий Георгиевич БАЛАНДЮК-ОПАЛИНСКАЯ ЯНИНА ЭДВАРДОВНА – группа 525 Использование морфологии для выявления семантических характеристик слова БАННИКОВ ПАВЕЛ СЕРГЕЕВИЧ – группа 520 Выявление истинной топологии коммуникационной среды вычислительного кластера по набору тестов Научный руководитель: Сальников Алексей Николаевич Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года БАТАНОВ ПАВЕЛ ГЕОРГИЕВИЧ – группа 521 Сопровождение людей в системах многокамерного видеонаблюдения для спортивных игр БЕДОВ АНДРЕЙ ИГОРЕВИЧ – группа 502 Численный анализ дифракции акустических волн на прямоугольном экране Научный руководитель: Захаров Евгений Владимирович БЕСКОВА ЕКАТЕРИНА АЛЕКСАНДРОВНА – группа 518 Задача о бесповторном представлении функции, заданной на шести точках Научный руководитель: Вороненко Андрей Анатольевич БЕСПАМЯТНОВ ДМИТРИЙ АЛЕКСАНДРОВИЧ – группа 505 Сравнение детерминированного и стохастического метода частиц для уравнения диффузии Научный руководитель: Богомолов Сергей Владимирович БЕСФАМИЛЬНАЯ МАРИЯ ВИКТОРОВНА – группа 501 Многомасштабный метод оценки ширины контуров изображений Научный руководитель: Лукин А.С.

БИКТИМИРОВА ЛЕЙЛЯ МАРАТОВНА – группа 516 Модели динамической волатильности для рынка европейских опционов БЛОХИН НИКИТА СЕРГЕЕВИЧ – группа 502 Исследование электромагнитного поля в морских зондированиях Научный руководитель: Дмитриев Владимир Иванович БОБРИК КСЕНИЯ ПЕТРОВНА – группа 517 Прогнозирование с конъюктивным критерием Научный руководитель: Дьяконов Александр Геннадьевич БОНДАРЬ ЕВГЕНИЯ АЛЕКСАНДРОВНА – группа 504 Метод частиц для задачи об ударной волне в двумерном случае Научный руководитель: Богомолов Сергей Владимирович БОРОДИН МИХАИЛ АЛЕКСЕЕВИЧ – группа 519 Криптографический анализ криптосистемы Мак-Элиса, построенной на основе двоичных кодов Рида-Маллера Научный руководитель: Чижов Иван Владимирович БОЧКАРЕВ ПАВЕЛ СЕРГЕЕВИЧ – группа 525 Автоматическое извлечение переводных эквивалентов из псевдопараллельных текстовых коллекций БУВАЛЬЦЕВ СТАНИСЛАВ АЛЕКСЕЕВИЧ – группа 504 Математическое моделирование макроэкономических процессов в России Научный руководитель: Куркина Елена Сергеевна БУЛГАКОВ МИХАИЛ АНДРЕЕВИЧ – группа 522 Автоматическая генерация моделей микропрограмм из набора шаблонов при заданных характеристиках потоков данных Научный руководитель: Гамаюнов Денис Юрьевич БУРОВ ДМИТРИЙ АНАТОЛЬЕВИЧ – группа 508 О начальных стадиях ламинарно-турбулентного перехода в задаче обтекания цилиндра Научный руководитель: Магницкий Николай Александрович Темы дипломных работ (отделение специалистов) ВАЙСМАН МИХАИЛ ГЕОРГИЕВИЧ – группа 524 Разработка и реализация алгоритма хеширования для мультимедийных документов Научный руководитель: Соловьев Сергей Юрьевич ВАЛИЕВ КАРИМ РАМИЛЕВИЧ – группа 522 Сравнительное тестирование средств обнаружения уязвимостей веб-приложений ВАЛИЕВ ТИМУР РАМИЛЕВИЧ – группа 518 О свойствах предполных классов многозначной логики Научный руководитель: Нагорный Александр Степанович ВАСИЛЬЕВ АНТОН ДМИТРИЕВИЧ – группа 520 Разработка методов и средств автоматизации тестирования графического интерфейса для системы Эльбрус Научный руководитель: Сухомлин Владимир Александрович ВАСИН ДМИТРИЙ АНАТОЛЬЕВИЧ – группа 508 Алгебраические методы обращения динамических систем Научный руководитель: Ильин Александр Владимирович ВДОВИНА АНАСТАСИЯ КОНСТАНТИНОВНА – группа 513 Некоторые задачи оптимального управления нак бесконечном интервале времени Научный руководитель: Дмитрук Андрей Венедиктович ВЕТРОВ ДМИТРИЙ АЛЕКСАНДРОВИЧ – группа 524 Автоматическое выделение ключевых слов на базе графа понятий текста Научный руководитель: Ефремова Н.Э. АЯ ВЕЧКАСОВА ОЛЬГА ВИТАЛЬЕВНА – группа 511 Гибридные методы преодоления эффекта Маратоса Научный руководитель: Измаилов Алексей Феридович ВИКТОРОВА ЕЛЕНА ВЛАДИМИРОВНА – группа 511 Теоретико-игровая модель трансграничного загрязнения атмосферы Научный руководитель: Васин А.А.

ВИНОГРАДОВ АНДРЕЙ ЕВГЕНЬЕВИЧ – группа 504 Метод частиц для уравнения Кортевега-де Фриса Научный руководитель: Богомолов Сергей Владимирович ВОЛКОВ ПЕТР ВЛАДИМИРОВИЧ – группа 502 Математическое моделирование задачи на собственные функции и собственные значения для уравнения Шредингера с нелинейным коэффициентом поглощения Научный руководитель: Федотов Михаил Валентинович ВОРОТНИКОВ АНДРЕЙ ВАЛЕРЬЕВИЧ – группа 501 Вариационный морфологический метод анализа изображений Научный руководитель: Крылов Андрей Серджевич ВТОРОВ АЛЕКСАНДР АЛЕКСАНДРОВИЧ – группа 525 Использование облачных вычислений в информационных системах предприятия Научный руководитель: Леонтьев Виктор Владимирович ГАВРИЛЮК КИРИЛЛ АРТУРОВИЧ – группа 517 Методы построения иерархических тематических моделей коллекции текстовых документов Научный руководитель: Воронцов Константин Вячеславович Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года ГАЙДУКОВА АННА ВАЛЕРЬЕВНА – группа 502 Математическое моделирование спиральных волн в краевой задаче с наклонной производной для уравнения диффузии ГАЛОЧКИНА ТАТЬЯНА ВЛАДИМИРОВНА – группа 515 Отыскание почти периодических режимов терапии в модели динамики клеток Научный руководитель: Братусь Александр Сергеевич ГЕРМАН ЕКАТЕРИНА СЕРГЕЕВНА – группа 508 Алгоритмы управления нелинейных динамических систем в условиях неопределенности Научный руководитель: Бобылева О.Н.

ГИНЖУЛ ВАРВАРА АЛЕКСАНДРОВНА – группа 513 Модель оптимального экономического роста в условиях ограниченности ресурсов ГЛАДКОВА ОЛЬГА АНДРЕЕВНА – группа 527 Визуализация и валидация планов при помощи объектных моделей Научный руководитель: Малышко Виктор Васильевич ГЛОНИНА АЛЕВТИНА БОРИСОВНА – группа 522 Исследование применения метамоделей для задачи выбора механизмов отказоустойчивости распределенных вычислительных систем реального времени Научный руководитель: Волканов Дмитрий Юрьевич ГОЛИЦЫН ДМИТРИЙ ЛЕОНИДОВИЧ – группа 508 Алгоритм численного доказательства существования периодических траекторий в нелинейных системах обыкновенных дифференциальных уравнений Научный руководитель: Магницкий Николай Александрович ГОЛОД АЛЕКСАНДРА ИГОРЕВНА – группа 513 Метод Хошино для решения задач равновесного программирования Научный руководитель: Будак Борис Александрович ГОЛУШКО ПАВЕЛ АЛЕКСАНДРОВИЧ – группа 527 Автоматическая разметка трасс машинных команд событиями уровня операционной системы Научный руководитель: Гайсарян Сергей Суренович ГОМЗИН АНДРЕЙ ГЕННАДЬЕВИЧ – группа 528 Определение тематической направленности текстового содержимого микроблогов Научный руководитель: Коршунов Антон Викторович ГОРБУНОВ АЛЕКСАНДР ВАЛЕРЬЕВИЧ – группа 503 Математические методы, алгоритмы и программное обеспечение для медицинской генетики Научный руководитель: Руднев Сергей Геннадьевич ГОРЯКОВА ДАРЬЯ ИГОРЕВНА – группа 513 Решение задач оптимального управления для математической модели ВИЧ-инфекции Научный руководитель: Хайлов Евгений Николаевич ГРИГОРЯН КАРЭН РОБИКОВИЧ – группа 521 Алгоритмы вычисления интеграла освещенности на основе двунаправленной трассировки лучей Научный руководитель: Игнатенко Алексей Викторович Темы дипломных работ (отделение специалистов) ГРИШАНИН АЛЕКСАНДР АНДРЕЕВИЧ – группа 507 Разработка и исследование численных моделей квантовых точек Научный руководитель: Попов Александр Михайлович ГУЛЕЙКОВА АННА ДМИТРИЕВНА – группа 512 Нижние и верхние оценки стоимости американского опциона Научный руководитель: Морозов Владимир Викторович ГУЛИЕВ РУСТАМ РАФИГОВИЧ – группа 515 Поиск гарантирующих стратегий в математической модели динамики клеток Научный руководитель: Братусь Александр Сергеевич ГУРЬЯНОВ АНТОН КОНСТАНТИНОВИЧ – группа 521 Воксельные модели в задачах фотореалистичной визуализации Научный руководитель: Игнатенко Алексей Викторович ДЁМИН АЛЕКСЕЙ БОРИСОВИЧ – группа 516 Сравнительный анализ эффективности генетических алгоритмов и традиционных методов оценивания параметров в регрессионых моделях Научный руководитель: Ульянов Владимир Васильевич ДЕМИН МИХАИЛ НИКОЛАЕВИЧ – группа 507 Моделирование эволюции аэрозолей с помощью стохастических методов Научный руководитель: Смирнов Александр Павлович ДМИТРИЕВ ЕВГЕНИЙ ДМИТРИЕВИЧ – группа 528 Программирование Web-приложений с использованием систем NoSQL ДОЛОТКАЗИН ЮРИЙ ВЛАДИМИРОВИЧ – группа 527 Генерация описаний задач планирования по объектной модели предметной области Научный руководитель: Малышко Виктор Васильевич ДРЯЖЕНКОВ АНДРЕЙ АЛЕКСАНДРОВИЧ – группа 513 Неравенства наблюдаемости с оптимальным пороговым моментом для одномерного уравнения колебаний Научный руководитель: Потапов Михаил Михайлович ЕГОРЕНКОВ ВЛАДИМИР АЛЕКСАНДРОВИЧ – группа 504 Компьютерное моделирование динамики полупроводниковой плазмы в двумерном случае Научный руководитель: Логинова Мария Михайловна ЕЛШИН ДЕНИС АЛЕКСАНДРОВИЧ – группа 517 Разработка и реализация алгоритмов для рекомендательных систем мобильных устройств Научный руководитель: Ветров Дмитрий Петрович ЕПИХИНА ОЛЬГА БОРИСОВНА – группа 512 Оптимизация формирования портфеля с учетом операционных издержек Научный руководитель: Морозов Владимир Викторович ЕРМИШКИН НИКОЛАЙ ЮРЬЕВИЧ – группа 522 Поиск нестандартных компонентов систем управления содержимым при анализе web-сайтов методом черного ящика ЕРМОШИНА АНАСТАСИЯ МИХАЙЛОВНА – группа 512 Математическая модель оптимизации кредитования Научный руководитель: Денисов Дмитрий Витальевич Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года ЕРМУШЕВА АЛЕКСАНДРА АЛЕКСАНДРОВНА – группа 517 Задачи анализа данных с нестандартным функционалом качества Научный руководитель: Дьяконов Александр Геннадьевич ЕРОФЕЕВ МИХАИЛ ВИКТОРОВИЧ – группа 521 Разработка стабильного во времени метода анализа прозрачности границ объектов в видео Научный руководитель: Ватолин Дмитрий Сергеевич ЕФИМОВ АЛЕКСАНДР ЮРЬЕВИЧ – группа 528 Разработка и реализация прозрачного перехвата процесса сборки Научный руководитель: Гайсарян Сергей Суренович ЕФРЕМОВ АЛЕКСЕЙ МИХАЙЛОВИЧ – группа 504 Метод частиц для двумерного уравнения конвекции-диффузии Научный руководитель: Богомолов Сергей Владимирович ЕФРЕМОВ АНДРЕЙ СЕРГЕЕВИЧ – группа 502 Моделирование отражения радиоволн от сложных полигональных моделей Научный руководитель: Березин Сергей Борисович ЖАВОРОНКОВА ЮЛИЯ ВАДИМОВНА – группа 518 Решение проблемы эквивалентности рекурсивных схем при помощи машин со сцепленными состояниями Научный руководитель: Захаров Владимир Анатольевич ЖЕБЕЛЬ ВЛАДИМИР ВИКТОРОВИЧ – группа 507 Разработка модернизированного кода TOKAMEQ QT с расширенным набором опций Научный руководитель: Сычугов Дмитрий Юрьевич ЖИВОТИКОВ СЕРГЕЙ АЛЕКСАНДРОВИЧ – группа 505 Разработка алгоритма численного решения квазилинейных уравнений Научный руководитель: Фаворский Антон Павлович ЖИЕНБАЙ ОЛЖАС ЕРСАЙЫНУЛЫ – группа 513 Специальный метод штрафов для задач оптимального управления с фазовыми ограничениями ЖУРАВЛЕВ АЛЕКСЕЙ ЮРЬЕВИЧ – группа 522 Обнаружение сайтов, реализующих маскирования от автоматических средств обхода Научный руководитель: Петухов Андрей Александрович ЖУРАХОВСКИЙ ОЛЕГ АНДРЕЕВИЧ – группа 522 Алгоритмы обеспечения совместимости требований к обмену по каналу с централизованным управлением ЗАХАРОВА ДАРЬЯ ПАВЛОВНА – группа 511 Исследование повторяющейся игры импа «Дилемма заключенного» со случайными ошибками Научный руководитель: Васин А.А.

ЗАЧЕСОВ АНТОН АЛЕКСАНДРОВИЧ – группа 521 Построение многоракурсного видео из стерео на базе алгоритма оценки движения Научный руководитель: Ватолин Дмитрий Сергеевич ЗЕНЧЕНКО АЛЕКСАНДР ЕВГЕНЬЕВИЧ – группа 510 Методы обработки ошибок в протоколах квантовой криптографии Научный руководитель: Молотков Сергей Николаевич Темы дипломных работ (отделение специалистов) ЗИМАРИНА ДАРЬЯ СЕРГЕЕВНА – группа 522 Исследование методов обеспечения связности контроллеров в управляющей сети ПКС ЗИМОВНОВ АНДРЕЙ ВАДИМОВИЧ – группа 517 Криволинейный скелет полигональной модели Научный руководитель: Местецкий Леонид Моисеевич ЗУБОВА ЮЛИЯ ВЛАДИМИРОВНА – группа 508 Анализ деятельности авиакомпаний на основе методологии Анализа Среды Функционирования Научный руководитель: Фомичев Василий Владимирович ИВАНОВ ДЕНИС АЛЕКСАНДРОВИЧ – группа 513 Задачи граничного управления для волнового уравнения с переменными коэффициентами в пространствах Соболева Научный руководитель: Потапов Михаил Михайлович ИГНАТЬЕВ ОЛЕГ АНАТОЛЬЕВИЧ – группа 517 Бинарные функции многозначных аргументов. Минимизация их представлений в классе формул, обобщающих дизъюнктивно нормальные формы булевых функций Научный руководитель: Журавлев Юрий Иванович ИСАЕВА АННА АЛЕКСАНДРОВНА – группа 502 Решение систем обыкновенных дифференциальных уравнений большой размерности с применением графических процессоров Научный руководитель: Березин Сергей Борисович КАЗАЧКОВА МАРИЯ ИГОРЕВНА – группа 508 Алгоритмы обращения динамических систем с использованием передаточных функций Научный руководитель: Фомичев Василий Владимирович КАЛИСТРАТОВА ОЛЬГА ЕВГЕНЬЕВНА – группа 522 Контентные и контекстные методы классификации музыки по настроению Научный руководитель: Козлов Дмитрий Дмитриевич КАЛМЫКОВ АЛЕКСЕЙ ВАДИМОВИЧ – группа 505 Численное моделирование вихревых структур, возникающих в процессе электролиза алюминия Научный руководитель: Савенкова Надежда Петровна КАЛУЖИН АЛЕКСАНДР КОНСТАНТИНОВИЧ – группа 520 Применение суперкомпьютерных вычислений для построения обобщённых веб-графов Кумара Научный руководитель: Королев Л.Н.

КАЛЫГИН МИХАИЛ МИХАЙЛОВИЧ – группа 506 Методы пространственной интерполяции климатических данных Научный руководитель: Березин Сергей Борисович КАРМОКОВ КАНТЕМИР АНДЗОРОВИЧ – группа 507 Разработка программной системы для поиска фотографий лиц, наиболее соответствующих заданному изображению Научный руководитель: Шишкин Алексей Геннадиевич КАРНАУХОВ ДЕНИС ЮРЬЕВИЧ – группа 511 Теоретико-игровой анализ правил государственных закупок Научный руководитель: Поспелова Ирина Игоревна Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года КАРПУХИН ИВАН АЛЕКСАНДРОВИЧ – группа 521 Корректировка положения трехмерного объекта по набору фотоизображений Научный руководитель: Игнатенко Алексей Викторович КАСИМОВА АННА АРТУРОВНА – группа 525 Признаки регулярности бесконтекстных языков, заданных графами Научный руководитель: Вылиток Алексей Александрович КАТРАЕВ ВАСИЛИЙ ДМИТРИЕВИЧ – группа 519 О гибкой, эффективной и стойкой реализации схем выработки общего ключа типа MTI/A0 Научный руководитель: Матюхин Дмитрий Викторович КАУШАНСКИЙ ВАДИМ ЯКОВЛЕВИЧ – группа 515 Оценка параметров в моделях срочной структуры процентных ставок Научный руководитель: Лапшин В.А.

КАЦ ДМИТРИЙ СЕРГЕЕВИЧ – группа 509 Построение асимптотик решений дифференциальных уравнений с вырожденными коэффициентами Научный руководитель: Коровина Мария Викторовна КИРИЛЛОВ АЛЕКСАНДР НИКОЛАЕВИЧ – группа 517 Дизъюнктивные нормальные формы специального вида для функций с малым количеством нулей Научный руководитель: Дьяконов Александр Геннадьевич КИРИЛЛОВ ДМИТРИЙ АНДРЕЕВИЧ – группа 504 Разработка программы для оценки присутствия объекта в анализируемой среде в реальном времени КИРОВ ДМИТРИЙ НИКОЛАЕВИЧ – группа 527 Использование схемы Модель-Вид-Контроллер для разработки Веб-приложений Научный руководитель: Кузнецов Сергей Дмитриевич КИСЛЯКОВ СЕРГЕЙ ОЛЕГОВИЧ – группа 520 Исследование применимости языка параллельного программирования Frigate к решению практических задач Научный руководитель: Сальников Алексей Николаевич КИЧУКОВ АЛЕКСАНДР ДМИТРИЕВИЧ – группа 505 Вычислительные методы стабилизации Гамильтоновых систем Научный руководитель: Еленин Георгий Георгиевич КЛИМОВ ГРИГОРИЙ АНАТОЛЬЕВИЧ – группа 516 Вероятностные характеристики энцефалограмм и миограмм КЛИМОВСКАЯ АННА ВЛАДИСЛАВОВНА – группа 516 Исследование распределений возникающих при высокочастотной торговле Научный руководитель: Дойников Александр Николаевич КНЯЗЕВ СТАНИСЛАВ ИЛЬИЧ – группа 502 Решенеие модельной задачи Навье-Стокса с применением суперкомпьютера Научный руководитель: Б.И.Березин КОВАЛЕВ ДМИТРИЙ ВЛАДИМИРОВИЧ – группа 515 Эллипсоидальные аппроксимации в задаче о граничном управлении мембраной Научный руководитель: Дарьин Александр Николаевич Темы дипломных работ (отделение специалистов) КОВАЛЕНКО ПЕТР ФИЛИППОВИЧ – группа 528 Построение цифровой библиотеки ссылок в пространстве Linked Open Data Научный руководитель: Серебряков Владимир Алексеевич КОЗЛОВ НИКОЛАЙ ВИТАЛЬЕВИЧ – группа 510 Методы усиления секретности в протоколах квантовой криптографии Научный руководитель: Молотков Сергей Николаевич КОЛЕСНИК ТАТЬЯНА МИХАЙЛОВНА – группа 512 Расчет справедливой стоимости схем участия в прибыли для страхования жизни, зависящих от инвестиционного результата Научный руководитель: Белянкин Георгий Андреевич КОЛОВА ЮЛИЯ ДМИТРИЕВНА – группа 511 Поиск оптимальных параметров для алгоритма прогноза сильных землетрясений на основании распределения событий во времени и пространстве КОНДРАТЕНКО АРТЁМ ВИТАЛЬЕВИЧ – группа 522 Инвентаризация объектов информационной системы за директивное время Научный руководитель: Качалин Алексей Игоревич КОНЕВ АРТЕМ АЛЕКСАНДРОВИЧ – группа 521 Применение методов глубокого обучения для распознавания изображений Научный руководитель: Конушин Антон Сергеевич КОНОВАЛОВ ИЛЬЯ ОЛЕГОВИЧ – группа 512 Построение кусочно-линейной системы мотиваций для нескольких классов игроков Научный руководитель: Белянкин Георгий Андреевич КОПИН БОРИС АЛЕКСАНДРОВИЧ – группа 524 Разработка электронной картотеки поддержки творческих процессов КОРОЛИХИН КИРИЛЛ ВИКТОРОВИЧ – группа 502 Математическое моделирование распространения фемтосекундных лазерных импульсов в слоистой среде с нелинейным поглощением Научный руководитель: Федотов Михаил Валентинович КОСТАРЕВ ИВАН СЕРГЕЕВИЧ – группа 524 Библиотечная поддержка вычислительной модели языка Эрланг в многостилевом окружении Научный руководитель: Столяров Андрей Викторович КОСТИН ГРИГОРИЙ АЛЕКСАНДРОВИЧ – группа 520 Система кластерного анализа данных слежения за взглядом Научный руководитель: Королев Л.Н.

КОТИК ВЛАДИМИР АЛЕКСЕЕВИЧ – группа 503 GenEpi: программное обеспечение для визуализации и анализа данных в генетической эпидемиологии Научный руководитель: Руднев Сергей Геннадьевич КОЦЫНЯК АРТЁМ МИХАЙЛОВИЧ – группа 527 Средство вывода методов для планировщика, основанного на иерархических сетях задач, по примерам решений Научный руководитель: Малышко Виктор Васильевич КРИВОШЕЕВА ТАТЬЯНА ЕВГЕНЬЕВНА – группа 519 О свойствах аннигиляторов квадратичных булевых функций Научный руководитель: Буряков Михаил Леонидович Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года КУВШИННИКОВ АРТЁМ ЕВГЕНЬЕВИЧ – группа 505 Метод частиц для двумерных задач газовой динамики Научный руководитель: Богомолов Сергей Владимирович КУДРИН АЛЕКСАНДР МАКСИМОВИЧ – группа 502 Исследование демографической модели Научный руководитель: Дмитриев Владимир Иванович КУЗНЕЦОВА МАРИЯ ГЕОРГИЕВНА – группа 516 Влияние стратегии выбора порога при обработке зашумленных изображений с помощью вейвлет-разложения Научный руководитель: Шестаков Олег Владимирович КУНАКОВ МАКСИМ АНАТОЛЬЕВИЧ – группа 518 Исследование и разработка методов вычисления расстояний между множествами в Евклидовых пространствах Научный руководитель: Марченко Александр Михайлович КУПРИКОВ КИРИЛЛ АЛЕКСАНДРОВИЧ – группа 525 Разработка и исследование аддитивной операции комбинирования коэффициентов уверенности в продукционных системах КУРКИН КИРИЛЛ ВЛАДИСЛАВОВИЧ – группа 520 Разработка технологии перевода статических информационных интернет ресурсов на современные системы управления контентом Научный руководитель: Воеводин Владимир Валентинович КУЧИК ИГОРЬ ЕВГЕНЬЕВИЧ – группа 504 Исследование возможности улучшения качества терагерцовых изображений Научный руководитель: Трофимов Вячеслав Анатольевич КУЧУРИН АНДРЕЙ ИГОРЕВИЧ – группа 516 Предельные распределения некоторых характеристик случайных интернет графов Научный руководитель: Грушо Александр Александрович ЛАВЫШ АЛЕКСАНДР ГЕННАДЬЕВИЧ – группа 519 Исследование применимости гомоморфного шифрования для защиты информации облачных вычислений Научный руководитель: Анохин Михаил Игоревич ЛАГУТА АЛЕКСЕЙ ВИКТОРОВИЧ – группа 527 Исследование и разработка методов извлечения информации из научно-технической литературы Научный руководитель: Турдаков Денис Юрьевич ЛАЖАНСКИЙ РУФАТ ЗАКИРОВИЧ – группа 501 Компьютерный метод калибровки инфракрасных камер Научный руководитель: Мизотин Максим Михайлович ЛЕОНОВА ОЛЬГА АЛЕКСАНДРОВНА – группа 524 Программная поддержка построения глоссария документа Научный руководитель: Большакова Елена Игоревна ЛЕРНЕР ЭМИЛЬ ЭДУАРДОВИЧ – группа 519 Распределение в евклидовом гиперкубе проекций значений p-адических совместимых функций, используемых в псевдослучайных генераторах Научный руководитель: Анашин Владимир Сергеевич Темы дипломных работ (отделение специалистов) ЛИХОМАНЕНКО ТАТЬЯНА НИКОЛАЕВНА – группа 506 Исследование биортогональных систем к системам, возникающим в уравнениях смешанного типа Научный руководитель: Моисеев Евгений Иванович ЛОБАНОВ ДМИТРИЙ МИХАЙЛОВИЧ – группа 516 Оценки вероятностей больших уклонений сумм случайных величин Научный руководитель: Архангельский Алексей Николаевич ЛУБЕНЕЦ АЛЕКСЕЙ ДМИТРИЕВИЧ – группа 513 Расширенная модель оптимального экономического роста ЛУГОВСКОЙ КИРИЛЛ ИГОРЕВИЧ – группа 527 Разработка и реализация механизма отслеживания помеченных данных в рамках post-mortem анализа бинарного кода Научный руководитель: Гайсарян Сергей Суренович ЛУКИН АНТОН АЛЕКСАНДРОВИЧ – группа 527 Моделирование и тестирование расширяемых протоколов на языке Python Научный руководитель: Петренко Александр Константинович ЛУТИДЗЕ ГИОРГИЙ НУГЗАРОВИЧ – группа 503 Анализ и верификация методов учета скважин сложной формы в гидродинамическом симуляторе Научный руководитель: Никитин Кирилл Дмитриевич МАКСИМЕНКО НИКИТА АНДРЕЕВИЧ – группа 524 Экспертная система анализа дорожно-транспортных происшествий Научный руководитель: Волкова Ирина Анатольевна МАЛАХОВ АНДРЕЙ ВАЛЕРЬЕВИЧ – группа 512 Пополнение рынков опционами МАЛЕЕВ АНДРЕЙ АНАТОЛЬЕВИЧ – группа 516 Анализ моделей выживания с ковариантами Научный руководитель: Хохлов Юрий Степанович МАЛЬЦЕВА АННА ВСЕВОЛОДОВНА – группа 508 Некоторые вычислительные аспекты проблемы одновременной стабилизации Научный руководитель: Фурсов Андрей Серафимович МАРГАСЮК АНДРЕЙ АЛЕКСЕЕВИЧ – группа 521 Виртуальные среды для исследования визуальных и звуковых иллюзий Научный руководитель: Баяковский Юрий Матвеевич МАРЕНИЧ ВАЛЕНТИН ЕВГЕНЬЕВИЧ – группа 513 Решение задачи оптимального управления с фазовыми ограничениями Научный руководитель: Дмитрук Андрей Венедиктович МАРКОВ ДМИТРИЙ ГЛЕБОВИЧ – группа 502 Численное исследование эффекта подавления искажений в оптической системе с запаздыванием Научный руководитель: Разгулин Александр Витальевич МАРТЬЯНОВ ЕВГЕНИЙ АЛЕКСАНДРОВИЧ – группа 519 Методика оценки защищенности информационного объекта Научный руководитель: Макаров-Землянский Николай Викулович Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года МАРУЛИН ВЛАДИМИР ВЛАДИМИРОВИЧ – группа 524 Методы сегментации предложений для синтаксического анализа текста Научный руководитель: Большакова Елена Игоревна МАРЧЕНКО ЕВГЕНИЙ АНДРЕЕВИЧ – группа 517 BCI на основе визуальных стимулов Научный руководитель: Гуров Сергей Исаевич МАТВЕЕВА ДАРЬЯ СЕРГЕЕВНА – группа 517 Триангуляция Делоне коллекции бициклов Научный руководитель: Местецкий Леонид Моисеевич МЕДВЕДЕВ НИКИТА МИХАЙЛОВИЧ – группа 516 Применение скрытых марковских моделей для анализа ЭКГ Научный руководитель: Архангельский Алексей Николаевич МЕЛЕШКИН ВАЛЕРИЙ СЕРГЕЕВИЧ – группа 524 Реализация неделимого широковещанния в группах процессов для языка Эрланг Научный руководитель: Столяров Андрей Викторович МЕРКУЛОВ КИРИЛЛ ДМИТРИЕВИЧ – группа 521 Разработка стереоинструментов в расширенной реальности Научный руководитель: Игнатенко Алексей Викторович МЕРКУЛОВА ТАТЬЯНА ДМИТРИЕВНА – группа 517 Система автоматизированного анализа поведения лабораторных животных на основе сенсора глубины МИНУЛИН ТИМУР МАРАТОВИЧ – группа 518 Разработка параллельного алгоритма получения больших простых чисел МИРОШНИКОВ ГРИГОРИЙ ВЯЧЕСЛАВОВИЧ – группа 516 Модели многофакторного анализа Научный руководитель: Матвеев Виктор Федорович МИХЕЕВ ПЁТР АНДРЕЕВИЧ – группа 502 Моделирование задачи рассеяния электромагнитного поля на конечной решетке отверстий в экране Научный руководитель: Ильинский Анатолий Серафимович МИШАНОВ ИВАН ВИТАЛЬЕВИЧ – группа 504 Компьютерное моделирование распространения фемтосекундного импульса в среде с изменяющейся диэлектрической проницаемостью Научный руководитель: Трофимов Вячеслав Анатольевич МОРДАНЬ ВИТАЛИЙ ОЛЕГОВИЧ – группа 528 Исследование и разработка методов обнаружения описания событий на основе скрытых марковских моделей Научный руководитель: Турдаков Денис Юрьевич МОРОЗОВА ТАТЬЯНА ВЯЧЕСЛАВОВНА – группа 511 Исследование оптимизационных задач стабилизации численности населения Научный руководитель: Решетов Валерий Юрьевич МОШКИНА АННА ВЛАДИМИРОВНА – группа 524 Библиотечная поддержка стековых вычислительных моделей Научный руководитель: Столяров Андрей Викторович Темы дипломных работ (отделение специалистов) МУХАМЕТЗЯНОВ АЙДАР АЗАТОВИЧ – группа 519 Восстановление открытого текста в криптосистеме Мак-Элиса с помощью решателей задачи выполнимости конъюнктивной нормальной формы Научный руководитель: Чижов Иван Владимирович НЕКРАСОВ КОНСТАНТИН ВИКТОРОВИЧ – группа 517 Статистический метод поиска генов, влияющих на развитие рака груди Научный руководитель: Ветров Дмитрий Петрович НЕЧАЕВ ЯРОСЛАВ ИГОРЕВИЧ – группа 524 Автоматическое измерение пользовательских мнений на основе сетевых источников Научный руководитель: Головин Игорь Геннадьевич НИКОЛАЕВ ВАСИЛИЙ ДМИТРИЕВИЧ – группа 519 Атаки на схемы электронной цифровой подписи, не учитываемые традиционными определениями стойкости, и меры противодействия им Научный руководитель: Матюхин Дмитрий Викторович НОВИКОВ КОНСТАНТИН АЛЕКСАНДРОВИЧ – группа 503 Математическая модель транспорта и трансформации липопротеидов в клетке Научный руководитель: Романюха Алексей Алексеевич НОВИКОВ ПАВЕЛ АЛЕКСАНДРОВИЧ – группа 517 Приложения спектральной теории оператора Лапласа в задачах регистрации изображений Научный руководитель: Ветров Дмитрий Петрович НОВИКОВА ТАТЬЯНА ВЛАДИМИРОВНА – группа 521 Методы распознавания текста на фотографиях с мобильных устройств Научный руководитель: Баринова Ольга Вячеславовна НОВОТОРЦЕВ ЛЕОНИД ВЛАДИМИРОВИЧ – группа 521 Алгоритмы обработки изображений широкого динамического диапазона Научный руководитель: Игнатенко Алексей Викторович НОЗДРАЧЕВА ОЛЬГА МИХАЙЛОВНА – группа 507 Организация вычислительного эксперимента в комплексе «Виртуальный токамак»

Научный руководитель: Шишкин Алексей Геннадиевич ОВЧИННИКОВА АННА АЛЕКСЕЕВНА – группа 516 Метод канонических корреляций Научный руководитель: Дойников Александр Николаевич ОСИПОВ КИРИЛЛ ВЛАДИМИРОВИЧ – группа 518 Рекурсивное представление класса функций, вычислимых за полиномиальное время Научный руководитель: Марченков Сергей Серафимович ПАЛЮЛИНА ДАРЬЯ АЛЕКСАНДРОВНА – группа 524 Методы и алгоритмы автоматического определения эмоциональной окраски текста ПАНОВ АЛЕКСЕЙ ВИТАЛЬЕВИЧ – группа 517 Бинарные функции многозначных аргументов.

Обобщения и исследования дизъюнктивных нормальных форм для таких функций Научный руководитель: Журавлев Юрий Иванович ПАРАМОНОВ СЕРГЕЙ ВАЛЕРЬЕВИЧ – группа 524 Распознавание существования некоторых решений дифференциальных и разностных уравнений Научный руководитель: Абрамов Сергей Александрович Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года ПЕРЕХОДЬКО ЕВГЕНИЯ ЯКОВЛЕВНА – группа 525 Алгоритм формирования пирамидальных терминологических сетей ПЕРТУ АЛЕКСЕЙ ЛЬВОВИЧ – группа 524 Синтаксический анализ текстов с помощью вероятностных контекстно-свободных грамматик Научный руководитель: Головин Игорь Геннадьевич ПЕТУШКОВА ВИКТОРИЯ ЕВГЕНЬЕВНА – группа 527 Инструментальное программное средство основанной на использовании унифицированного языка моделирования инженерии знаний систем планирования ПИМАНОВ ВЛАДИМИР ОЛЕГОВИЧ – группа 505 Численное исследование 3-х мерных не изотермических течений несжимаемой жидкости в прямоугольной каверне с подвижной крышкой Научный руководитель: Калачинская Ирина Станиславовна ПИСКУН АННА ВАЛЕРЬЕВНА – группа 522 Исследование возможности обнаружения вредоносного исполнимого кода на основе остовных последовательностей Научный руководитель: Гамаюнов Денис Юрьевич ПЛОТКИНА ЮЛИЯ СЕРГЕЕВНА – группа 518 Нижние оценки функции Шеннона длины проверяющего теста при константных неисправностях на выходах элементов в некоторых схемных базисах Научный руководитель: Романов Дмитрий Сергеевич ПЛЯЩЕНКО ЕГОР ЭДУАРДОВИЧ – группа 517 Прогнозирование скоростей для задачи маршрутизации в транспортной сети Научный руководитель: Чехович Юрий Викторович ПОЛЕЖАЕВ ВАЛЕНТИН АЛЕКСАНДРОВИЧ – группа 517 Обучаемые методы извлечения наукометрической информации из коллекций научных публикаций Научный руководитель: Воронцов Константин Вячеславович ПОЛОВКОВ РОМАН СЕРГЕЕВИЧ – группа 501 Применение метода Хафа для анализа медицинских изображений Научный руководитель: Крылов Андрей Серджевич ПОПЕСКО УЛЬЯНА ВЛАДИСЛАВОВНА – группа 525 О моделировании сетей с программируемыми правилами коммутации пакетов сетями конечных автоматов реального времени Научный руководитель: Захаров Владимир Анатольевич ПТЕНЦОВ СЕРГЕЙ ВЛАДИМИРОВИЧ – группа 521 Алгоритм плотной стерео-реконструкции по изображениям городских сцен Научный руководитель: Конушин Антон Сергеевич ПУЗИКОВ БОРИС ЮРЬЕВИЧ – группа 525 Программные средства анализа связности текста ПУКАЛОВА АНАСТАСИЯ РОМАНОВНА – группа 512 Алгоритм оптимального упорядочивания операций Научный руководитель: Денисов Дмитрий Витальевич ПЬЯНЫХ АРТЕМ ИГОРЕВИЧ – группа 512 Неполное хеджирование обязательств для модели рынка с конечным множеством Темы дипломных работ (отделение специалистов) состояний Научный руководитель: Морозов Владимир Викторович РАМАЗАНОВ ТИМУР АЛИБЕКОВИЧ – группа 516 Байесовский подход к анализу сигнала электрокардиограмм Научный руководитель: Архангельский Алексей Николаевич РЕМЕНЯК МАРИНА ДАНИЛОВНА – группа 522 Оптимизация производительности среды прогона стенда полунатурного моделирования РЕШЕТНЯК СЕМЁН МИХАЙЛОВИЧ – группа 511 Расчёт предельных значений электрических режимов РОГОВА АЛЕКСАНДРА СЕРГЕЕВНА – группа 524 Средства поддержки обучения логическому программированию Научный руководитель: Груздева Надежда Валерьевна РОМАНЕНКОВ КИРИЛЛ ВЛАДИМИРОВИЧ – группа 520 Разработка методов повышения доступности сервиса по обработке биопоследовательностей на вычислительном кластере Научный руководитель: Сальников Алексей Николаевич РОСТОВСКИЙ АРТЁМ ВЛАДИМИРОВИЧ – группа 524 Алгоритмы преобразования графовых описаний формальных языков РЫБАЛКИН СЕРГЕЙ ДМИТРИЕВИЧ – группа 519 Построение высоковероятностных дифференциальных характеристик для модифицированной хэш-функции Ривеста Научный руководитель: Карпунин Григорий Алексеевич РЫБКИН АНДРЕЙ СЕРГЕЕВИЧ – группа 519 Криптосистемы на основе логарифмических сигнатур и покрытий конечных групп Научный руководитель: Применко Эдуард Андреевич САБУРОВА МАРИЯ ИВАНОВНА – группа 517 Автоматизация выделения объектов и связей между ними из неструктурированной информации Научный руководитель: Майсурадзе Арчил Ивериевич САДОВОЙ ИВАН АНДРЕЕВИЧ – группа 516 Разделение речевых потоков с помощью вейвлет-анализа Научный руководитель: Шестаков Олег Владимирович САЗОНОВА СОФЬЯ ВИКТОРОВНА – группа 502 Исследование моделей матричной Фурье-фильтрации Научный руководитель: Разгулин Александр Витальевич САЛУЕВ ТИГРАН ГРИГОРИЕВИЧ – группа 503 Применение тензорных разложений в задачах анализа и обработки данных Научный руководитель: Тыртышников Евгений Евгеньевич САМОЙЛОВ МАКСИМ НИКОЛАЕВИЧ – группа 522 Автоматическая генерация моделей микропрограмм анализа сетевого трафика по описанию на специализированном языке Научный руководитель: Гамаюнов Денис Юрьевич САМОРОДОВ РОМАН ВЛАДИМИРОВИЧ – группа 501 Итерационный метод восстановления нелинейной правой части в уравнении первого Тезисы лучших дипломных работ факультета ВМК МГУ 2013 года порядка в частных производных Научный руководитель: Щеглов Алексей Юрьевич САМОСАДНЫЙ КИРИЛЛ АЛЕКСЕЕВИЧ – группа 522 Обнаружение вредоносных Flash-баннеров Научный руководитель: Петухов Андрей Александрович САМОХИН ИГОРЬ АЛЕКСАНДРОВИЧ – группа 515 Применение методов многокритериальной оптимизации в математических моделях терапии клеток и вирусов САМОХИНА АЛЕКСАНДРА СЕРГЕЕВНА – группа 525 Разработка диагностической экспертной системы Научный руководитель: Баева Наталия Валерьевна САМОШКИНА ЕВГЕНИЯ ЮРЬЕВНА – группа 513 Экстраградиентный метод в седловых играх двух лиц Научный руководитель: Васильев Ф.П.



Pages:     | 1 |   ...   | 4 | 5 || 7 |

Похожие работы:

«Администрация Тамбовской области Управление по охране окружающей среды и природопользованию Тамбовской области ДОКЛАД О СОСТОЯНИИ И ОХРАНЕ ОКРУЖАЮЩЕЙ СРЕДЫ ТАМБОВСКОЙ ОБЛАСТИ В 2014 ГОДУ Тамбов 2015 Составители: руководитель группы: Петрова Н.П., начальник управления по охране окружающей среды и природопользованию Тамбовской области, заслуженный эколог РФ, к.т.н.; рабочая группа: Акулинин А.А., Агафонов В.Н., Бабурский С.М., Бадин А.Е., Барсуков В.П., Бодягина С.В., Горяинов П.И., Дегтерев...»

«УПРАВЛЕНИЕ ПО ТАРИФНОМУ РЕГУЛИРОВАНИЮ Мурманской области ПРОТОКОЛ ЗАСЕДАНИЯ КОЛЛЕГИИ г. Мурманск 22.08.2014 УТВЕРЖДАЮ И.о. начальника Управления по тарифному регулированию Мурманской области О. Кутепов 22 августа 2014 г. Председатель заседания: КУТЕПОВ О.В. И.о. Начальника Управления по тарифному регулированию Мурманской области На заседании присутствовали: Члены коллегии: ШИЛОВА А.Б. Начальник отдела Управления НЕЧАЕВА В.И. Консультант отдела Управления Сотрудники Управления Скиданов Д.Б....»

«МИНИСТЕРСТВО ТРУДА И СОЦИАЛЬНОГО РАЗВИТИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ ПОСТАНОВЛЕНИЕ от 15 февраля 2002 г. N 13 ОБ УТВЕРЖДЕНИИ НОРМАТИВОВ ЧИСЛЕННОСТИ РАБОТНИКОВ ДОМОВ-ИНТЕРНАТОВ ДЛЯ ПРЕСТАРЕЛЫХ И ИНВАЛИДОВ Министерство труда и социального развития Российской Федерации постановляет: 1. Утвердить Нормативы численности работников домов-интернатов для престарелых и инвалидов, разработанные Центральным бюро нормативов по труду Минтруда России. 2. Установить, что Нормативы численности работников...»

«АО «Банк «Астана-финанс» Финансовая отчетность за год, закончившийся 31 декабря 2013 года АО «Банк «Астана-финанс» Содержание Отчет независимых аудиторов Отчет о прибыли или убытке и прочем совокупном доходе 5 Отчет о финансовом положении 6 Отчет о движении денежных средств 7 Отчет об изменениях в капитале 8 Примечания к финансовой отчетности 9-66 «КПМГ Аудит» жауапкершілігі Товарищество с ограниченной шектеулі серіктестік ответственностью «КПМГ Аудит» 050051 Алматы, Досты д-лы 180, 050051...»

«International Conference 50 Years of Education and Awareness Raising for Shaping the Future of the Oceans and Coasts Sharing lessons learned and proposing long-term projections (input to the Millennium Development Goals and UN Decade on Education for Sustainable Development) 27-30 April, 2010, St.Petersburg, Russian Federation The Hotel Holiday Inn, St.Petersburg Moskovskye Vorota PANELS OF THE CONFERENCE 15 min for presentation, 5 min for questions Panel 1 Role of international organizations...»

«М. М. Бахтин. Из предыстории романного слова ИЗ ПРЕДЫСТОРИИ РОМАННОГО СЛОВА I Стилистическое изучение романа началось очень недавно. Классицизм XVII и XVIII веков не признавал роман самостоятельным поэтическим жанром и относил его к смешанным риторическим жанрам. Первые теоретики романа — Юэ («Essay sur lorigine des rоmans», 1670), Виланд (в известном предисловии к «Агатону», 1766-1767), Бланкенбург («Versuch uber den Roman», 1774, вышла анонимно) и романтики (Фридрих Шлегель, Новалис) почти...»

«Требования к содержанию части С на ЕГЭ по русскому языку 1. Определение проблемы текста Проблема текста это вопрос, над которым размышляет автор. Этот вопрос может не иметь однозначного ответа: В чем смысл жизни? Что такое красота? Чем определяется формирование личности человека? Проблемой может быть некоторое противоречие, конфликт между какими-либо группами людей, их взглядами на жизнь, как, например, проблема «отцов» и «детей». Выявление проблематики исходного текста важнейший этап работы...»

«Уполномоченный по правам ребенка в Новосибирской области О соблюдении прав и законных интересов ребенка в Новосибирской области ежегодный доклад Новосибирск Зябрева Л.М., Уполномоченный по правам ребенка в Новосибирской области. Ежегодный доклад «О соблюдении прав и законных интересов ребенка в Новосибирской области». – Новосибирск, 2015, с. 173, тираж 150 экз. В докладе «О соблюдении прав и законных интересов ребенка в Новосибирской области» использованы материалы: органов государственной...»

«И. С. Т У Р Г Е Н Е В Фотография И. и Л. Альгейр. 1868 г. АКАДЕМИЯ НАУК СССР ИНСТИТУТ РУССКОЙ ЛИТЕРАТУРЫ (ПУШКИНСКИЙ ДОМ) И. С. ТУРГЕНЕВ ПОЛНОЕ СОБРАНИЕ СОЧИНЕНИЙ И ПИСЕМ В ТРИДЦАТИ ТОМАХ ПИСЬМА В ВОСЕМНАДЦАТИ ТОМАХ • Издание второе, исправленное и дополненное ИЗДАТЕЛЬСТВО «НАУКА» МОСКВА И. С. ТУРГЕНЕВ ПИСЬМА Том восьмой июнь 1867—июнь 1868 ИЗДАТЕЛЬСТВО «НАУКА» МОСКВА 4702010100-285 „ © Издательство «Наука», 1990 T 042 (02)—90 П °Д п и с н 0 9 ISBN 5—02—011415— ПИСЬМА 2031. H. A. КИШИНСКОМУ 12...»

««БИТВА ЛУЧШИХ ТРЕНЕРОВ 2014 года» 4 июля 2014 года, г. Киев 4-я Всеукраинская практическая бизнес-встреча для владельцев и руководителей В2В-компаний (корпоративного Бизнеса) B2BMaster-2014 Ежегодный Практикум динамичного успеха в В2В-Бизнесе – ответы инструментами на изменения в условиях ТОП-20 Лучших Тренеров СНГ по версии ежегодного Национального проекта «B2BMaster-2014» представят свой опыт в 2 практических Сессиях: «В2В-Управление» и «В2В-Продажи»Регистрация к участию: Партнер контрактного...»

«Кратък вариант “Вулгари” от Волга или гото-славяни “бугари” от Буг? Йордан Табов tabov@math.bas.bg На една от първите страници на Дуклянския летопис има текст, който разказва как по времето на някакъв владетел Бладин обитатели на земите около река Волга начело със своя каган се преселили на Балканите, в земите на “Силодуксия” и Македония. В науката се приема, че това е разказ за преселване на българи от района на Волга в Мизия и в Македония. В настоящата статия са направени уточнения на текста...»

«Ю.В. ПЕРЕСВЕТОВ УПРАВЛЕНИЕ МАТЕРИАЛЬНЫМИ РЕСУРСАМИ ЛОГИСТИЧЕСКИЕ ПРИНЦИПЫ УЧЕБНИК МОСКВА – 2006 УДК 658: 656. П – 27 Пересветов Ю.В. Управление материальными ресурсами. Логистические принципы. Учебник. В учебнике основное внимание уделено описанию систем материального снабжения с точки зрения логистических систем управления с обратными связями. Рассмотрены различные стратегии управления запасами для различных снабженческих структур, предложены методы выбора рациональных структур снабжения и...»

«Родничок Уроки по изучению Библии для детей дошкольного возраста (3—5 лет) Год Б, квартал четвертый Содержание Урок 1 Новые друзья................... 9 Урок 2 Семь особых помощников........... 13 Урок 3 Очень необычная весть!............ 17 Урок 4 Тюремное заключение и освобождение... 21 Урок 5 Руки помощи.................. 25 Урок 6 Слепой учится быть поводырем....... 29 Урок 7 Приди в мой дом...................»

«Фондация “Партньори-България” ПодкреПа на деца, оставени в България от родители, живеещи и раБотещи в чужБина. Фондация “ Партньори-България” София, 2015 За Проекта “Програма За ПодкреПа на транснационални семейства” Проектът се изпълнява в рамките на програма Грундвиг на Европейската комисия. Партньори по проекта са 8 организации от общо 7 европейски държави, ангажирани със защита и подкрепа на хора, участващи в миграционни процеси. По време на двугодишното изпълнение на проекта партньорите...»

«УДК 004.942 Мусаев А.А., Гладкова И.А. СОВРЕМЕННОЕ СОСТОЯНИЕ И НАПРАВЛЕНИЯ РАЗВИТИЯ ОБЩЕГО ЛОГИКО-ВЕРОЯТНОСТНОГО МЕТОДА АНАЛИЗА СИСТЕМ Мусаев А.А., Гладкова И.А. Современное состояние и направления развития общего логико-вероятностного метода анализа систем. Аннотация. Приведены результаты систематизации данных о современном уровне разработки общего логико-вероятностного метода (ОЛВМ), теории и технологии автоматизированного структурно-логического моделирования (АСМ). Определены основные...»

«Н. Б. ЯвRОВСRая ОПТОВАЯ ТОРГОВЛЯ ДРЕВНЕЙ ПЕРЕДНЕй АЗИИ ДО ВОЗНИКНОВЕНИЯ ИМПЕРИй ля нашей темы наиболее полно документировано торговое объе­ А динение, обслуживающее в XIX в. до н. з. более сотни городов­ государств Месопотамии, Сирии и Малой Азии. Клинописные архивы этой организации найдены в нескольких городах. Среди них центральное место занимала автономная торговая община Каниша (Кюль-тепе близ Кейсери, Турция). Изучение этих архивов за последние годы вступило в качественно новую фазу: от...»

«Алексей Яшин АДМИНИСТРАТИВНЫЙ ВОСТОРГ, ИЛИ КАРТИНКИ С ВЫСТАВКИ Алексей Афанасьевич Яшин родом из Заполярья. В числе его высших образований — Литинститут им. А. М. Горького. Член Союза писателей России (СССР) с 1988 года. Автор 25 книг прозы и свыше 500 публикаций в периодике Москвы, Тулы, Воронежа, Екатеринбурга и др. городов. Главный редактор всероссийского ордена Г. Р. Державина литературного журнала «Приокские зори», член редколлегий ряда московских и тульских периодических изданий. Лауреат...»

«slo 21-22/2015 Jazyk a kultra Востребованность добротных разработок со стороны научной общественности разных стран (о работах академика Мурадгелди Соегова, изданных в 2014 году) ) Мурат Туваков Редакция литературно-художественного журнала Garagum (Каракумы, г. Ашхабад) Туркменской государственной издательской службы guvix95@gmail.com Ключевые слова: авторитетный ученый, юбилей, годовой перечень работ, книги Key words: the authoritative scientist, anniversary, the annual list of works, books В...»

«Вестник ДВО РАН. 2013. № 3 УДК 001(091) А.Д. ВЕРХОТУРОВ, Б.А. ВОРОНОВ, Н.П. РОМАНОВСКИЙ, В.М. МАКИЕНКО, Л.А. КОНЕВЦОВ К 100-летию со дня рождения Е.И. Богданова – одного из основателей минералогической материалогии Освещена роль видного ученого в области горного дела члена-корреспондента АН СССР Е.И. Богданова в сфере использования высоких технологий для получения материалов и изделий в Дальневосточном регионе и основании минералогической материалогии. Предложено развитие идеи превращения...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ Нижегородский государственный университет им. Н.И. Лобачевского Сборник практических заданий и рекомендаций по курсу «Теория организации» Методическая разработка для студентов очного отделения направления подготовки бакалавра «Государственное и муниципальное управление» Рекомендовано объединенной методической комиссией филиалов и ИОО для студентов ИЭП, ИОО и филиалов ННГУ, обучающихся по направлениям подготовки 38.03.04 «Государственное и муниципальное...»








 
2016 www.nauka.x-pdf.ru - «Бесплатная электронная библиотека - Книги, издания, публикации»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.