Fault evaluation for security-critical communications devices

Communications devices for government or military applications must keep data secure, even when their electronic components fail. Combining information flow and risk analyses could make fault-mode evaluations for such devices more efficient and cost-effective.

Iron(III) and iron(II) complexes of 1-thia-4,7-diazacyclononane ([9]aneN(2)S) and 1,4-dithia-7-azacyclononane ([9]aneNS(2)). X-Ray structural analyses, magnetic susceptibility, Mossbauer, EPR and electronic spectroscopy

The complexes [Fe([9]aneN(2)S)(2)][ClO4](2), [Fe([9]aneN(2)S)(2)][ClO4](3) and [Fe([9]aneNS(2))(2)][ClO4](2) ([9]aneN(2)S = 1-thia-4. 7-diazacyclononane and [9]aneNS(2) = 1,4-dithia-7-azacyclononane) have been prepared and the latter two characterised by X-ray crystallography. The Mossbauer spectra (isomer shift/mm s(-1), quadrupole splitting/mm s(-1), 4.2 K) for [Fe([9]aneN(2)S)(2)][ClO4](2) (0.52, 0.57), [Fe([9]aneN(2)S)(2)][ClO4](3) (0.25, 2.72) and [Fe([9]aneNS(2))(2)][ClO4](2) (0.43, 0.28) are typical for iron(II) and iron(III) complexes. Variable-temperature susceptibility measurements for [Fe([9]aneN(2)S)(2)][ClO4](2) (2-300 K) revealed temperature-dependent behaviour in both the solid state [2.95 mu(B) (300 K)-0.5 mu(B) (4.2 K)] and solution (Delta H degrees 20-22 kJ mol(-1), Delta S degrees 53-60 J mol(-1) K-1). For [Fe([9]aneN(2)S)(2)][ClO4](3) in the solid state [2.3 mu(B) (300 K)-1.9 mu(B) (4.2 K)] the magnetic data were fit to a simple model (H = -lambda L . S + mu L-z) to give the spin-orbit coupling constant (lambda) of -260 +/- 10 cm(-1). The solid-state X-band EPR spectrum of [Fe([9]aneN(2)S)(2)][ClO4](3) revealed axial symmetry (g(perpendicular to) = 2.607, g(parallel to) = 1.599). Resolution of g(perpendicular to) into two components at Q-band frequencies indicated a rhombic distortion. The low-temperature single-crystal absorption spectra of [Fe([9]aneN(2)S)(2)][ClO4](2) and [Fe([9]aneNS(2))(2)][ClO4](2) exhibited additional bands which resembled pseudotetragonal low-symmetry splitting of the parent octahedral (1)A(1g) --> T-1(2g) and (1)A(1g) ---> T-1(1g) transitions. However, the magnitude of these splittings was too large, requiring 10Dq for the thioether donors to be significantly larger than for the amine donors. Instead, these bands were tentatively assigned to weak, low-energy S --> Fe-II charge-transfer transitions. Above 200 K, thermal occupation of the high-spin T-5(2g) ground state resulted in observation of the T-5(2g) --> E-5(g) transition in the crystal spectrum of [Fe([9]aneN(2)S)(2)][ClO4](2). From a temperature-dependence study, the separation of the low-spin (1)A(1g) and high-spin T-5(2g) ground states was approximately 1700 cm(-1). The spectrum of the iron(III) complex [Fe([9]aneN(2)S)(2)][ClO4](3) is consistent with a low-spin d(5) configuration.

Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Identifying critical components during information security evaluations

Electronic communications devices intended for government or military applications must be rigorously evaluated to ensure that they maintain data confidentiality. High-grade information security evaluations require a detailed analysis of the device's design, to determine how it achieves necessary security functions. In practice, such evaluations are labour-intensive and costly, so there is a strong incentive to find ways to make the process more efficient. In this paper we show how well-known concepts from graph theory can be applied to a device's design to optimise information security evaluations. In particular, we use end-to-end graph traversals to eliminate components that do not need to be evaluated at all, and minimal cutsets to identify the smallest group of components that needs to be evaluated in depth.

A Nonstationary Model of Newborn EEG

The detection of seizure in the newborn is a critical aspect of neurological research. Current automatic detection techniques are difficult to assess due to the problems associated with acquiring and labelling newborn electroencephalogram (EEG) data. A realistic model for newborn EEG would allow confident development, assessment and comparison of these detection techniques. This paper presents a model for newborn EEG that accounts for its self-similar and non-stationary nature. The model consists of background and seizure sub-models. The newborn EEG background model is based on the short-time power spectrum with a time-varying power law. The relationship between the fractal dimension and the power law of a power spectrum is utilized for accurate estimation of the short-time power law exponent. The newborn EEG seizure model is based on a well-known time-frequency signal model. This model addresses all significant time-frequency characteristics of newborn EEG seizure which include; multiple components or harmonics, piecewise linear instantaneous frequency laws and harmonic amplitude modulation. Estimates of the parameters of both models are shown to be random and are modelled using the data from a total of 500 background epochs and 204 seizure epochs. The newborn EEG background and seizure models are validated against real newborn EEG data using the correlation coefficient. The results show that the output of the proposed models has a higher correlation with real newborn EEG than currently accepted models (a 10% and 38% improvement for background and seizure models, respectively).

A first-principles density-functional calculation of the electronic and vibrational structure of the key melanin monomers

We report first-principles density-functional calculations for hydroquinone (HQ), indolequinone (IQ), and semiquinone (SQ). These molecules are believed to be the basic building blocks of the eumelanins, a class of biomacromolecules with important biological functions (including photoprotection) and with the potential for certain bioengineering applications. We have used the difference of self-consistent fields method to study the energy gap between the highest occupied molecular orbital and the lowest unoccupied molecular orbital, HL. We show that HL is similar in IQ and SQ, but approximately twice as large in HQ. This may have important implications for our understanding of the observed broadband optical absorption of the eumelanins. The possibility of using this difference in HL to molecularly engineer the electronic properties of eumelanins is discussed. We calculate the infrared and Raman spectra of the three redox forms from first principles. Each of the molecules have significantly different infrared and Raman signatures, and so these spectra could be used in situ to nondestructively identify the monomeric content of macromolecules. It is hoped that this may be a helpful analytical tool in determining the structure of eumelanin macromolecules and hence in helping to determine the structure-property-function relationships that control the behavior of the eumelanins.

The Reflectance Signature of Canopy Components: Implications for the Interpretation of Remotely Sensed Images

The reflectance signatures of plantation pine canopy and understorey components were measured using a spectro-radiometer. The aim was to establish whether differences observed in the reflectance signature of stressed and unstressed pine needles were consistent with observed differences in the reflectance of multispectral Landsat Thematic Mapper (TM) images of healthy and stressed forest. Because overall scene reflectance includes the contribution of each scene component, needle reflectance may not be representative of canopy reflectance. In this investigation, a limited dataset of reflectance signatures from stressed and unstressed needles confirmed the negative relationship between pine needle health and reflectance which was observed in visible red wavelengths. However, the reflectance contribution from bushes, pine needle litter and bare soil tended to reinforce this relationship suggesting that in this instance, overall scene reflectance is comprised of the proportional reflectance of each scene component. In near infrared wavelengths, differences between healthy and stressed needle reflectance suggested a strong positive relationship between reflectance and tree health. For Landsat TM images, previous research had only observed a weak positive relationship between stand health and near infrared reflectance in these pine canopies. This suggests that for multispectral Landsat TM images, reflectance of near infrared light from pine canopies may be affected by other factors which may include the scattering of light within canopies. These results are seen as promising for the use of hyperspectral images to detect stand health, provided that pixel reflectance is not influenced by other scene components.

Analysis and application of an equilibrium model for in vitro bioassay systems with three components: Receptor, hormone and hormone-binding-protein

A simple theoretical framework is presented for bioassay studies using three component in vitro systems. An equilibrium model is used to derive equations useful for predicting changes in biological response after addition of hormone-binding-protein or as a consequence of increased hormone affinity. Sets of possible solutions for receptor occupancy and binding protein occupancy are found for typical values of receptor and binding protein affinity constants. Unique equilibrium solutions are dictated by the initial condition of total hormone concentration. According to the occupancy theory of drug action, increasing the affinity of a hormone for its receptor will result in a proportional increase in biological potency. However, the three component model predicts that the magnitude of increase in biological potency will be a small fraction of the proportional increase in affinity. With typical initial conditions a two-fold increase in hormone affinity for its receptor is predicted to result in only a 33% increase in biological response. Under the same conditions an Ii-fold increase in hormone affinity for receptor would be needed to produce a two-fold increase in biological potency. Some currently used bioassay systems may be unrecognized three component systems and gross errors in biopotency estimates will result if the effect of binding protein is not calculated. An algorithm derived from the three component model is used to predict changes in biological response after addition of binding protein to in vitro systems. The algorithm is tested by application to a published data set from an experimental study in an in vitro system (Lim et al., 1990, Endocrinology 127, 1287-1291). Predicted changes show good agreement (within 8%) with experimental observations. (C) 1998 Academic Press Limited.

Classical and quantum noise in electronic systems

We review the description of noise in electronic circuits in terms of electron transport. The Poisson process is used as a unifying principle. In recent years, much attention has been given to current noise in light-emitting diodes and laser diodes. In these devices, random events associated with electron transport are correlated with photon emission times, thus modifying both the current statistics and the statistics of the emitted light. We give a review of experiments in this area with special emphasis on the ability of such devices to produce subshot-noise currents and light beams. Finally we consider the noise properties of a class of mesoscopic devices based on the quantum tunnelling of an electron into and out of a bound state. We present a simple quantum model of this process which confirms that the current noise in such a device should be subshot-noise.

Perceptual quality metrics applied to still image compression

We present a review of perceptual image quality metrics and their application to still image compression. The review describes how image quality metrics can be used to guide an image compression scheme and outlines the advantages, disadvantages and limitations of a number of quality metrics. We examine a broad range of metrics ranging from simple mathematical measures to those which incorporate full perceptual models. We highlight some variation in the models for luminance adaptation and the contrast sensitivity function and discuss what appears to be a lack of a general consensus regarding the models which best describe contrast masking and error summation. We identify how the various perceptual components have been incorporated in quality metrics, and identify a number of psychophysical testing techniques that can be used to validate the metrics. We conclude by illustrating some of the issues discussed throughout the paper with a simple demonstration. (C) 1998 Elsevier Science B.V. All rights reserved.

Evolution of the genetic covariance between male and female components of mate recognition: An experimental test

The evolution of a positive genetic correlation between male and female components of mate recognition systems will result as a consequence of assortative mating and, in particular, is central to a number of theories of sexual selection. Although the existence of such genetic correlations has been investigated in a number of taxa, it has yet to be shown that such correlations evolve and whether they may evolve as rapidly as suggested by sexual selection models. In this study, I used a hybridization experiment to disrupt natural mate recognition systems and then observed the subsequent evolutionary dynamics of the genetic correlation between male and female components for 56 generations in hybrids between Drosophila serrata and Drosophila birchii. The genetic correlation between male and female components evolved from 0.388 at generation 5 to 1.017 at generation 37 and then declined to -0.040 after a further 19 generations. These results indicated that the genetic basis of the mate recognition system in the hybrid populations evolved rapidly. The initial rapid increase in the genetic correlation was consistent with the classic assumption that male and female components will coevolve under sexual selection. The subsequent decline in genetic correlation may be attributable to the fixation of major genes or, alternatively, may be a result of a cyclic evolutionary change in mate recognition.

Phonon anomalies due to strong-electronic correlations in layered organic metals

We show how the coupling between the phonons and electrons in a strongly correlated metal can result in phonon frequencies that have a nonmonotonic temperature dependence. Dynamical mean-field theory is used to study the Hubbard-Holstein model that describes the kappa-(BEDT-TTF)(2)X [where BEDT-TTF is bis-(ethylenedithia-tetrathiafulvalene)] family of superconducting molecular crystals. The crossover with increasing temperature from a Fermi liquid to a bad metal produces phonon anomalies that are relevant to recent Raman scattering and acoustic experiments.

Psychophysiological phenotypes of cognition: The P3 and SW components

As part of a large ongoing project, the Memory, Attention and Problem Solving (MAPS) study, we investigated whether genetic variability explains some of the variance in psychophysiological correlates of brain function, namely, the P3 and SW components of event-related potentials (ERPs). These ERP measures are minute time recordings of brain processes and, because they reflect fundamental cognitive processing, provide a unique window on the millisecondto- millisecond transactions that occur at the cognitive level and taking place in the human brain. The extent to which the variance in P3 and SW components is influenced by genetic factors was examined in 350 identical and nonidentical twin pairs aged 16 years. ERPs were recorded from 15 scalp electrodes during the performance of a visuospatial delayed response task that engages working memory. Multivariate genetic analyses using MX were used to estimate genetic and environmental influences on individual differences in brain functioning and to identify putative genetic factors common to the ERP measures and psychometric IQ. For each of the ERP measures, correlation among electrode sites was high, a spatial pattern was evident, and a large part of the genetic variation in the ERPs appeared to be mediated by a common genetic factor. Moderate within-pair concordance in MZ pairs was found for all ERP measures, with higher correlations found for P3 than SW, and the MZ twin pair correlations were approximately twice the DZ correlations, suggesting a genetic influence. Correlations between ERP measures and psychometric IQ were found and, although moderately low, were evident across electrode site. The analyses show that the ERP components, P3 and SW, are promising phenotypes of the neuroelectrical activity of the brain and have the potential to be used in linkage and association analysis in the search for QTLs influencing cognitive function.