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     

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.     

Coarse attitude determination from Earth albedo measurements

Attitude estimation algorithms for the Thrusted Vector Mission which determine attitude based on Sun sensor and very coarse albedo sensor measurements are presented. On the basis of these measurements, it has been demonstrated by comparison with more accurate gyro-based attitude that it is possible to estimate three-axis attitude with an average error per axis of 11 deg. Most of this error is about the Sun direction. Both deterministic quick-look and optimal estimates are examined     

A large-scale perspective on ecosystems.

Interactions between ecological elements must be better understood in order to construct an ecological life support system in space. An index was devised to describe the complexity of material cyclings within a given ecosystem. It was then applied to the cyclings of bioelements in various systems of material cyclings including the whole Earth and national economies. The results show interesting characteristics of natural and man-made systems.     

Adaptive Forward Error Control for Digital Satellite Systems

Two hybrid schemes of time-frequency resource sharing to increase the rain margin of Ku-and Ka-band satellite systems are proposed. Scheme 1 requires sharing a small pool of bandwidth for adaptive forward error control coding, sharing a small pool of time frame for rate reduction, and sharing a portion of low frequency time-division multiple access (TDMA) back-up frame for downlink transmission to the rain affected stations. Scheme 2 utilizes variable rate modulation and forward error correction, shares a small pool of time frame for rate reduction, and shares a portion of low frequency TDMA back-up frame. Effective usable capacities of the system using these schemes are calculated. Distribution of resources in order to maximize the effective usable capacity is also analyzed. The results obtained are compared with other adaptive schemes. Preliminary analysis shows that the utilized capacity of scheme 1 exceeds 99 percent of the effective usable capacity possible if it never rains for an outage of 0.05 percent and fade margin of 2.5 dB. For scheme 2 similar performance is achievable at a fade margin of 1.5 dB. For higher outage objectives the loss of effective utilized capacity is higher for scheme 2.     

Ginga observations of Seyfert galaxies

We observed twenty-eight Seyfert 2 galaxies with the Japanese X-ray satellite, Ginga, and found Seyfert 2 galaxies, in general, have the X-ray spectral characteristics of obscured Seyfert 1 nuclei. This result agrees with the predictions from Unified Seyfert model proposed by Antonucci and Miller /1/. However, among the observed Seyfert 2 galaxies, there are a few galaxies with no evidence of an obscuration, contrary to the general predictions of the unified model. We note that type 2 AGN will contribute to the Cosmic Diffuse X-ray Background, if the unified Seyfert model can be extended to the far distant AGN such as quasars.     

The SOHO CELIAS/SEM EUV database from SC23 minimum to the present

The SOHO Solar EUV Monitor has been in operation since December 1995 onboard the SOHO spacecraft. This instrument is a highly stable transmission grating solar extreme ultraviolet spectrometer. It has made nearly continuous full disk solar irradiance measurements both within an 8 nm bandpass centered at 30.4 nm and throughout the 0.1 to 50 nm solar flux region since launch. The 30.4 nm flux, the 0.1 to 50 nm flux and the extracted soft X-ray (0.1 to 5 nm) flux are presented and compared with the behavior of solar proxies.     

Modeling stress strain state of thin shells with a degenerating domain

We consider a possibility to apply the method of analyzing the complex-shaped shells, proposed in [1], for determining the stress strain state of thin shells with a degenerating domain. The results of numerical calculations are presented.