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     

Distributed decision fusion using empirical estimation

The problem of optimal data fusion in multiple detection systems is studied in the case where training examples are available, but no a priori information is available about the probability distributions of errors committed by the individual detectors. Earlier solutions to this problem require some knowledge of the error distributions of the detectors, for example, either in a parametric form or in a closed analytical form. Here we show that, given a sufficiently large training sample, an optimal fusion rule can be implemented with an arbitrary level of confidence. We first consider the classical cases of Bayesian rule and Neyman-Pearson test for a system of independent detectors. Then we show a general result that any test function with a suitable Lipschitz property can be implemented with arbitrary precision, based on a training sample whose size is a function of the Lipschitz constant, number of parameters, and empirical measures. The general case subsumes the cases of nonindependent and correlated detectors.     

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     

Carbon dioxide and oxygen budgets of a plant cultural system in a CELSS--a case of cultivation of lettuce and turnips.

In order to collect basic data about CO2 and O2 budgets of a plant cultural system in a CELSS, the variation of the CO2 absorption rates of lettuce and turnips were observed during the growing period, under different conditions. The O2 release rates were deduced from the CO2 absorption rates multiplied by 32/44. As a result, when the light intensity, the photoperiod and the atmospheric CO2 concentration increased, the rates also increased. The effects on the turnips were more significant than those on the lettuce. Turnips at 310 micromoles/m2/s of PPFD, 24 hours of photoperiod and 1100 ppm of CO2 concentration grew most actively in the present experimental conditions. One turnip absorbed 32.3 g CO2 and released 23.5 g O2 for 6 days between 24 days and 30 days after sowing.     

Cometary constraints on the planet forming environment.

Molecular elemental and isotopic abundances of comets provide sensitive diagnostics for models of the primitive solar nebula. New measurements of the N2, NH and NH2 abundances in comets together with the in situ Giotto mass spectrometer and dust analyzer data provide new constraints for models of the comet forming environment in the solar nebula. An inventory of nitrogen-containing species in comet Halley indicates that NH3 and CN are the dominant N carriers observed in the coma gas. The elemental nitrogen abundance in the gas component of the coma is found to be depleted by a factor approximately 75 relative to the solar photosphere. Combined with the Giotto dust analyzer results for the coma dust component, we find for comet Halley Ngas + dust approximately 1/6 the solar value. The measurement of the CN carbon isotope ratio from the bulk coma gas and dust in comet Halley indicates a significantly lower value, 12C/13C = 65 +/- 9 than the solar system value of 89 +/- 2. Because the dominant CN carrier species in comets remains unidentified, it is not yet possible to attribute the low isotope ratio predominantly to the bulk gas or dust components. The large chemical and isotopic inhomogeneities discovered in the Halley dust particles on 1 mu scales are indicative of preserved circumstellar grains which survived processing in the interstellar clouds, and may be related to the presolar silicon carbide, diamond and graphite grains recently discovered in carbonaceous chondrites. Less than 0.1% of the bulk mass in the primitive meteorites studied consists of these cosmically important grains. A larger mass fraction (approximately 5%) of chemically heterogeneous organic grains is found in the nucleus of comet Halley. The isotopic anomalies discovered in the PUMA 1 Giotto data in comet Halley are probably also attributable to preserved circumstellar grains. Thus the extent of grain processing in the interstellar environment is much less than predicted by interstellar grain models, and a significant fraction of comet nuclei (approximately 5%) may be in the form of preserved circumstellar matter. Comet nuclei probably formed in much more benign environments than primitive meteorites.     

ERS-1 radial position refinement by dual crossover analysis with TOPEX/Poseidon

Achieving orbital accuracies in the radial direction for ERS-1 commensurate with those for TOPEX/Poseidon is of utmost importance for the integration of the two altimeter data sets. This paper outlines a procedure whereby the radial orbit error for ERS-1 is recovered as a time series expansion in the form of a finite Fourier series with additional terms for atmospheric drag, solar radiation pressure, and initial state vector mismodelling. Using a least squares collocation method with constraints derived from the JGM2 gravity field co-variance matrix, the radial error is recovered using both dual crossovers and ERS-1 single satellite crossovers. Aggregate arcs are then used to derive the ERS-1 orbit error over the repeat period of 35 days. The results are presented in the improvement of fit in the dual crossover, ERS-1 crossover and altimetry data sets as well as the recovery of an altimeter bias for the two satellites.     

Stability of resonance rotation of a satellite with respect to its center of mass in the orbit plane

The stability of resonance oscillations and rotations of a satellite in the plane of its orbit in the case when the difference of the moments of inertia with respect to the principal axes lying in the orbit plane is small is determined at a given rotation number m by the sign of function Φ_m(e), introduced by F.L. Chernous’ko in 1963. In this paper, convenient analytical representations of functions Φ_m(e) are described in the form of integrals and series of Bessel functions regular at e → 1^?. Values of Φ_m(1) are calculated in explicit form. A theorem about the double asymptotic form of functions Φ_m(e) at m → ∞ and e → 1^? is proved by the saddlepoint method.     

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.     

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.