摘要: Abstract In this paper, we review the features in newly released version of COSY INFINITY, which currently has a base more than 1000 registered users, focusing on topics are new and some became available after first release previous versions 8 8.1. The recent main enhancements code devoted to reliability efficiency computation, verified integration, rigorous global optimization. There various data types INFINITY support these goals, paper also reviews feature usage those types.
harvard.edu
elsevier.com
sci-hub.se 参考文章(10)
Ramon E. Moore, Methods and applications of interval analysis ,(1987)
M. Berz, Propagation of a Large‐emittance Muon Beam through a Straight, Quadrupole‐based Precooling Channel NEUTRINO FACTORIES AND SUPERBEAMS: 5th International Workshop on Neutrino Factories and Superbeams; NuFact 03. ,vol. 721, pp. 413- 417 ,(2004) , 10.1063/1.1818446
Béla Erdélyi, Martin Berz, Optimal Symplectic Approximation of Hamiltonian Flows Physical Review Letters. ,vol. 87, pp. 114302- ,(2001) , 10.1103/PHYSREVLETT.87.114302
N. Revol, K. Makino, M. Berz, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY The Journal of Logic and Algebraic Programming. ,vol. 64, pp. 135- 154 ,(2005) , 10.1016/J.JLAP.2004.07.008
Martin Berz, Kyoko Makino, Youn-Kyung Kim, Long-term stability of the Tevatron by verified global optimization Nuclear Instruments & Methods in Physics Research Section A-accelerators Spectrometers Detectors and Associated Equipment. ,vol. 558, pp. 1- 10 ,(2006) , 10.1016/J.NIMA.2005.11.035
K. Makino, M. Berz, C.J. Johnstone, D. Errede, High-order map treatment of superimposed cavities, absorbers, and magnetic multipole and solenoid fields Nuclear Instruments & Methods in Physics Research Section A-accelerators Spectrometers Detectors and Associated Equipment. ,vol. 519, pp. 162- 174 ,(2004) , 10.1016/J.NIMA.2003.11.133
Jürgen Wolff von Gudenberg, Walter Krämer, "Scientific Computing, Validated Numerics, Interval Methods" ,(2010)
Berz Martin, Dynamics of Particles and Fields Modern Map Methods in Particle Beam Physics. ,vol. 108, pp. 1- 79 ,(1999) , 10.1016/S1076-5670(08)70227-1
George F. Corliss, Jun Yu, Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic Lecture Notes in Computer Science. pp. 91- 106 ,(2004) , 10.1007/978-3-540-24738-8_5
Jens Hoefkens, Martin Berz, Kyoko Makino, Verified High-Order Integration of DAEs and Higher-Order ODEs Springer, Boston, MA. pp. 281- 292 ,(2001) , 10.1007/978-1-4757-6484-0_23