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.

Increased apoptosis of T lymphocytes and macrophages in the central and peripheral nervous systems of Lewis rats with experimental autoimmune encephalomyelitis treated with dexamethasone

Using light and electron microscopic histological and immunocytochemical techniques, we investigated the effects of the glucocorticoid dexamethasone on T cell and macrophage apoptosis in the central nervous system (CNS) and peripheral nervous system (PNS) of Lewis rats with acute experimental autoimmune encephalomyelitis (EAE) induced with myelin basic protein (MBP). A single subcutaneous injection of dexamethasone markedly augmented T cell and macrophage apoptosis in the CNS and PNS and microglial apoptosis in the CNS within 6 hours (h). Pre-embedding immunolabeling revealed that dexamethasone increased the number of apoptotic CD5+ cells (T cells or activated B cells), αβ T cells, and CD11b+ cells (macrophages/microglia) in the meninges, perivascular spaces, and CNS parenchyma. The induction of increased apoptosis was dose-dependent. Daily dexamethasone treatment suppressed the neurological signs of EAE. However, the daily injection of a dose of dexamethasone (0.25 mg/kg). which, after a single dose, did not induce increased apoptosis in the CNS or PNS, was as effective in inhibiting the neurological signs of EAE as the high dose (4 mg/kg), which induced a marked increase in apoptosis. This indicates that the beneficial clinical effect of glucocorticoid therapy in EAE does not depend on the induction of increased apoptosis. The daily administration of dexamethasone for 5 days induced a relapse that commenced 5 days after cessation of treatment, with the severity of the relapse tending to increase with dexamethasone dosage.

Engineered ecosystem for sustainable on-site wastewater treatment

A Pilot-Scale Engineered Ecosystem (PSEE) operated for over two years in sub-tropical conditions, produced an effluent with COD (median 38 mg/L) and TSS (median 3 mg/L) levels comparable to that required by the AS/NZS 1547:2000 Onsite Domestic Wastewater Management standard. Only partial nitrification was achieved as dissimilatory nitrate reduction to ammonia occurred; however the level of NH4-N was reduced by 75% and total inorganic nitrogen by 53%. Phosphorus was not removed by the system due to the lack of regular sludge removal. Mass balances around the system showed that bacteria removed 36% of the influent nitrogen and 76% of the influent COD. Algae and plants were shown to remove 5% of the influent nitrogen, and 6% of the influent phosphorus. Challenges in developing a sustainable on-site wastewater treatment system were largely met by minimising chemical, energy and labour inputs, eliminating the need for frequent sludge handling, and creating an effluent quality suitable for re-use in non-potable applications. However, the sludge removal from the system needs to be adequately managed to avoid excessive accumulation as this can cause a range of negative impacts.

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.

Characterization of calcium-activated chloride channels in patches excised from the dendritic knob of mammalian olfactory receptor neurons

We investigated the properties of calcium-activated chloride channels in inside-out membrane patches from the dendritic knobs of acutely dissociated rat olfactory receptor neurons. Patches typically contained large calcium-activated currents, with total conductances in the range 30-75 nS. The dose response curve for calcium exhibited an EC50 of about 26 mu M. In symmetrical NaCl solutions, the current-voltage relationship reversed at 0 mV and was linear between -80 and +70 mV. When the intracellular NaCl concentration was progressively reduced from 150 to 25 mM, the reversal potential changed in a manner consistent with a chloride-selective conductance. Indeed, modeling these data with the Goldman-Hodgkin-Katz equation revealed a P-Na/P-Cl of 0.034. The halide permeability sequence was P-Cl > P-F > P-I > P-Br indicating that permeation through the channel was dominated by ion binding sites with a high field strength. The channels were also permeable to the large organic anions, SCN-, acetate(-), and gluconate(-), with the permeability sequence P-Cl > P-SCN > gluconaie. Significant permeation to gluconate ions suggested that the channel pore had a minimum diameter of at least 5.8 Angstrom.

Effects of acidic treatments on the pore and surface properties of Ni catalyst supported on activated carbon

Activated carbon as catalyst support was treated with HCl, HNO3, and HF and the effects of acid treatments on the properties of the activated carbon support were studied by N-2 adsorption, mass titration, temperature-programmed desorption (TPD), and X-ray photoelectron spectrometry (XPS). Ni catalysts supported on untreated and treated activated carbons were prepared, characterized and tested for the reforming reaction of methane with carbon dioxide. It is found that acid treatment significantly changed the surface chemical properties and pore structure of the activated carbon. The surface area and pore volume of the carbon supports are generally enhanced upon acid treatment due to the removal of impurities present in the carbon. The adsorption capacity of Ni2+ on the carbon supports is also increased, and the increase can be closely correlated with the surface acidity. The impregnation of nickel salts decreases the surface area and pore volume of carbon supports both in micropores and mesopores. Acid treatment results in a more homogeneous distribution of the nickel salt in carbon. When the impregnated carbons are heated in inert atmosphere, there exists a redox reaction between nickel oxide and the carbon. Catalytic activity tests for methane reforming with carbon dioxide show that the activity of nickel catalysts based on the acid-treated carbon supports is closely related with the surface characteristics of catalysts. (C) 1998 Elsevier Science Ltd. All rights reserved.

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.