Rationale for the development of the UK defence standards forsafety-critical computer software

Changes in the procurement environment and developments in technology that will require the adoption of new development certification procedures within the next few years are examined. Characteristics of safety-critical computer systems and the safety problems posed by digital computers are described. The way in which the changes have influenced the preparation of the new draft defence standards offered for public debate in the UK prior to their formal adoption by the Ministry of Defence is discussed. Principle features of the future safety-critical systems policy are outlined. The use of Ada for safety-critical software is considered     

A SAR processor based on two-dimensional FFT codes

A synthetic aperture radar (SAR) processor approach based on two-dimensional fast Fourier transform (FFT) codes coupled with an asymptotic evaluation of the unit response function is presented. For the latter, no approximation is made to the distance function, so that the full range of geometric aberrations is analytically considered, enabling an effective reference filter to be designed. The two-dimensional FFTs were designed as to run on computers of very limited memory: the required FFT is computed by means of FFTs of lower order. Two FFT codes were considered: one is faster and allows full or reduced (quick look or multilook) resolution performance to be obtained easily; the second is slower but allows the use of a space-varying filter and/or investigations on limited portions (zoom) of the image. Both codes are suited to parallel processing, e.g. by a transputer net. A full discussion on computer memory and time requirements is presented as well as first examples of image processing results     

Dose equivalent, absorbed dose and charge spectrum investigation in low Earth orbit.

Particle intensity, dose equivalent and absorbed dose have been measured on board the space shuttle Endeavour during STS-108 in December 2001 by Dublin Institute for Advanced Studies (DIAS). The dose estimates are based on very accurate measurements of recoils produced in CR-39 by cosmic ray primary and secondary protons and heavier nuclei and by secondary neutrons. The corresponding LET spectra were used to determine dose equivalent and absorbed dose values. Estimates of the total flux of Z > or = 2 nuclei have been undertaken and a preliminary charge spectrum was measured. Some comparisons are made with preliminary data obtained on STS-105 (ISS Expedition) and other missions using CR-39 detectors.     

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.     

Possible mechanisms of plant cell wall changes at microgravity.

Space and clinostatic experiments revealed that changes of plant cell wall structure and its function depend on type of tissue and duration of influence. It was shown that clinostat conditions reproduce the part of weightlessness biological effects. It is established that various responses of wall structural-metabolic organization occur at microgravity: changes of cell walls ultrastructure and organelles structure; decrease of synthesis of primary plant cell wall; rearrangements of polysaccharides content. It is shown that mechanisms of plant cell wall changes at microgravity are connected with decrease of cellulose crystallization, activation of pectolytic enzymes and rearrangement of calcium balance of apoplast and cytoplasm.     

Use of combined light flash and plasma measurements to study hypervelocity impact processes

We present new measurements concerning generation of light flash during hypervelocity impacts. We use iron particles (10⁻¹³ to 10⁻¹⁷ kg) with velocities over the range 1 to 42 km/s impacting semi-infinite targets (aluminium and molybdenum). The main results of previous work in the field are found to be reproduced with some slight deviations. For iron projectiles with given mass and velocity the energy of the flash (normalized to mass) is proportional to velocity to the power of 3.5 for aluminium targets and 3.9 for molybdenum targets. The duration of the flash is of order 1 microsecond. Simultaneous measurements of the generation of impact plasma do not change this. The onset of plasma generation of the bulk target material does not affect the total light flash energy. We discuss the duration of the flash compared to a simple calculation of temperature in the target and plasma vs time.     

Nanotechnology-based molecular test equipment (MTE)

This paper describes original research efforts in the design, simulation, and development of nanotechnology-based molecular test equipment (MTE). This is a research effort for testing printed circuit boards independent of traditional automatic test equipment (ATE) through the fabrication of MTE within integrated circuits (ICs). The MTE is embedded within the IC substrate and encapsulated within nanoprobes that connect between the surface and the substrate of the IC at various functional areas. A process is followed whereby IC device simulation is performed to assess the electrical, chemical, and structural properties of integrated and adjacent substrate devices. Through this approach the nominal and failed device performance parameters of interest to substrate-based MTE are found. Discussion of the development and application of MTE within IC architectures is provided, including such topics as the effect of substrate composition on the design and realization of MTE, interfaces between MTE and IC devices, and reporting of MTE results to the IC surface and technician. Potential application areas within different device functions will also be identified. A chemical structure diagram is also provided to illustrate the implementation of MTE using discrete device configurations with MTE-augmented logic     

Aeolian Processes and their Effects on Understanding the Chronology of Mars

Aeolian (wind) processes can transport particles over large distances on Mars, leading to the modification or removal of surface features, formation of new landforms, and mantling or burial of surfaces. Erosion of mantling deposits by wind deflation can exhume older surfaces. These processes and their effects on the surface must be taken into account in using impact crater statistics to derive chronologies on Mars. In addition, mapping the locations, relative ages, and orientations of aeolian features can provide insight into Martian weather, climate, and climate history.