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     

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.     

Structure of the Venusian atmosphere from surface up to 100 km

The goal of this paper is to summarize the experimental data on the atmosphere of Venus obtained after 1985, when the VIRA (Venus International Reference Atmosphere) or COSPAR model was published. Among the most important results that have appeared since then are the following: measurements of the vertical temperature profile by the VEGA spacecraft with high precision and high altitude resolution; measurements made with balloons of the VEGA spacecraft; radio occultation measurements of Magellan, Venera-15, and Venera-16; and temperature profiles derived from the data of infrared spectrometry obtained by Venera-15. The new result as compared to VIRA is the creation of a model of the atmosphere in the altitude range 55 to 100 km dependent on local time. This model is presented in our paper in tabulated form.     

rom 15 sel

with primary goat embryonic fibroblast showed no difference from traditional feederlayer-based culture method used in mouse and human. The putative primary EG colonies were multilayer clumps ofcompact cel     

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.