Teaching text developed by U.S. Air Force Academy and designed as a first course emphasizes the universal variable formulation. Develops the basic two-body and n-body equations of motion; orbit determination; classical orbital elements, coordinate transformations; differential correction; more. Includes specialized applications to lunar and interplanetary flight, example problems, exercises. 1971 edition.

These problems and solutions are offered to students of mathematics who have learned real analysis, measure theory, elementary topology and some theory of topological vector spaces. The current widely used texts in these subjects provide the background for the understanding of the problems and the finding of their solutions. In the bibliography the reader will find listed a number of books from which the necessary working vocabulary and techniques can be acquired. Thus it is assumed that terms such as topological space, u-ring, metric, measurable, homeomorphism, etc., and groups of symbols such as AnB, x EX, f: IR 3 X 1-+ X 2 - 1, etc., are familiar to the reader. They are used without introductory definition or explanation. Nevertheless, the index provides definitions of some terms and symbols that might prove puzzling. Most terms and symbols peculiar to the book are explained in the various introductory paragraphs titled Conventions. Occasionally definitions and symbols are introduced and explained within statements of problems or solutions. Although some solutions are complete, others are designed to be sketchy and thereby to give their readers an opportunity to exercise their skill and imagination. Numbers written in boldface inside square brackets refer to the bib liography. I should like to thank Professor P. R. Halmos for the opportunity to discuss with him a variety of technical, stylistic, and mathematical questions that arose in the writing of this book. Buffalo, NY B.R.G.

A textbook that incorporates the latest methods used for the analysis of spacecraft orbital, attitude, and structural dynamics and control. Spacecraft dynamics is treated as a dynamic system with emphasis on practical applications, typical examples of which are the analysis and redesign of the pointing control system of the Hubble Space Telescope and the analysis of an active vibrations control for the COFS (Control of Flexible Structures) Mast Flight System. In addition to the three subjects mentioned above, dynamic systems modeling, analysis, and control are also discussed. Annotation copyrighted by Book News, Inc., Portland, OR

Beginning from an understanding of Hamiltonian dynamics, Modern Astrodynamics blends the modern methods of dynamical system theory with the classical perturbation methods. Emphasizing earth satellite motion, the work also explores planetary motion. The text concludes with nonlinear resonance and relative motion of satellites. A Windows PC program disk suppliments the text.

This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 196O-apart from some scattered work done earlier in connection with free groups-by M. P. Schutzenberger to whom also belong some of the main results. So far there is no book in existence concerning this theory. This lack has had the unfortunate effect that formal power series have not been known and used by theoretical computer scientists to the extent they in our estimation should have been. As with most mathematical formalisms, the formalism of power series is capable of unifying and generalizing known results. However, it is also capable of establishing specific results which are difficult if not impossible to establish by other means. This is a point we hope to be able to make in this book. That formal power series constitute a powerful tool in automata and language theory depends on the fact that they in a sense lead to the arithmetization of automata and language theory. We invite the reader to prove, for instance, Theorem IV. 5. 3 or Corollaries III. 7. 8 and III. 7.- all specific results in language theory-by some other means. Although this book is mostly self-contained, the reader is assumed to have some background in algebra and analysis, as well as in automata and formal language theory.