BASEL - The base language for an extensible language facility

Basic language for extensible language facilit

Real-Time Vector Automata

We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected $k \times k$ matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and "blind" versions of these machines are studied and compared with each other, and the associated classes for multicounter automata, automata with multiplication, and generalized finite automata.Comment: 14 page

The re-emission spectrum of digital hardware subjected to EMI

The emission spectrum of digital hardware under the influence of external electromagnetic interference is shown to contain information about the interaction of the incident energy with the digital circuits in the system. The generation mechanism of the re-emission spectrum is reviewed, describing how nonlinear effects may be a precursor to the failure of the equipment under test. Measurements on a simple circuit are used to demonstrate how the characteristics of the re-emission spectrum may be correlated with changes to the digital waveform within the circuit. The technique is also applied to a piece of complex digital hardware where Similar, though more subtle, effects can be measured. It is shown that the re-emission spectrum can be used to detect the interaction of the interference with the digital devices at a level well below that which is able to cause static failures in the circuits. The utility of the technique as a diagnostic tool for immunity testing of digital hardware, by identifying which subsystems are being affected by external interference, is also demonstrated