Proving the correctness of the flight director program EADIFD, volume 1

EADIFD is written in symbolic assembly language for execution on the C4000 airborne computer. It is a subprogram of an aircraft navigation and guidance program and is used to generate pitch and roll command signals for use in terminal airspace. The proof of EADIFD was carried out by an inductive assertion method consisting of two parts, a verification condition generator and a source language independent proof checker. With the specifications provided by NASA, EADIFD was proved correct. The termination of the program is guaranteed and the program contains no instructions that can modify it under any conditions

A I-V analysis of irradiated Gallium Arsenide solar cells

A computer program was used to analyze the illuminated I-V characteristics of four sets of gallium arsenide (GaAs) solar cells irradiated with 1-MeV electrons and 10-MeV protons. It was concluded that junction regions (J sub r) dominate nearly all GaAs cells tested, except for irradiated Mitsubishi cells, which appear to have a different doping profile. Irradiation maintains or increases the dominance by J sub r. Proton irradiation increases J sub r more than does electron irradiation. The U.S. cells were optimized for beginning of life (BOL) and the Japanese for end of life (EOL). I-V analysis indicates ways of improving both the BOL and EOL performance of GaAs solar cells

Synthetic aperture radar/LANDSAT MSS image registration

Algorithms and procedures necessary to merge aircraft synthetic aperture radar (SAR) and LANDSAT multispectral scanner (MSS) imagery were determined. The design of a SAR/LANDSAT data merging system was developed. Aircraft SAR images were registered to the corresponding LANDSAT MSS scenes and were the subject of experimental investigations. Results indicate that the registration of SAR imagery with LANDSAT MSS imagery is feasible from a technical viewpoint, and useful from an information-content viewpoint

Gallium Arsenide solar cell radiation damage experiment

Gallium arsenide (GaAs) solar cells for space applications from three different manufactures were irradiated with 10 MeV protons or 1 MeV electrons. The electrical performance of the cells was measured at several fluence levels and compared. Silicon cells were included for reference and comparison. All the GaAs cell types performed similarly throughout the testing and showed a 36 to 56 percent power areal density advantage over the silicon cells. Thinner (8-mil versus 12-mil) GaAs cells provide a significant weight reduction. The use of germanium (Ge) substrates to improve mechanical integrity can be implemented with little impact on end of life performance in a radiation environment

On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission

We consider the scenario where Alice wants to send a secret (classical) $n$-bit message to Bob using a classical key, and where only one-way transmission from Alice to Bob is possible. In this case, quantum communication cannot help to obtain perfect secrecy with key length smaller then $n$. We study the question of whether there might still be fundamental differences between the case where quantum as opposed to classical communication is used. In this direction, we show that there exist ciphers with perfect security producing quantum ciphertext where, even if an adversary knows the plaintext and applies an optimal measurement on the ciphertext, his Shannon uncertainty about the key used is almost maximal. This is in contrast to the classical case where the adversary always learns $n$ bits of information on the key in a known plaintext attack. We also show that there is a limit to how different the classical and quantum cases can be: the most probable key, given matching plain- and ciphertexts, has the same probability in both the quantum and the classical cases. We suggest an application of our results in the case where only a short secret key is available and the message is much longer.Comment: 19 pages, 2 figures. This is a revised version of an earlier version that appeared in the proc. of Eucrocrypt'04:LNCS3027, 200

Magnetic nanowires as permanent magnet materials

We present the fabrication of metallic magnetic nanowires using a low temperature chemical process. We show that pressed powders and magnetically oriented samples exhibit a very high coercivity (6.5 kOe at 140 K and 4.8 kOe at 300 K). We discuss the magnetic properties of these metamaterials and show that they have the suitable properties to realize "high temperature magnets" competitive with AlNiCo or SmCo permanent magnets. They could also be used as recording media for high density magnetic recording.Comment: 5 pages, 5 figure

Using a Gridded Global Dataset to Characterize Regional Hydroclimate in Central Chile

Central Chile is facing dramatic projections of climate change, with a consensus for declining precipitation, negatively affecting hydropower generation and irrigated agriculture. Rising from sea level to 6000 m within a distance of 200 km, precipitation characterization is difficult because of a lack of long-term observations, especially at higher elevations. For understanding current mean and extreme conditions and recent hydroclimatological change, as well as to provide a baseline for downscaling climate model projections, a temporally and spatially complete dataset of daily meteorology is essential. The authors use a gridded global daily meteorological dataset at 0.25° resolution for the period 1948–2008, adjusted by monthly precipitation observations interpolated to the same grid using a cokriging method with elevation as a covariate. For validation, daily statistics of the adjusted gridded precipitation are compared to station observations. For further validation, a hydrology model is driven with the gridded 0.25° meteorology and streamflow statistics are compared with observed flow. The high elevation precipitation is validated by comparing the simulated snow extent to Moderate Resolution Imaging Spectroradiometer (MODIS) images. Results show that the daily meteorology with the adjusted precipitation can accurately capture the statistical properties of extreme events as well as the sequence of wet and dry events, with hydrological model results displaying reasonable agreement with observed streamflow and snow extent. This demonstrates the successful use of a global gridded data product in a relatively data-sparse region to capture hydroclimatological characteristics and extremes

Control methods for Dermanyssus gallinae in systems for laying hens: results of an international seminar

This paper reports the results of a seminar on poultry red mite (PRM), Dermanyssus gallinae. Eighteen researchers from eight European countries discussed life cycle issues of the mite, effects of mites on hens and egg production, and monitoring and control methods for PRM in poultry facilities. It was determined that PRM probably causes more damage than envisaged, with the cost in The Netherlands alone reaching 11 million euro per annum. However a great deal is still unknown about PRM (e.g. reproduction, survival methods, etc.) and that PRM monitoring is an important instrument in recognising and admitting the problem and in taking timely measures. Currently, the most promising control method combines heating the hen house in combination with chemical treatments. Future areas of development which show promise include the use of entomopathogenic fungi, vaccination and predatory mites. The final aim is to solve the problem of D. gallinae in housing systems for laying hens

Optical determination and identification of organic shells around nanoparticles: application to silver nanoparticles

We present a simple method to prove the presence of an organic shell around silver nanoparticles. This method is based on the comparison between optical extinction measurements of isolated nanoparticles and Mie calculations predicting the expected wavelength of the Localized Surface Plasmon Resonance of the nanoparticles with and without the presence of an organic layer. This method was applied to silver nanoparticles which seemed to be well protected from oxidation. Further experimental characterization via Surface Enhanced Raman Spectroscopy (SERS) measurements allowed to identify this protective shell as ethylene glycol. Combining LSPR and SERS measurements could thus give proof of both presence and identification for other plasmonic nanoparticles surrounded by organic shells

Vortex spectrum in superfluid turbulence: interpretation of a recent experiment

We discuss a recent experiment in which the spectrum of the vortex line density fluctuations has been measured in superfluid turbulence. The observed frequency dependence of the spectrum, $f^{-5/3}$, disagrees with classical vorticity spectra if, following the literature, the vortex line density is interpreted as a measure of the vorticity or enstrophy. We argue that the disagrement is solved if the vortex line density field is decomposed into a polarised field (which carries most of the energy) and an isotropic field (which is responsible for the spectrum).Comment: Submitted for publication http://crtbt.grenoble.cnrs.fr/helio/GROUP/infa.html http://www.mas.ncl.ac.uk/~ncfb