A Role of Symbolic Computations in Beam Physics
It is known that accelerator physics technology has made essential contributions to other branches of science and technology. Experiments realized on linear and circular accelerators have made remarkable discoveries about the basic nature of matter. In particular, there are now two accelerator projects. The first of them is already realized — the Large Hadron Collider, the second — the pilot project for future dedicated EDM machine. These and other similar projects (i. e., the project NICA, JINR, Dubna) demand some special requirements for simulation methods and technologies. Indeed, the successful functioning of these accelerators requires essential advancement in theory and technology leading to new particle accelerators capabilities. The complexity of accelerator physics problems makes comprehensive use of modern analytical, numerical, and symbolic methods. Only if we integrate these approaches the corresponding computational technologies will be effective. In the present report, we discuss some problems of correlation between symbolic and numerical manipulation. The main approach for beam dynamics is based on Lie algebraic methods and corresponding matrix formalism as presentation tools. All suggested approaches are realized using symbolic algorithms, and the corresponding symbolic formulae are assumed as a basis of numerical algorithms. This approach allows to realize the necessary numerical modeling using parallel and distributed computational systems for some practical problems.
KeywordsSymbolic algebra beam physics code generation Lie algebraic methods parallel and distributed computing
Unable to display preview. Download preview PDF.
- 1.Dragt, A.J.: Lectures on Nonlinear Orbit Dynamics. In: AIP Conf. Proc., vol. 87, pp. 147–313 (1987)Google Scholar
- 6.Andrianov, S.N.: Dynamical Modeling of Control Systems for Particle Beams. In: SPbSU, Saint Petersburg (2004) (in Russian)Google Scholar
- 7.Andrianov, S.N.: The explicit form for Lie transformations. In: Proc. Fifth European Particle Accelerator Conference EPAC 1996. SITGES, Barcelona, Spain, pp. 998–1000 (1996)Google Scholar
- 8.Andrianov, S.N.: Matrix representation of the Lie algebraic methods for design of nonlinear beam lines. In: AIP Conf. Proc., New York, vol. 391, pp. 355–360 (1997)Google Scholar
- 11.Andrianov, S., Edamenko, N., Chernyshev, A., Tereshonkov, Y.: Synthesis of optimal nanoprobe. In: EPAC 2008, Genoa, Italy, pp. 2969–2971 (2008)Google Scholar
- 12.Andrianov, S.N.: LEGO-technology approach for beam line design. In: Proc. Eighth European Particle Accelerator Conference — EPAC 2002, Paris (France), pp. 1607–1609 (2002)Google Scholar
- 15.Forest, É.: Canonical integration as tracking codes (or How to integrate pertubation theory with tracking). In: AIP Conf. Proc., New York, Part 1, vol. 184, p. 2 (1989)Google Scholar
- 16.Andrianov, S.N.: Parallel computing in beam physics problems. In: Proc. Seventh European Particle Accelerator Conference — EPAC 2000, Vienna (Austria), pp. 1459–1461 (2000)Google Scholar
- 18.Andrianov, S., Edamenko, N., Podzivalov, E.: Some problems of global optimization for beam lines. In: Proc. PHYSCON 2009, Catania, Italy, September 1-4, p. 6 (2009)Google Scholar