Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

| Crea un account

Biscani, Francesco (2008) Design and implementation of a modern algebraic manipulator for Celestial Mechanics. [Tesi di dottorato]

Full text disponibile come:

[img]
Anteprima
Documento PDF
3901Kb

Abstract (inglese)

The design and implementation of a modern algebraic manipulator for Celestial Mechanics are described. Applications to typical astrodynamical problems are discussed.


Statistiche Download - Aggiungi a RefWorks
Tipo di EPrint:Tesi di dottorato
Relatore:Casotto, Stefano
Dottorato (corsi e scuole):Ciclo 20 > Scuole per il 20simo ciclo > SCIENZE TECNOLOGIE E MISURE SPAZIALI > ASTRONAUTICA E SCIENZE DA SATELLITE
Data di deposito della tesi:30 Gennaio 2008
Anno di Pubblicazione:30 Gennaio 2008
Parole chiave (italiano / inglese):Astronomy CelestialMechanics C++ AlgebraicManipulation HPC
Settori scientifico-disciplinari MIUR:Area 02 - Scienze fisiche > FIS/05 Astronomia e astrofisica
Struttura di riferimento:Dipartimenti > Dipartimento di Astronomia
Codice ID:848
Depositato il:24 Ott 2008
Simple Metadata
Full Metadata
EndNote Format

Bibliografia

I riferimenti della bibliografia possono essere cercati con Cerca la citazione di AIRE, copiando il titolo dell'articolo (o del libro) e la rivista (se presente) nei campi appositi di "Cerca la Citazione di AIRE".
Le url contenute in alcuni riferimenti sono raggiungibili cliccando sul link alla fine della citazione (Vai!) e tramite Google (Ricerca con Google). Il risultato dipende dalla formattazione della citazione.

1. Abad and J. F. San-Juan. PSPC: a Poisson Series Processor Coded in C. In K. Kurzynska, F. Barlier, P. K. Seidelmann, and I. Wyrtrzyszczak, editors, Dynamics and Astrometry of Natural and Artificial Celestial Bodies, page 383, 1994. Cerca con Google

2. Alberto Abad and Felix San-Juan. PSPCLink: a cooperation between general symbolic and Poisson series processors. Journal of Symbolic Computation, 24(1):113–122, 1997. ISSN 0747- 7171. doi: http://dx.doi.org/10.1006/jsco.1997.0116. Vai! Cerca con Google

3. Milton Abramowitz and Irene A. Stegun. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York, ninth dover printing, tenth gpo printing edition, 1964. ISBN 0-486-61272-4. Cerca con Google

4. Andrei Alexandrescu. Modern C++ design: generic programming and design patterns applied. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2001. ISBN 0-201- 70431-5. Cerca con Google

5. George B. Arfken and Hans J. Weber. Mathematical Methods for Physicists. Academic Press, sixth edition, 2005. ISBN 0-120-59876-0. Cerca con Google

6. Matt Austern. Draft Technical Report on C++ Library Extensions. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1836.pdf, 2005. Vai! Cerca con Google

7. I. O. Babaev, V. A. Brumberg, N. N. Vasil’Ev, T. V. Ivanova, V. I. Skripnichenko, and S. V. Tarasevich. UPP - universal system for analytical operations with Poisson series. Astron. I geod., Tomsk, No. 8, p. 49 - 53, 8:49–53, 1980. Cerca con Google

8. Olaf Bachmann and Hans Schönemann. Monomial representations for gröbner bases computations. In ISSAC ’98: Proceedings of the 1998 international symposium on Symbolic and algebraic computation, pages 309–316, New York, NY, USA, 1998. ACM. ISBN 1-58113-002-3. doi: http://doi.acm.org/10.1145/281508.281657. Vai! Cerca con Google

9. F. Biscani and S. Casotto. An Advanced Manipulator For Poisson Series With Numerical Coefficients. In AAS/Division on Dynamical Astronomy 37th Annual Meeting – Halifax (Canada), June 2006. Cerca con Google

10. Francesco Biscani. Sviluppo analitico del potenziale generatore di marea nel sistema Sole-Terra- Luna. Master’s thesis, Università degli studi di Padova – Dipartimento di Astronomia, March 2004. Boost. De Boost C++ Libraries, 2006. URL http://www.boost.org. Vai! Cerca con Google

11. Boost.Python. Seamless interoperability between C++ and the Python programming language. http://www.boost.org/libs/python/doc/, 2007. Vai! Cerca con Google

12. S. R. Bourne and J. R. Horton. The design of the Cambridge algebra system. In SYMSAC ’71: Cerca con Google

Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, pages 134–143, New York, NY, USA, 1971. ACM. doi: http://doi.acm.org/10.1145/800204.806278. Vai! Cerca con Google

13. P. Bretagnon and G. Francou. Planetary theories in rectangular and spherical variables – VSOP 87 solutions. Astronomy & Astrophysics, 202:309–315, August 1988. Cerca con Google

14. E. Oran Brigham. The fast Fourier transform and its applications. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1988. ISBN 0-13-307505-2. Cerca con Google

15. Roger A. Broucke. How to Assemble a Keplerian Processor. Celestial Mechanics and Dynamical Astronomy, 2:9, 1970. Cerca con Google

16. Roger A. Broucke. Construction of rational and negative powers of a formal series. Commun. ACM, 14(1):32–35, 1971. ISSN 0001-0782. doi: http://doi.acm.org/10.1145/362452. 362478. Vai! Cerca con Google

17. Roger A. Broucke and K. Garthwaite. A programming system for analytical series expansions on a computer. Celestial Mechanics and Dynamical Astronomy, 1(2):271–284, June 1969. ISSN 0923-2958. doi: 10.1007/BF01228844.ù Cerca con Google

18. Ernest W. Brown. Tables of the Motion of the Moon. Yale University Press, New Haven CT, 1919. Cerca con Google

19. Ernest W. Brown. An introductory treatise on the lunar theory. Dover Publications, 1960. Cerca con Google

20. J. W. Brown and R. V. Churchill. Fourier series and boundary value problems. McGraw-Hill Book Co., Inc., New York, fifth edition, 1993. Cerca con Google

21. W. S. Brown. A language and system for symbolic algebra on a digital computer. In SYMSAC ’66: Proceedings of the first ACM symposium on Symbolic and algebraic manipulation, pages 501–540, New York, NY, USA, 1966. ACM. doi: http://doi.acm.org/10.1145/800005.807955. Vai! Cerca con Google

22. S. Casotto and F. Biscani. A novel approach to the manipulation of Poisson series in Celestial Mechanics. In Analytical Methods of Celestial Mechanics – St. Petersburg (Russia), July 2007. Cerca con Google

23. S. Casotto and F. Biscani. the Tidal Potential of the Saturnian Satellite System. In Celmec IV - A meeting on Celestial Mechanics – San Martino al Cimino, Viterbo (Italy), September 2005. Cerca con Google

24. S. Casotto and F. Biscani. A fully analytical approach to the harmonic development of the tidegenerating potential accounting for precession, nutation, and perturbations due to figure and planetary terms. In Bulletin of the American Astronomical Society, page 862, May 2004a. Cerca con Google

25. S. Casotto and F. Biscani. A modern, analytical approach to the harmonic development of the Tide-Generating Potential. In International Symposium on Earth Tides – Ottawa (Canada), August 2004b. Cerca con Google

26. S. Casotto and F. Biscani. A Poisson series manipulator for application to orbital mechanics. In Symposium Honoring Byron Tapley’s 50 Years of Contributions to Aerospace Education, Research Cerca con Google

27. and Service – Austin, TX (USA), February 2008. Cerca con Google

28. J. Chapront and M. Chapront-Touzé. Comparison of ELP-2000 with a numerical integration at the JPL. Astronomy & Astrophysics, 103:295–304, November 1981. Cerca con Google

29. Jean Chapront. Colbert: Manipulateur de séries de Fourier à coefficients littéraux. ftp://syrte.obspm.fr/pub/polac/4_programming_tools/2_colbert/colbert.pdf, 2003a. Vai! Cerca con Google

30. Jean Chapront. Gregoire: Manipulateur de séries de Poisson à coefficients numériques. ftp://syrte.obspm.fr/pub/polac/4_programming_tools/1_gregoire/gregoire.pdf , 2003b. Vai! Cerca con Google

31. M. Chapront-Touzé and J. Chapront. ELP2000-85: a semianalytical lunar ephemeris adequate for historical times. Astronomy & Astrophysics, 190(1-2):342–352, January 1988. ISSN 0004- 6361. Cerca con Google

32. J. R. Cherniak. Techniques for manipulation of long Poisson series. Special Report 328, Smithsonian Astrophysical Observatory, 1970. 12 pp. Cerca con Google

33. James O. Coplien. Curiously recurring template patterns. C++ Rep., 7(2):24–27, 1995. ISSN 1040-6042. Cerca con Google

34. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. MIT Press/McGraw-Hill, 1990. Cerca con Google

35. J. M. A. Danby, André Deprit, and A. R. M. Rom. ?e symbolic manipulation of Poisson series. In SYMSAC ’66: Proceedings of the first ACM symposium on Symbolic and algebraic manipulation, pages 0901–0934, New York, NY, USA, 1966. ACM Press. doi: http://doi.acm.org/10.1145/800005.807970. Vai! Cerca con Google

36. R. R. Dasenbrock. A FORTRAN-Based Program for Computerized Algebraic Manipulation. Technical Report 8611, Naval Research Laboratory, 1982. Cerca con Google

37. James C. Dehnert and Alexander A. Stepanov. Fundamentals of generic programming. In Selected Papers from the International Seminar on Generic Programming, pages 1–11, London, UK, 2000. Springer-Verlag. ISBN 3-540-41090-2. Cerca con Google

38. A. T. Doodson. ?e harmonic development of the tide generating potential. Proceedings of the Royal Society, 100:305–329, 1922. Cerca con Google

39. Gabriel Dos Reis and Jaakko Järvi. What is generic programming? In LCSD’05: Library-Centric Software Design - OOPLA Workshop, 2005. Cerca con Google

40. Bruce Eckel. ?inking in C++. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1995. ISBN 0-13-917709-4. Cerca con Google

41. I. Z. Emiris and V. Y. Pan. Applications of FFT. In Mikhail J. Atallah and Susan Fox, editors, Algorithms and ?eory of Computation Handbook, Boca Raton, FL, USA, 1999. CRC Press, Inc. ISBN 0849326494. Produced by Suzanne Lassandro. Cerca con Google

42. Richard Fateman. Comparing the speed of programs for sparse polynomial multiplication. SIGSAM Bull., 37(1):4–15, 2003. ISSN 0163-5824. doi: http://doi.acm.org/10.1145/844076. 844080. Vai! Cerca con Google

43. Richard Fateman. Can you save time in multiplying polynomials by encoding them as integers? http://www.cs.berkeley.edu/~fateman/papers/polysbyGMP.pdf, 2005. Vai! Cerca con Google

44. M. Gastineau and J. Laskar. TRIP 0.98. http://www.imcce.fr/Equipes/ASD/trip/trip.html, 2005. Vai! Cerca con Google

45. GMP. GNU Multiple Precision Arithmetic Library. http://gmplib.org/, 2007. Vai! Cerca con Google

46. Daniel R. Grayson and Michael E. Stillman. Macaulay 2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/, 2007. Vai! Cerca con Google

47. Douglas Gregor and Matthias Troyer. Boost.MPI documentation. http://www.osl.iu.edu/~dgregor/boost.mpi/doc/, 2008. Vai! Cerca con Google

48. Douglas Gregor, Jaakko Järvi, Jeremy Siek, Bjarne Stroustrup, Gabriel Dos Reis, and Andrew Lumsdaine. Concepts: linguistic support for generic programming in C++. SIGPLAN Not., 41 (10):291–310, 2006. ISSN 0362-1340. doi: http://doi.acm.org/10.1145/1167515.1167499. Vai! Cerca con Google

49. G.M. Greuel, G. Pfister, and H. Schönemann. Singular: a Computer Algebra System for Polynomial Computations. http://www.singular.uni-kl.de, 2007. Vai! Cerca con Google

50. Andrew D. Hall Jr. ?e Altran System for rational function manipulation – a survey. Commun. ACM, 14(8):517–521, 1971. ISSN 0001-0782. doi: http://doi.acm.org/10.1145/362637. 362644. Vai! Cerca con Google

51. Scott W. Haney. Beating the abstraction penalty in C++ using expression templates. Computers in Physics, 10(6):552–557, Nov/Dec 1996. Cerca con Google

52. Steffen Heinz, Justin Zobel, and Hugh E. Williams. Burst tries: a fast, efficient data structure for string keys. ACM Trans. Inf. Syst., 20(2):192–223, 2002. ISSN 1046-8188. doi: http://doi.acm.org/10.1145/506309.506312. Vai! Cerca con Google

53. Jacques Henrard. A survey of Poisson series processors. Celestial Mechanics and Dynamical Astronomy, 45(1-3):245–253, March 1988. ISSN 0923-2958. Cerca con Google

54. Paul Herget and Peter Musen. ?e calculation of literal expansions. The Astronomical Journal, 64:11, 1959. doi: 10.1086/107844. Cerca con Google

55. W. G. Horner. A New Method of Solving Numerical Equations of all Orders, by Continuous Approximation. Royal Society of London Proceedings Series I, 2:117, 1815. Cerca con Google

56. IPython. An Enhanced Python Shell, 2007. URL http://ipython.scipy.org. Vai! Cerca con Google

57. T. V. Ivanova. PSP: A new Poisson series processor. In S. Ferraz-Mello, B. Morando, and J. E. Arlot, editors, IAU Symp. 172: Dynamics, Ephemerides, and Astrometry of the Solar System, page 283, 1996. Cerca con Google

58. T. V. Ivanova. A New Echeloned Poisson Series Processor (EPSP). Celestial Mechanics and Dynamical Astronomy, 80:167–176, July 2001. Cerca con Google

59. III W. H. Jefferys. A FORTRAN-based list processor for Poisson series. Celestial Mechanics and Dynamical Astronomy, 2:474–480, 1970. Cerca con Google

60. III W. H. Jefferys. A Precompiler for the Formula Manipulation System Trigman. Celestial Mechanics and Dynamical Astronomy, 6:117, 1972. Cerca con Google

61. Àngel Jorba. A methodology for the numerical computation of normal forms, centre manifolds and first integrals of hamiltonian systems. http://www.maia.ub.es/~angel/soft.html, 1998. Vai! Cerca con Google

62. A. Karatsuba and Y. Ofman. Multiplication of many-digital numbers by automatic computers. Translation in Physics-Doklady, 7:595–596, 1963. Cerca con Google

63. Donald E. Knuth. Two notes on notation. Am. Math. Monthly, 99(5):403–422, 1992. ISSN 0002-9890. doi: http://dx.doi.org/10.2307/2325085. Vai! Cerca con Google

64. Donald E. Knuth. The Art of Computer Programming, volume 1: Fundamental Algorithms. Addison-Wesley, second edition, 1998a. ISBN 0-201-89683-4. Cerca con Google

65. Donald E. Knuth. The Art of Computer Programming, volume 3: Sorting and Searching. Addison- Wesley, second edition, 1998b. ISBN 0-201-89685-0.+ Cerca con Google

66. E. D. Kuznetsov and K. V. Kholshevnikov. Expansion of the Hamiltonian of the Two-Planetary Problem into the Poisson Series in All Elements: Application of the Poisson Series Processor. Solar System Research, 38:147–154, March 2004. doi: 10.1023/B:SOLS.0000022825.93837. 7d. Cerca con Google

67. J. Laskar. Manipulation des séries. In D. Benest and C. Froeschle, editors, Modern Methods in Celestial Mechanics, page 89, 1990.+ Cerca con Google

68. libstdc++ allocators. Documentation for libstdc++’s memory allocators. http://gcc.gnu.org/onlinedocs/libstdc++/20_util/allocator.html, 2007. Vai! Cerca con Google

69. matplotlib. Matplotlib homepage. http://matplotlib.sourceforge.net/, 2007. Vai! Cerca con Google

70. Robert T. Moenck. Practical fast polynomial multiplication. In SYMSAC ’76: Proceedings of the third ACM symposium on Symbolic and algebraic computation, pages 136–148, New York, NY, USA, 1976. ACM. doi: http://doi.acm.org/10.1145/800205.806332. Vai! Cerca con Google

71. M. Moons. Analytical theory of the libration of the moon. Moon and Planets, 27:257–284, November 1982. Cerca con Google

72. Carl D. Murray and Stanley F. Dermott. Solar System Dynamics. Cambridge University Press, February 2000. Cerca con Google

73. David R. Musser and Alexander A. Stepanov. Generic programming. In ISAAC ’88: Proceedings of the International Symposium ISSAC’88 on Symbolic and Algebraic Computation, pages 13–25, London, UK, 1989. Springer-Verlag. ISBN 3-540-51084-2. Cerca con Google

74. Juan Navarro and José Ferrándiz. A new symbolic processor for the earth rotation theory. Celestial Mechanics and Dynamical Astronomy, 82:243–263(21), March 2002. doi: doi:10.1023/A: 1015059002683. Cerca con Google

75. OpenMP. Open specifications for Multi Processing, 2007. URL http://www.openmp.org. Vai! Cerca con Google

76. A. M. Ostrowski. On two problems in abstract algebra connected with Horner’s rule. In Studies in Math. and Mech. presented to Richard von Mises, pages 40–48. Academic Press, 1954. Cerca con Google

77. John D. Owens, David Luebke, Naga Govindaraju, Mark Harris, Jens Krüger, Aaron E. Lefohn, and Timothy J. Purcell. A survey of general-purpose computation on graphics hardware. Computer Graphics Forum, 26(1):80–113, 2007. Cerca con Google

78. Rasmus Pagh and Flemming Friche Rodler. Cuckoo hashing. Lecture Notes in Computer Science, 2161:121, 2001. Cerca con Google

79. PARI/GP. PARI/GP Development Headquarters. http://pari.math.u-bordeaux.fr/, 2007. Vai! Cerca con Google

80. PyQt. PyQt homepage. http://www.riverbankcomputing.co.uk/pyqt/, 2007. Vai! Cerca con Google

81. Python. The Python Programming Language. ?e Python Software Foundation, 2007. URL http://www.python.org. Vai! Cerca con Google

82. Qt. Qt homepage. http://trolltech.com/products/qt, 2007. Vai! Cerca con Google

83. M. V. Ramakrishna and Justin Zobel. Performance in practice of string hashing functions. In Database Systems for Advanced Applications, pages 215–224, 1997. Cerca con Google

84. D. L. Richardson. PARSEC: An Interactive Poisson Series Processor for Personal Computing Systems. Celestial Mechanics and Dynamical Astronomy, 45:267, 1989. Cerca con Google

85. A. Rom. Mechanized Algebraic Operations (MaO). Celestial Mechanics and Dynamical Astronomy, 1:301, 1970. Cerca con Google

86. Rom. Echeloned Series Processor (ESP). Celestial Mechanics, 3:331–345, September 1971. doi: 10.1007/BF01231805. Cerca con Google

87. K. A. Ross. Efficient hash probes on modern processors. In ICDE 2007: Proceedings of the 23rd IEEE International Conference on Data Engineering, pages 1297–1301, April 2007. Cerca con Google

88. SAGE. SAGE: Open Source Mathematics Software. http://www.sagemath.org/, 2008. Vai! Cerca con Google

89. Félix San-Juan and Alberto Abad. Algebraic and symbolic manipulation of Poisson series. Journal of Symbolic Computation, 32(5):565–572, November 2001. ISSN 0747-7171. doi: http://dx.doi.org/10.1006/jsco.2000.0396. Vai! Cerca con Google

90. SIP. A tool for generating Python bindings for C and C++ libraries. http://www.riverbankcomputing.co.uk/sip/index.php, 2007. Vai! Cerca con Google

91. Alexander Stepanov. Short history of STL. In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages, New York, NY, USA, 2007. ACM Press. ISBN 978-1-59593-766-X. Cerca con Google

92. SWIG. Simplified wrapper and interface generator. http://www.swig.org, 2007. Vai! Cerca con Google

93. TBB. Intel threading building blocks 2.0 for open source. http://threadingbuildingblocks.org/, 2008. Vai! Cerca con Google

94. David Vandevoorde and Nicolai M. Josuttis. C++ Templates. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002. ISBN 0201734842. Cerca con Google

95. Todd L. Veldhuizen. Expression templates. C++ Report, 7(5):26–31, June 1995. ISSN 1040-6042. Reprinted in C++ Gems, ed. Stanley Lippman. Cerca con Google

96. Alain Vienne and Luc Duriez. TASS1.6: Ephemerides of the major Saturnian satellites. Astronomy & Astrophysics, 297:588, May 1995. Cerca con Google

97. Eric W. Weisstein. Jacobi-anger expansion. http://mathworld.wolfram.com/Jacobi-ngerExpansion.html, 2007. From MathWorld – A Wolfram Web Resource. Vai! Cerca con Google

98. Eugene Paul Wigner. Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren. F. Vieweg & Sohn Akt.-Ges., 1931. Cerca con Google

99. Marcin Zukowski, Sándor Héman, and Peter Boncz. Architecture-conscious hashing. In Da-MoN ’06: Proceedings of the 2nd international workshop on Data management on new hardware, page 6, New York, NY, USA, 2006. ACM. ISBN 1-59593-466-9. doi: http://doi.acm.org/10.1145/1140402.1140410. Vai! Cerca con Google

Download statistics

Solo per lo Staff dell Archivio: Modifica questo record