On equations for regular languages, finite automata, and sequential networks

We consider systems of equations of the form where A is the underlying alphabet, the Xi are variables, the Pi,a are boolean functions in the variables Xi, and each δi is either the empty word or the empty set. The symbols υ and denote concatenation and union of languages over A. We show that any such system has a unique solution which, moreover, is regular. These equations correspond to a type of automation, called boolean automation, which is a generalization of a nondeterministic automation. The equations are then used to determine the language accepted by a sequential network; they are obtainable directly from the network.

An automata theoretic decision procedure for the propositional mu-calculus

The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.

achieving on-time delivery: a two-stage probabilistic scheduling strategy for software projects

Chinese Academy of Sciences (ISCAS)

NADPH oxidase-mediated generation of reactive oxygen species: A new mechanism for X-ray-induced HeLa cell death

Oxidative damage is an important mechanism in X-ray-induced cell death. Radiolysis of water molecules is a source of reactive oxygen species (ROS) that contribute to X-ray-induced cell death. In this study, we showed by ROS detection and a cell survival assay that NADPH oxidase has a very important role in X-ray-induced cell death. Under X-ray irradiation, the upregulation of the expression of NADPH oxidase membrane Subunit gp91(phox) was dose-dependent. Meanwhile, the cytoplasmic subunit p47(phox) was translocated to the cell membrane and localized with p22(phox) and gp91(phox) to form reactive NADPH oxidase. Our data Suggest, for the first time, that NADPH oxidase-mediated generation of ROS is an important contributor to X-ray-induced cell death. This suggests a new target for combined gene transfer and radiotherapy.

Structural and photoluminescent properties of ZnO films deposited by radio frequency reactive sputtering

Zinc oxide films with c-axis preferred orientation were deposited on silicon (100) substrates by radio frequency (RF) reactive sputtering. The properties of the samples were characterized by X-ray diffractometer, X-ray photoelectron spectroscopy and fluorescent-spectrophotometer. The effect of sputtering power and substrate temperature on the structural and photoluminescent (PL) properties of the ZnO films was investigated. The results indicated that when the sputtering power is 100 W and the substrate temperature is 300-400 degrees C, it is suitable for the growth of high c-axis orientation and small strain ZnO films. A violet peak at about 380 nm and a blue band at about 430 nm were observed in the room temperature photoluminescence spectra, and the origin of blue emission was investigated.