Reconstruction of polygonal sets by constrained and unconstrained double probing

The problem of recovering the shape of planar objects arises in robotics. This work deals with this problem under the assumption that composite double probings are made. Two kinds of double probes are considered and their use for reconstructing convex planar polygons is investigated. For both kinds of probes, lower bounds on the number of probings required for reconstruction under any strategy are obtained and specific strategies which are proven to be almost optimal are provided.     

A real-time neural system for color constancy

A neural network approach to the problem of color constancy is presented. Various algorithms based on Land's retinex theory are discussed with respect to neurobiological parallels, computational efficiency, and suitability for VLSI implementation. The efficiency of one algorithm is improved by the application of resistive grids and is tested in computer simulations; the simulations make clear the strengths and weaknesses of the algorithm. A novel extension to the algorithm is developed to address its weaknesses. An electronic system that is based on the original algorithm and that operates at video rates was built using subthreshold analog CMOS VLSI resistive grids. The system displays color constancy abilities and qualitatively mimics aspects of human color perception.     

Fast algorithms for estimating the correlation functions of large signals

A fast algorithm is proposed for estimating the auto- and cross-correlation functions of a large signal. The algorithm is based on the sectioning method by the fast Fourier transform. We determine the optimal length of the portion of data read from external memory into RAM which achieves T_min—a minimum processing time. An estimate of T_min is obtained.Translated from Kibernetika, No. 3, pp. 78–81, May–June, 1991.     

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     

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%.     

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.