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.

A survey of contact with offspring and assistance with child care among parents with psychotic disorders

To help improve services for parents with psychotic disorders, patients with such disorders in three treatment agencies in Queensland, Australia, were surveyed about whether they were parents, how much contact they had with their offspring, and who provided assistance with child care. Of the 342 individuals with psychotic disorders mho participated in the study, 124 were parents. Forty-eight parents in the study had children under age 16, and 20 of these parents (42 percent) had their children living with them. Most parents relied on relatives or friends for assistance with child care. Barriers to child care services identified by parents were inability to pay, lack of local services, and fear of losing custody of children.

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.

Suicide attempts by psychiatric patients in acute inpatient, long-stay inpatient and community care

Background: This study examined rates of and risk factors associated with suicide attempts by psychiatric patients under active care. It was especially focussed on the relative rates across three standard treatment settings: acute inpatient care, long-stay inpatient care and community-based carl. Methods: A total of 12,229 patients in 13,632 episodes of care were rated on the Health of the Nation Outcome Scales (HoNOS) Item 2. For the purposes of the current investigation, a score of 4 was deemed to indicate a suicide attempt. Results: Incidence densities per 1000 episode days were 5.4 (95% CI = 4.8-6.1) for patients under care in acute inpatient settings, 0.6 (95% CI = 0.5-0.8) for patients under care in long-stay inpatient settings, and 0.5 (95% CI = 0.5-0.6) for patients under carl in community-based arrangements. Predictors varied by treatment setting. Risk was elevated for personality disorders across all settings: 22.7 attempts per 1000 episode days (95% CI = 17.2-30.0) in acute inpatient care; 2.1 (95% CI = 1.0-4.5) in long-stay inpatient care; and 2.3 (95% CI = 1.7-3.0) in community-based care. This effect remained after adjustment for demographics. Conclusion: Rates of suicide attempts among psychiatric patients are a major issue facing contemporary mental health care systems, and risk factors vary across different treatment settings.

Community care and criminal offending in schizophrenia

Background The introduction of community care in psychiatry is widely thought to have resulted in more offending among the seriously mentally ill. This view affects public policy towards and public perceptions of such people. We investigated the association between the introduction of community care and the pattern of offending in patients with schizophrenia in Victoria, Australia. Methods We established patterns of offending from criminal records in two groups of patients with schizophrenia over their lifetime to date and in the 10 years after their first hospital admission. One group was first admitted in 1975 before major deinstitutionalisation in Victoria, the second group in 1985 when community care was becoming the norm. Each patient was matched to a control, by age, sex, and place of residence to allow for changing patterns of offending over time in the wider community. Findings Compared with controls, significantly more of those with schizophrenia were convicted at least once for ail categories of criminal offending except sexual offences (relative risk of offending in 1975=3.5 [95% CI 2.0-5.5), p=0.001, in 1985=3.0 [1.9-4.9], p=0.001). Among men, more offences were committed in the 1985 group than the 1975 group, but this was matched by a similar increase in convictions among the community controls. Those with schizophrenia who had also received treatment for substance abuse accounted for a disproportionate amount of offending. Analysis of admission data for the patients and the total population of admissions with schizophrenia showed that although there had been an increase of 74 days per annum spent in the community for each of the study population as a whole, first admissions spent only 1 more day in the community in 1985 compared with 1975. Interpretation Increased rates in criminal conviction for those with schizophrenia over the last 20 years are consistent with change in the pattern of offending in the general community. Deinstitutionalisation does not adequately explain such change. Mental-health services should aim to reduce the raised rates of criminal offending associated with schizophrenia, but turning the clock back on community care is unlikely to contribute towards any positive outcome.

Functional assessment and care of children with neurodevelopmental disabilities

Objectives: To determine the relationship between pediatric assessment scores and ratings by parents and teachers regarding the amount of assistance required to complete basic activities of daily living; and to examine the relationship among scores for three commonly used pediatric assessments. Design: Prospective correlational study. 205 children with developmental disabilities. The children ranged in age from 11 to 87 mo and included 72 females and 133 males of diverse socioeconomic and ethnic backgrounds. The children were evaluated by using the Battelle Developmental Inventory Screening Test, Vineland Adaptive Behavior Scales, Functional Independence Measure for Children (WeeFIM(TM) instrument), and the Amount of Assistance Questionnaire, Results: The test-retest reliability coefficients for items on the Amount of Assistance Questionnaire were found to range from 0.82 to 0.97. Correlations among subscale scores and amount of assistance ratings were highest for the WeeFIM instrument and Battelle Developmental Inventory Screening Test. The highest correlation was between WeeFIM total rating and total amount of assistance rating (r = 0.91). Conclusion: Total WeeFIM instrument ratings and severity of disability were the best predictors of amount of assistance ratings provided by parents and teachers.

The clinical value compass: Achieving benchmarking and quality improvement in aged care

Quality measurement and benchmarking in aged cave presents several challenges. A model which addresses this by linking four dimensions of outcomes has been developed - the Clinical Value Compass (CVC). A CVC was developed for stroke rehabilitation and measured across four sites. The CVC teas well accepted by the treatment teams and proved practical to measure. The results revealed differences in practices and client groups that led to a closer analysis of process and subsequent changes in these processes. Remeasuring of the CVC is required to demonstrate improved outcomes arising from these process changes.

Perceived need for mental health care, findings from the Australian National Survey of Mental Health and Well-being

Background. The Australian National Survey of Mental Health and Well-being was designed to detect and describe psychiatric morbidity, associated disability, service use and perceived need for care. The survey employed a single-phase interview methodology, delivering a field questionnaire to a clustered probability sample of 10641 Australians. Perceived need was sampled with an instrument designed for this survey, the Perceived Need for Care Questionnaire (PNCQ). This questionnaire gathers information about five categories of perceived need, assigning each to one of four levels of perceived need. Reliability and validity studies showed satisfactory performance of the instrument. Methods. Perceived need for mental health care in the Australian population has been analysed using PNCQ data, relating this to diagnostic and service utilization data from the above survey. Results. The survey findings indicate that an estimated 13.8 % of the Australian population have perceived need for mental health care. Those who met interview criteria for a psychiatric diagnosis and also expressed perceived need make up 9.9 % of the population. An estimated 11.0% of the population are cases of untreated prevalence, a minority (3.6% of the population) of whom expressed perceived need for mental health care. Among persons using services, those without a psychiatric diagnosis based on interview criteria (4.4% of the population), showed high levels of perceived met need. Conclusions. The overall rate of perceived need found by this methodology lies between those found in the USA and Canada. The findings suggest that service use in the absence of diagnosis elicited by survey questionnaires may often represent successful intervention. In the survey, untreated prevalence was commonly not accompanied by perceived need for mental health care.

The development and evaluation of an incontinence screening questionnaire for female primary care

Although there is a high prevalence of leaking urine among Australian women, there are currently no standardized procedures for screening patients for incontinence in the primary care setting (known in Australia as general practice). In response to this, an incontinence screening questionnaire (ISQ) was developed and evaluated for use in general practice. Eighty-nine women completed an original compilation of 33 items that asked about situations associated with leaking urine, avoidance of leakage, and concern about leakage. Each item was assessed according to its acceptability for the population of female general practice patients, discriminative value, and test-retest reliability. These patients also underwent an objective test of incontinence, the 48-hour pad test, so that the screening items could be validated against an objective classification of incontinence. The study included women who had bladder control problems and those who did not. Eight items on the ISQ were shown to be acceptable to patients, discriminative, reliable, and valid indicators of objective incontinence. Five items were capable of predicting almost 70% of patients who showed objective leakage of urine and misclassified fewer than 15% of these patients. Those five items were selected for inclusion in the (refined) ISQ. (C) 2000 Wiley-Liss, Inc.

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.

Assessing perceived need for mental health care in a community survey: development of the Perceived Need for Care Questionnaire (PNCQ)

Background: The Perceived Need for Care Questionnaire (PNCQ) was designed for the Australian National Survey of Mental Health and Wellbeing. The PNCQ complemented collection of data on diagnosis and disability with the survey participants' perceptions of their needs for mental health care and the meeting of those needs. The four-stage design of the PNCQ mimics a conversational exploration of the topic of perceived needs. Five categories of perceived need are each assigned to one of four levels of perceived need (no need, unmet need, partially met need and met need). For unmet need and partially met need, information on barriers to care is collected, Methods: Inter-rater reliabilities of perceived needs assessed by the PNCQ were examined in a study of 145 anxiety clinic attenders. Construct validity of these items was tested, using a multi-trait multi-method approach and hypotheses regarding extreme groups, in a study with a sample of 51 general practice and community psychiatric service patients. Results: The instrument is brief to administer and has proved feasible for use in various settings. Inter-rater reliabilities for major categories, measured by the kappa statistic, exceeded 0.60 in most cases; for the summary category of all perceived needs, inter-rater reliability was 0.62. The multi-trait multi-method approach lent support to the construct validity of the instrument, as did findings in extreme groups. Conclusions: The PNCQ shows acceptable feasibility, reliability and validity, adding to the range of assessment tools available for epidemiological and health services research.