30,020 research outputs found
The 1979 eclipse of zeta Aurigae
Observations of the system zeta Aurigae made around primary eclipse are described, and their significance is discussed in a preliminary fashion
Switching circuit Patent
Solid state circuit for switching alternating current input signal as function of direct current gating transisto
Comet Halley returns: A teachers' guide 1985-1986
This booklet has been put together as an aid for teachers in elementary and secondary schools. It is divided into two distinct parts. The first part is a brief tutorial which introduces some of the most important concepts about comets, including their historical significance. A list of selected readings is provided at the end of the booklet. The second part of the booklet contains a number of suggested activities, built around the comet. These include both classroom exercises and carefully described field work to observe the comet. Guidance is provided on where to look for the comet, how to observe it, and to photograph it
A hierarchy of models for superconducting thin films
A hierarchy of models for type-II superconducting thin films is presented. Through appropriate asymptotic limits this hierarchy passes from the mesoscopic Ginzburg--Landau model to the London model with isolated vortices as -function singularities to vortex-density models and finally to macroscopic critical-state models. At each stage it is found that a key nondimensional parameter is , where is the penetration depth of the magnetic field, a material parameter, and d and L are a typical thickness and lateral dimension of the film,respectively. The models simplify greatly if this parameter is large or small
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
SPARK 2014 is a modern programming language and a new state-of-the-art tool
set for development and verification of high-integrity software. In this paper,
we explore the capabilities and limitations of its latest version in the
context of building a flight stack for a high-altitude unmanned glider. Towards
that, we deliberately applied static analysis early and continuously during
implementation, to give verification the possibility to steer the software
design. In this process we have identified several limitations and pitfalls of
software design and verification in SPARK, for which we give workarounds and
protective actions to avoid them. Finally, we give design recommendations that
have proven effective for verification, and summarize our experiences with this
new language
Data base on physical observations of near-Earth asteroids and establishment of a network to coordinate observations of newly discovered near-Earth asteroids
This program consists of two tasks: (1) development of a data base of physical observations of near-earth asteroids and establishment of a network to coordinate observations of newly discovered earth-approaching asteroids; and (2) a simulation of the surface of low-activity comets. Significant progress was made on task one and, and task two was completed during the period covered by this progress report
S-band antenna phased array communications system
The development of an S-band antenna phased array for spacecraft to spacecraft communication is discussed. The system requirements, antenna array subsystem design, and hardware implementation are examined. It is stated that the phased array approach offers the greatest simplicity and lowest cost. The objectives of the development contract are defined as: (1) design of a medium gain active phased array S-band communications antenna, (2) development and test of a model of a seven element planar array of radiating elements mounted in the appropriate cavity matrix, and (3) development and test of a breadboard transmit/receive microelectronics module
From the Boltzmann equation to fluid mechanics on a manifold
We apply the Chapman-Enskog procedure to derive hydrodynamic equations on an
arbitrary surface from the Boltzmann equation on the surface
Planetary geology: Impact processes on asteroids
The fundamental geological and geophysical properties of asteroids were studied by theoretical and simulation studies of their collisional evolution. Numerical simulations incorporating realistic physical models were developed to study the collisional evolution of hypothetical asteroid populations over the age of the solar system. Ideas and models are constrained by the observed distributions of sizes, shapes, and spin rates in the asteroid belt, by properties of Hirayama families, and by experimental studies of cratering and collisional phenomena. It is suggested that many asteroids are gravitationally-bound "rubble piles.' Those that rotate rapidly may have nonspherical quasi-equilibrium shapes, such as ellipsoids or binaries. Through comparison of models with astronomical data, physical properties of these asteroids (including bulk density) are determined, and physical processes that have operated in the solar system in primordial and subsequent epochs are studied
- …