Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

An experimental investigation of three eigen DF techniques

The comparative direction-finding (DF) performance of multiple signal classification (MUSIC), ROOT-MUSIC, and estimation of signal parameters via rotational invariance techniques (ESPRIT) is considered. Data were collected from two target transmitters operating simultaneously. The objective of the experiment was to evaluate multipath resolution capability using measurement precision equivalent to that found in modern radio direction-finding systems     

Family of constrained signal detectors for hyperspectral imagery

Generalized likelihood ratio tests (GLRTs) are derived for the problem of detecting targets in hyperspectral images. These detectors are derived under the assumptions that the signals from the materials in the image mix linearly and that the noise in the system is Gaussian. It is also assumed that the abundances of the signals from the various materials in a pixel must sum to one. This constraint models the fact that the material abundances in a pixel are just the fraction of the pixel that they occupy. Under these assumptions, detectors are derived which outperform the detectors derived without the sum-to-one constraint.     

Future spacelift projections

In 1996 the NASA Advisory Council asked for a comprehensive look at future launch projections out to the year 2030 and beyond. In response to this request NASA sponsored a study at The Aerospace Corporation to develop long-range space transportation models for future commercial and government applications, and to analyze the design considerations and desired characteristics for future space transportation systems. Follow-ons to present space missions as well as a wide array of potential new space applications are considered in the study. This paper summarizes the space transportation system characteristics required to enable various classes of future missions. High reliability and the ability to achieve high flight rates per vehicle are shown to be key attributes for achieving more economical launch systems. Technical, economic and policy implications are also discussed.     

Skylab experiment M-092: results of the first manned mission

Blood pressure at 30-sec intervals, heart rate, and percentage increase in leg volume continuously were recorded during a 25-min protocol in the M092 Inflight Lower Body Negative Pressure (LBNP) experiment carried out in the first manned Skylab mission. These data were collected during six tests on each crewman over a 5-month preflight period. The protocol consisted of a 5-min resting control period, 1 min at -8, 1 min at -16, 3 min at -30, 5 min at -40, and 5 min at -50 mm Hg LBNP. A 5-min recovery period followed. Inflight tests were performed at approximately 3-day intervals through the 28-day mission. Individual variations in cardiovascular responses to LBNP during the preflight period continued to be demonstrated in the inflight tests. Measurements of the calf indicated that a large volume of fluid was shifted out of the legs early in the flight and that a slower decrease in leg volume, presumably due to loss of muscle tissue, continued throughout the flight. Resting heart rates tended to be low early in the flight and to increase slightly as the flight progressed. Resting blood pressure varied but usually was characterized by slightly elevated systolic blood pressure, lower diastolic pressure, and higher pulse pressures than during preflight examinations. During LBNP inflight a much greater increase in leg volume occurred than in preflight tests. Large increases occurred even at the smallest levels of negative pressure, suggesting that the veins of the legs were relatively empty at the beginning of the LBNP. The greater volume of blood pooled in the legs was associated with greater increases of heart rate and diastolic pressure and larger falls of systolic and pulse pressure than seen in preflight tests. The LBNP protocol represented a greater stress inflight, and on three occasions it was necessary to stop the test early because of impending syncopal reactions. LBNP responses inflight appeared to predict the degree of postflight orthostatic intolerance. Postflight responses to LBNP during the first 48 hours were characterized by marked elevations of heart rate and instability of blood pressure. In addition, systolic and diastolic pressures were typically elevated considerably both at rest and also during stress. The time required for cardiovascular responses to return to preflight levels was much slower than in the case of Apollo crewmen.     

The Magnetic Field of Mercury

The magnetic field strength of Mercury at the planet’s surface is approximately 1% that of Earth’s surface field. This comparatively low field strength presents a number of challenges, both theoretically to understand how it is generated and observationally to distinguish the internal field from that due to the solar wind interaction. Conversely, the small field also means that Mercury offers an important opportunity to advance our understanding both of planetary magnetic field generation and magnetosphere-solar wind interactions. The observations from the Mariner 10 magnetometer in 1974 and 1975, and the MESSENGER Magnetometer and plasma instruments during the probe’s first two flybys of Mercury on 14 January and 6 October 2008, provide the basis for our current knowledge of the internal field. The external field arising from the interaction of the magnetosphere with the solar wind is more prominent near Mercury than for any other magnetized planet in the Solar System, and particular attention is therefore paid to indications in the observations of deficiencies in our understanding of the external field. The second MESSENGER flyby occurred over the opposite hemisphere from the other flybys, and these newest data constrain the tilt of the planetary moment from the planet’s spin axis to be less than 5°. Considered as a dipole field, the moment is in the range 240 to 270 nT-R _M ³ , where R _M is Mercury’s radius. Multipole solutions for the planetary field yield a smaller dipole term, 180 to 220 nT-R _M ³ , and higher-order terms that together yield an equatorial surface field from 250 to 290 nT. From the spatial distribution of the fit residuals, the equatorial data are seen to reflect a weaker northward field and a strongly radial field, neither of which can be explained by a centered-dipole matched to the field measured near the pole by Mariner 10. This disparity is a major factor controlling the higher-order terms in the multipole solutions. The residuals are not largest close to the planet, and when considered in magnetospheric coordinates the residuals indicate the presence of a cross-tail current extending to within 0.5R _M altitude on the nightside. A near-tail current with a density of 0.1 μA/m² could account for the low field intensities recorded near the equator. In addition, the MESSENGER flybys include the first plasma observations from Mercury and demonstrate that solar wind plasma is present at low altitudes, below 500 km. Although we can be confident in the dipole-only moment estimates, the data in hand remain subject to ambiguities for distinguishing internal from external contributions. The anticipated observations from orbit at Mercury, first from MESSENGER beginning in March 2011 and later from the dual-spacecraft BepiColombo mission, will be essential to elucidate the higher-order structure in the magnetic field of Mercury that will reveal the telltale signatures of the physics responsible for its generation.     

Output of a Balanced Frequency Discriminator Driven by a Sine Wave and Gaussian Noise

The output of a realizable balanced frequency discriminator is calculated for an input consisting of a sine wave plus Gaussian noise. Explicit autocorrelation and power spectra are found for one practical embodiment of the discriminator for various input carrier-to-noise ratios, with the carrier tuned to center frequency and also off-center. The formulas also permit the calculation of the output for the case of a spectrum of noise slowly swept through the discriminator. Although qualitatively similar to results previously obtained with an ideal discriminator, substantial differences are also found. Measurements are made that closely verified the theoretical results. No limiting is assumed.     

The Cassini Cosmic Dust Analyzer

The Cassini-Huygens Cosmic Dust Analyzer (CDA) is intended to provide direct observations of dust grains with masses between 10⁻¹⁹ and 10⁻⁹ kg in interplanetary space and in the jovian and saturnian systems, to investigate their physical, chemical and dynamical properties as functions of the distances to the Sun, to Jupiter and to Saturn and its satellites and rings, to study their interaction with the saturnian rings, satellites and magnetosphere. Chemical composition of interplanetary meteoroids will be compared with asteroidal and cometary dust, as well as with Saturn dust, ejecta from rings and satellites. Ring and satellites phenomena which might be effects of meteoroid impacts will be compared with the interplanetary dust environment. Electrical charges of particulate matter in the magnetosphere and its consequences will be studied, e.g. the effects of the ambient plasma and the magnetic field on the trajectories of dust particles as well as fragmentation of particles due to electrostatic disruption.The investigation will be performed with an instrument that measures the mass, composition, electric charge, speed, and flight direction of individual dust particles. It is a highly reliable and versatile instrument with a mass sensitivity 10⁶ times higher than that of the Pioneer 10 and 11 dust detectors which measured dust in the saturnian system. The Cosmic Dust Analyzer has significant inheritance from former space instrumentation developed for the VEGA, Giotto, Galileo, and Ulysses missions. It will reliably measure impacts from as low as 1 impact per month up to 10⁴ impacts per second. The instrument weighs 17 kg and consumes 12 W, the integrated time-of-flight mass spectrometer has a mass resolution of up to 50. The nominal data transmission rate is 524 bits/s and varies between 50 and 4192 bps.This revised version was published online in July 2005 with a corrected cover date.     

Cassini Imaging Science: Instrument Characteristics And Anticipated Scientific Investigations At Saturn

The Cassini Imaging Science Subsystem (ISS) is the highest-resolution two-dimensional imaging device on the Cassini Orbiter and has been designed for investigations of the bodies and phenomena found within the Saturnian planetary system. It consists of two framing cameras: a narrow angle, reflecting telescope with a 2-m focal length and a square field of view (FOV) 0.35^∘ across, and a wide-angle refractor with a 0.2-m focal length and a FOV 3.5^∘ across. At the heart of each camera is a charged coupled device (CCD) detector consisting of a 1024 square array of pixels, each 12 μ on a side. The data system allows many options for data collection, including choices for on-chip summing, rapid imaging and data compression. Each camera is outfitted with a large number of spectral filters which, taken together, span the electromagnetic spectrum from 200 to 1100 nm. These were chosen to address a multitude of Saturn-system scientific objectives: sounding the three-dimensional cloud structure and meteorology of the Saturn and Titan atmospheres, capturing lightning on both bodies, imaging the surfaces of Saturn’s many icy satellites, determining the structure of its enormous ring system, searching for previously undiscovered Saturnian moons (within and exterior to the rings), peering through the hazy Titan atmosphere to its yet-unexplored surface, and in general searching for temporal variability throughout the system on a variety of time scales. The ISS is also the optical navigation instrument for the Cassini mission. We describe here the capabilities and characteristics of the Cassini ISS, determined from both ground calibration data and in-flight data taken during cruise, and the Saturn-system investigations that will be conducted with it. At the time of writing, Cassini is approaching Saturn and the images returned to Earth thus far are both breathtaking and promising.This revised version was published online in July 2005 with a corrected cover date.