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     

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     

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.     

The influence of dose, dose-rate and particle fragmentation on cataract induction by energetic iron ions.

Because activities in space necessarily involve chronic exposure to a heterogeneous charged particle radiation field it is important to assess the influence of dose-rate and the possible modulating role of heavy particle fragmentation on biological systems. Using the well-studied cataract model, mice were exposed to plateau 600 MeV/amu 56Fe ions either as acute or fractionated exposures at total doses of 5 - 504 cGy. Additional groups of mice received 20, 360 and 504 cGy behind 50 mm of polyethylene, which simulates body shielding. The reference radiation consisted of 60Co gamma radiation. The animals were examined by slit lamp biomicroscopy over their three year life spans. In accordance with our previous observations with heavy particles, the cataractogenic potential of the 600 MeV/amu 56Fe ions was greater than for low-LET radiation and increased with decreasing dose relative to gamma-rays. Fractionation of a given dose of 56Fe ions did not reduce the cataractogenicity of the radiation compared to the acute regimen. Fragmentation of the beam in the polyethylene did not alter the cataractotoxicity of the ions, either when administered singly or in fractions.     

The Electron Beam Instrument (F6) on Freja

The Electron Beam Instrument (F6) onFreja is the first attempt to apply the electron drift technique in a region of large ambient magnetic fields. The paper describes the operational principles, the technical realization, and the difficulties encountered in the derivation of the electric fields.     

Field formation around negatively biased solar arrays in the LEO-plasma

Heavy emission caused by impacting plasma ions results in a fast discharging effect of the initially large surface potentials on the dielectric solar cells. This eventually counteracts the energization process of the plasma ions to the cover glasses and leaves no significant electric fields. Thus, with an existing thermal plasma, electrons are again able to reach dielectric surfaces. Strong localized electric fields of the order of several 10 kV/cm form near the interconnector-cover glass interface.     

胶州湾环境污染—卫星遥感信息分析

陆地卫星主题绘图仪(TM)图象和我国国土普查卫星全景相机照片解译分析与现场调查表明,胶州湾东岸工业废水污染相当严重,主要污染源集中在海泊河、李村河、娄山河以及沧口区沿海一线,污染水带宽达4～7km,在落潮流携带下扩散至湾口外海。由青岛碱厂排污形成的“白滩”污染区现有面积为0.53km~2。青岛市大气污染严重,源自市区的烟羽宽达14km,顺风飘逸远达30km,势必造成酸雨等灾害。