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     

SETI education programs in Australia

This paper discusses and evaluates two innovative SETI education programs conducted at the University of Western Sydney, viz: the SETI Pathways Program and the Life in the Universe Curriculum Project.     

An experimental investigation of three eigen DF techniques

The comparative direction-finding (DF) performance of multiple signal classification (MUSIC), ROOT-MUSIC, and estimation of signal parameters via rotational invariance techniques (ESPRIT) is considered. Data were collected from two target transmitters operating simultaneously. The objective of the experiment was to evaluate multipath resolution capability using measurement precision equivalent to that found in modern radio direction-finding systems     

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     

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.     

Relative positioning of multiple moving platforms using GPS

To obtain subdecimeter level accuracy in relative kinematic positioning, the use of double differenced GPS carrier phase measurement with carrier phase ambiguities fixed to their correct integer values must be adopted. If multiple platforms are available in the configuration, the redundancy provided by the multiplicity of platforms can speed up the time to integer ambiguity fixing while at the same time improve the reliability of the solution. An approach to effectively construct ambiguity constraints through the multiplicity of platforms is presented herein. The use of these ambiguity constraints to position multiple moving platforms with respect to each other is then discussed. A series of simulations and field tests are designed and conducted to investigate the effects of different system parameters on this approach, with a configuration of up to 10 moving platforms. The test results show that the use of ambiguity constraints can improve the time to integer ambiguity fixing by up to 67%, relative to the case when no constraints are used. In addition, the use of ambiguity constraints is found to enhance the ability of the multiple platform system to detect wrong ambiguity fixes.     

Automated video protection, monitoring & detection

The latest generation of computer vision technology is revolutionizing concepts, applications, and products in video surveillance and CCTV. This is of prime relevance to security for large outdoor facilities such as commercial airfields, refineries, power plants, and office/industrial campuses. Most airfields, for example, have open (unfenced) perimeters, high volume heterogeneous traffic, are easily accessed on foot or by water, and exist in areas where regulations providing a safety buffer are difficult to legislate or enforce. And all airfields require 24/7 outdoor monitoring - snow, fog, rain, or shine. Likewise, most high-value facilities appealing to criminals and terrorists are in close proximity to public areas (roads, residences, city, etc.). The appeal of automated real-time surveillance is obvious $maximizing efficiency and effectiveness of security personnel and resources while increasing the probability of preventing a serious security breach. Computer vision based solutions have the potential for very discriminating detection and very low false alarms. The bottom line is that applied computer vision has the potential for the greatest return on investment (ROI), both short-term and long-term.     

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.