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.     

Emergence of a Habitable Planet

We address the first several hundred million years of Earth’s history. The Moon-forming impact left Earth enveloped in a hot silicate atmosphere that cooled and condensed over ∼1,000 yrs. As it cooled the Earth degassed its volatiles into the atmosphere. It took another ∼2 Myrs for the magma ocean to freeze at the surface. The cooling rate was determined by atmospheric thermal blanketing. Tidal heating by the new Moon was a major energy source to the magma ocean. After the mantle solidified geothermal heat became climatologically insignificant, which allowed the steam atmosphere to condense, and left behind a ∼100 bar, ∼500 K CO₂ atmosphere. Thereafter cooling was governed by how quickly CO₂ was removed from the atmosphere. If subduction were efficient this could have taken as little as 10 million years. In this case the faint young Sun suggests that a lifeless Earth should have been cold and its oceans white with ice. But if carbonate subduction were inefficient the CO₂ would have mostly stayed in the atmosphere, which would have kept the surface near ∼500 K for many tens of millions of years. Hydrous minerals are harder to subduct than carbonates and there is a good chance that the Hadean mantle was dry. Hadean heat flow was locally high enough to ensure that any ice cover would have been thin (<5 m) in places. Moreover hundreds or thousands of asteroid impacts would have been big enough to melt the ice triggering brief impact summers. We suggest that plate tectonics as it works now was inadequate to handle typical Hadean heat flows of 0.2–0.5 W/m². In its place we hypothesize a convecting mantle capped by a ∼100 km deep basaltic mush that was relatively permeable to heat flow. Recycling and distillation of hydrous basalts produced granitic rocks very early, which is consistent with preserved >4 Ga detrital zircons. If carbonates in oceanic crust subducted as quickly as they formed, Earth could have been habitable as early as 10–20 Myrs after the Moon-forming impact.     

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.     

Astrobiology—a new opportunity for interdisciplinary thinking

During the past decade new questions in science have emerged that require broad inter-disciplinary approaches. ‘Do asteroids and comets cause extinctions?’ and ‘Was there, or is there, life on Mars?’ are just two examples of questions that cut across planetary or astronomical sciences and biological sciences. The re-emergent science of ‘astrobiology’ represents a new synthesis of inter-disciplinary thinking that in many respects bears similarities to what in the 18th and 19th century would have been called ‘Natural Sciences’. But new astrobiology offers the scientific community, including the space community, two important possibilities. First, an opportunity to galvanize diverse scientific disciplines together to answer some fundamental questions on the relationship between life and the cosmic environment and, second, a chance to create a new environment conducive to interdisciplinary thinking. This is in contrast to the general trend that occurred during the 20th century towards increasing specialization in the sciences. During the 21st century astrobiology has the potential to open rich and productive seams of research.     

Benefits to world agriculture through remote sensing

Remote sensing of agricultural land permits crop classification and mensuration which can lead to improved forecasts of production. This technique is particularly important for nations which do not already have an accurate agricultural reporting system. Better forecasts have important economic effects. International grain traders can make better decisions about when to store, buy and sell. Farmers can make better planting decisions by taking advantage of production estimates for areas out of phase with their own agricultural calendar. World economic benefits will accrue to both buyers and sellers because of increased food supply and price stabilization.

This paper reviews the econometric models used to establish this scenario and estimates the dollar value of benefits for world wheat as 200 million dollars annually for the United States and 300–400 million dollars anually for the rest of the world.     

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.     

电动静液作动器非线性框图建模与鲁棒控制方法

 阐述了机载电动静液作动器（EHA）的典型工作原理与结构特点,根据其元部件数学方程,建立非线性精确框图模型,完善了EHA补油回路和摩擦特性的描述。通过对系统阻尼、稳态误差及摩擦的仿真分析,设计了一种结合动态压力反馈与变增益控制策略的状态反馈控制器,改善了系统动、静态性能。鲁棒性测试结果反映了系统参数不确定性对性能的影响。     

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.