Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

A power system control scheme based on security visualisation in parameter space

Power system real time security assessment is one of the fundamental modules of the electricity markets. Typically, when a contingency occurs, it is required that security assessment and enhancement module shall be ready for action within about 20 minutes’ time to meet the real time requirement. The recent California black out again highlighted the importance of system security. This paper proposed an approach for power system security assessment and enhancement based on the information provided from the pre-defined system parameter space. The proposed scheme opens up an efficient way for real time security assessment and enhancement in a competitive electricity market for single contingency case

Comparison of BR and QR Eigenvalue Algorithms for Power System Small Signal Stability Analysis

The BR algorithm is a novel and efficient method to find all eigenvalues of upper Hessenberg matrices and has never been applied to eigenanalysis for power system small signal stability. This paper analyzes differences between the BR and the QR algorithms with performance comparison in terms of CPU time based on stopping criteria and storage requirement. The BR algorithm utilizes accelerating strategies to improve its performance when computing eigenvalues of narrowly banded, nearly tridiagonal upper Hessenberg matrices. These strategies significantly reduce the computation time at a reasonable level of precision. Compared with the QR algorithm, the BR algorithm requires fewer iteration steps and less storage space without depriving of appropriate precision in solving eigenvalue problems of large-scale power systems. Numerical examples demonstrate the efficiency of the BR algorithm in pursuing eigenanalysis tasks of 39-, 68-, 115-, 300-, and 600-bus systems. Experiment results suggest that the BR algorithm is a more efficient algorithm for large-scale power system small signal stability eigenanalysis.

Anomalous resonance fluorescence and dressed-state inversion by squeezed light in a Fabry-Perot microcavity

It has been suggested that phased atomic decay in a squeezed vacuum could be detected in the fluorescence spectrum emitted from a driven two-level atom in a cavity. Recently, the existence of other very distinctive features in the fluorescence spectra arising from the nonclassical features of the squeezed vacuum has been reported. In this paper, we investigate the possibility of experimental observation of these spectra. The main obstacle to the experimentalist is ensuring an effective squeezed-vacuum-atom coupling. To overcome this problem we propose the use of a Fabry-Perot microcavity. The analysis involves a consideration of the three-dimensional nature of the electromagnetic held, and the possibility of a mismatch between the squeezed and cavity modes. The problem of squeezing bandwidths is also addressed. We show that under experimentally realistic circumstances many of the spectral anomalies predicted in free space also occur in this environment. In addition, we report large population inversions in the dressed states of the two-level atom. [S1050-2947(98)02301-4].

Observation of generalized synchronization of chaos in a driven chaotic system

We report on the experimental observation of the generalized synchronization of chaos in a real physical system. We show that under a nonlinear resonant interaction, the chaotic dynamics of a single mode laser can become functionally related to that of a chaotic driving signal and furthermore as the coupling strength is further increased, the chaotic dynamics of the laser approaches that of the driving signal.

Evolution of a mate recognition system after hybridization between two Drosophila species

I investigated the genetic relationship between male and female components of the mate recognition system and how this relationship influenced the subsequent evolution of the two traits, in a series of replicate populations of interspecific hybrids. Thirty populations of hybrids between Drosophila serrata and Drosophila birchii were established and maintained for 24 generations. At the fifth generation after hybridization, the mating success of hybrid individuals with the D. serrata parent was determined. The genetic correlation between male and female components of the male recognition system, as a consequence of pleiotropy or tight physical linkage, was found to be significant but low (r = 0.388). This result suggested that pleiotropy may play only a minor role in the evolution of mate recognition in this system. At the twenty-fourth generation after hybridization, the mating success of the hybrids was again determined. The evolution of male and female components was investigated by analyzing the direction of evolution of each hybrid line with respect to its initial position in relation to the genetic regression. Male and female components appeared to converge on a single equilibrium point, rather than evolving along trajectories with slope equal to the genetic regression, toward a line of equilibria.

Optimising fed-batch production of recombinant proteins using the baculovirus expression vector system

Fed-batch culture can offer significant improvement in recombinant protein production compared to batch culture in the baculovirus expression vector system (BEVS), as shown by Nguyen et al. (1993) and Bedard et al. (1994) among others. However, a thorough analysis of fed-batch culture to determine its limits in improving recombinant protein production over batch culture has yet to be performed. In this work, this issue is addressed by the optimisation of single-addition fed-batch culture. This type of fed-batch culture involves the manual addition of a multi-component nutrient feed to batch culture before infection with the baculovirus. The nutrient feed consists of yeastolate ultrafiltrate, lipids, amino acids, vitamins, trace elements, and glucose, which were added to batch cultures of Spodoptera frugiperda (Sf9) cells before infection with a recombinant Autographa californica nuclear polyhedrosis virus (Ac-NPV) expressing beta-galactosidase (beta-Gal). The fed-batch production of beta-Gal was optimised using response surface methods (RSM). The optimisation was performed in two stages, starting with a screening procedure to determine the most important variables and ending with a central-composite experiment to obtain a response surface model of volumetric beta-Gal production. The predicted optimum volumetric yield of beta-Gal in fed-batch culture was 2.4-fold that of the best yields in batch culture. This result was confirmed by a statistical analysis of the best fed-batch and batch data (with average beta-Gal yields of 1.2 and 0.5 g/L, respectively) obtained from this laboratory. The response surface model generated can be used to design a more economical fed-batch operation, in which nutrient feed volumes are minimised while maintaining acceptable improvements in beta-Gal yield. (C) 1998 John Wiley & Sons, Inc.

Interference pattern with a dark center from two atoms driven by a coherent laser field

In a recent paper Meyer and Yeoman [Phys. Rev. Lett. 79, 2650 (1997)] have shown that the resonance fluorescence from two atoms placed in a cavity and driven by an incoherent field can produce an interference pattern with a dark center. We study the fluorescence from two coherently driven atoms in free space and show that this system can also produce an interference pattern with a dark center. This happens when the atoms are in nonequivalent positions in the driving: field, i.e., the atoms experience different intensities and phases of the driving field. We discuss the role of the interatomic interactions in this process and find that the interference pattern with a dark center results from the participation of the antisymmetric state in the dynamics of the driven two-atom system.

The development of an early warning system to detect trends in illicit drug use in Australia: The illicit drug reporting-system

Appropriate ways to monitor the availability and use of illicit drugs were examined. Four methods were tested concurrently: (1) a quantitative survey of injecting drug users, (2) a qualitative key informant study of illicit drug users and professionals working in the drug field, (3) examination of existing sources of survey, health and law enforcement data and (4) an ethnographic study of a high risk group of illicit drug users. The first three methods were recommended for inclusion in an ongoing national monitoring system, enabling the collection of both quantitative and qualitative data on a range of illicit drugs in a relatively brief, quick and cost-effective manner. A degree of convergent validity was also noted among these methods, improving the degree of confidence in drug trends. The importance of injecting drug users as a sentinel population of illicit drug users was highlighted, along with optimal methods for qualitative research.

Optical properties of metallic films for vertical-cavity optoelectronic devices

We present models for the optical functions of 11 metals used as mirrors and contacts in optoelectronic and optical devices: noble metals (Ag, Au, Cu), aluminum, beryllium, and transition metals (Cr, Ni, Pd, Pt, Ti, W). We used two simple phenomenological models, the Lorentz-Drude (LD) and the Brendel-Bormann (BB), to interpret both the free-electron and the interband parts of the dielectric response of metals in a wide spectral range from 0.1 to 6 eV. Our results show that the BE model was needed to describe appropriately the interband absorption in noble metals, while for Al, Be, and the transition metals both models exhibit good agreement with the experimental data. A comparison with measurements on surface normal structures confirmed that the reflectance and the phase change on reflection from semiconductor-metal interfaces (including the case of metallic multilayers) can be accurately described by use of the proposed models for the optical functions of metallic films and the matrix method for multilayer calculations. (C) 1998 Optical Society of America.

Interference pattern with a dark center in resonance fluorescence from two atoms driven by a squeezed vacuum field

We study the resonance fluorescence from two interacting atoms driven by a squeezed vacuum field and show that this system produces an interference pattern with a dark center. We discuss the role of the interatomic interactions in this process and find that the interference pattern results from an unequal population of the symmetric and antisymmetric states of the two-atom system. We also identify intrinsically nonclassical effects versus classical squeezed field effects, (C) 1998 Elsevier Science B.V. All rights reserved.