Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite
With the help of computer algebra methods properties of the algebraic system that determines stationary motions of an axisymmetric satellite moving along a circular orbit subject to gravitational and active damping moments are investigated. The main attention is paid to the study of the conditions for the existence of stationary satellite motions. Computer algebra methods based on the algorithm for the construction of Gröbner bases are applied to reduce the satellite stationary motion system of six algebraic equations in six variables to a single algebraic equation in one variable that determines all stationary motions of the satellite. A classification of domains with equal numbers of stationary solutions is carried out using algebraic methods for constructing discriminant hypersurfaces. The effectiveness of various algorithms for constructing Gröbner bases for the solution of the problem under consideration was compared.
Unable to display preview. Download preview PDF.
- 1.Beletskii, V.V., Dvizhenie iskusstvennogo sputnika otnositel’no tsentra mass (Motion of a Satellite Relative to the Center of Mass), Moscow: Nauka, 1965.Google Scholar
- 2.Sarychev, V.A., Problems of orientation of satellites, in Itogi Nauki Tekh., Ser.: Issled. Kosm. Prostr., vol. 11, Moscow: VINITI, 1978.Google Scholar
- 4.Chen, C. and Maza, M.M. Semi-algebraic description of the equilibria of dynamical systems. Lect. Notes Comput. Sci., vol. 6885, pp. 101–125.Google Scholar