An expert diagnostic system for the MACRO experiment at the GranSasso Laboratory

The maintenance of the MACRO (a Monopoles, Astrophysics and Cosmic Ray Observatory), a large-area detector that will be used to search for rare constituents or phenomena in cosmic radiation penetrating deep underground, is addressed. A real-time expert system for diagnosing detector and data acquisition system anomalies, which is based on the NEXPERT commercial tool, is described. It performs online diagnosis and, if an abnormal condition is identified, takes the appropriate action to reduce the unavailability of the apparatus. The data acquisition system is CAMAC-based, and the sensor modules, which gather the significant values for diagnosis, are implemented in the VME crate     

Seasat over-land scatterometer data. I. Global overview of theKu-band backscatterer coefficients

Statistics on the backscatter coefficient σ⁰ from the Ku-band Seasat-A Satellite Scatterometer (SASS) collected over the world's land surfaces are presented. This spaceborne scatterometer provided data on σ⁰ between latitude 80° S and 80° N at incidence angles up to 70°. The global statistics of vertical (V) and horizontal (H) polarization backscatter coefficients for 10° bands in latitude are presented for incidence angles between 20° and 70° and compared with the Skylab and ground spectrometer results. Global images of the time-averaged V polarization σ⁰ at a 45° incidence angle and its dependence on the incidence angle are presented and compared to a generalized map of the terrain type. Global images of the differences between the V an H polarization backscatter coefficients are presented and discussed. The most inhomogeneous region, which contains the deserts of North Africa and the Arabian Peninsula, is studied in greater detail and compared with the terrain type     

A study of three techniques used in the diffraction analysis ofshaped dual-reflector antennas

An examination is presented of three techniques used for the efficient computation of fields diffracted by a subreflector that has been shaped by geometrical optics synthesis. It is found that these techniques, which are based on the geometrical theory of diffraction (GTD), produce errors in the computed fields that are specific to shaped reflectors. These errors are examined for a reflector system shaped to produce maximum gain from a tapered feed illumination. The discrepancies are directly related to the caustic being located near an observation point of the GTD calculations. The errors found are localized, and they increase in magnitude as the caustic approaches the main reflector. In a general offset geometry, the location of the caustic may be located arbitrarily close to the main reflector given a prescribed output aperture distribution. For the specific case considered here-the common situation of shaping to produce maximum gain-the caustic is located near the edge of the main reflector and on the reflection shadow boundary. A local correction is derived which creates a uniform solution through the caustic and across the reflection shadow boundary. Away from this point the calculation recedes to the standard GTD solution     

Electromagnetic scattering by a straight thin wire

The traveling-wave energy, which multiply diffracts on a straight thin wire, is represented as a sum of terms, each with a distinct physical meaning, that can be individually examined in the time domain. Expressions for each scattering mechanism on a straight thin wire are cast in the form of four basic electromagnetic wave concepts: diffraction, attachment, launch, and reflection. Using the basic mechanisms from P.Ya. Ufimtsev (1962), each of the scattering mechanisms is included into the total scattered field for the straight thin wire. Scattering as a function of angle and frequency is then compared to the moment-method solution. These analytic expressions are then extended to a lossy wire with a simple approximate modification using the propagation velocity on the wire as derived from the Sommerfeld wave on a straight lossy wire. Both the perfectly conducting and lossy wire solutions are compared to moment-method results, and excellent agreement is found. As is common with asymptotic solutions, when the electrical length of wire is smaller than 0.2 λ the results lose accuracy. The expressions modified to approximate the scattering for the lossy thin wire yield excellent agreement even for lossy wires where the wire radius is on the order of skin depth     

Single- and multiobjective evolutionary optimization assisted by Gaussian random field metamodels

This paper presents and analyzes in detail an efficient search method based on evolutionary algorithms (EA) assisted by local Gaussian random field metamodels (GRFM). It is created for the use in optimization problems with one (or many) computationally expensive evaluation function(s). The role of GRFM is to predict objective function values for new candidate solutions by exploiting information recorded during previous evaluations. Moreover, GRFM are able to provide estimates of the confidence of their predictions. Predictions and their confidence intervals predicted by GRFM are used by the metamodel assisted EA. It selects the promising members in each generation and carries out exact, costly evaluations only for them. The extensive use of the uncertainty information of predictions for screening the candidate solutions makes it possible to significantly reduce the computational cost of singleand multiobjective EA. This is adequately demonstrated in this paper by means of mathematical test cases and a multipoint airfoil design in aerodynamics.     

Multifunctional logic modules consisting of elements with bilateral conductance

Multifunctional logic modules consisting of elements with bilateral conductance are proposed; when realizing Boolean formulas in the basis {&;, v, !} consisting of at most six letters, these modules have no element redundancy. If the basis has more than six letters, then the redundancy does not exceed 33%.     

Evolutionary algorithms and de novo peptide design

One of the goals of computational chemistry is the automated de novo design of bioactive molecules. Despite significant progress in computational approaches to ligand design and efficient evaluation of binding energy, novel procedures for ligand design are required. Evolutionary computation provides a new approach to this design issue. This paper presents an automated methodology for computer-aided peptide design based on evolutionary algorithms. It provides an automatic tool for peptide de novo design, based on protein surface patches defined by user. Regarding the restrictive constrains of this problem a special emphasis has been made on the design of the evolutionary algorithms implemented.     

International Working Group on Assurance Cases (for Security)

Critical systems are aptly named - from electric power to water and gas to the telephone system and the Internet, they're all critical to some aspect of our daily lives. We're a networked society and as such, it's important to both know whether critical systems are trustworthy and be able to communicate, review, and debate the level of trust achieved in them. In the safety domain, explicit safety cases are increasingly required by law, regulations, and standards. In this article, we outline what a small, international group of experts, spanning various disciplines in safety, security, reliability, and critical infrastructure, been doing with the International Working Group on Assurance Cases (for Security), what we hope to achieve, and where we go next.