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     

Ultrastructural analysis of organization of roots obtained from cell cultures at clinostating and under microgravity.

Data are presented of a comparative analysis on rhizogenesis in the Arabidopsis thaliana tissue culture growing in a solid nutrient medium under stationary conditions, clinostatic conditions and microgravity. Tissue samples weighing 100 mg. were set in the Petri dishes and placed in a horizontal slow clinostat /2 revs/min/. After 14 days of growth they were analyzed. On clinostating the number of roots formed from the callus cells was approximately one half the control. The formed root cap manifested no essential differences, in comparison with the stationary control, in the number of layers and cell sizes in its layers. In callusogenic roots, formed from clinostated cells, differentiation including root cap cells, proceeds without noticeable deviations from the norm. At the same time, gravireceptor cells do not function under these conditions. This is clearly displayed at a structural level in the location of amyloplasts-statoliths throughout the cytoplasm. The callus cell cultures experienced microgravity for 8 days. The number of formed roots under the influence of this factor was 36% relative to the stationary control. Root cap formation was abnormal. Gravireceptor cells did not formed under microgravity.     

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.     

Application of Gram-Schmidt algorithm to fully adaptive arrays

The Gram-Schmidt orthogonalization (GSO) algorithm has excellent numerical performance and is readily applicable to systolic implementations such as in a field of adaptive cancellation systems. A modified GSO algorithm for a fully adaptive array is proposed and computer simulations show that the proposed algorithm gives superior performance. A systolic implementation of the proposed GSO algorithm for fully adaptive array is presented. A feedback mode GSO algorithm for use with analog weights is also presented and has been shown to have excellent performance in the presence of weight errors     

Public Attitudes Towards Space Science

Astronomy and space science, including their associated basic research activities, enjoy broad popular backing. People generally support them, and say that they follow their results with interest. This article summarizes some of the detailed results of public surveys in the United States, focusing on popular opinions and attitudes, and the somewhat paradoxical finding that despite being interested and supportive, people are often ignorant about the basic facts. I explore some of the reasons for the popularity of space science, and suggest ways of justifying space science research in the broader context of science research. I argue that vigorous and innovative education and outreach programs are important, and can be made even more effective. This revised version was published online in June 2006 with corrections to the Cover Date.     

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.     

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.