Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Comparison of coherent and weakly incoherent transport models for the interlayer magnetoresistance of layered Fermi liquids

The interlayer magnetoresistance of layered metals in a tilted magnetic field is calculated for two distinct models for the interlayer transport. The first model involves coherent interlayer transport, and makes use of results of semiclassical or Bloch-Boltzmann transport theory. The second model involves weakly incoherent interlayer transport where the electron is scattered many times within a layer before tunneling into the next layer. The results are relevant to the interpretation of experiments on angular-dependent magnetoresistance oscillations (AMRO) in quasi-one- and quasi-two-dimensional organic metals. We find that the dependence of the magnetoresistance on the direction of the magnetic field is identical for both models except when the field is almost parallel to the layers. An important implication of this result is that a three-dimensional Fermi surface is not necessary for the observation of the Yamaji and Danner oscillations seen in quasi-two- and quasi-one-dimensional metals, respectively. A universal expression is given for the dependence of the resistance at AMRO maxima and minima on the magnetic field and scattering time (and thus the temperature). We point out three distinctive features of coherent interlayer transport: (i) a beat frequency in the magnetic oscillations of quasi-two-dimensional systems, (ii) a peak in the angular-dependent magnetoresistance when the field is sufficiently large and parallel to the layers, and (iii) a crossover from a linear to a quadratic field dependence for the magnetoresistance when the field is parallel to the layers. Properties (i) and (ii) are compared with published experimental data for a range of quasi-two-dimensional organic metals. [S0163-1829(99)02236-5].

Approach to designing rotating drum bioreactors for solid-state fermentation on the basis of dimensionless design factors

The development of large-scale solid-stale fermentation (SSF) processes is hampered by the lack of simple tools for the design of SSF bioreactors. The use of semifundamental mathematical models to design and operate SSF bioreactors can be complex. In this work, dimensionless design factors are used to predict the effects of scale and of operational variables on the performance of rotating drum bioreactors. The dimensionless design factor (DDF) is a ratio of the rate of heat generation to the rate of heat removal at the time of peak heat production. It can be used to predict maximum temperatures reached within the substrate bed for given operational variables. Alternatively, given the maximum temperature that can be tolerated during the fermentation, it can be used to explore the combinations of operating variables that prevent that temperature from being exceeded. Comparison of the predictions of the DDF approach with literature data for operation of rotating drums suggests that the DDF is a useful tool. The DDF approach was used to explore the consequences of three scale-up strategies on the required air flow rates and maximum temperatures achieved in the substrate bed as the bioreactor size was increased on the basis of geometric similarity. The first of these strategies was to maintain the superficial flow rate of the process air through the drum constant. The second was to maintain the ratio of volumes of air per volume of bioreactor constant. The third strategy was to adjust the air flow rate with increase in scale in such a manner as to maintain constant the maximum temperature attained in the substrate bed during the fermentation. (C) 2000 John Wiley & Sons, Inc.

Substrate-dependent regulation of human arylamine N-acetyltransferase-1 in cultured cells

Arylamine N-acetyltransferase-1 (NAT1) is a polymorphically expressed enzyme that is widely distributed throughout the body. In the present study, we provide evidence for substrate-dependent regulation of this enzyme. Human peripheral blood mononuclear cells cultured in medium supplemented with p-aminobenzoic acid (PABA; 6 mu M) for 24 h showed a significant decrease (50-80%) in NAT1 activity. The loss of activity was concentration-dependent (EC50 similar to 2 mu M) and selective because PABA had no effect on the activity of constitutively expressed lactate dehydrogenase or aspartate aminotransferase. PABA also induced down-regulation of NAT1 activity in several human cell lines grown at confluence. Substrate-dependent downregulation was not restricted to PABA. Addition of other NAT1 substrates, such as p-aminosalicylic acid, ethyl-p-aminobenzoate, or p-aminophenol to peripheral blood mononuclear cells in culture also resulted in significant (P < .05) decreases in NAT1 activity. However, addition of the NAT2-selective substrates sulfamethazine, dapsone, or procainamide did not alter NAT1 activity. Western blot analysis using a NAT1-specific antibody showed that the loss of NAT1 activity was associated with a parallel reduction in the amount of NAT1 protein (r(2) = 0.95). Arylamines that did not decrease NAT1 activity did not alter NAT1 protein levels. Semiquantitative reverse transcriptase polymerase chain reaction of mRNA isolated from treated and untreated cells revealed no effect of PABA on NAT1 mRNA levels. We conclude that NAT1 can be down-regulated by arylamines that are themselves NAT1 substrates. Because NAT1 is involved in the detoxification/activation of various drugs and carcinogens, substrate-dependent regulation may have important consequences with regard to drug toxicity and cancer risk.

Computation of bifurcation boundaries for power systems: A new Delta-plane method

This paper is devoted to the problems of finding the load flow feasibility, saddle node, and Hopf bifurcation boundaries in the space of power system parameters. The first part contains a review of the existing relevant approaches including not-so-well-known contributions from Russia. The second part presents a new robust method for finding the power system load flow feasibility boundary on the plane defined by any three vectors of dependent variables (nodal voltages), called the Delta plane. The method exploits some quadratic and linear properties of the load now equations and state matrices written in rectangular coordinates. An advantage of the method is that it does not require an iterative solution of nonlinear equations (except the eigenvalue problem). In addition to benefits for visualization, the method is a useful tool for topological studies of power system multiple solution structures and stability domains. Although the power system application is developed, the method can be equally efficient for any quadratic algebraic problem.

Strain-dependent fluid flow defined through rock mass classification schemes

Strain-dependent hydraulic conductivities are uniquely defined by an environmental factor, representing applied normal and shear strains, combined with intrinsic material parameters representing mass and component deformation moduli, initial conductivities, and mass structure. The components representing mass moduli and structure are defined in terms of RQD (rock quality designation) and RMR (rock mass rating) to represent the response of a whole spectrum of rock masses, varying from highly fractured (crushed) rock to intact rock. These two empirical parameters determine the hydraulic response of a fractured medium to the induced-deformations The constitutive relations are verified against available published data and applied to study one-dimensional, strain-dependent fluid flow. Analytical results indicate that both normal and shear strains exert a significant influence on the processes of fluid flow and that the magnitude of this influence is regulated by the values of RQD and RMR.

Characterization of an ATP-dependent pathway of activation for the heterocyclic amine carcinogen N-hydroxy-2-amino-3-methylimidazo[4,5-f]quinoline

2-Amino-3-methylimidazo[4,5-f]quinoline (IQ) is one of several mutagenic and carcinogenic heterocyclic amines formed during the cooking process of protein-rich foods, These compounds are highly mutagenic and have been shown to produce tumours in various tissues in rodents and non-human primates. Metabolic activation of IQ is a two-step process involving N-hydroxylation by CYP1A2 followed by esterification to a more reactive species capable of forming adducts with DNA, To date, acetylation and sulphation have been proposed as important pathways in the formation of N-hydroxy esters, In this study we have demonstrated the presence of an ATP-dependent activation pathway for N-hydroxy-IQ (N-OH-IQ) leading to DNA adduct formation measured by covalent binding of [H-3]N-OH-IQ to DNA, ATP-dependent DNA binding of N-OH-IQ was greatest in the cytosolic fraction of rat liver, although significant activity was also seen in colon, pancreas and lung. ATP was able to activate N-OH-IQ almost 10 times faster than N-hydroxy-2-amino-1-methyl-6-phenylimidazo[4,5-b]pyridine (7.7 +/- 0.3 and 0.9 +/- 0.1 pmol/mg protein/min, respectively). Using reported intracellular concentrations of cofactor, the ability of ATP to support DNA binding was similar to that seen with 3'-phosphoadenosine 5'-phosphosulphate and similar to 50% of that seen with acetyl coenzyme A (AcCoA), In addition to DNA binding, HPLC analysis of the reaction mixtures using ATP as co-factor showed the presence of two stable, polar metabolites, With AcCoA, only one metabolite was seen. The kinase inhibitors genistein, tyrphostin A25 and rottlerin significantly inhibited both DNA binding and metabolite formation with ATP. However, inhibition was unlikely to be due to effects on enzyme activity since the broad spectrum kinase inhibitor staurosporine had no effect and the inactive analogue of genistein, daidzein, was as potent as genistein, The effects of genistein and daidzein, which are naturally occurring isoflavones from soy and other food products, on DNA adduct formation may potentially be useful in the prevention of heterocyclic amine-induced carcinogenesis.

Numerical modelling of double diffusion driven reactive flow transport in deformable fluid-saturated porous media with particular consideration of temperature-dependent chemical reaction rates

Numerical methods ave used to solve double diffusion driven reactive flow transport problems in deformable fluid-saturated porous media. in particular, thp temperature dependent reaction rate in the non-equilibrium chemical reactions is considered. A general numerical solution method, which is a combination of the finite difference method in FLAG and the finite element method in FIDAP, to solve the fully coupled problem involving material deformation, pore-fluid flow, heat transfer and species transport/chemical reactions in deformable fluid-saturated porous media has been developed The coupled problem is divided into two subproblems which are solved interactively until the convergence requirement is met. Owing to the approximate nature of the numerical method, if is essential to justify the numerical solutions through some kind of theoretical analysis. This has been highlighted in this paper The related numerical results, which are justified by the theoretical analysis, have demonstrated that the proposed solution method is useful for and applicable to a wide range of fully coupled problems in the field of science and engineering.

Incomplete, asymmetric, and route-dependent cross-tolerance between oxycodone and morphine in the Dark Agouti rat

Our previous studies indicate that oxycodone is a putative kappa-opioid agonist, whereas morphine is a well documented mu-opioid agonist. Because there is limited information regarding the development of tolerance to oxycodone, this study was designed to 1) document the development of tolerance to the antinociceptive effects of chronically infused i.v. oxycodone relative to that for i.v. morphine and 2) quantify the degree of antinociceptive cross-tolerance between morphine and oxycodone in adult male Dark Agouti (DA) rats. Antinociceptive testing was performed using the tail-flick latency test. Complete antinociceptive tolerance was achieved in 48 to 84 h after chronic infusion of equi-antinociceptive doses of i.v. oxycodone (2.5 mg/24 h and 5 mg/24 h) and i.v. morphine (10 mg/24 h and 20 mg/24 h, respectively). Dose-response curves for bolus doses of i.v. and i.c.v. morphine and oxycodone were produced in naive, morphine-tolerant, and oxycodone-tolerant rats. Consistent with our previous findings that oxycodone and morphine produce their intrinsic antinociceptive effects through distinctly different opioid receptor populations, there was no discernible cross-tolerance when i.c.v. oxycodone was given to morphine-tolerant rats. Similarly, only a low degree of cross-tolerance (approximate to 24%) was observed after i.v. oxycodone administration to morphine-tolerant rats. By contrast, both i.v. and i.c.v. morphine showed a high degree of cross-tolerance (approximate to 71% and approximate to 54%, respectively) in rats rendered tolerant to oxycodone. Taken together, these findings suggest that, after parenteral but not supraspinal administration, oxycodone is metabolized to a mu-opioid agonist metabolite, thereby explaining asymmetric and incomplete cross-tolerance between oxycodone and morphine.

Mesoionic pyridopyrimidinylium and pyridooxazinylium olates and non-mesoionic pyridopyrimidinones. Structures in the solid state, solution, and matrices

X-Ray crystal structures, C-13 NMR spectra and theoretical calculations (B3LYP/6-31G*) are reported for the mesoionic (zwitterionic) pyridopyrimidinylium- and pyridooxazinyliumolates 2a, 3a and 5a,b as well as the enol ether 11b and the enamine 11c. The 1-NH compounds like 1a, 2a and 3a exist in the mesoionic form in the crystal and in solution, but the OH tautomers such as 1b and 2b dominate in the gas phase as revealed by the Ar matrix IR spectra in conjunction with DFT calculations. All data indicate that the mesoionic compounds can be regarded as intramolecular pyridine-ketene zwitterions (cf. 16 --> 17) with a high degree of positive charge on the pyridinium nitrogen, a long pyridinium N-CO bond (ca. 1.44-1.49 Angstrom), and normal C=O double bonds (ca. 1.22 Angstrom). All mesoionic compounds exhibit a pronounced tilting of the olate C=O groups (the C=O groups formally derived from a ketene) towards the pyridinium nitrogen, giving NCO angles of 110-118 degrees. Calculations reveal a hydrogen bond with 6-CH, analogous to what is found in ketene-pyridine zwitterions and the C3O2-pyridine complex. The 2-OH tautomers of type 1b, 2b, and 11 also show a high degree of zwitterionic character as indicated by the canonical structures 11 12.

Signatures of the pair-coherent state

We explore in detail the possibility of generating a pair-coherent state in the nondegenerate parametric oscillator when decoherence is included. Such states are predicted in the transient regime in parametric oscillation where the pump mode is adiabatically eliminated. Two specific signatures are examined to indicate whether the state of interest has been generated, the Schrodinger cat state-like signatures, and the fidelity. Solutions in a transient regime reveal interference fringes which are indicative of the formation of a Schrodinger cat state. The fidelity indicates the purity of our prepared state compared with the ideal pair-coherent state.

Entangled coherent-state qubits in an ion trap

We show how entangled qubits can be encoded as entangled coherent states of two-dimensional center-of-mass vibrational motion for two ions in an ion trap. The entangled qubit state is equivalent to the canonical Bell state, and we introduce a proposal for entanglement transfer from the two vibrational modes to the electronic states of the two ions in order for the Bell state to be detected by resonance fluorescence shelving methods.

The anti-tumor activity of IL-12: Mechanisms of innate immunity that are model and dose dependent

IL-12 has been demonstrated to have potent anti-tumor activities in a variety of mouse tumor models, but the relative roles of NK, NKT, and T cells and their effector mechanisms in these responses have not been fully addressed. Using a spectrum of gene-targeted or Ab-treated mice we have shown that for any particular tumor model the effector mechanisms downstream of IL-12 often mimic the natural immune response to that tumor. For example, metastasis of the MHC class I-deficient lymphoma, EL4-S3, was strictly controlled by NK cells using perforin either naturally or following therapy with high-dose IL-12. Intriguingly, in B16F10 and RM-1 tumor models both NK and NKT cells contribute to natural protection from tumor metastasis, In these models, a lower dose of IL-12 or delayed administration of IL-12 dictated a greater relative role of NKT cells in immune protection from tumor metastasis. Overall, both NK and NKT cells can contribute to natural and IL-12-induced immunity against tumors, and the relative role of each population is turner and therapy dependent.