TY - GEN

T1 - A role of symbolic computations in beam physics

AU - Andrianov, Serge N.

PY - 2010/11/8

Y1 - 2010/11/8

N2 - 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.

AB - 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.

KW - beam physics

KW - code generation

KW - Lie algebraic methods

KW - parallel and distributed computing

KW - Symbolic algebra

UR - http://www.scopus.com/inward/record.url?scp=78049412385&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-15274-0_3

DO - 10.1007/978-3-642-15274-0_3

M3 - Conference contribution

AN - SCOPUS:78049412385

SN - 3642152732

SN - 9783642152733

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 19

EP - 30

BT - Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Proceedings

T2 - 12th International Workshop on Computer Algebra in Scientific Computing, CASC 2010

Y2 - 6 September 2010 through 12 September 2010

ER -