Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

The emergence of the determiner system in Mauritian Creole: a syntax semantics mapping

This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.

Acquisition of the English article system in SLA and the Missing Surface Inflection Hypothesis

This paper examines the article system in interlanguage grammar focusing on Japanese learners of English, whose native language lacks articles. It will be demonstrated that for the acquisition of the English article system, count/mass distinctions and definiteness are the crucial factors. Although Japanese does not employ the article system to encode these aspects, it will be argued that they are nevertheless syntactically encoded through its classifier system. Hence, the problem for these learners must be to map these features onto the appropriate surface forms as the Missing Surface Inflection Hypothesis predicts (Prévost & White 2000). This suggestion will further be supported empirically by a fill-in-the article task. It will be concluded that these Japanese learners understand the English article system fairly well, possibly due to their native language, yet have problems with realizing the relevant features (i.e. count/mass distinctions and definiteness) in the target language.

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

Matrix elements of U(2n) generators in a multishell spin-orbit basis. II. The two-shell nonzero shift ACCs and U(2n) generator MEs

This is the second in a series of articles whose ultimate goal is the evaluation of the matrix elements (MEs) of the U(2n) generators in a multishell spin-orbit basis. This extends the existing unitary group approach to spin-dependent configuration interaction (CI) and many-body perturbation theory calculations on molecules to systems where there is a natural partitioning of the electronic orbital space. As a necessary preliminary to obtaining the U(2n) generator MEs in a multishell spin-orbit basis, we must obtain a complete set of adjoint coupling coefficients for the two-shell composite Gelfand-Paldus basis. The zero-shift coefficients were obtained in the first article of the series. in this article, we evaluate the nonzero shift adjoint coupling coefficients for the two-shell composite Gelfand-Paldus basis. We then demonstrate that the one-shell versions of these coefficients may be obtained by taking the Gelfand-Tsetlin limit of the two-shell formulas. These coefficients,together with the zero-shift types, then enable us to write down formulas for the U(2n) generator matrix elements in a two-shell spin-orbit basis. Ultimately, the results of the series may be used to determine the many-electron density matrices for a partitioned system. (C) 1998 John Wiley & Sons, Inc.

Index of refraction of a two-level atom in a squeezed vacuum field

We study the index of refraction of a two-level atom replacing the usually applied coherent driving fields by a squeezed vacuum field. This system can produce a large index of refraction accompanied by vanishing absorption when the carrier frequency of the squeezed vacuum is detuned from the atomic resonance. (C) 1998 Elsevier Science B.V.

Sensitive detection of nitric oxide using seeded parametric four-wave mixing

A sensitive near-resonant four-wave mixing technique based on two-photon parametric four-wave mixing has been developed. Seeded parametric four-wave mixing requires only a single laser as an additional phase matched seeder field is generated via parametric four-wave mixing of the pump beam in a high gain cell. The seeder field travels collinearly with the pump beam providing efficient nondegenerate four-wave mixing in a second medium. This simple arrangement facilitates the detection of complex molecular spectra by simply scanning the pump laser. Seeded parametric four-wave mixing is demonstrated in both a low pressure cell and an air/acetylene flame with detection of the two-photon C (2) Pi(upsilon'=0)<--X (2) Pi(upsilon =0) spectrum of nitric oxide. From the cell data a detection limit of 10(12) molecules/cm(3) is established. A theoretical model of seeded parametric four-wave mixing is developed from existing parametric four-wave mixing theory. The addition of the seeder field significantly modifies the parametric four-wave mixing behaviour such that in the small signal regime, the signal intensity can readily be made to scale as the cube of the laser pump power while the density dependence follows a more familiar square law dependence, In general, we find excellent agreement between theory and experiment. Limitations to the process result from an ac Stark shift of the two-photon resonance in the high pressure seeder cell caused by the generation of a strong seeder field, as well as a reduction in phase matching efficiency due to the presence of certain buffer species. Various optimizations are suggested which should overcome these limitations, providing even greater detection sensitivity. (C) 1998 American Institute of Physics, [S0021-9606(98)01014-9].

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.