Generating requirements for complex embedded systems using State Analysis

It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are the conventional approaches to systems and software engineering based on subsystem-level functional decomposition, which fail to scale in the tangled web of interactions typically encountered in complex spacecraft designs. Furthermore, there is a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer's intent, potentially leading to software errors. This problem is addressed by a systems engineering methodology called State Analysis, which provides a process for capturing system and software requirements in the form of explicit models. This paper describes how requirements for complex aerospace systems can be developed using State Analysis, using representative spacecraft examples.     

Sunspot dynamics are reflected in human physiology and pathophysiology

Periodic episodes of increased sunspot activity (solar electromagnetic storms) occur with 10-11 and 5-6 year periodicities and may be associated with measurable biological events. We investigated whether this sunspot periodicity characterized the incidence of Pap smear-determined cervical epithelial histopathologies and human physiologic functions. From January 1983 through December 2003, monthly averages were obtained for solar flux and sunspot numbers; six infectious, premalignant and malignant changes in the cervical epithelium from 1,182,421 consecutive, serially independent, screening Pap smears (59°9″N, 4°29″E); and six human physiologic functions of a healthy man (oral temperature, pulse, systolic and diastolic blood pressure, respiration, and peak expiratory flow), which were measured ～5 times daily during ～34,500 self-measurement sessions (44°56″N, 93°8″W). After determining that sunspot numbers and solar flux, which were not annually rhythmic, occurred with a prominent 10-year and a less-prominent 5.75-year periodicity during this 21-year study span, each biological data set was analyzed with the same curve-fitting procedures. All six annually rhythmic Pap smear-detected infectious, premalignant and malignant cervical epithelial pathologies showed strong 10-year and weaker 5.75-year cycles, as did all six self-measured, annually rhythmic, physiologic functions. The phases (maxima) for the six histopathologic findings and five of six physiologic measurements were very near, or within, the first two quarters following the 10-year solar maxima. These findings add to the growing evidence that solar magnetic storm periodicities are mirrored by cyclic phase-locked rhythms of similar period length or lengths in human physiology and pathophysiology.     

Everyman's Doppler Satellite Navigation System

This paper describes a system of navigation by measurement of the Doppler shift in the radio transmissions from a near-Earth satellite, and simple equipment for making the measurements. It also shows that the current information which is needed by the navigator can be reduced to a number containing six decimal digits. Finally, it shows that the computations needed for the navigator to obtain a fix can be performed witlh the aid of tables that can be prepared at least 18 months in advance. Using these tables and a simple slide rule, but no other computational aids, a fix accurate to about 500 meters can be obtained in about 10 minutes. More accuracy can be obtained at the expense of time, or time can be saved at the expense of accuracy.     

透博梅卡公司探索新的涡轴发动机

虽然透博梅卡公司现在每年销售发动机超过650台,但它们却认为已经到了研制替换轴功率为450～670千瓦级发动机的时候了.     

Characteristics of Icy Surfaces

The surfaces of the Solar System’s icy satellites show an extraordinary variety of morphological features, which bear witness to exchange processes between the surface and subsurface. In this paper we review the characteristics of surface features on the moons of Jupiter, Saturn, Uranus and Neptune. Using data from spacecraft missions, we discuss the detailed morphology, size, and topography of cryovolcanic, tectonic, aeolian, fluvial, and impact features of both large moons and smaller satellites.     

Suppression of the water ice and snow albedo feedback on planets orbiting red dwarf stars and the subsequent widening of the habitable zone

M stars comprise 80% of main sequence stars, so their planetary systems provide the best chance for finding habitable planets, that is, those with surface liquid water. We have modeled the broadband albedo or reflectivity of water ice and snow for simulated planetary surfaces orbiting two observed red dwarf stars (or M stars), using spectrally resolved data of Earth's cryosphere. The gradual reduction of the albedos of snow and ice at wavelengths greater than 1 μm, combined with M stars emitting a significant fraction of their radiation at these same longer wavelengths, means that the albedos of ice and snow on planets orbiting M stars are much lower than their values on Earth. Our results imply that the ice/snow albedo climate feedback is significantly weaker for planets orbiting M stars than for planets orbiting G-type stars such as the Sun. In addition, planets with significant ice and snow cover will have significantly higher surface temperatures for a given stellar flux if the spectral variation of cryospheric albedo is considered, which in turn implies that the outer edge of the habitable zone around M stars may be 10-30% farther away from the parent star than previously thought.     

Radiative and hybrid cooling of infrared space telescopes

The designs of cold space telescopes, cryogenic and radiatively cooled, are similar in most elements and both benefit from orbits distant from the Earth. In particular such orbits allow the anti-sunward side of radiatively-cooled spacecraft to be used to provide large cooling radiators for the individual radiation shields. Designs incorporating these features have predictedT _tel near 20 K. The attainability of such temperatures is supported by limited practical experience (IRAS, COBE). Supplementary cooling systems (cryogens, mechanical coolers) can be advantageously combined with radiative cooling in hybrid designs to provide robustness against deterioration and yet lower temperatures for detectors, instruments, and even the whole telescope. The possibility of such major additional gains is illustrated by the Very Cold Telescope option under study forEdison, which should offerT _tel5 K for a little extra mechanical cooling capacity.     

Evidence that far-infrared radiation promotes growth of Xenopus laevis

In most ectotherms, environmental temperature has differential effects on growth and differentiation. For example, amphibian size at maturity decreases with increasing temperature. To address how radiant heat in the form of far-infrared radiation (FIR) may affect development of the aquatic ectotherm Xenopus laevis, we continuously irradiated swimming larvae as they developed into young adults. Here we report evidence that FIR promotes growth of these organisms in an aqueous environment.     

The Interplanetary Internet: a communications infrastructure for Mars exploration

A strategy is being developed whereby the current set of internationally standardized space data communications protocols can be incrementally evolved so that a first version of an operational "Interplanetary Internet" is feasible by the end of the decade. This paper describes its architectural concepts, discusses the current set of standard space data communications capabilities that exist to support Mars exploration and reviews proposed new developments. We also speculate that these current capabilities can grow to support future scenarios where human intelligence is widely distributed across the Solar System and day-to-day communications dialog between planets is routine.