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.     

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.     

Medium PRF radar PRF selection using evolutionary algorithms

Evolutionary algorithms are applied to the optimization of pulse repetition frequency (PRF), for both eight-and nine PRFs, in medium PRF radar while considering the detailed effects of sidelobe clutter and many other technical factors. The algorithm presented also ensures that all the solutions produced are fully decodable and have no blind velocities. The evolutionary algorithm was able to identify near-optimum PRF sets for a realistic radar system with only a modest computational effort.     

Speech Data Rate Reduction Part II: Applicability of Sensitivity and Error Analysis

This paper deals with the application of modern estimation techniques to the problem of speech data rate reduction. It is desirable to adaptively identify and quantitize the parameters of the speech model. These paramaters cannot be identified and quantized exactly; the performance of the predictor is thereby degraded and this could prevent data reduction. In many cases it is desirable to emply a suboptimal predictor in order to simplify the algorithms, and predictor performance is again degraded. This paper develops sensitivity and error analysis as a potential method for determining quantitatively how speech data reduction system performance is degraded by imprecise parameter knowledge or suboptimal filtering. An intended use of the sensitivity and error analysis algorithms is to determine parameter identification and model structure requirements of configuration concepts for adaptive speech digitizers. First, sensitivity and error analysis algorithms are presented that form the basis for the remainder of the work. The algorithms are then used to determine how imprecise knowledge of vocal tract parameters degrades predictor performance in speech. Transversal filters have previously been proposed for this application. The sensitivity analysis algorithms are then used to determine when and by how much the transverse filter is suboptimal to the Kalman filter. In particular, the question of how effectively a higher order of all-pole model approximates a system with zeros is answered, as this question is of considerable importance in speech. Finally, the physical significance of the innovations process in speech data rate reduction is studied.     

Using gamma-ray burst prompt emission to probe relativistic shock acceleration

It is widely accepted that the prompt transient signal in the 10 keV–10 GeV band from gamma-ray bursts (GRBs) arises from multiple shocks internal to the ultra-relativistic expansion. The detailed understanding of the dissipation and accompanying acceleration at these shocks is a currently topical subject. This paper explores the relationship between GRB prompt emission spectra and the electron (or ion) acceleration properties at the relativistic shocks that pertain to GRB models. The focus is on the array of possible high-energy power-law indices in accelerated populations, highlighting how spectra above 1 MeV can probe the field obliquity in GRB internal shocks, and the character of hydromagnetic turbulence in their environs. It is emphasized that diffusive shock acceleration theory generates no canonical spectrum at relativistic MHD discontinuities. This diversity is commensurate with the significant range of spectral indices discerned in prompt burst emission. Such system diagnostics are now being enhanced by the broad-band spectral coverage of bursts by the Fermi Gamma-Ray Space Telescope; while the Gamma-Ray Burst Monitor (GBM) provides key diagnostics on the lower energy portions of the particle population, the focus here is on constraints in the non-thermal, power-law regime of the particle distribution that are provided by the Large Area Telescope (LAT).     

In-orbit assessment of laser retro-reflector efficiency onboard high orbiting satellites

The navigation and geodetic satellites that orbit the Earth at altitudes of approximately 20,000 km are tracked routinely by many of the Satellite Laser Ranging (SLR) stations of the International Laser Ranging Service (ILRS). In order to meet increasing demands on SLR stations for daytime and nighttime observations, any new mission needs to ensure a strong return signal so that the target is easily acquirable. The ILRS has therefore set a minimum effective cross-section of 100 million square metres for the on-board laser retro-reflector arrays (LRAs) and further recommends the use of ‘uncoated’ cubes in the arrays. Given the large number of GNSS satellites that are currently supported by SLR, it is informative to make an assessment of the relative efficiencies of the various LRAs employed. This paper uses the laser ranging observations themselves to deduce and then compare the efficiencies of the LRAs on the COMPASS-M1 navigation satellite, two satellites from the GPS and three from the GLONASS constellations, the two GIOVE test satellites from the upcoming Galileo constellation, the two Etalon geodetic spheres and the geosynchronous communications test satellite, ETS-8. All the LRAs on this set of satellites employ back-coated retro-reflector cubes, except those on the COMPASS-M1 and ETS-8 vehicles which are uncoated. A measure of return signal strength, and thus of LRA-efficiency, is calculated using the laser-range full-rate data archive from 2007 to 2010, scaled to remove the effects of variations in satellite range, atmospheric attenuation and retro-reflector target total surface area. Observations from five SLR stations are used in this study; they are Herstmonceux (UK), Yarragadee (Australia), Monument Peak and McDonald (USA) and Wettzell (Germany). Careful consideration is given to the treatment of the observations from each station in order to take account of local working practices and system upgrades. The results show that the uncoated retro-reflector cubes offer significant improvements in efficiency.     

Nuclear propulsion—a historical perspective

Those who fear development of nuclear propulsion for space travel forget that considerable work on it has already been done, starting in the 1950s, and that the concept of a nuclear rocket was safely and successfully tested in the 1960s. This article describes the history of the US Nuclear Engine for Rocket Vehicle Application programme, with technical details of its development. Although funding for the programme ceased in the 1970s, there is no reason to suppose that the concept would not work today.     

Australia''s space heritage

An overview is provided of Australian space activities and their legacy, including the Woomera launch centre, tracking stations, space science, technology and applications. The military basis for many of the larger activities is discussed and the importance of using space-based remote sensing to deal with mounting global problems is emphasized.     

CubeSail: A low cost CubeSat based solar sail demonstration mission

CubeSail is a nano-solar sail mission based on the 3U CubeSat standard, which is currently being designed and built at the Surrey Space Centre, University of Surrey. CubeSail will have a total mass of around 3 kg and will deploy a 5 × 5 m sail in low Earth orbit. The primary aim of the mission is to demonstrate the concept of solar sailing and end-of-life de-orbiting using the sail membrane as a drag-sail. The spacecraft will have a compact 3-axis stabilised attitude control system, which uses three magnetic torquers aligned with the spacecraft principle axis as well as a novel two-dimensional translation stage separating the spacecraft bus from the sail. CubeSail’s deployment mechanism consists of four novel booms and four-quadrant sail membranes. The proposed booms are made from tape-spring blades and will deploy the sail membrane from a 2U CubeSat standard structure. This paper presents a systems level overview of the CubeSat mission, focusing on the mission orbit and de-orbiting, in addition to the deployment, attitude control and the satellite bus.