Введение 5
1. Численное описание динамики пучка заряженных частиц 10
1.1 Общие сведения об ускорителях частиц 10
1.2 Квадрупольная фокусировка пучков частиц 10
1.3 Уравнения, описывающие динамику пучка частиц 15
1.4 Метод крупных частиц 17
1.5 Управление пучком заряженных частиц малой плотности . . . 18
1.6 Вычисление градиента функционала 19
1.7 Электрическое поле в квазистационарном приближении ... 21
1.8 Уравнения динамики частиц 25
1.9 Задание начального распределения 28
1.10 Оптимизация структуры с ПОКФ 30
2. Разработка программного комплекса моделирующего
динамику пучка заряженных частиц 32
2.1 Оцениваемые критерии и характеристики 32
2.2 Этапы разработки и архитектура 33
2.3 Характеристики испытательного стенда 36
2.3.1 Входные и выходные данные 38
2.4 Разработка прототипа 39
2.4.1 Алгоритм работы 42
2.4.2 Оптимизация с помощью математических библиотек . 45
2.4.3 Оптимизация с помощью CPU 49
2.4.4 Оптимизация с помощью GPU 53
3. Анализ результатов оптимизации 59
3.1 Результат оптимизации с помощью математических библиотек 59
3.2 Результат оптимизации с помощью CPU 60
3.3 Результат оптимизации с помощью GPU 61
3.4 Выводы 62
Заключение 64
Задача моделирования динамики пучка заряженных частиц относится к граничной области знаний физики и математики: без понимания физических основ процесса невозможно построить верную математическую модель и провести численный эксперимент, а без знания математического аппарата невозможно применять полученные математические модели. Современная физика не стоит на месте: где вчера можно было производить только теоретические исследования сегодня с помощью математических моделей производятся численные эксперименты, достоверно отражающие физику процессов моделируемых задач. Такие возможности появились не только благодаря растущему с каждым днём технологическому прогрессу, но и благодаря разработке новых, более точных научных теорий и появлению новых подходов к решению задач численного моделирования. Решение этих задач приводит к необходимости использования нестандартных методов вычисления для получения точных результатов, допускающих их проверку, что в свою очередь приводит к необходимости применять различные методы оптимизации для улучшения результатов вычисления с точки зрения эффективности.
Тема моделирования и оптимизации пучка частиц в ускорителях частиц является ведущим научным направлением кафедры ТСУЭФА Санкт- Петербургского Государственного Университета, по которому и в настоящее время продолжается активная работа под руководством Овсянникова Дмитрия Александровича [1-13]. Большой вклад в данном направлении внёс также и научный руководитель автора - Дривотин Олег Игоревич, в его работах [14-21], применяется доступный и развёрнутый подход к описания динамики пучка частиц. Актуальные результаты исследований по теме ускорителей частиц и особенностей построения математических моделей пучка частиц можно отследить в монографиях [22-32]. Существенным недостатком этих работ по мнению автора является недостаточное освящение вопроса связанного с эффективным использованием системных вычислительных ресурсов в процессе моделирования, что связано с другой направленностью этих работ. Этот факт является позитивным знаком и свидетельствует о том, что задачи минимизации использования системных ресурсов при моделировании динамики частиц - востребованная и актуальная тема исследований, способная найти прикладное практическое применение.
Помимо публикаций, связанных непосредственно с моделированием, в процессе работы использованы материалы по архитектуре программного обеспечения [33-35], параллельным технологиям [36-40], оптимизации вычислений [41,42], а также общие материалы, описывающие применяемый математический аппарат [43-47].
В работе рассматривается модель динамики пучка частиц в ускоряющем тракте с пространственно однородной квадрупольной фокусировкой (далее по тексту - ПОКФ). ПОКФ открыли Российские учёные: В.В. Владимирский, И.М. Капчинский и В.А.Тепляков 25 октября 1968 г., а 25 марта 1969 г. экспериментально подтвердили разработанную теорию. Им удалось установить, что в переменном электрическом поле квадрупольный фокусирующий эффект возникает в случае, когда поле обладает пространственно однородной структурой вдоль продольной оси движения пучка. Суть явления заключается в том, что в поле (переменном во времени), заряженные частицы при движении вдоль продольной оси симметрии структуры периодически попадают в про странственные области сил с переменным направлением, за счёт чего возникает переменный фокусирующий/дефокусирующий эффект.
Главное значение открытия заключается в том, что использование ПОКФ привело к созданию нового поколения ускорителей частиц (в ускорителях до открытия ПОКФ использовалась преимущественно пространственно-неоднородная фокусировка). За счёт ПОКФ достигается снижение энергии инжекции на порядок и более, что позволяет производить практически полный захват частиц в режим ускорения (порядка 95 — 97%) и обеспечивать высокое значение предельного тока пучка частиц. К преимуществам таких ускорителей можно отнести и то, что они могут работать при весьма низкой начальной энергии частиц (порядка 60 - 100 кэВ).
Рассмотрена математическая модель описывающая динамику пучка частиц в канале с ПОКФ. Произведено моделирование динамики пучка частиц в канале с ПОКФ. Для рассматриваемой модели разработано программное обеспечение с целью исследования следующих способов оптимизации вычислительных алгоритмов:
• специализированных математических библиотек;
• технологий оптимизации CPU: OpenMP и OpenMPI;
• технологий оптимизации GPU: CUDA и OpenACC.
Произведена оптимизация разработанного программного обеспечения с помощью озвученных выше способов, в результате удалось улучшить производительность в 1 - 5 раза. На основании анализа полученных характеристик эффективности оптимизации сделаны выводы относительно каждого из рассматриваемых способов минимизации использования системных вычислительных ресурсов.
И в завершении стоит отметить, что результаты проделанной работы по минимизации использования системных вычислительных ресурсов могут быть легко адаптированы к другим задачам оптимизации, требующим повышения производительности или снижения потребления системных вычислительных ресурсов.
[1] Расчет параметров радиально сходящегося электронно-ионного пучка в цилиндрическом импульсном источнике / Алцыбеев В.В., Пономарев В.А., Овсянников Д.А. и др. // материалы Международной конференции “Устойчивость и процессы управления”. 2015.
[2] Dynamics of Subcritical Reactor Driven by Proton Linac / A. Golovkina, I. Kudinovich, D. Ovsyannikov et al. // Proceedings of 2015 International Congress on Advances in Nuclear Power Plants. 2015. P P 1912-1917.
[3] Vladislav V. Altsybeyev, Dmitri A. Ovsyannikov Optimization of Beam Parameters in APF Channel // 27rd International Linear Accelerator Conference, LINAC 2014 - Proceedings, 2014. 2014.
[4] Dynamics of Processes in Subcritical Reactor Driven by Linear Accelerator / A. Golovkina, I. Kudinovich, D. Ovsyannikov et al. // Proceedings of 24th Russian Particle Accelerator Conference (RuPAC). Obninsk, Russia: 2014. P. 467-469.
[5] Ovsyannikov A. Mathematical control models in problems of beam dynamics optimization // Abstracts of International Conference dedicated to the 90th Anniversary of Academician N.N. Krasovskii. Ekaterinburg: 2014. P P. 253-254.
[6] Numerical simulations of the radial electron flow formation for the triode type source / V. Altsybeyev, A. Ovsyannikov, D. Ovsyannikov et al. // IEEE 10th International Vacuum Electron Sources Conference / IVESC. Ekaterinburg: 2014. p. P 13.
[7] Алцыбеев В. В. Овсянников Д. А. Управление пучком заряженных частиц с учётом их взаимодействия // XII Всеросийское совещание по проблемам управления ВСПУ 2014. С. 2141-2149.
[8] Data processing in nuclear medicine / E. Kotina, D. Ovsyannikov, V. Ploskikh et al. // Cybernetics and Physics. Ekaterinburg, 2014. Vol. 3, no. 2. p. 55-61.
[9] Power Plant Based on Subcritical Reactor and Proton LINAC / A. Golovkina, I. Kudinovich, D. Ovsyannikov et al. // Abstracts of 5th International Particle Accelerator Conference. Dresden: 2014. p. 201.
[10] Н.С. Едаменко, Д.А. Овсянников. Моделирование динамики пучков заряженных частиц // Вестник Санкт-Петербургского университета. Серия 10: Прикладная математика, информатика, процессы управления. №. 2. Санкт-Петербург, Россия: 2013. С. 61-65.
[11] В.В. Алцыбеев, Д.А. Овсянников. Об оптимизации структуры с фокусировкой ускоряющим полем // Процессы управления и устойчивость: Труды 44-й международной научной конференции аспирантов и студентов. Санкт-Петербург, Россия: 2013. С. 130-135.
[12] Д.А. Овсянников. О проблеме оптимизации динамики пучков взаимодействующих частиц // Материалы конференции “Управление в технических, эргатических, организационных и сетевых системах”. Санкт-Петербург, Россия: 2012. С. 1941-1946.
[13] Ovsyannikov A., Ovsyannikov D. New approach to optimization of RFQ radial matching section // Proceedings of IPAC’10, Kyoto, Japan. Kyoto, Japan: 2010. P. P. 1351-1353.
[14] Drivotin O. I. Covariant formulation of the Liouville and the Vlasov equations // ArXiv e-prints. 2016. Jan. 20 p.
[15] Drivotin O. I., Vlasova K. Numerical optimization of RFQ channel // Conference: 2014 20th International Workshop on Beam Dynamics and Optimization (BDO). 2014. June. DOI: 10.1109/BDO.2014.6890012.
[16] Drivotin O. I. Degenerate Solutions of the Vlasov Equation //
Conference: 23 Russian Particle Acceleration Conference
RUPAC 2012. 2012. Sept. 24-28. St.-Petersburg, Russia,
http://accelconf.web.cern.ch/accelconf/rupac2012/papers/tuppb028.pdf.
[17] Drivotin O. I. Covariant Formulation of the Vlasov Equation //
Conference: International Particle Accelerators Conference
IPAC2011. 2011. Sept. 4-9. San-Sebastian, Spain, ,2011, At
http://accelconf.web.cern.ch/AccelConf/IPAC2011/papers/wepc114.pdf.
[18] Drivotin O. I., A. O. D. Self-Consistent Distributions for Charged Particle Beam in Magnetic Field // International Journal of Modern Physics A (Impact Factor: 1.7). 2009. Feb. Vol. 24, no. 05. P. 816-842. DOI: 10.1142/S0217751X09044322.
[19] Drivotin O. I., A. O. D. Particle distributions for beam in electric field // Particle Accelerator Conference, 1999. Proceedings of the 1999, Volume: 3. 1999. DOI: 10.1109/PAC.1999.794283.
[20] О.И. Дривотин, Д.А. Овсянников. Методы анализа самосогласованных распределений для пучков заряженных частиц. СПб: ВВМ, 2013. 115 c.
[21] Д.А. Овсянников, О.И. Дривотин. Моделирование интенсивных пучков. СПб: СПбГУ, 2003. 173 c.
[22] Д.А. Овсянников, Ю.А. Свистунов. Моделирование и оптимизация динамики заряженных частиц в ускорителях. СПб: СПбГУ, 2003. 102 c.
[23] Д.А. Овсянников, Н.В. Егоров. Математическое моделирование систем формирования электронных и ионных пучков. СПб: СПбГУ, 1998. 198 c.
[24] О.И. Дривотин, Д.А. Овсянников. Самосогласованные распределения для пучков заряженных частиц. СПб: НИИХ СПбГУ, 2001. 108 c.
[25] И.М. Капчинский. Теория линейных резонансных ускорителей: динамика частиц. Л.: Энергоиздат, 1982. 228 c.
[26] Wiedemann H. Particle Accelerator Physics. 4 edition. Springer-Verlag Berlin Heidelberg, 2015. 1021 p. ISBN3319183176, 9783319183176.
[27] Д.А. Овсянников, И.Д Рубцова, В.А Козынченко. Некоторые проблемы моделирования интенсивных пучков заряженных частиц в линейных ускорителях. СПб: ВВМ, 2013. 144 c.
[28] А.С Рошаль. Математические методы управления пучками. М.: Атомиздат, 1979. 224 c.
[29] Р. Хокни, Дж. Иствуд. Численное моделирование методом частиц. М.: Мир, 1987. 640 c.
[30] М.Ю. Балабанов, В.А. Козынченко, Н.И. Петров. Моделирование пучков заряженных частиц на высокопроизводительном комплексе // Тезисы 16 международного семинара: динамика пучков и оптимизация. СПб: ВВМ, 2010. c. 18.
[31] М.Ю. Балабанов. О выборе начального управления в задачах оптимизации динамики пучков заряженных частиц // Вестн. С. -Петерб. ун-та Сер. 10: Прикладная математика, информатика, процессы управления. 2010. № 3. С. 82-93.
[32] М.Ю. Балабанов. Принципы организации асимметричных распрс- делебнных вычислительных систем для решения задач сверхбольшой вычислительной сложности // Вестник КГТУ. 2007. С. 105-108.
[33] Bass L., Clements P., Kazman R. Software Architecture in Practice (3rd Edition) (SEI Series in Software Engineering). Addison-Wesley Professional; 3 edition (October 5, 2012), 2012. 640 p.
[34] Эванс Эрик. Предметно-ориентированное проектирование (DDD): структуризация сложных программных систем. Вильямс, 2010. 448 c.
[35] Моделирование и оптимизация динамики заряженных частиц в ускорителях / Кормен Т.А., Лейзерсон Ч.И., Ривест Р.Л. и др.; под ред. 2-е издание Алгоритмы: построение и анализ. М.: «Вильямс», 2005. ISBN 5-8459-0857-4.
[36] В.В. Воеводин, Вл.В. Воеводин. Параллельные вычисления. СПб: БХВ-Петербург, 2002. 608 c. ISBN 5-94157-160-7.
[37] Дж Сандерс, Э. Кэндрот. Технология CUDA в примерах: введение в программирование графических процессоров. М.: ДМК Пресс, 2015. 232 c. ISBN 978-5-97060-297-3.
[38] Официальный сайт стандарта OpenMP. — URL: http://openmp.org.
[39] Cuda-zone - официальный ресурс посвящённый разработке с использованием Cuda-toolkit. — URL: https://developer.nvidia.com/cuda- zone.
[40] Официальный сайт стандарта Open MPI. — URL: https://www.open- mpi.org/.
[41] Ю. Магда. Использование ассемблера для оптимизации программ на C++ (+ CD). СПб: БХВ-Петербург, 2003. 496 c. ISBN: 5-94157-414-2.
[42] С.В. Зубков. Assembler. Для DOS, Windows и Unix. М.: ДМК Пресс, 2013. 640 c. ISBN 978-5-94074-900-4.
[43] О.И. Дривотин. Математические основы теории поля. СПб: Изд-во СПбГУ, 2010. 200 c. ISBN 978-5-288-05124-1.
[44] Л.Д. Ландау, Е.М. Лившиц. Теория поля. М.: Наука, 1967. 460 c.
[45] А. Лихтенберг. Динамика частиц в фазовом пространстве. М.: Атомиздат, 1972. 304 c.
[46] В.А. Ильина, П.К. Силаев. Численные методы для физиков-теоретиков. Москва-Ижевск: Институт компьютерных исследований, 2004. №. 2.
[47] R.L. Nelson and H. Kwan, "Leapfrog"methods for numerical solution of differential equations, sinewave generation, and magnitude approximation,"Signals, Systems and Computers, Conference Record of the Twenty-Ninth Asilomar Conference on, Pacific Grove. №. 2, CA, USA: 1995. doi: 10.1109/ACSSC.1995.540811.
[48] BLAS. Официальный сайт — URL: http://www.netlib.org/blas/.
[49] Официальный сайт стандарта OpenACC. — URL: http://www.openacc.org/.
[50] Matlab - многофункциональный математический пакет. — URL: http://matlab.ru/.
[51] CST: PS - Система автоматизированного проектирования ускорителей частиц и расчёта их характеристик. — URL: https://www.cst.com/Products.
[52] Klein H. Development of the different RFQ accelerating structures and operation experience // Nuclear Science, IEEE Transactions on. 1983. Vol. 30, no. 4. P. 3313-3322.
[53] Р. Либов. Введение в теорию кинетических уравнений, пер. с англ. М.: Мир, 1974. 372 c.
[54] А.А. Власов. О вибрационных свойствах электронного газа // Журнал экспериментальной и теоретической физики. 1938. №. 8, № 3. c. 291.
[55] А.А. Власов. Теория вибрационных свойств электронного газа и её приложения // Уч. зап. МГУ. 1945. №. 75, № 2.
[56] Open MPI публикации. — URL: https://www.open-mpi.org/papers/.
[57] Библиотека intel math kernel library (intel mkl). — URL: http://software.intel.com/ru-ru/intel-mkl/.
[58] Справка компилятора gcc по возможности имплементации OpenACC. — URL: https://gcc.gnu.org/wiki/OpenACC.
[59] Официальный сайт OpenPGI. — URL: http://www.pgroup.com/index.htm.
[60] API OpenACC. — URL: http://www.openacc.org/sites/default/files/213462