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

СВЕДЕНИЯ О РЕЗУЛЬТАТАХ ПУБЛИЧНОЙ ЗАЩИТЪ| 11антелеев А. В., Кузнецов Е, Б., Кузнецова Е. Л., Кулагин Н, Е., Ревизников Д. Л., Семенихин К. В., Сиротин А. Н., Формалев В.Ф. Ученый секретарь диссертационного совета Д 212.125.04, к.ф.-м.н., доцент Н, С. Северина Диссертационный совет: Д 212.125.04 Соискатель; Рассказова Варвара Андреевна Тема диссертации: Математическое моделирование в задачах планирования и организации железнодорожных перевозок методами теории графов и комбинаторной оптимизации и численные методы их решения Специальность: 05.13.18 — Математическое моделирование, численные методы и комплексы программ Решение диссертационного совета по результатам защиты.

"На заседании 29 сентября 2017 года (протокол № 52) диссертационный совет пришел к выводу о том, что диссертация Рассказовой В. А. «Математическое моделирование в задачах планирования и организации железнодорожных перевозок методами теории графов и комбинаторной оптимизации и численные методы их решения» представляет собой законченную научно-квалификационную работу, которая соответствует критериям, установленным Положением о присуждении ученых степеней, утвержденным постановлением Правительства Российской Федерации от 24 сентября 2013 года № 842, и принял решение присудить Рассказовой Варваре Андреевне ученую степень кандидата физикоматематических наук. Присутствовали: Наумов А. В.

— иредседатель„Северина Н. С. — ученый секретарь, а танисе члены диссертационного совета: Битюков Ю. И., Борисов А. В., Бортаковский А. С,, Грумондз В. '1'., Денисова И. П., Кан Ю, С., Кибзун А. И., Короткова Т. И,, Котельников М. В., Красильников П. С., ЗАКЛЮЧЕНИЕ ДИССЕРТАЦИОННОГО СОВЕТА Д 212.125.04 НА БАЗЕ ФЕДЕРАЛЬНОГО ГОСУДАРСТВЕННОГО БЮДЖЕТНОГО ОБРАЗОВАТГЛЬНОГО УЧРЕЖДЕНИЯ ВЫСШЕГО ОБРАЗОВАНИЯ «МОСКОВСКИЙ АВИАЦИОННЫЙ ИНСТИТУТ (НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ)» ПО ДИССЕРТАЦИИ НА СОИСКАНИЕ УЧЕНОЙ СТЕПЕНИ КАНДИДАТА НАУК аттестационное дело № решение диссертационного совета от 29.09.2017 № 52 О присуждении Рассказовой Варваре Андреевне ученой степени кандидата физико-математических наук. Диссертация «Математическое моделирование в задачах планирования и организации железнодорожных перевозок методами теории графов и комбинаторной оптимизации и численные методы их решения» по специальности 05.! 3.18 — «Математическое моделирование, численные методы и комплексы программ» представлена в виде рукописи и принята к защите «14» июля 2017 года, протокол № 50, диссертационным советом Д 212.125.04 на базе Федерального государственного бюджетного образовательного учреждения вьюшего образования «Московский авиационный институт (национальный исследовательский университет)», Министерство образования и науки РФ, 125993, г.

Москва, А-80, ГСП-З, Волоколамское шоссе, 4, приказы Минобрнауки РФ: о создании диссертационного совета № 714/нк от 02.11.2012, об изменении состава диссертационного совета № 628/нк от 07.10.2013, 574/нк от 15.10,2014, № 1339/нк от 29.10.2015, № 710/нк от 21.06.2016, № 1403/нк от 01.11.2016. Соискатель Рассказова Варвара Андреевна 1991 года рождения, гражданка РФ, в 2014 году с отличием окончила магистратуру по специальности «Математика». В 2017 году окончила аспирантуру в Федеральном государственном бюджетном образовательном учреждении высшего образования «Московский авиационный институт (национальный исследовательский университет)» (ФГВОУ ВО МАИ (НИУ)).

В настоящее время работает ассистентом кафедры 804 «Теория вероятностей и компьютерное моделирование» факультета «Информационные технологии и прикладная математика» Федерального государственного образовательного учреждения высшего образования «Московский авиационный институт (национальный исследовательский университет)». Диссертация выполнена в Федеральном государственном бюджетном образовательном учреждении высшего образования «Московский авиационный институт (национальный исследовательский университет)» на кафедре 804 «Теория вероятностей и компьютерное моделирование» факультета «Информационные технологии и прикладная математика», Научный Руководитель — заведующий кафедрой 804 «Теория вероятностей и компьютерное моделирование» Федерального государственного бюджетного образовательного учреждения высшего образования «Московский авиационный институт (национальный исследовательский университет)», доктор физико-математических наук, профессор Кибзун Андрей Иванович, Официальные оппоненты: !.

Лазарев Александр Алексеевич, гражданин Российской Федерации, доктор физико-математических наук, профессор, заведующий лабораторией № 68 «Теории расписаний и дискретной оптимизации» Федерального государственного бюджетного учреждения науки «Институт проблем управления им. В. А. Трапезникова Российской академии наук»; 2. Жукова Галина Николаевна, гражданка Российской Федерации, кандидат физико-математических наук, доцент, доцент департамента программной инженерии национального исследовательского университета «Высшая школа экономики». Ведущая организация — Федеральное государственное бюджетное учреждение науки «Институт математики и механики им.

Н. Н. Красовского Уральского отделения Российской академии наук» ~Екатеринбург), Отзыв на диссертацию официального оппонента, д.ф.-м.н., проф. Лазарева Александра Алексеевича. Отзыв положительный. Замечания по диссертационной работе: 1. В первой главе не обоснован выбор аппарата булевых функций как метода исследования прикладной железнодорожных перевозок. задачи планирования 2. В третьей главе приводится описание эвристического алгоритма покрытия вершин ориентированного графа множеством максимальных по включению путей, при этом практическая интерпретация критериев поиска не представлена.

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

Жуковой Галины Николаевны, Отзыв положительный. Замечания по диссертационной работе: 1. Нет обоснования выбора У1вца! Вав1с в качестве среды программирования для разработки программных комплексов, 2. При обосновании достоверности полученных результатов (стр. 7) не приводятся результаты проведенного вычислительного эксперимента. 3. Оценка числа единиц в максимальном верхнем нуле названа «эффективной» (стр.

13), однако нет пояснения, в каком смысле понимается в данном случае эффективность. Отзыв на диссертацию ведущей организации. Ведущая организация дала положительный отзыв на диссертацию, Отзыв подписан заведующим отделом «Математическое программирование» ИММ УРО РАН, доктором физико-математических наук, профессором РАН Хачаем Михаилом Юрьевичем. Отзыв утвержден директором ИММ УрО РАН, доктором физико-математических наук, профессором РАН, членом корреспондентом РАН Лукояновым Николаем Юрьевичем.

Замечания по диссертации: 1. Комментарий к Алгоритму 1 (Глава 2, стр. 45-46) представляется не вполне точным. Согласно тексту диссертации, в нем утверждается, что возможна одна из двух альтернатив: либо алгоритм найдет максимальный верхний нуль исследуемой булевой функции, либо задача може~ быть сведена к аналогичной для графа меньшего порядка, В то же время нетрудно привести пример графа, применение к которому данного алгоритма не приведет ни к одному из перечисленных выше исходов.

2. В четвертой главе автор приводит результаты численного тестирования разработанных алгоритмов и программных комплексов. Традиционно для этой цели используются либо реальные содержательные постановки 1в нашем случае, возникающие при планировании работы конкретной железнодорожной сети), либо тестовые задачи, представленные в одной из общеизвестных публичных библиотек, либо случайные экземпляры, полученные с использованием детально описанных генераторов. Природа же постановок, использованных автором, осталась в работе нераскрытой, 3. Задачи 1пдерепдеп1 Яе1 и Рай Сочег, к которым автор сводит исследуемые железнодорожные постановки, хорошо известны в комбинаторной оптимизации. Представляет интерес проведение анализа производительности известных методов в сравнении с алгоритмами, предложенными автором на примере изучаемых в работе постановок, возникающих в реальных задачах железнодорожного планирования, На автореферат диссертации поступило 4 отзыва.

1. Федеральное государственное бюджетное учреждение науки «Институт математики им. С. )1. Соболева Сибирского отделении Российской академии наук» (ИМ СО РАН). Отзыв подписан главным научным сотрудником ИМ СО РАН, доктором физико-математических наук, профессором Кочетовым Юрием Андреевичем. Отзыв положительный, Замечания к автореферату: 1, На стр.

10-11 представлен алгоритм Бегущая волна, но анализ его трудоемкости и точности опущен. 2. На стр, 12-13 приводятся алгоритмы А(6,1',) и 0 (6,~;), но ничего ие говорится об их характеристиках и сравнении с алгоритмом Бегуи1ая «Олий. 3. Исследуется задача о числе единиц в максимальном верхнем нуле булевой функции, но ни слова о статусе самой задачи, правда ли, что она является йР -трудной? 2. Федеральное государственное бюджетное учреждение науки «Институт систем энергетики им. Л. А. Мелентьева Сибирского отделении Российской академии наук» (ИСЭМ СО РАН). Отзыв подписан заведующим отделом «Прикладная математика» ИСЭМ СО РАН, доктором физико-математических наук, старшим научным сотрудником Хамисовым Олегом Валерьевичем, Отзыв положительный.

Замечания к автореферату; !. Недостаточно подробно описан способ задания монотонной булевой функции, порожденной графом конфликтов. 3. Федеральное государственное бюджетное учреждение высшего образовании «Уральский государственный университет путей сообщении» (УрГУПС).

Отзыв подписан заведующей кафедрой «Естественнонаучные дисциплины» УрГУПС, доктором физико-математических наук, профессором Тимофеевой Галиной Адольфовной. Отзыв положительный. Замечания к ' " рсфср 1. При решении задачи организации перевозок автором недостаточно описана значимость нижней оценки числа локомотивов, используемых для назначения и перемещения локомотивов.

4. Федеральное государственное автономное образовательное учреждение высшего образовании «Национальный исследовательский Нижегородский государственный университет им. Н. И. Лобачевского» (ННГУ). Отзыв подписан доцентом кафедры «Информатика и автоматизация научных исследований» институту «Информационные технологии, математика и механика» ННГУ, доктором технических наук, доцентом Старостиным Николаем Владимировичем. Замечания к автореферату: 1, Из автореферата не понятно в чем заключается преимущество сведения исходной задачи к задаче расшифровки монотонной булевой функции, порожденной неориентированным графом конфликтующих нормативных ниток.