Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Beletskii, V.V., Dvizhenie iskusstvennogo sputnika otnositel’no tsentra mass (Motion of a Satellite Relative to the Center of Mass), Moscow: Nauka, 1965.
Sarychev, V.A., Problems of orientation of satellites, in Itogi Nauki Tekh., Ser.: Issled. Kosm. Prostr., vol. 11, Moscow: VINITI, 1978.
Gutnik, S.A. and Sarychev, V.A., A symbolic study of the satellite dynamics subject to damping torques, Lect. Notes Comput. Sci., 2017, vol. 10490, pp. 167–182.
Chen, C. and Maza, M.M. Semi-algebraic description of the equilibria of dynamical systems. Lect. Notes Comput. Sci., vol. 6885, pp. 101–125.
Buchberger, B., Theoretical basis for the reduction of polynomials to canonical forms, SIGSAM Bull., 1976, vol. 10, no. 3, pp. 19–29.
Char, B.W., Geddes, K.O., Gonnet, G.H., Monagan, M.B., and Watt, S.M., Maple Reference Manual, Waterloo, Canada: Watcom, 1992.
Faugere, J., Gianni, P., Lazard, P., and Mora, T., Efficient computation of zero-dimensional Gröbner bases by change of ordering, J. Symbolic Comput., 1993, vol. 16, pp. 329–344.
Collart, S., Kalkbrener, M., and Mall, D., Converting bases with the Gröbner walk, J. Symbolic Comput., 1997, vol. 3, no. 4, pp. 465–469.
Meiman, N.N., On location of roots of polynomials, Usp. Mat. Nauk, 1949, vol. 4, no. 6, pp. 154–188.
Gantmacher, F.R., The Theory of Matrices, Chelsea, 1960.
Batkhin, A.B., Parameterization of the discriminant set of a polynomial, Program. Comput. Software, 2016, vol. 42, no. 2, pp. 65–76.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © S.A. Gutnik, V.A. Sarychev, 2018, published in Programmirovanie, 2018, Vol. 44, No. 2.
Rights and permissions
About this article
Cite this article
Gutnik, S.A., Sarychev, V.A. Application of Symbolic Computation Methods for Investigation of Stationary Motions of an Axisymmetric Satellite. Program Comput Soft 44, 94–99 (2018). https://doi.org/10.1134/S0361768818020056
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768818020056