Защита диссертации - Чан Ти Тхиен

Чан Ти Тхиен

Разработка нового метода автоматизированного тестирования программных библиотек

Диссертация защищена

Искомая степень: Кандидат технических наук.

Специальность: 2.3.5 – Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей.

Дата размещения: 14 августа 2023.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 19 октября 2023.

Официальный оппонент: Шабанов Борис Михайлович, доктор технических наук (05.13.15).

Место работы, должность: Федеральное государственное учреждение «Федеральный научный центр Научно-исследовательский институт системных исследований Российской академии наук», директор Межведомственного Суперкомпьютерного Центра РАН, заместитель директора по научной работе.

Основные публикации за последние 5 лет:

1. Абрамов А.Г., Евсеев А.В., Гончар А.А., Шабанов Б.М. Вопросы увеличения пропускной способности и территориальной доступности национальной исследовательской компьютерной сети России // Системы и средства информатики. 2022. №2(32). С. 4-12. DOI: 10.14357/08696527220201
2. Shabanov B., Baranov A., Telegin P., Tikhomirov A. Influence of Execution Time Forecast Accuracy on the Efficiency of Scheduling Jobs in a Distributed Network of Supercomputers // In: Malyshkin V. (eds) Parallel Computing Technologies. Lecture Notes in Computer Science. 2021. Vol. 12942. DOI: 10.1007/978-3-030-86359-3_25
3. Abramov A., Evseev A., Gonchar A., Shabanov B. National Research Computer Network of Russia as an Infrastructure and Service Platform for a Common Digital Space of Scientific Knowledge // CEUR Workshop Proceedings (CEUR-WS.org). 2021. Vol. 2990. P. 75-83.  DOI: 10.51218/1613-0073-2990-75-83
4. Abramov A.G., Evseev A.V., Gonchar A.A., Telegin P.N., Shabanov B.M. National Research Computer Network of Russia: regulatory status and plans for the development of regional telecommunications infrastructure in 2021-2024 // CEUR Workshop Proceedings. 2021. Vol. 2930. P. 29-37.
5. Abramov A.G., Gonchar A.A., Evseev A.V., Shabanov B.M. National Research Computer Network of Russia: development plans, role and facilities in ensuring the functioning of the National Supercomputer Infrastructure // Communications in Computer and Information Science. 2021. Vol. 1510. P. 472-486. DOI: 10.1007/978-3-030-92864-3_36
6. Абрамов А.Г., Гончар А.А., Евсеев А.В., Шабанов Б.М. Разработка критериев подключения научных и образовательных организаций к Национальной исследовательской компьютерной сети // Информационные технологии и вычислительные системы. 2021. №2. C. 22-33. DOI: 10.14357/20718632210203
7. Дикарев Н.И., Шабанов Б.М., Шмелёв А.С. Преимущества и недостатки использования метода векторов указателей в векторном потоковом процессоре // Программные системы: теория и приложения. 2021. 12:4(51). С. 65–83. DOI: 10.25209/2079-3316-2021-12-4-65-83
8. Kiselev E.A., Telegin P.N., Shabanov B.M. An Energy-Efficient Scheduling Algorithm for Shared Facility Supercomputer Centers // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2554-2561. DOI: 10.1134/S1995080221110147
9. Aladyshev O.S., Kiselev E.A., Zakharchenko A.V., Shabanov B.M., and Savin G.I. Influence of External Memory Characteristics of Supercomputer Complexes on Parallel Programs Execution // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2493-2502. DOI: 10.1134/S1995080221110044 (Scopus, ядро РИНЦ)
10. Shabanov B.M., Rybakov A.A., Shumilin S.S., Vorobyov M.Yu. Scaling of supercomputer calculations on unstructured surface computational meshes // Lobachevskii Journal of Mathematics. 2021. Volume 42. Issue 11. P. 2571-2579. DOI: 10.1134/S1995080221110202
11. Anton Baranov, Gennadiy Savin, Boris Shabanov, Dmitriy Lyakhovets, Pavel Telegin . Simulator of a Supercomputer Job Management System as a Scientific Service // Annals of Computer Science and Information Systems, vol. 21, pages 413–416 (2020). DOI:10.15439/2020F208
12. Kiselev E.A., Kiselev V.I., Savin G.I., Shabanov B.M., Aladyshev O.S., Baranov A.V. A method of the supercomputers energy efficiency evaluating by the parallel program energy profile // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2542-2551 DOI:10.1134/S1995080220120161
13. G.I. Savin, B.M. Shabanov, D.S. Nikolaev, P.N. Telegin, A.V.Baranov . Jobs runtime forecast based on MVS-100K and MVS-10P supercomputers statistics // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2594-2603. DOI:10.1134/S1995080220120343
14. G.I. Savin, B.M. Shabanov, Baranov A.V., Telegin P.N., Fedorov R.S. Checkpointing tools in a supercomputer center // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c.. DOI: 10.1134/S1995080220120355
15. G.I.Savin, B.M.Shabanov, A.A.Rybakov, S.S.Shumilin. - Vectorization of Flat Loops of Arbitrary Structure Using Instructions AVX-512 // Lobachevskii Journal of Mathematics. 2020, vol. 41, № 12, c. 2604-2614. DOI: 10.1134/S1995080220120331

Отзыв оппонента: Скачать

Официальный оппонент: Маркин Дмитрий Олегович, кандидат технических наук (05.13.19).

Место работы, должность: Федеральное государственное казённое военное образовательное учреждение высшего образования «Академия Федеральной службы охраны Российской Федерации», сотрудник.

Основные публикации за последние 5 лет:

1. Маркин Д. О., Некрасов Д. О. Алгоритм идентификации автоматизированных средств, осуществляющих анализ информационной системы //Актуальные проблемы инфотелекоммуникаций в науке и образовании (АПИНО 2022). – 2022. – С. 400-404.
2. Маркин Д. О., Мищенко А. С., Хо Ч. Т. Исследование встроенного программного обеспечения для ЭВМ на основе процессоров с архитектурой ARM // Актуальные проблемы инфотелекоммуникаций в науке и образовании (АПИНО 2022). – 2022. – С. 390-395.
3. Маркин Д. О. Анализ возможностей инструментальных средств, используемых для осуществления кибератак на информационные ресурсы Российской Федерации // Актуальные проблемы инфотелекоммуникаций в науке и образовании (АПИНО 2022). – 2022. – С. 384-389.
4. Маркин Д. О., Макеев С. М., ХО Ч. Т. Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone // Труды Института системного программирования РАН. – 2022. – Т. 34. – №. 1. – С. 35-48.
5. Средство защиты информационной системы от несанкционированного использования на основе технологии HASP / Д. О. Маркин, С. М. Макеев, Е. А. Никифорова, Е. А. Надеждин // Известия ТулГУ. Технические науки. – 2022. – Вып. 7. – С. 35–45. DOI: 10.24412/2071-6168-2022-7-38-46
6. Маркин, Д. О. Технологическая карта по разработке программного обеспечения, реализующего сервисы безопасности на основе средства доверенной загрузки и технологии TrustZone / Д. О. Маркин, С. М. Макеев, Т. К. Умбетов // Ученые записки Орловского государственного университета. – 2021. – № 1(90). – С. 199–204.
7. Маркин, Д. О. Система защиты терминальных программ от анализа на основе виртуализации исполняемого кода / Д. О. Маркин, С. М. Макеев // Вопросы кибербезопасности. – 2020. – № 1 (35). – С. 29–41. DOI:10.21681/2311-3456-2020-01-29-41.
8. Маркин, Д. О. Алгоритм распознавания точек входа обфусцированных веб-приложений методом динамического анализа / Д. О. Маркин, А. А. Зверев, С. М. Макеев // Известия Тульского государственного университета. Технические науки. – 2020. – Выпуск 9. – С. 28–40.
9. Маркин, Д. О. Исследование уязвимостей доверенной среды исполнения приложений на основе технологии TrustZone / Д. О. Маркин, Хо Тхай Чунг // Известия Тульского государственного университета. Технические науки. – 2020. – Выпуск 9. – С. 316–328.
10. Система идентификации информационных угроз на основе открытых данных сети Интернет / Д. О. Маркин, С. М. Макеев, Н. В. Изотов, А. Ю. Андросов // Известия Тульского государственного университета. Технические науки. – 2020. – Выпуск 9. – С. 86–94.
11. Методика Исследования системного программного обеспечения сетевого оборудования семейства Cisco на предмет наличия недекларированных возможностей / Д. О. Маркин, С. М. Макеев, И. А. Санников, Х. Т. Чунг // Ученые записки Орловского государственного университета. – 2020. – № 3(88). – С. 215–221.
12. Маркин, Д. О. Особенности поиска уязвимостей программного обеспечения на основе технологии TrustZone / Д. О. Маркин, Т. Ч. Хо, Н. П. Мешков // Проблемы информационной безопасности. Компьютерные системы. – 2020. – № 4. – С. 79–87.
13. Маркин, Д. О. Алгоритм идентификации источников угроз информационной безопасности на основе открытых данных сети Интернет / Д. О. Маркин, С. М. Макеев, Р. О. Голенков // Известия Тульского государственного университета. Технические науки. – 2019. – Выпуск 3. – С. 231–242.
14. Маркин, Д. О. Комплекс алгоритмов защищенных туманных вычислений на основе технологии активных данных / Д. О. Маркин, С. М. Макеев, А. Н. Вихарев // Известия Тульского государственного университета. Технические науки. – 2019. – Выпуск 3. – С. 263–269.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное бюджетное образовательное учреждение высшего образования «МИРЭА - Российский технологический университет».

Контактные данные: 119454, ЦФО, г. Москва, Проспект Вернадского, д. 78, +7 (499) 600-80-80, rector@mirea.ru, www.mirea.ru

Основные публикации за последние 5 лет:

1. СПОСОБ ОЦЕНКИ КАЧЕСТВА ОТЛАДКИ ПРОГРАММ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ. Волосенков В.О., Грицай Н.А., Сон И.Р., Андрианова Е.Г., Трохаченкова Н.Н. Наукоемкие технологии. 2023. Т. 24. № 5. С. 24-28.
2. ДОБЫЧА ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРОГРАММ ДЛЯ ДАЛЬНЕЙШЕГО ПРИМЕНЕНИЯ В АВТОМАТИЧЕСКОЙ ГЕНЕРАЦИИ СООБЩЕНИЙ К КОММИТАМ. Косьяненко И.А., Болбаков Р.Г. International Journal of Open Information Technologies. 2023. Т. 11. № 1. С. 53-59.
3. СПОСОБ ОЦЕНКИ ЗАЩИЩЕННОСТИ ИНФОРМАЦИИ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ. Волосенков В.О., Андрианова Е.Г., Сон И.Р., Ширяев М.В., Крюков Д.А. Нелинейный мир. 2022. Т. 20. № 1. С. 50-54.
4. ОБ АВТОМАТИЧЕСКОЙ ГЕНЕРАЦИИ СООБЩЕНИЙ К КОММИТАМ В СИСТЕМАХ КОНТРОЛЯ ВЕРСИЙ. Косьяненко И.А., Болбаков Р.Г. International Journal of Open Information Technologies. 2022. Т. 10. № 4. С. 55-60.
5. Sovietov, P. (2021, June). Automatic generation of programming exercises. In 2021 1st International Conference on Technology Enhanced Learning in Higher Education (TELE) (pp. 111-114). IEEE.
6. АВТОМАТИЗАЦИЯ СОЗДАНИЯ ГЕНЕРАТОРОВ ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ПРОГРАММ. Сесин И.Ю., Болбаков Р.Г. International Journal of Open Information Technologies. 2021. Т. 9. № 10. С. 62-67.

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 17 из 22 членов диссертационного совета: Аветисян А.И., Петренко А.К., Зеленов С.В., Абрамов С.А., Белеванцев А.А., Бурдонов И.Б., Дроздов А.Ю., Евтушенко Н.В., Жданов А.А., Захаров В.Н., Карпов Л.Е., Козачок А.В., Крюков В.А., Лаврищева Е.М., Позин Б.А., Семенов В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать