Normal Form Defect
A six dimensional function with up to a million terms that all cancel nearly completely.
Finding exact bounds of the function allows prediction of long-term stability of particle accelerators and other dynamical systems.
Solved rigorously for the first time with global optimization techniques based on Taylor Model methods.
What Is COSY?
COSY is a system for the use of various advanced concepts of modern scientific computing. COSY currently has more than 2500 registered users and has been extensively cross-checked and verified. The COSY system consists of the following parts.
1) A collection of advanced highly optimized Data Types. In particular:
- The Differential Algebraic types for high-order multivariate study of ODEs, Flows, and PDEs. It also allow high-order multivariate automatic differentiation.
- The Taylor Model type for rigorous high-order computing with often far-reaching suppression of dependency. Tools for range bounding, derivative-based box rejection, constraint satisfaction, ODEs and PDEs.
2) The COSYScript environment for the use of these types. It is object oriented and supports polymorphism, has a compact and simple syntax, and is compiled and executed on the fly. It has built-in optimization and parallelization constructs, and is used for high turn around simulation.
3) Interfaces for C, F77, C++ and F90 to seamlessly use the types in external programs.
4) Various application packages using the COSY data types, including beam physics.
To download the source code and installers for most common platforms, obtain a personal license asserting indemnification of MSU and non-commercial use; commercial licenses are also available upon request. Print the License Agreement on the official letterhead of your organization, and fax a signed copy of that document to +1-815-301-9725. (These instructions will be repeated after using the online registration form.)
Download COSY Installers and Sources
The Beam Physics Package
COSY INFINITY is an arbitrary order beam dynamics simulation and analysis code. It allows the study of accelerator lattices, spectrographs, beamlines, electron microscopes, and many other devices. It can determine high-order maps of combinations of particle optical elements of arbitrary field configurations. The elements can either be based on a large library of existing elements with realistic field configurations including fringe fields, or described in detail by measured data.
Analysis options include computation of high-order nonlinearities; analysis of properties of repetitive motion via chromaticities, normal form analysis, and symplectic tracking; analysis of single-pass systems resolutions, reconstructive aberration correction, and consideration of detector errors; and analysis of spin dynamics via computation of spin maps, spin normal form and spin tracking.
Beam Physics Input Converters
Michigan State University - B149 Biomedical & Physical Sciences Building, East Lansing, MI 48824
Web page maintained by Kyoko Makino