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     

High Dynamic GPS Receiver Using Maximum Likelihood Estimationand Frequency Tracking

A new high dynamic global positioning system (GPS) receiver ispresented and its performance characterized by analysis,simulation, and demonstration. The demonstration receiver is abreadboard model capable of tracking a single simulated satellitesignal in pseudorange and range rate. Pseudorange and range rateestimates are made once every 20 ms, using a maximum likelihoodestimator, and are tracked by means of a third-order fadingmemory filter in a feedback configuration. The receiver trackspseudorange with rms errors of under 1 m when subjected tosimulated 50 g, 40 g/s circular trajectories. The tracking thresholdis approximately 28 dB·Hz, which provides 12 dB margin relativethe the minimum specified signal strength, assuming 3.5 dB systemnoise figure and 0 dB antenna gain.     

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.     

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     

Molecular alterations in tumorigenic human bronchial and breast epithelial cells induced by high LET radiation.

Carcinogenesis is a multi-stage process with sequence of genetic events governing the phenotypic expression of a series of transformation steps leading to the development of metastatic cancer. In the present study, immortalized human bronchial (BEP2D) and breast (MCF-10F) cells were irradiated with graded doses of either 150 keV/micrometer alpha particles or 1 GeV/nucleon 56Fe ions. Transformed cells developed through a series of successive steps before becoming tumorigenic in nude mice. Cell fusion studies indicated that radiation-induced tumorigenic phenotype in BEP2D cells could be completely suppressed by fusion with non-tumorigenic BEP2D cells. The differential expressions of known genes between tumorigenic bronchial and breast cells induced by alpha particles and their respective control cultures were compared using cDNA expression array. Among the 11 genes identified to be differentially expressed in BEP2D cells, three (DCC, DNA-PK and p21(CIP1)) were shown to be consistently down-regulated by 2 to 4 fold in all the 5 tumor cell lines examined. In contrast, their expressions in the fusion cell lines were comparable to control BEP2D cells. Similarly, expression levels of a series of genes were found to be altered in a step-wise manner among tumorigenic MCF-10F cells. The results are highly suggestive that functional alterations of these genes may be causally related to the carcinogenic process.     

Scanning, Tracking, and Mapping State Variable Estimation Algorithms

Recursive state equation estimation algorithms are derived to determine optimal estimation error covariance and state estimate for a linear dynamic system, driven by time-varying and positionverying (or angle-varying) functions whose a priori covariance are described. Retracing the same trajectory with the system measuring device causes the position varying function to repeat and can significantly reduce estimation errors. Applications for these algorithms include improving accuracy of a position dependent quantity to be mapped, or recursively processing radar or sonar data from repeating scans over the same area. Three types of return path patterns are considered: 1) multiple independent returns, 2) reverse returns, and 3) cyclical returns.     

Protection by WR-2721 and WR-151327 against late effects of gamma rays and neutrons.

Two thiophosphoroate compounds WR-2721 and WR-151327 were assessed for their ability to modify the deleterious effects (life shortening and carcinogenesis) of fission-spectrum neutrons (kerma-weighted mean energy of 0.85 MeV) or gamma rays on B6CF1 hybrid mice. Male and female mice, 200 of each sex per experimental group, were irradiated individually at 110 days of age. Radioprotectors (400 mg/kg of WR-2721 or 580 mg/kg of WR-151327) were administered intraperitoneally 30 min prior to irradiation. Neutron doses were 10 cGy or 40 cGy and gamma ray doses were 206 cGy or 417 cGy. Animals were housed five to a cage; cage locations in the holding rooms were randomized by computer. Animals were checked daily and all deceased animals were necropsied. WR-2721 afforded protection against both neutron- and gamma-ray-induced carcinogenesis and subsequent life shortening. Cumulative survival curves for unirradiated mice of either sex were unaffectecd by protectors. WR-2721 protected irradiated groups against life shortening by approximately 10 cGy of neutrons or 100 cGy of gamma rays. WR-151327 was as effective as WR-2721 against neutron irradiation.     

Robust Kalman filter design for predictive wind shear detection

Severe low-altitude wind shear is a threat to aviation safety. Newly developed airborne sensors measure the radial component of wind along a line directly in front of an aircraft. The authors use optimal estimation theory to define a detection algorithm to warn of hazardous wind shear from these sensors. To achieve robustness, a wind shear detection algorithm must distinguish threatening wind shear from less hazardous gustiness, despite variations in wind shear structure. Statistical analysis methods to refine wind shear detection algorithm robustness are presented. Computational methods predict the ability to warn of severe wind shear and avoid false warning. Comparative capability of the detection algorithm as a function of its design parameters is determined, identifying designs that provide robust detection of severe wind shear     

A study on thin walled intersecting spheres

Intersecting spheres are useful in the design of pressure vessels for weight limited situations as in the case of space or ocean applications. This paper treats the general problem of N intersecting spheres demonstrating that mass reduction can be achieved in relation to the single sphere that encloses the same internal volume. It is shown that this reduction approaches asymptotically the value of 39.5%.