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.     

Biogeochemical evidence of microbial activity on Mars.

We suggest a new interpretation of the data on so-called SNC meteorites and delta 13C values of the calcium carbonate minerals and organic matter discovered in them. The delta 13C value of calcite (up to 15 ppt) is accounted for by the microbial reaction CO2 + H2 ---> CH4 + H2O. Methane-forming bacteria also synthesize organic carbon (in the form of biomass) from CO2, and this process is accompanied by 12C fractionation. Therefore, the organic carbon of SNC meteorites is enriched with 12C (delta 13C as low as -35 ppt). The environmental conditions under which the calcite of SNC meteorites was formed were favorable for the activity of methanogens.     

Synthesis of biomass and utilization of plants wastes in a physical model of biological life-support system

The paper considers problems of biosynthesis of higher plants' biomass and "biological incineration" of plant wastes in a working physical model of biological LSS. The plant wastes are "biologically incinerated" in a special heterotrophic block involving Californian worms, mushrooms and straw. The block processes plant wastes (straw, haulms) to produce soil-like substrate (SLS) on which plants (wheat, radish) are grown. Gas exchange in such a system consists of respiratory gas exchange of SLS and photosynthesis and respiration of plants. Specifics of gas exchange dynamics of high plants--SLS complex has been considered. Relationship between such a gas exchange and PAR irradiance and age of plants has been established. Nitrogen and iron were found to the first to limit plants' growth on SLS when process conditions are deranged. The SLS microflora has been found to have different kinds of ammonifying and denitrifying bacteria which is indicative of intensive transformation of nitrogen-containing compounds. The number of physiological groups of microorganisms in SLS was, on the whole, steady. As a result, organic substances--products of exchange of plants and microorganisms were not accumulated in the medium, but mineralized and assimilated by the biocenosis. Experiments showed that the developed model of a man-made ecosystem realized complete utilization of plant wastes and involved them into the intrasystem turnover.     

An Ideal Digital Frequency Translator

Many digital techniques are available for providing a desired shift in frequency of a given carrier signal, but the resulting output usually contains spurious harmonic content due to the digital means employed. This correspondence discusses a digital device which provides a variable shift in frequency of a given carrier signal, with the feature that no spurious harmonic content exists in the output.     

Comments on the Communication and Data Problems Associated with a Mars Trip During a Conjunction Phase

The analysis and comments presented in this paper are meant to establish the general communication parameters associated with Martian flyby probes and with lander and manned vehicles. Fundamental data transfer problems are reviewed to define comparisons and trends of tradeoffs for future studies. Selected focal points are based upon the long propagation path length, with inherent time delays, and the high noise produced by the sun. These problems are magnified because large quantities of data must be obtained to satisfy the needs of the scientific community and the curiosity of an interested public. A comparison of two communication systems is provided: the microwave spectrum and the optical spectrum, as represented by the microwaves at 2.3 GHz and the laser at 6328 ?. A method of cost effectiveness or value received from space missions (a criterion of power input for data quantity received) is also presented.     

High-Sensitivity Quartz Accelerometer for Measurements of Small Accelerations of Spacecraft

A quartz sensor of small accelerations with a capacitive transducer is designed and produced, allowing one to measure spacecraft accelerations with a resolution of 10^–7 m/s² in the range ±10^–1 m/s². The results of calibration of the sensor by the method of inclinations are presented.     

How we will go to Mars

This article studies the efficiency of ejecting waste generated by the life support system (LSS) of a manned spacecraft to reduce initial mass on low earth orbit. The spacecraft is used for a long-duration interplanetary mission and is equipped with either a chemical or a nuclear-thermal propulsion system. For this study we simulate an optimal control problem for a given spacecraft maneuver. An impulsive approximation of the optimal interplanetary spacecraft trajectory is assumed, which allows us to reduce the general optimal control problem to hierarchic structure of 'outer' and 'inner' subproblems. This structure is analyzed using the Pontryagin's Maximum principle. Numerical results, illustrating the efficiency of waste ejection are shown for typical Earth-Mars transfer trajectories. This results confirm in theory that using a waste ejection system makes an early manned Mars mission possible without having to design and build new, advanced biological LSS.     

Lunar transportation scenarios utilising the Space Elevator

The Space Elevator (SE) concept has begun to receive an increasing amount of attention within the space community over the past couple of years and is no longer widely dismissed as pure science fiction. In light of the renewed interest in a, possibly sustained, human presence on the Moon and the fact that transportation and logistics form the bottleneck of many conceivable lunar missions, it is interesting to investigate what role the SE could eventually play in implementing an efficient Earth to Moon transportation system. The elevator allows vehicles to ascend from Earth and be injected into a trans-lunar trajectory without the use of chemical thrusters, thus eliminating gravity loss, aerodynamic loss and the need of high thrust multistage launch systems. Such a system therefore promises substantial savings of propellant and structural mass and could greatly increase the efficiency of Earth to Moon transportation. This paper analyzes different elevator-based trans-lunar transportation scenarios and characterizes them in terms of a number of benchmark figures. The transportation scenarios include direct elevator-launched trans-lunar trajectories, elevator launched trajectories via L1 and L2, as well as launch from an Earth-based elevator and subsequent rendezvous with lunar elevators placed either on the near or on the far side of the Moon. The benchmark figures by which the different transfer options are characterized and evaluated include release radius (RR), required delta v, transfer times as well as other factors such as accessibility of different lunar latitudes, frequency of launch opportunities and mission complexity. The performances of the different lunar transfer options are compared with each other as well as with the performance of conventional mission concepts, represented by Apollo.     

Aqueous corrosion of phosphide minerals from iron meteorites: a highly reactive source of prebiotic phosphorus on the surface of the early Earth

We present the results of an experimental study of aqueous corrosion of Fe-phosphide under conditions relevant to the early Earth. The results strongly suggest that iron meteorites were an important source of reactive phosphorus (P), a requirement for the formation of P-based life. We further demonstrate that iron meteorites were an abundant source of phosphide minerals early in Earth history. Phosphide corrosion was studied in five different solutions: deionized water, deionized water buffered with sodium bicarbonate, deionized water with dissolved magnesium and calcium chlorides, deionized water containing ethanol and acetic acid, and deionized water containing the chlorides, ethanol, and acetic acid. Experiments were performed in the presence of both air and pure Ar gas to evaluate the effect of atmospheric chemistry. Phosphide corrosion in deionized water results in a metastable mixture of mixed-valence, P-bearing ions including pyrophosphate and triphosphate, key components for metabolism in modern life. In a pH-buffered solution of NaHCO(3), the condensed and reduced species diphosphonate is an abundant corrosion product. Corrosion in ethanol- and acetic acid-containing solutions yields additional P-bearing organic molecules, including acetyl phosphonate and a cyclic triphosphorus molecule. Phosphonate is a major corrosion product of all experiments and is the only P-bearing molecule that persists in solutions with high concentrations of magnesium and calcium chlorides, which suggests that phosphonate may have been a primitive oceanic source of P. The stability and reactivity of phosphonate and hypophosphite in solution were investigated to elucidate reaction mechanisms and the role of mineral catalysts on P-solution chemistry. Phosphonate oxidation is rapid in the presence of Fe metal but negligible in the presence of magnetite and in the control sample. The rate of hypophosphite oxidation is independent of reaction substrate.