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.

Effect of smoke-free policies on the behaviour of social smokers

Objective-To test the hypothesis that proposed amendments to the Occupational Safety and Health Act making all enclosed workplaces in Western Australia smoke free would result in a decrease in cigarette consumption by patrons at nightclubs, pubs, and restaurants without adversely affecting attendance. Design-Cross sectional structured interview survey. Participants and setting-Patrons of several inner city pubs and nightclubs in Perth were interviewed while queuing for admission to these venues. Outcome measures-Current social habits, smoking habits, and how these might be affected by the proposed regulations. Persons who did not smoke daily were classified as social smokers. Results-Half (50%) of the 374 patrons interviewed were male, 51% currently did not smoke at all, 34.3% smoked every day, and the remaining 15.7% smoked, brat not every day. A clear majority (62.5%) of all 374 respondents anticipated no change to the frequency of their patronage of hospitality venues if smoke-free policies became mandatory One in five (19.3%) indicated that they would,ao out more often, and 18.2% said they would go out less often. Half (52%) of daily smokers anticipated no change to their cigarette consumption, while 44.5% of daily smokers anticipated a reduction in consumption. A majority of social smokers (54%) predicted a reduction in their cigarette consumption, with 42% of these anticipating quitting. Conclusions-One in nine (11.5%) of smokers say that adoption of smoke-Pi ee policies would prompt them to quit smoking entirely without a significant decrease in attendance at pubs and nightclubs. There can be few other initiatives as simple, cheap, and popular that would achieve so much for public health.

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.

Isotropic singularities in shear-free perfect fluid cosmologies

We investigate barotropic perfect fluid cosmologies which admit an isotropic singularity. From the General Vorticity Result of Scott, it is known that these cosmologies must be irrotational. In this paper we prove, using two different methods, that if we make the additional assumption that the perfect fluid is shear-free, then the fluid flow must be geodesic. This then implies that the only shear-free, barotropic, perfect fluid cosmologies which admit an isotropic singularity are the FRW models.

Intraspecific co-variation between egg and body size affects fertilisation kinetics of free-spawning marine invertebrates

Fertilisation of eggs of free-spawning marine invertebrates depends on factors affecting sperm concentration in the field and also on gamete characteristics such as egg size. In the free-spawning intertidal ascidian Pyura stolonifera mean egg size increased with maternal size in 2 separate populations. The largest ascidian produced eggs that were, on average, 50% greater in volume than the eggs produced by the smallest individual studied. There was no evidence to suggest that egg density varied with adult size and egg dry organic weight increased with maternal size. The fertilisation kinetics of this species were strongly affected by the variation in egg size, with the eggs of large individuals requiring much less concentrated sperm to achieve maximal levels of fertilisation success than the eggs of small individuals. We suggest that variation in egg size between individuals of different sizes and ages may be an important factor in determining fertilisation success for ascidians of this species.

The interaction between the equity premium and the risk-free rate

The equity premium arises from the interaction between the atemporal risk premium for equity, the risk-free rate of intertemporal substitution and the impact of risk on the precautionary motive for saving. Depending on parameter values, the equity premium may either be increased or reduced by the presence of undiversifiable background risk. (C) 2000 Elsevier Science S.A. All rights reserved.

Inactive free : total prostate specific antigen ratios in ejaculate from men with suspected and known prostate cancer, compared with young control men

Objective To measure free:total prostate specific antigen (PSA) ratios in ejaculate from men with suspected and known prostate cancer, and in young control men, to determine if this ratio might be useful in discriminating benign from malignant prostatic conditions. Patients, subjects and methods Forty-seven men with prostate cancer (positive biopsies), 52 men with suspected prostate cancer but who had negative biopsies and 28 young men (< 30 years old) and with no family history of cancer, provided either a single ejaculate specimen (total 59) or multiple specimens (total 193) on subsequent occasions. Free and total PSA were measured using appropriate assays. All specimens were diluted in a PSA-negative female serum pool. Results The median free:total PSA ratios were 0.76-0.81 among the patient groups and control men, and there was no statistical difference between the groups. These data presumably only reflect the inactive component of free PSA, given that any alpha(2)-macroglobulin or alpha(1)-antichymotrypsin in the assay serum diluent was likely to have bound the active free PSA component in these samples. Similar results were obtained from those providing single and multiple samples, suggesting that a single specimen is sufficient to reflect the seminal plasma free:total PSA ratio over that period. There was no relationship between seminal plasma free:total PSA ratio and age for the controls or the positive biopsy group, although there was a negative relationship (i.e. a decline with age) that almost reached significance in those with negative biopsies (P = 0.058, R-2 = 0.07). Conclusions This is the first report of free:total PSA ratios in the ejaculate of men with suspected and known prostate cancer compared with young control men. Although no significant changes were detected in the free:total PSA ratios in ejaculate, these results may be confounded by differences in ratios with age, as is the case for serum PSA or different molecular forms of PSA. Indeed, these data suggest that a large proportion of free PSA in seminal plasma may be inactive. Further studies are needed to determine the potential utility of measuring free:total PSA, or other candidate markers, in ejaculate to better discriminate benign from malignant prostate disease.

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.

Quantification of free mycophenolic acid by high-performance liquid chromatography-atmospheric pressure chemical ionisation tandem mass spectrometry

To facilitate the investigation of free mycophenolic acid concentrations we developed a high-performance liquid chromatography tandem mass spectrometry method using indomethacin as an internal standard. Free drug was isolated from plasma samples (500 mul) using ultrafiltration, The analytes were extracted from the ultrafiltrate (200 mul) using C-18 solid-phase extraction. Detection was by selected reactant monitoring of mycophenolic acid (m/z 318.9-->190.9) and the internal standard (m/z 356.0-->297.1) with an atmospheric pressure chemical ionisation interface. The total chromatographic analysis time was 12 min. The method was found to be linear over the range investigated, 2.5-200 mug/l (r>0.990, n=6). The relative recovery of the method for the control samples studied (7.5, 40.0 and 150 mug/l) ranged from 95 to 104%. The imprecision of the method, expressed in terms of intra- and inter-day coefficients of variation, was

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.

Free energy approximations in simple lattice proteins

This work addresses the question of whether it is possible to define simple pairwise interaction terms to approximate free energies of proteins or polymers. Rather than ask how reliable a potential of mean force is, one can ask how reliable it could possibly be. In a two-dimensional, infinite lattice model system one can calculate exact free energies by exhaustive enumeration. A series of approximations were fitted to exact results to assess the feasibility and utility of pairwise free energy terms. Approximating the true free energy with pairwise interactions gives a poor fit with little transferability between systems of different size. Adding extra artificial terms to the approximation yields better fits, but does not improve the ability to generalize from one system size to another. Furthermore, one cannot distinguish folding from nonfolding sequences via the approximated free energies. Most usefully, the methodology shows how one can assess the utility of various terms in lattice protein/polymer models. (C) 2001 American Institute of Physics.

Simultaneous steady state and dynamic design of process systems using structural indicators

The simultaneous design of the steady-state and dynamic performance of a process has the ability to satisfy much more demanding dynamic performance criteria than the design of dynamics only by the connection of a control system. A method for designing process dynamics based on the use of a linearised systems' eigenvalues has been developed. The eigenvalues are associated with system states using the unit perturbation spectral resolution (UPSR), characterising the dynamics of each state. The design method uses a homotopy approach to determine a final design which satisfies both steady-state and dynamic performance criteria. A highly interacting single stage forced circulation evaporator system, including control loops, was designed by this method with the goal of reducing the time taken for the liquid composition to reach steady-state. Initially the system was successfully redesigned to speed up the eigenvalue associated with the liquid composition state, but this did not result in an improved startup performance. Further analysis showed that the integral action of the composition controller was the source of the limiting eigenvalue. Design changes made to speed up this eigenvalue did result in an improved startup performance. The proposed approach provides a structured way to address the design-control interface, giving significant insight into the dynamic behaviour of the system such that a systematic design or redesign of an existing system can be undertaken with confidence.

In situ measures of spawning synchrony and fertilization success in an intertidal, free-spawning invertebrate

The rocky intertidal zone has the potential to be one of the harshest environments for free-spawning organisms, but empirical data on fertilization success are scarce. Here, I report on an intertidal, solitary ascidian, Pyura stolonifera, which was observed to spawn at low tide. At a scale likely to be most important to gametes (metres, duration of tide), approximately 30% of individuals in the population were spawning synchronously. Spawned gametes remained in a viscous matrix and this appeared to minimise their dilution. Fertilization success varied greatly among individuals (0 to 92%) and was related to the distance to the nearest neighbouring spawner. Occasional wave wash facilitated the movement of sperm between spawners. Fertilization success in some individuals was limited by the scarcity of sperm whilst the experimental addition of sperm did not increase success in others.