Выписка из протокола заседания диссертационного совета (1149931)
Текст из файла
ВЫПИСКА 34.06-51-2-5 из протокола № 34.06-51-1-3 заседания диссертационного совета Д 212.232.51 на базе Санкт-Петербургского государственного университета от «01» марта 2018 года Подлинник протокола находится в делах диссертационного совета Санкт-Петербургского государственного университета Присутствовали: !4 (нз 21) членов диссертационного совета: д. физ.-мат. наук, профессор Косовский Николай Кириллович, д.
физ.-мат, наук, доцент Тулупьев Александр Львович. д, физ.-мат. наук, профессор Демьянович Юрий Казимирович. д. физ.-мат. наук, профессор Андрианов Сергей Николаевич, д. физ.-мат. наук, профессор Бурова Ирина Герасимовна, д. фнз.-мат. наук. профессор Веремей Евгений Игоревич, д. физ.-мат. наук, профессор Граничив Олег Николаевич, д. физ.-мат. наук, профессор Ермаков Сергей Михайлович, д. физ.-мат. наук, доцент Косовская Татьяна Матвеевна, д. физ.-мат, наук, доцент Кривулин Николай Кимович, д. физ.-мат. наук, доцент Мартыненко Борис Константинович, д.
фнз.-мат. наук. профессор Новиков Борис Асенович, д. физ.-мат. наук, профессор Романовский Иосиф Владимирович, д. физ.- мат. наук, профессор Терехов Андрей Николаевич. СЛУШАЛИ: Принятие к защите диссертации Подкопаева Антона Викторовича на тему: «Операционные методы в приложении к слабым моделям памяти», представленной к защите на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, утверждение официальных оппонентов и ведущей организации. ВЫСТУПИЛИ доктор физ.-мат.
наук, профессор Демьянович Юрий Казимирович— председатель экспертной комиссии совета в составе доктора физ.-мат. наук профессора Терехова Андрея Николаевича, доктора фнз.-мат. наук профессора Романовского Иосифа Владимировича, зачитал заключение комиссии о диссертации Подкопаева Антона Викторовича на тему: «Операционные методы в приложении к слабым моделям памяти» по специальности 05.13.11 — математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей„выполненной в СанктПетербургском государственном университете.
ПОСТАНОВИЛИ: 1. Утвердить заключение комиссии диссертационного совета по решению вопроса о соответствии диссертации Подкопаева Антона Викторовича на тему: «Операционные методы в приложении к слабым моделям памяти» профилю диссертационного совета Д 212.232.51 и заявленной теме. Тема и содержание диссертации Подкопаева Антона Викторовича соответствует следующим пунктам паспорта специальности 05.!3.11: модели. методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования (пункт 1); языки программирования и системы программирования. семантика программ (пункт 2): модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования (пункт 8). 2.
Принять к сведению заключение комиссии диссертационного совета Д 212.232.5! о том, что: ° Обоснованность и достоверность полученных результатов диссертации подтверждается публикациями по материалам выполненных исследовательских работ (5 публикаций), включая 2 статьи из журналов, входящих в Перечень рецензируемых научных изданий.
1 статью — в издании, индексируемом международными реферативными базами Ясорцз и ЖеЬ о1 Яс1епсе. Все выносимые на защиту результаты в достаточной мере отражены в опубликованных работах. Отмечено также большое количество выступления Антона Викторовича на различных международных и Российских конференциях и семинарах. ° Практическая значимость результатов диссертационного исследования заключается в том, что в комитетах по стандартизации языков С и С++ в настоящее время активно обсуждается вопрос об изменении модели памяти, и обещающая модель, над которой активно работал Антон Викторович, является одной из вероятных кандидатов. Кроме того. имеются запросы на подобные модели из индустрии — со стороны разработчиков ядра 1!пах. систем управления базами данных и других высокопроизводительных систем; использование подобных моделей существенно повышает надежность проектирования различных критических алгоритмов.
° Диссертация прошла проверку в системе В1ас1Ьоап) на предмет выявления объема текстовых совпадений между текстом диссертации и источниками. авторство которых установлено, для рассмотрения диссертации как оригинальной научно- квалификационной работы. Текст диссертации содержит 21'.0 совпадений. Содержательная экспертиза этих совпадений с учетом ссылок на источники совпадающих фрагментов и детальным анализом совпавшей информации показала, что выявленные совпадения представляют собой цитаты собственных материалов автора (статей и отчетов) — главным образом. формальных математических выкладок (формул и листингов алгоритмов, а также листингов примеров). Объем таких выкладок весьма значителен в диссертационной работе Антона Викторовича.
Таким образом, экспертиза показала, что диссертация Подкопаева Антона Викторовича может считаться полностью оригинальной авторской научной работой. ° В диссертации отсутствуют недостоверные сведения о работах, опубликованных соискателем. Таким образом, установлено. что диссертация Подкопаева Антона Викторовича соответствует критериям, которым должна отвечать диссертация на соискание ученой степени кандидата наук (пп.9-11, 13,14 «Положения о присуждении ученых степеней»). 3. Принять диссертацию Подкопаева Антона Викторовича к защите на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей 1отрасль физико-математические науки).
4. Назначить официальных оппонентов, известных ученых. имеющих публикации в сфере исследований математического и программного обеспечения вычислительных машин, комплексов и компьютерных сетей и давших на это свой согласие: № Фамилия, п.п. Имя, Отчество Должность и место работы.
адрес Ученая степень Ученое звание заведующий кафедрой программ инженерии Нижегородского государственного университета и Н.И. Лобачевского, 603950, Н. Новгород, пр. Гагари д. 23 1. ергель Виктор ~ доктор Павлович ~технических наук профессор укашин Алексей ндреевич доцент кафедры «Телематика (пр ЦНИИ РТК)» института прикладн математики и механики СанктПетербургского политехнического университета Петра Великого, 195251, Санкт-Петербург, ул.
Политехническая, д. 29 кандидат ~ не имеет технических наук б. Предполагаемая дата защиты — 17 мая 2018 года. 7. Утвердить список организаций и лиц рассылки автореферата. 8. Разрешить опубликовать автореферат на правах рукописи. Решение диссертационного совета по данному вопросу принято единогласно. Председатель диссертационного совета Н.К. Косовский Ученый секретарь диссертационного совета ~У . Ю.К. Демьянович 5. Назначить в качестве ведущей организации лидирующее в Российской Федерации научно-исследовательское учреждение в области программирования и программной инженерии — «Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова РАН Российской академии наук (ИСП РАН)», 109004, г.
Москва, ул. А.Солженицына, д. 25. ЗАКЛЮЧКНИК экспертной комиссии диссертационного совета Д 212.232.51 по кандидатской диссертации Подкопаева Антона Викторовича на тему «Операционные методы в приложении к слабым моделям памяти» Комиссия диссертационного совета Д 212.232.51 на соискание ученой степени кандидата физико-математических наук в составе: председателя — доктора физико-математических наук, профессора Демьяновича Юрия Казимировича и членов комиссии: доктора физикоматематических наук, профессора Терехова Андрея Николаевича, доктора физико-математических наук, профессора Романовского Иосифа Владимировича, ознакомившись с кандидатской диссертацией Подкопаева Антона Викторовича и после состоявшегося обсуждения его диссертационного исследования приняла следующее заключение.
Диссертация Подкопаева Антона Викторовича «Операционные методы в приложении к слабым моделям памяти» представлена на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». Тема диссертации соответствует следующим пунктам паспорта специальности 05.13.11: модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования (пункт 1); языки программирования и системы программирования, семантика программ (пункт 2); модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования (пункт 8).
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
