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.

HIV infection among women admitted to the gynaecology service of a district hospital in South Africa

Our objective was to determine the prevalence of HIV infection and disease-specific HIV prevalence among women admitted to the gynaecology service of a district hospital in South Africa over a 3-month period in 1997. This was done with the goal of developing HIV education and counselling services in this setting. HIV status was determined among 196 (96%) of 205 consecutive admissions; 82 (42%) tested HIV positive. The HIV-infected women were younger than the HIV uninfected women (mean age 27 vs 33 years, P=0.001). The disease-specific HIV prevalence was greater than or equal to 40% among women who had had abortions, pelvic inflammatory disease, or ectopic pregnancy. The length of hospital stay (mean 5.4 days) and mortality (1%) were similar in the 2 groups. Inpatient gynaecology services may be act important setting in Africa, within which to provide HIV education, counselling and care.

Diagnosis and treatment of mental disorders: a survey of Singapore mental health professionals

Background: A series of surveys of mental health literacy have been undertaken in Australia, involving members of the general public as well as general practitioners and mental health professionals, whereby respondents consider vignettes of depression and of schizophrenia, offer a diagnosis and rate a series of possible interventions for their judged helpfulness. A similar survey was undertaken in Singapore and is reported in this paper. Methods: The survey was undertaken at a large state psychiatric hospital with staff (psychiatrists, allied health professionals, psychiatrically and generally trained nursing staff) rating a vignette of mania, in addition to the vignettes derived in Australia for depression and schizophrenia, and with the Australian intervention options extended somewhat to respect Singapore facilities. Results: Responses of those in the four professional groups were compared. The psychiatrists were highly accurate in generating diagnoses, other staff somewhat less so for diagnosing depression (with a percentage instead choosing a diagnosis of stress) and mania (with a percentage instead diagnosing a schizophrenic condition). Reported helpfulness ratings identified those interventions judged consensually as likely to be helpful or harmful, as well as establishing some differences across the four professional groups. Conclusions: The consensus decisions of helpful treatments for depression and schizophrenia revealed very similar findings to judgements made by Australian professionals. The treated outcome of schizophrenia was judged as somewhat worse than that for mania and depression. While non-medical staff differed from psychiatrists in judging the comparative utility of some drug interventions and lifestyle issues, there was clear evidence of a relatively dominant 'medical model' to recommended treatments, while traditional healing practices and services were rated as distinctly unhelpful.

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.

Which one of these is not like the others? An inter-hospital study of the viscosity of thickened fluids

Engineering This investigation examined the rheological (viscosity and yield stress) and material property (density) characteristics of the thickened meal-time and videofluorscopy fluids provided by 10 major metropolitan hospitals. Differences in the thickness of thickened fluids were considered as a source of variability and potential hazard for inter-hospital transfers of dysphagic patients. The results indicated considerable differences in the viscosity, density, and yield stress of both meal-time and videofluoroscopy fluids. In theory, the results suggest that dysphagic patients transferred between hospitals could be placed on inappropriate levels of fluid thickness because of inherent differences in the rheology and material property characteristics of the fluids provided by different hospitals. Slowed improvement or medical complications are potential worst-case scenarios for dysphagic patients if the difference between the thick fluids offered by 2 hospitals are extreme. The investigation outlines the most appropriate way to assess the rheological and material property characteristics of thickened fluids. In addition, it suggests a plan of quality improvement to reduce the variability of the thickness of fluids offered at different hospitals.

Death and readmission in the year after hospital admission with cardiovascular disease: the Hunter Area Heart and Stroke Register

Objectives: To compare outcomes one year after hospital admission for patients initially discharged with a diagnosis of acute myocardial infarction (AMI), other ischaemic heart disease (other IHD), congestive heart failure (CHF) or stroke. Design: Cohort study. Setting: Hunter Area Heart and Stroke Register, which registers all patients admitted with heart disease or stroke to any of the 22 hospitals in the Hunter Area Health Service in New South Wales. Patients: 4981 patients with AMI, other IHD, CHF or stroke admitted to hospital as an emergency between 1 July 1995 and 30 June 1997 and followed for at least one year. Main outcome measures: Death from any cause or emergency hospital readmission for cardiovascular disease. Results: In-hospital mortality varied from 1% of those with other IHD to 22% of those with stroke. Almost a third of all patients discharged alive (and 38% of those aged 70 or more) had died or been readmitted within one year. This varied from 22% of those with stroke to 49% of those with CHF. The causes of death and readmission were from a spectrum of cardiovascular disease, regardless of the cause of the original hospital admission. Conclusions: Data from this population register show the poor outcome, especially with increasing age, among patients admitted to hospital with cardiovascular disease. This should alert us to determine whether optimal secondary prevention strategies are being adopted among such patients.

Trial-of-antibiotic algorithm for the diagnosis of tuberculosis in a district hospital in a developing country with high HIV prevalence

OBJECTIVE: To evaluate a diagnostic algorithm for pulmonary tuberculosis based on smear microscopy and objective response to trial of antibiotics. SETTING: Adult medical wards, Hlabisa Hospital, South Africa, 1996-1997. METHODS: Adults with chronic chest symptoms and abnormal chest X-ray had sputum examined for Ziehl-Neelsen stained acid-fast bacilli by light microscopy. Those with negative smears were treated with amoxycillin for 5 days and assessed. Those who had not improved were treated with erythromycin for 5 days and reassessed. Response was compared with mycobacterial culture. RESULTS: Of 280 suspects who completed the diagnostic pathway, 160 (57%) had a positive smear, 46 (17%) responded to amoxycillin, 34 (12%) responded to erythromycin and 40 (14%) were treated as smear-negative tuberculosis. The sensitivity (89%) and specificity (84%) of the full algorithm for culture-positive tuberculosis were high. However, 11 patients (positive predictive value [PPV] 95%) were incorrectly diagnosed with tuberculosis, and 24 cases of tuberculosis (negative predictive value [NPV] 70%) were not identified. NPV improved to 75% when anaemia was included as a predictor. Algorithm performance was independent of human immunodeficiency virus status. CONCLUSION: Sputum smear microscopy plus trial of antibiotic algorithm among a selected group of tuberculosis suspects may increase diagnostic accuracy in district hospitals in developing countries.

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.

An investigation of pretend play, mental state terms and false belief understanding: In search of a metarepresentational link

The aim of this study was to investigate the association between false belief comprehension, the exhibition of pretend play and the use of mental state terms in pre-school children. Ferry children, aged between 36 and 54 months were videotaped engaging in free play with each parent. The exhibit-ion of six distinct acts of pretend play and the expression of 16 mental sr:ate terms were coded during play. Each child was also administered a pantomime task and three standard false belief casks. Reliable associations were also found between false belief performance and the pretence categories of object substitution and role assignment, and the exhibition of imaginary object pantomimes. Moreover, the use of mental state terms was positively correlated with false belief and the pretence categories of object substitution, imaginary play and role assignment, and negatively correlated with the exhibition of body part object pantomimes. These findings indicate that the development of a mental state lexicon and some, bur not all, components of pretend play are dependent on the capacity for metarepresentational cognition.

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.

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.