Computer Science for Continuous Data:Survey, Vision, Theory, and Practice of a Computer Analysis System

Building on George Boole's work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied "his" machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice.The present essay surveys the state of the art and envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics

Commonwealth of Independent States aerospace science and technology, 1992: A bibliography with indexes

This bibliography contains 1237 annotated references to reports and journal articles of Commonwealth of Independent States (CIS) intellectual origin entered into the NASA Scientific and Technical Information System during 1992. Representative subject areas include the following: aeronautics, astronautics, chemistry and materials, engineering, geosciences, life sciences, mathematical and computer sciences, physics, social sciences, and space sciences

Optimal Control of a Large Space Telescope Using an Annular Momentum Control Device

Application of a new development in the field of momentum storage devices, the Annular Momentum Control Device (AMCD), to the twin problems of large angle maneuvers and fine pointing control is considered. The basic concept of the AMCD consists of a spinning rim, with no central hub area, suspended by a minimum of three magnetic bearings, and driven by a noncontacting electromagnetic spin motor. The dissertation considers in detail the design of an optimal controller to achieve both large angle maneuvers and the fine pointing control of a Large Telescope (LST) with a single configuration, consisting of a single AMCD mounted in a single gimbal

Large space structures and systems in the space station era: A bibliography with indexes

Bibliographies and abstracts are listed for 1372 reports, articles, and other documents introduced into the NASA scientific and technical information system between January 1, 1990 and June 30, 1990. Its purpose is to provide helpful information to the researcher, manager, and designer in technology development and mission design according to system, interactive analysis and design, structural and thermal analysis and design, structural concepts and control systems, electronics, advanced materials, assembly concepts, propulsion, and solar power satellite systems

1999 Flight Mechanics Symposium

This conference publication includes papers and abstracts presented at the Flight Mechanics Symposium held on May 18-20, 1999. Sponsored by the Guidance, Navigation and Control Center of Goddard Space Flight Center, this symposium featured technical papers on a wide range of issues related to orbit-attitude prediction, determination, and control; attitude sensor calibration; attitude determination error analysis; attitude dynamics; and orbit decay and maneuver strategy. Government, industry, and the academic community participated in the preparation and presentation of these papers

Proceedings of the Workshop on Identification and Control of Flexible Space Structures, Volume 2

The results of a workshop on identification and control of flexible space structures held in San Diego, CA, July 4 to 6, 1984 are discussed. The main objectives of the workshop were to provide a forum to exchange ideas in exploring the most advanced modeling, estimation, identification and control methodologies to flexible space structures. The workshop responded to the rapidly growing interest within NASA in large space systems (space station, platforms, antennas, flight experiments) currently under design. Dynamic structural analysis, control theory, structural vibration and stability, and distributed parameter systems are discussed

Space station systems: A bibliography with indexes (supplement 6)

This bibliography lists 1,133 reports, articles, and other documents introduced into the NASA scientific and technical information system between July 1, 1987 and December 31, 1987. Its purpose is to provide helpful information to the researcher, manager, and designer in technology development and mission design according to system, interactive analysis and design, structural and thermal analysis and design, structural concepts and control systems, electronics, advanced materials, assembly concepts, propulsion, and solar power satellite systems. The coverage includes documents that define major systems and subsystems, servicing and support requirements, procedures and operations, and missions for the current and future Space Station

Advances in Fundamental Physics

This Special Issue celebrates the opening of a new section of the journal Foundation: Physical Sciences. Theoretical and experimental studies related to various areas of fundamental physics are presented in this Special Issue. The published papers are related to the following topics: dark matter, electron impact excitation, second flavor of hydrogen atoms, quantum antenna, molecular hydrogen, molecular hydrogen ion, wave pulses, Brans-Dicke theory, hydrogen Rydberg atom, high-frequency laser field, relativistic mean field formalism, nonlocal continuum field theories, parallel universe, charge exchange, van der Waals broadening, greenhouse effect, strange and unipolar electromagnetic pulses, quasicrystals, Wilhelm-Weber’s electromagnetic force law, axions, photoluminescence, neutron stars, gravitational waves, diatomic molecular spectroscopy, information geometric measures of complexity. Among 21 papers published in this Special Issue, there are 5 reviews and 16 original research papers

15th Conference on Dynamical Systems Theory and Applications DSTA 2019 ABSTRACTS

From Preface: This is the fifteen time when the conference „Dynamical Systems – Theory and Applications” gathers a numerous group of outstanding scientists and engineers, who deal with widely understood problems of theoretical and applied dynamics. Organization of the conference would not have been possible without a great effort of the staff of the Department of Automation, Biomechanics and Mechatronics. The patronage over the conference has been taken by the Committee of Mechanics of the Polish Academy of Sciences and the Ministry of Science and Higher Education. It is a great pleasure that our invitation has been accepted by so many people, including good colleagues and friends as well as a large group of researchers and scientists, who decided to participate in the conference for the first time. With proud and satisfaction we welcome nearly 255 persons from 47 countries all over the world. They decided to share the results of their research and many years experiences in the discipline of dynamical systems by submitting many very interesting papers. This booklet contains a collection of 338 abstracts, which have gained the acceptance of referees and have been qualified for publication in the conference edited books.Technical editor and cover design: Kaźmierczak, MarekCover design: Ogińska, Ewelina; Kaźmierczak, Mare