Институт системного программирования им. В.П. Иванникова РАН


Панфёров Антон Александрович

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

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

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

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

Дата размещения: 25 сентября 2018.
Текст диссертации: Скачать

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

Официальный оппонент: Ильин Вячеслав Анатольевич, доктор физико-математических наук (01.04.02).

Место работы, должность: Национальный исследовательский центр «Курчатовский институт», начальник отдела Курчатовского комплекса НБИКС-природоподобных технологий.

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

  1. A.A. Aksenov, A.V. Zhluktov, D.P. Silaev, S.A. Kharchenko, V.A. Ilyin, A.V. Pechenyuk, E.A. Ryabinkin, V.E. Velikhov. Investigating the Problems of Ship Propulsion on a Supercomputer. Proceedings of 2017 Ivannikov ISPRAS Open Conference (ISPRAS), IEEE Computer Society, ISBN 978-1-5386-1132-6, p.124-131, 2018. DOI: 10.1109/ISPRAS.2017.00027
  2. A.A. Danshin, M.I. Gurevich, V.A. Ilyin, A.A. Kovalishin, V.E. Velikhov. The Extension of the Monte Carlo Method for Neutron Transfer Problems Calculating to the Problems of Quantum Mechanics. Lobachevskii Journal of Mathematics, v.39, No.4, p.513–523, 2018. DOI: 10.1134/S1995080218040066
  3. Boos E.E., Bunichev V.E., Dubinin M.N., Ilyin V.A., Savrin V.I. CompHEP: developments and applications. IOP Conf. Series: Journal of Physics: Conf. Series, v.920, №1, p.012007, 2017. DOI: 10.1088/1742-6596/920/1/012007
  4. A. Polyakov, D. Kokovin, A. Poida, M. Zhizhin, A. Andreev, V. Ilyin. Toolkit for intensive work with metadata in specialized information systems. Procedia Computer Science, Elsevier B.V., v.119, p.59-64, 2017. DOI: 10.1016/j.procs.2017.11.160
  5. S.A. Bobkov, A.B. Teslyuk, V.A. Ilyin. "Adaptation of SPSIM for simulation of diffraction images in XFEL experiments", Procedia Computer Science, 2015, v.66, p.1-4. DOI:10.1016/j.procs.2015.11.002
  6. С.А. Бобков, А.Б. Теслюк, О.Ю. Горобцов, О.М. Ефанов, Р.П. Курта, В.А. Ильин, М.В. Голосова, И.А. Вартаньянц. “Метод представления дифракционных изображений XFEL для классификации, индексации и поиска”. Компьютерные исследования и моделирование, 2015, т.7, №3, с.631-639.
  7. Andrey Aksenov, Andrey Pechenyuk, Alexey Poyda, Eygene Ryabinkin, Igor Tkachenko, Viacheslav Ilyin and Vasily Velikhov. “Virtual Basin for Simulating Ship Sailing Qualities on HPC Resources”, Procidia Computer Science, 2015, v.66, pp.132-139. DOI:10.1016/j.procs.2015.11.016
  8. A. Berezhnaya, …, V. Ilyin, et al. "LHC Grid Computing in Russia: present and future", Journal of Physics Conference Series, 2014, v.513, p.062041. DOI:10.1088/1742-6596/513/6/062041
  9. Демичев А.П., Ильин В.А., Крюков А.П., Поляков С.П. «Устойчивость работы регулярных и стохастических коммуникационных сетей со свойствами малого мира». Вычислительные методы и программирование: Новые вычислительные технологии, 2014, т.15, №1, с 36-48.

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

Официальный оппонент: Гонцов Ренат Равилевич, кандидат физико-математических наук (01.01.02).

Место работы, должность: Федеральное государственное бюджетное учреждение науки «Институт проблем передачи информации им.А.А.Харкевича Российской академии наук», старший научный сотрудник лаборатории №1.

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

  1. R.R. Gontsov, I.V. Goryuchkina. The Maillet–Malgrange type theorem for generalized power series. Manuscripta Math. 2018. V. 156(1). P. 171–185.
  2. Р.Р. Гонцов. О размерности подпространства лиувиллевых решений фуксовой системы. Матем. заметки. 2017. Т. 102(2). С. 178–185.
  3. R.R. Gontsov, I.V. Goryuchkina. An analytic proof of the Malgrange theorem on the convergence of formal solutions of an ODE. J. Dyn. Control Syst. 2016. V. 22(1). P. 91–100.
  4. R.R. Gontsov, I.V. Goryuchkina. On the convergence of generalized power series satisfying an algebraic ODE. Asympt. Anal. 2015. V. 93(4). P. 311–325.
  5. R.R. Gontsov, I.V. Vyugin. Solvability of linear differential systems with small exponents in the Liouvillian sense. Arnold Math. J. 2015. V. 1(4). P. 445–471.

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

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

Контактные данные: 117198, Российская Федерация, г.Москва, ул.Миклухо-Маклая, д.6, +7(495)434-53-00, rector@rudn.ru, http://www.rudn.ru

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

  1. Реализация метода стохастизации одношаговых процессов в системе компьютерной алгебры / М. Н. Геворкян, А. В. Демидова, Т. Р. Велиева, А. В. Королькова, Д. С. Кулябов, Л. А. Севастьянов // Программирование. — М., 2018. — No 2. — С. 18—27. — ISSN 0132-3474. — arXiv: 1805.03190.
  2. The Automation of Stochastization Algorithm with Use of SymPy Computer Algebra Library / A. V. Demidova, M. N. Gevorkyan, D. S. Kulyabov, A. V. Korolkova, L. A. Sevastianov // EPJ Web of Conferences / ed. By G. Adam, J. Buša, M. Hnatič, D. Podgainy. — 2018. — Feb. — Vol. 173. — P. 05006.1–4. — ISSN 2100-014X. — DOI: 10.1051/epjconf/201817305006.
  3. Regularized Computation of Oscillatory Integrals with Stationary Points / K. P. Lovetskiy, L. A. Sevastianov, D. S. Kulyabov, N. E. Nikolaev // Journal of Computational Science. — 2018. — Vol. 26. — P. 22–27. —ISSN 18777503. — DOI: 10.1016/j.jocs.2018.03.001.
  4. Malykh M.D., Sevastianov L.A. Finite Difference Schemes as Algebraic Correspondences between Layers // EPJ Web of Conferences 173, 03016 (2018) DOI:10.1051/epjconf/201817303016
  5. Implementing a Method for Stochastization of One-Step Processes in a Computer Algebra System / M. N. Gevorkyan, A. V. Demidova, T. R. Velieva, A. V. Korol’kova, D. S. Kulyabov, L. A. Sevast’yanov // Programming and Computer Software. — 2018. — Vol. 44, no. 2. — P. 86–93. — ISSN 1608-3261. — DOI: 10.1134/S0361768818020044 . — arXiv:1805.03190.
  6. Support for Parallel Computing in Julia Language / D. S. Kulyabov, M. N. Gevorkyan, A. V. Korolkova, L. A. Sevastianov // Proceedings of the Selected Papers of the 7th International Conference ”Information and Telecommunication Technologies and Mathematical Modeling of High-Tech Systems” (ITTMM-2017), Moscow, Russia, April 24, 2017. Vol. 1995 / ed. by D. S. Kulyabov, K. E. Samouilov, L. A. Sevastianov. — Moscow, 04/2017. — P. 93–99. — (CEUR Workshop Proceedings).
  7. Modelica-based TCP simulation / T. R. Velieva, E. G. Eferina, A. V. Korolkova, D. S. Kulyabov, L. A. Sevastianov // Journal of Physics: Conference Series. — Moscow, 2017. — Jan. — Vol. 788, no. 100. — P. 012036. — ISSN 1742-6588. — DOI: 10.1088/1742-6596/788/1/012036.
  8. Approaches to Stochastic Modeling of Wind Turbines / M. N. Gevorkyan, A. V. Demidova, I. S. Zaryadov, R. Sobolewski, A. V. Korolkova, D. S. Kulyabov, L. A. Sevastianov // Proceedings 31st European Conference on Modelling and Simulation, ECMS 2017 / ed. by K. Varadi, A. Vidovics-Dancs, J. P. Radics, Z. Z. Paprika, P. T. Zwierczyk, P. Horak. — Budapest : European Council for Modelling, Simulation, 05/2017. — P. 622–627. — ISBN 9780993244049. — DOI: 10.7148/2017- 0622 . — arXiv:1711.03589.
  9. Algorithm for Lens Calculations in the Geometrized Maxwell Theory / D. S. Kulyabov, A. V. Korolkova, L. A. Sevastianov, M. N. Gevorkyan, A. V. Demidova // Saratov Fall Meeting 2017: Laser Physics and Photonics XVIII; and Computational Biophysics and Analysis of Biomedical Data IV. Vol. 10717 / ed. by V. L. Derbov, D. E. Postnov. — Saratov : SPIE, 04/2018. — 107170Y.1–6. — (Progress in Biomedical Optics and Imaging - Proceedings of SPIE). — ISBN 9781510620032. — DOI: 10.1117/12.2315066 . — arXiv: 1806.01643.
  10. Stochastic Runge–Kutta Software Package for Stochastic Differential Equations / M. N. Gevorkyan, T. R. Velieva, A. V. Korolkova, D. S. Kulyabov, L. A. Sevastyanov // Dependability Engineering and Complex Systems. Vol. 470. — Springer International Publishing, 2016. — P. 169–179. — ISBN 978-3-319-39638-5. — DOI: 10.1007/978-3-319-39639-2_15 . — arXiv:1606.06604 .
  11. Numerical and Analytical Modeling of Guided Modes of a Planar Gradient Waveguide / E. A. Ayrjan, M. N. Gevorkyan, D. S. Kulyabov, K. P. Lovetskiy, N. E. Nikolaev, A. L. Sevastianov, L. A. Sevastianov, E. B. Laneev // Distributed Computer and Communication Networks. DCCN 2016. Communications in Computer and Information Science. Vol. 678 / ed. by V. М. Vishnevskiy, K. E. Samouylov, D. V. Kozyrev. — Cham : Springer International Publishing, 2016. — P. 471–482. — (Communications in Computer and Information Science). — DOI: 10.1007/978-3-319-51917-3_41.
  12. Kulyabov D. S. Using two Types of Computer Algebra Systems to Solve Maxwell Optics Problems // Programming and Computer Software. — 2016. — Vol. 42, no. 2. — P. 77–83. — ISSN 0361-7688. — DOI: 10.1134/S0361768816020043. — arXiv: 1605.00832.
  13. Hybrid Simulation Of Active Traffic Management / A. V. Korolkova, T. R. Velieva, P. A. Abaev, L. A. Sevastianov, D. S. Kulyabov // Proceedings 30th European Conference on Modelling and Simulation / ed. by Thorsten Claus; Frank Herrmann; Michael Manitz; Oliver Rose. — Regensburg, Germany, 2016. — June. — P. 685–691. — DOI: 10.7148/2016-0685.
  14. One-Step Stochastic Processes Simulation Software Package / E. G. Eferina, A. V. Korolkova, M. N. Gevorkyan, D. S. Kulyabov, L. A. Sevastyanov // Bulletin of Peoples’ Friendship University of Russia. Series “Mathematics. Information Sciences. Physics”. — 2014. — No. 3. — P. 46–59. — arXiv: 1503.07342 .

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

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

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

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