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.     

Determination of <Emphasis Type="Italic">Foton M-2</Emphasis> satellite attitude motion by the data of microacceleration measurements

The results of reconstruction of uncontrolled attitude motion of the Foton M-2 satellite using measurements with the accelerometer TAS-3 are presented. The attitude motion of this satellite has been previously determined by the measurement data of the Earth’s magnetic field and the angular velocity. The TAS-3 data for this purpose are used for the first time. These data contain a well-pronounced additional component which made impossible their direct employment for the reconstruction of the attitude motion and whose origin was unknown several years ago. Later it has become known that the additional component is caused by the influence of the Earth’s magnetic field. The disclosure of this fact allowed us to take into account a necessary correction in processing of TAS-3 data and to use them for the reconstruction of the attitude motion of Foton M-2. Here, a modified method of processing TAS-3 data is described, as well as results of its testing and employing. The testing consisted in the direct comparison of the motion reconstructed by the new method with the motion constructed by the magnetic measurements. The new method allowed us to find the actual motion of Foton M-2 in the period June 9, 2005–June 14, 2005, when no magnetic measurements were carried out.     

Entrapment of bacteria in fluid inclusions in laboratory-grown halite

Cells of the bacterium Pseudomonas aeruginosa, which were genetically modified to produce green fluorescent protein, were entrapped in fluid inclusions in laboratory-grown halite. The bacteria were used to inoculate NaCl-saturated aqueous solutions, which were allowed to evaporate and precipitate halite. The number, size, and distribution of fluid inclusions were highly variable, but did not appear to be affected by the presence of the bacteria. Many of the inclusions in crystals from inoculated solutions contained cells in populations ranging from two to 20. Microbial attachment to crystal surfaces was neither evident nor necessary for entrapment. Cells occurred exclusively within fluid inclusions and were not present in the crystal matrix. In both the inclusions and the hypersaline solution, the cells fluoresced and twitched, which indicates that the bacteria might have remained viable after entrapment. The fluorescence continued up to 13 months after entrapment, which indicates that little degradation of the bacteria occurred over that time interval. The entrapment, fluorescence, and preservation of cells were independent of the volume of hypersaline solution used or whether the solutions were completely evaporated prior to crystal extraction. The results of this study have a wide range of implications for the long-term survival of microorganisms in fluid inclusions and their detection through petrography. The results also demonstrate the preservation potential for microbes in hypersaline fluid inclusions, which could allow cells to survive harsh conditions of space, the deep geologic past, or burial in sedimentary basins.     

TUGSAT-1/BRITE-Austria—The first Austrian nanosatellite

A nanosatellite to investigate the brightness oscillations of massive luminous stars by differential photometry is currently developed by a Canadian/Austrian team within the BRITE (Bright Target Explorer) project. The first Austrian satellite funded by the Austrian Space Program, called TUGSAT-1/BRITE-Austria, builds on the space heritage of the most successful Canadian CanX-2 and MOST missions. The satellite makes use of recent advances in miniaturized attitude determination and control systems. Precision three-axis stabilization by small reaction wheels and a star tracker provides the necessary accuracy for the photometer telescope to the arcminute level. This will provide to the astronomers photometric data of the most massive stars with unprecedented precision; data which cannot be obtained from the ground due to limitations imposed by the terrestrial atmosphere.The paper describes the spacecraft characteristics and the ground infrastructure being established in support of the BRITE mission which will consist of a constellation of up to four nearly identical satellites allowing to carry out long-term observation of stars (magnitude +3.5) not only with respect to brightness variations, but also in different spectrum ranges.     

Comparative survival analysis of Deinococcus radiodurans and the haloarchaea Natrialba magadii and Haloferax volcanii exposed to vacuum ultraviolet irradiation

The haloarchaea Natrialba magadii and Haloferax volcanii, as well as the radiation-resistant bacterium Deinococcus radiodurans, were exposed to vacuum UV (VUV) radiation at the Brazilian Synchrotron Light Laboratory. Cell monolayers (containing 10(5) to 10(6) cells per sample) were prepared over polycarbonate filters and irradiated under high vacuum (10(-5) Pa) with polychromatic synchrotron radiation. N. magadii was remarkably resistant to high vacuum with a survival fraction of (3.77±0.76)×10(-2), which was larger than that of D. radiodurans (1.13±0.23)×10(-2). The survival fraction of the haloarchaea H. volcanii, of (3.60±1.80)×10(-4), was much smaller. Radiation resistance profiles were similar between the haloarchaea and D. radiodurans for fluences up to 150?J m(-2). For fluences larger than 150?J m(-2), there was a significant decrease in the survival of haloarchaea, and in particular H. volcanii did not survive. Survival for D. radiodurans was 1% after exposure to the higher VUV fluence (1350?J m(-2)), while N. magadii had a survival lower than 0.1%. Such survival fractions are discussed regarding the possibility of interplanetary transfer of viable microorganisms and the possible existence of microbial life in extraterrestrial salty environments such as the planet Mars and Jupiter's moon Europa. This is the first work to report survival of haloarchaea under simulated interplanetary conditions.     

Preservation of microbial lipids in geothermal sinters

Lipid biomarkers are widely used to study the earliest life on Earth and have been invoked as potential astrobiological markers, but few studies have assessed their survival and persistence in geothermal settings. Here, we investigate lipid preservation in active and inactive geothermal silica sinters, with ages of up to 900 years, from Champagne Pool, Waiotapu, New Zealand. Analyses revealed a wide range of bacterial biomarkers, including free and bound fatty acids, 1,2-di-O-alkylglycerols (diethers), and various hopanoids. Dominant archaeal lipids include archaeol and glycerol dialkyl glycerol tetraethers (GDGTs). The predominance of generally similar biomarker groups in all sinters suggests a stable microbial community throughout Champagne Pool's history and indicates that incorporated lipids can be well preserved. Moreover, subtle differences in lipid distributions suggest that past changes in environmental conditions can be elucidated. In this case, higher archaeol abundances relative to the bacterial diethers, a greater proportion of cyclic GDGTs, the high average chain length of the bacterial diethers, and greater concentrations of hopanoic acids in the older sinters all suggest hotter conditions at Champagne Pool in the past.     

防空导弹武器系统故障诊断技术探究

对主要的故障诊断技术进行了系统地归纳和分类,并重点讨论了基于知识处理的智能故障诊断方法,对专家系统故障诊断方法、故障树故障诊断方法、模糊故障诊断方法、神经网络故障诊断方法以及基于支持向量机的故障诊断方法进行了详细介绍。     

Missile Electronic System Hardness Assurance Program

A hardness assurance program suitable for a retaliatory or deterrent missile system is discussed. The program consists of three phases: the establishment of suitable controls and screens to ensure piece part hardness, a supplier data monitoring program to measure hardness related parameters in a timely fashion to obtain advanced warning of potential problems, and a hardness assurance verification testing (HAVT) program to periodically measure the radiation response of parts, circuits, subsystems, and systems on a sample basis to ensure proper functioning in simulated radiation environments. All of the data relevant to hardness assurance is stored in computer memory and routinely interrogated with programs which compare current results with the engineering baseline data and other data from preceding lots. Other computer programs enable statistical estimation of system response to the radiation environment with confidence based on the expanding data base provided by the HAVT program.     

Imaging of the outer planets and satellites

Imaging is the most widely applicable single means of exploring the outer planets and their satellites and also complements other planet-oriented instruments. Imaging generally is more effectively carried out from a three-axis stabilized spacecraft than from a spinning one.Both specific experimental and broader exploratory goals must be recognized. Photography of Jupiter from terrestrial telescopes has revealed features which were neither predictable or predicted. Close-up imaging from fly-bys and orbiters affords the opportunity for discovery of atmospheric phenomena on the outer planets forever beyond the reach of terrestrial laboratories and intuition. On the other hand, a large number of specific applications of close-up imaging to study the giant planets are suggested by experience in photography from Earth and Mars orbit, and by ground-based telescopic studies of Jupiter and Saturn. Photographic observations of horizontal and vertical cloud structure at both global and finer scale, and motions and other time changes, will be essential for the study of atmospheric circulation. Size and composition of cloud particles also is a credible objective of fly-by and orbiter missions carrying both imaging and photo-polarimeter experiments.The satellites of the outer planets actually constitute three distinct classes: lunar-sized objects, asteroidal-sized objects, and particulate rings. Imaging promises to be the primary observational tool for each category with results that could impact scientific thinking in the late 70's and 80's as significantly as has close-up photography of Mars and the Moon in the last 10 yr.Finally, it should be recognized that photography occupies a unique role in the interaction between science and the popular mind. This popular, educational aspect of imaging constitutes a unique aspect of 20th Century culture. Imaging therefore is not only a primary basis for scientific discovery in the exploration of the outer planets, but an important human endeavor of enduring significance.Contribution No. 2163 of the Division of Geological and Planetary Sciences, California Institute of Technology, Pasadena, California 91109.This is one of the publications by the Science Advisory Group.     

Specification and Performance of Passive Sonar Spectral Estimators

The application of existing estimation theory to the problem of specification and performance of passive sonar spectral estimators is considered. The classification function is addressed, so that the signal is assumed to be present, and so that the energy arrival angle is known. The spatial filter considered is a line array of M equally spaced omnidirectional hydrophones. Signal and ambient noise are both zero-mean, wide-sense, stationary Gaussian random processes that differ in their spatial correlation across the face of the array. The signal is a plane wave that can be made totally spacially corrected between array elements by inserting delays between sensors to invert the signal propagation delay. The noise correlation is a function of frequency, bandwidth, element separation, and the relative time delay between sensors. Under these assumptions, the Cramer-Rao lower bound is derived for the class of unbiased estimates of signal power in a narrow frequency band at the hydrophone in the presence of correlated ambient noise of known power. The bound is examined numerically, resulting in a threshold phenomenon with M that constitutes a new design consideration. In addition, there is a striking insensitivity to realistic values of ambient noise correlation, and there are ranges in signal-to-noise ratio for which one gains more by increasing M than by increasing the bandwidth-time product. Specific processors, including a new unbiased estimator when noise power is unknown, are developed.