A multi-formalisms approach for codesign in the development ofavionics

This paper presents a new approach in the development of avionics at AEROSPATIALE. The approach is based on a selective use of specification languages. Its aim is to compose partial avionics specifications in a unified format which is used for later concurrent hardware/software design steps. A demonstrator of the approach is currently in progress. It deals with the re-design of an avionics on-board system that belongs to the family of AIRBUS A340. The multi-languages specification is achieved through three graphical specification languages: Harel's StateCharts, SDL and SAO. The status of work and future perspectives are outlined     

Thermal net flux measurements on the pioneer Venus entry probes

Corrected thermal net radiation measurements from the four Pioneer Venus entry probes at latitudes of 60°N, 31°S, 27°S, and 4°N are presented. Three main conclusions can be drawn from comparisons of the corrected fluxes with radiative transfer calculations: (1) sounder probe net fluxes are consistent with the number density of large cloud particles (mode 3) measured on the same probe, but the IR measurements as a whole are most consistent with a significantly reduced mode 3 contribution to the cloud opacity; (2) at all probe sites, the fluxes imply that the upper cloud contains a yet undetected source of IR opacity; and (3) beneath the clouds the fluxes at a given altitude increase with latitude, suggesting greater IR cooling below the clouds at high latitudes and water vapor mixing ratios of about 2–5×10^?5 near 60°, 2–5×10^?4 near 30°, and >5×10^?4 near the equator.     

Security considerations in signal detection

This paper maintains that international security considerations are likely to present major problems to the community of scientists who first confirm the existence of an extraterrestrial technology. The discussion focuses on those activities that will affect the SETI community should a detection be made. It is probable that security agencies will require official debriefings, signal monitoring, some forms of information management, and a voice in science policy with regard to reply. The SETI community has, in the past, underestimated the constraints that are likely to be placed upon them in the post-detection environment. Such constraints present major problems for the scientific community. Response to these constraints should be discussed prior to detection.     

Space motion sickness preflight adaptation training: preliminary studies with prototype trainers

Preflight training frequently has been proposed as a potential solution to the problem of space motion sickness. The paper considers successively the otolith reinterpretation, the concept for a preflight adaptation trainer and the research with the Miami University Seesaw, the Wright Patterson Air-Force Base Dynamic Environment Simulator and the Visually Coupled Airborne Systems Simulator prototype adaptation trainers.     

Space commercialization: Lessons from history

Private enterprise seeks to undertake virtually any activity that is institutionally and technologically feasible and that promises a high return on investment. Commercial activities in space would seem to be no exception. Indeed, it is reasonable to expect that, at some future date, commercial activities in space will overshadow government-sponsored research and military activities combined. But this date remains well into the future, it is highly uncertain, and it depends on government policies. Two major factors inhibiting further space commercialization are the current lack of necessary infrastructure and the lack of viable commercial activities. The necessary infrastructure is developing with the increasing operational status of the Space Shuttle and plans for a space station. It remains, however, to place increasing emphasis on the conduct of research in space to identify valid commercial uses of space.     

Supercooled water brines within permafrost-an unknown ecological niche for microorganisms: a model for astrobiology

This study describes brine lenses (cryopegs) found in Siberian permafrost derived from ancient marine sediment layers of the Arctic Ocean. The cryopegs were formed and isolated from sediment ~100,000-120,000 years ago. They remain liquid at the in situ temperature of -10 degrees C as a result of their high salt content (170-300 g/L). [(14)C] Glucose is taken up by the cryopeg biomass at -15 degrees C, indicating microbial metabolism at low temperatures in this habitat. Furthermore, aerobic, anaerobic heterotrophs, sulfate reducers, acetogens, and methanogens were detected by most probable number analysis. Two psychrophilic microbes were isolated from the cryopegs, a Clostridium and a Psychrobacter. The closest relatives of each were previously isolated from Antarctica. The cryopeg econiche might serve as a model for extraterrestrial life, and hence is of particular interest to astrobiology.     

Development of a Precise Geodetic Survey System

The development of a system to perform first-order airborne geodetic surveying is described. It is shown how existing distance measuring techniques were applied to solve the operational requirement for a system that can measure the length of lines up to 900 nautical miles long with a probable error of 0.0017 nautical miles, and determine the nadir points of aerial photographs within twenty-four feet for ninety percent of the measurements. The implementation of the Distance Measuring Equipment (DME) using a CW carrier phase modulated by four ranging tones is described at the block diagram level, it is shown that modulation with a large index (twelve radians) reduces the ranging errors associated with multipath propagation which formerly were a significant source of error in DME systems. Results of a flight test program are presented.     

Bayesian approach to retrieval of vertical ozone profile from radiometry data

A technique for retrieving vertical distributions (profiles) of atmospheric gas constituents from data of passive remote sensing of the atmosphere is proposed. The goal of the technique based on the statistical (Bayesian) approach to solution of inverse problems is construction of probability distribution for a sought quantity throughout the interval of the studied heights. It is assumed that initial data contain measurement noise, and a priori information about properties of the profile is used. It is proposed to approximate the sought profile by a function in the form of an artificial neural network. This approximation allows optimal inclusion of a priori information into retrieval procedure, thus ensuring the most effective regularization of the problem. Efficiency of the proposed technique is demonstrated on an example of retrieval of vertical ozone profile from data of ground-based sounding of the atmosphere in the millimeter wavelength range. Results of profile retrieval from model data and from spectra of radiation temperature of the atmosphere measured in the Apatity (67° N, 33° E) in the winter of 2002–2003 are presented.     

Below One Earth: The Detection, Formation, and Properties of Subterrestrial Worlds

The Solar System includes two planets—Mercury and Mars—significantly less massive than Earth, and all evidence indicates that planets of similar size orbit many stars. In fact, one of the first exoplanets to be discovered is a lunar-mass planet around a millisecond pulsar. Novel classes of exoplanets have inspired new ideas about planet formation and evolution, and these “sub-Earths” should be no exception: they include planets with masses between Mars and Venus for which there are no Solar System analogs. Advances in astronomical instrumentation and recent space missions have opened the sub-Earth frontier for exploration: the Kepler mission has discovered dozens of confirmed or candidate sub-Earths transiting their host stars. It can detect Mars-size planets around its smallest stellar targets, as well as exomoons of comparable size. Although the application of the Doppler method is currently limited by instrument stability, future spectrographs may detect equivalent planets orbiting close to nearby bright stars. Future space-based microlensing missions should be able to probe the sub-Earth population on much wider orbits. A census of sub-Earths will complete the reconnaissance of the exoplanet mass spectrum and test predictions of planet formation models, including whether low-mass M dwarf stars preferentially host the smallest planets. The properties of sub-Earths may reflect their low gravity, diverse origins, and environment, but they will be elusive: Observations of eclipsing systems by the James Webb Space Telescope may give us our first clues to the properties of these small worlds.     

Source processes in the high-latitude ionosphere

Space Science Reviews -