Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

An experiment with an S-band radar using pulse compression andrange sidelobe suppression for meteorological measurements

A major technology barrier to the application of pulse compression for the meteorological functions required by a next generation ATC radar is range/time sidelobes which mask and corrupt observations of weak phenomena occurring near areas of strong extended meteorological scatterers. Techniques for suppressing range sidelobes are well known but without prior knowledge of the scattering medium's velocity distribution their performance degrades rapidly in the presence of Doppler. Recent investigations have presented a “doppler tolerant” range sidelobe suppression technique. The thrust of the work described herein is the extension of previous simulations to actual transmitted dispersed/coded waveforms using the S-band surveillance radar located at Rome Laboratory Surveillance Facility. The objectives of the experiment are: 1) to extend the verification of the simulation of the Doppler tolerant technique; and 2) to demonstrate that the radar transmitter, waveform generator, and receiver imperfections do not significantly degrade resolution, performance or reliability of meteorological spectral moment estimates     

Radiation situation determining the possibility of a manned flight to Mars and back.

Possible manned flights toward Mars are discussed from the viewpoint of radiation hazard. A standard situation is considered for the fast two times crossing of the Earth radiation belts. The flight to Mars is shown to be practically impossible without a special system of radiation shelters, because of the effect of penetrating galactic and solar radiations which are responsible for almost maximum permissible doses. But even in case there were radiation shelters on board the spacecraft their flights are undesirable in the periods of maximum and minimum solar activity. It would obviously be worthwhile to schedule Martian flights for intervals in between minima and maxima of 11-year cycles of solar activity when primary cosmic rays levels are considerable reduced and flare activity is not yet sufficiently high. It should be mentioned that it would not be easy to select such allowed intervals. Further studies of that aspect are discussed.     

First estimations of the aerosol optical thickness using Langley Method at Southern Brazil (29.4°S, 53.8°W)

The first estimations of the aerosol optical thickness (AOT) using Langley Method at Southern Space Observatory (SSO) at Southern Brazil (29.4°S, 53.8°W) are presented. In addition to ozone and sulphur dioxide columns, AOT can be obtained using Brewer Spectrophotometer at specific wavelengths: 306.3, 310.1, 313.5, 316.8 and 320.1 nm. The AOT was obtained for the period from November/2002 to May/2003. Very low AOT averages were obtained, whose values were about 0.21 ± 0.03 at 306.3 nm, 0.21 ± 0.02 at 310.1 nm, 0.19 ± 0.02 at 313.5 nm, 0.20 ± 0.02 at 316.8 nm and 0.20 ± 0.02 at 320.0 nm for all period analysed. Different behaviour of AOT were obtained at two daily specific periods of aerosol accumulation, one in the afternoons from November/2002 to February/2003, caused mainly by a mild biomass burning season’s in the region and other in the mornings from March to May/2003, due the high relative humidity presented in the region studied.     

Problem of precision missile guidance: LQR and H/sup /spl infin// control frameworks

Addressed here is the precision missile guidance problem where the successful intercept criterion has been defined in terms of both minimizing the miss distance and controlling the missile body attitude with respect to the target at the terminal point. We show that the H/sup /spl infin// control theory, when suitably modified, provides an effective framework for the precision missile guidance problem. The existence of feedback controllers (guidance laws) is investigated for the case of finite horizon and non-zero initial conditions. Both state feedback and output feedback implementations are explored.     

Monte Carlo transport model comparison with 1A GeV accelerated iron experiment: heavy-ion shielding evaluation of NASA space flight-crew foodstuff.

Deep-space manned flight as a reality depends on a viable solution to the radiation problem. Both acute and chronic radiation health threats are known to exist, with solar particle events as an example of the former and galactic cosmic rays (GCR) of the latter. In this experiment Iron ions of 1A GeV are used to simulate GCR and to determine the secondary radiation field created as the GCR-like particles interact with a thick target. A NASA prepared food pantry locker was subjected to the iron beam and the secondary fluence recorded. A modified version of the Monte Carlo heavy ion transport code developed by Zeitlin at LBNL is compared with experimental fluence. The foodstuff is modeled as mixed nuts as defined by the 71st edition of the Chemical Rubber Company (CRC) Handbook of Physics and Chemistry. The results indicate a good agreement between the experimental data and the model. The agreement between model and experiment is determined using a linear fit to ordered pairs of data. The intercept is forced to zero. The slope fit is 0.825 and the R2 value is 0.429 over the resolved fluence region. The removal of an outlier, Z=14, gives values of 0.888 and 0.705 for slope and R2 respectively.     

Satellite mobile communications spread-spectrum receiver

Since 1999, ESA has conducted a number of system studies and technological developments to support the European and Canadian industry in the definition of a Satellite UMTS (S-UMTS) component development strategy, identifying critical technological areas and promoting S-UMTS demonstrations. In particular, the MUSIC project has successfully demonstrated advanced digital signal processing techniques to mitigate CDMA interference in spread-spectrum receivers, thus increasing the capacity and/or quality of service of a wireless communication network. The low-complexity solution for interference mitigation investigated and developed in the project is particularly suited for being implemented in mobile terminals.     

Effects of spaceflight (STS-87) on tropisms and plastid positioning in protonemata of the moss Ceratodon purpureus.

Apical cells of moss protonemata represent a single-celled system that perceives and reacts to light (positive and negative phototropism) and to gravity (negative gravitropism). Phototropism completely overrides gravitropism when apical cells are laterally irradiated with relatively high red light intensities, but below a defined light intensity threshold gravitropism competes with the phototropic reaction. A 16 day-long exposure to microgravity conditions demonstrated that gravitropism is allowed when protonemata are laterally illuminated with light intensities below 140 nmol m-2s-1. Protonemata that were grown in darkness in microgravity expressed an endogenous tendency to grow in arcs so that the overall culture morphology resembled a clockwise spiral. However this phenomenon only was observed in cultures that had reached a critical age and/or size. Organelle positioning in dark-grown apical cells was significantly altered in microgravity. Gravisensing most likely involves the sedimentation of starch-filled amyloplasts in a well-defined area of the tip cell. Amyloplasts that at 1-g are sedimented were clustered at the apical part of the sedimentation zone in microgravity. Clustering observed in microgravity or during clino-rotation significantly differs from sedimentation-induced plastid aggregations after inversion of tip cells at 1-g.     

The influence of dose, dose-rate and particle fragmentation on cataract induction by energetic iron ions.

Because activities in space necessarily involve chronic exposure to a heterogeneous charged particle radiation field it is important to assess the influence of dose-rate and the possible modulating role of heavy particle fragmentation on biological systems. Using the well-studied cataract model, mice were exposed to plateau 600 MeV/amu 56Fe ions either as acute or fractionated exposures at total doses of 5 - 504 cGy. Additional groups of mice received 20, 360 and 504 cGy behind 50 mm of polyethylene, which simulates body shielding. The reference radiation consisted of 60Co gamma radiation. The animals were examined by slit lamp biomicroscopy over their three year life spans. In accordance with our previous observations with heavy particles, the cataractogenic potential of the 600 MeV/amu 56Fe ions was greater than for low-LET radiation and increased with decreasing dose relative to gamma-rays. Fractionation of a given dose of 56Fe ions did not reduce the cataractogenicity of the radiation compared to the acute regimen. Fragmentation of the beam in the polyethylene did not alter the cataractotoxicity of the ions, either when administered singly or in fractions.