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     

Isotopic Criteria for Identification of Organic Carbon on Earth and Meteorites

Contrary to the often stated view, an enrichment of organic material in the light isotope is not a conclusive evidence of its life-related origin. The β¹³C - σ¹³C correlation is a special feature of biological systems. Therefore it can be used as a criterion for identification of organic carbon. A survey of the available isotopic data for organic compounds in meteorites shows that they do not comply with the β¹³C - σ¹³C correlation. The prevalence of amino and hydroxy acids in purines and sugars found in carbonaceous meteorites indicates that condensation of HCN and HCHO passed through cyanohydrin reaction, while biological evolution proceeds through formation of adenosine triphosphate (ATP). This, in addition to the isotope criterion, indicates that the organic compounds in carbonaceous chondrites are not life-related substances. This revised version was published online in August 2006 with corrections to the Cover Date.     

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.     

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.     

Real-Time Specifications of the Geospace Environment

We report the recent progress in our joint program of real-time mapping of ionospheric electric fields and currents and field-aligned currents through the Geospace Environment Data Analysis System (GEDAS) at the Solar-Terrestrial Environment Laboratory and similar computer systems in the world. Data from individual ground magnetometers as well as from the solar wind are collected by these systems and are used as input for the KRM and AMIE magnetogram-inversion algorithms, which calculate the two-dimensional distribution of the ionospheric parameters. One of the goals of this program is to specify the solar-terrestrial environment in terms of ionospheric processes, providing the scientific community with more than what geomagnetic activity indices and statistical models provide. This revised version was published online in August 2006 with corrections to the Cover Date.     

Covariance matrix estimation for adaptive CFAR detection incompound-Gaussian clutter

We address the estimation of the structure of the covariance matrix and its application to adaptive radar detection of coherent pulse trains in clutter-dominated disturbance modeled as a compound-Gaussian process. For estimation purposes we resort to range cells in spatial proximity with that under test and assume that these cells, free of signal components, can be clustered into groups of data with one and the same value of the texture. We prove that, plugging the proposed estimator of the structure of the covariance matrix into a previously derived detector, based upon the generalized likelihood ratio test (GLRT), leads to an adaptive detector which ensures the constant false alarm rate (CFAR) property with respect to the clutter covariance matrix as well as the statistics of the texture. Finally, we show that this adaptive receiver has an acceptable loss with respect to its nonadaptive counterpart in cases of relevant interest for radar applications     

Measuring the matter distribution within z = 0.2 cluster lenses with XMM-Newton

We present an analysis of seven clusters observed by XMM-Newton as part of our survey of 17 most X-ray luminous clusters of galaxies at z  0.2 selected for a comprehensive and unbiased study of the mass distribution in massive clusters. Using the public software FTOOLS and XMMSAS we have set up an automated pipeline to reduce the EPIC MOS and pn spectro-imaging data, optimized for extended sources analysis. We also developped a code to perform intensive spectral and imaging analysis particularly focussing on proper background estimate and removal. XMM-Newton deep spectro-imaging of these clusters allowed us to fit a standard β-model to their gas emission profiles as well as a standard MEKAL emission model to their extracted spectra, and test their inferred characteristics against already calibrated relations.