A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

The role of cognitive vulnerability and stress in the prediction of postpartum depressive symptomatology

Objectives. The present study was designed to test the diathesis-stress components of Beck's cognitive theory of depression and the reformulated learned helplessness model of depression in the prediction of postpartum depressive symptomatology. Design and methods. The research used a two-wave longitudinal design-data were collected from 65 primiparous women during their third trimester of pregnancy and then 6 weeks after the birth. Cognitive vulnerability and initial depressive symptomatology were assessed at Time 1, whereas stress and postpartum depressive symptomatology were assessed at Time 2. Results. There was some support for the diathesis-stress component of Beck's cognitive theory, to the extent that the negative relationship between both general and maternal-specific dysfunctional attitudes associated with performance evaluation and Time 2 depressive symptomatology was strongest for women who reported high levels of parental stress. In a similar vein, the effects of dysfunctional attitudes (general and maternal-specific) associated with performance evaluation and need for approval (general measure only) on partner ratings of emotional distress were evident only among those women whose infants were rated as being temperamentally difficult. Conclusion. There was no support for the diathesis-stress component of the reformulated learned helplessness model of depression; however, there was some support for the diathesis-stress component of Beck's cognitive theory.

Evolution of stress deficit and changing rates of seismicity in cellular automaton models of earthquake faults

We investigate the internal dynamics of two cellular automaton models with heterogeneous strength fields and differing nearest neighbour laws. One model is a crack-like automaton, transferring ail stress from a rupture zone to the surroundings. The other automaton is a partial stress drop automaton, transferring only a fraction of the stress within a rupture zone to the surroundings. To study evolution of stress, the mean spectral density. f(k(r)) of a stress deficit held is: examined prior to, and immediately following ruptures in both models. Both models display a power-law relationship between f(k(r)) and spatial wavenumber (k(r)) of the form f(k(r)) similar tok(r)(-beta). In the crack model, the evolution of stress deficit is consistent with cyclic approach to, and retreat from a critical state in which large events occur. The approach to criticality is driven by tectonic loading. Short-range stress transfer in the model does not affect the approach to criticality of broad regions in the model. The evolution of stress deficit in the partial stress drop model is consistent with small fluctuations about a mean state of high stress, behaviour indicative of a self-organised critical system. Despite statistics similar to natural earthquakes these simplified models lack a physical basis. physically motivated models of earthquakes also display dynamical complexity similar to that of a critical point system. Studies of dynamical complexity in physical models of earthquakes may lead to advancement towards a physical theory for earthquakes.

Employee reactions to behavioural control under conditions of stress: the moderating role of self-efficacy

Extensive research conducted in the occupational stress literature has failed to provide convincing support for the stress-buffering effects of work control on employee adjustment. Drawing on research conducted in the laboratory context, it was proposed that the stress-buffering effects of work control on employee adjustment would be more marked at high, rather than low, levels of self-efficacy. In a sample of 100 customer service representatives, a significant three-way interaction among role conflict, work control and self-efficacy (measured at Time 1) was observed on (low) depersonalization (measured at Time 2). Consistent with expectations, work control reduced the negative effects of work stress on this outcome measure only for employees who perceived high levels of self-efficacy at work. In addition, there was evidence to suggest that self-efficacy moderated the main effects of work control on job satisfaction and somatic health. These findings are discussed hi terms of their theoretical contribution to the job strain model, and also in relation to workplace interventions designed to improve levels of employee adjustment.

The burden of mental disorders in Victoria, 1996

Background: Between 1998 and 1999, a burden of disease assessment was carried out in Victoria, Australia applying and improving on the methods of the Global Burden of Disease Study. This paper describes the methods and results of the calculations of the burden due to 22 mental disorders, adding 14 conditions not included in previous burden of disease estimates, Methods: The National Survey of Mental Health and Wellbeing provided recent data on the occurrence of the major adult mental disorders in Australia. Data from international studies and expert advice further contributed to the construction of disease models, describing each condition in terms of incidence, average duration and level of severity, with adjustments for comorbidity with other mental disorders. Disability weights for the time spent in different states of mental ill health were borrowed mainly from a study in the Netherlands, supplemented by weights derived in a local extrapolation exercise. Results: Mental disorders were the third largest group of conditions contributing to the burden of disease in Victoria, ranking behind cancers and cardiovascular diseases. Depression was the greatest cause of disability in both men and women. Eight other mental disorders in men and seven in women ranked among the top twenty causes of disability. Conclusions: Insufficient information on the natural history of many of the mental disorders, the limited information on the validity of mental disorder diagnoses in community surveys and considerable differences between ICD-10 and DSM-IV defined diagnoses were the main concerns about the accuracy of the estimates. Similar and often greater concerns have been raised in relation to the estimation of the burden from common non-fatal physical conditions such as asthma, diabetes and osteoarthritis. In comparison, psychiatric epidemiology can boast greater scientific rigour in setting standards for population surveys.

Recombinant human growth hormone, but not insulin-like growth factor-I, enhances central fat loss in postmenopausal women undergoing a diet and exercise program

We examined the effect of recombinant human growth hormone (rhGH) and/or recombinant human insulin-like growth factor-I (rhIGF-I) on regional fat loss in postmenopausal women undergoing a weight loss regimen of diet plus exercise. Twenty-seven women aged 59-79 years, 20-40% above ideal body weight, completed a 12-week program consisting of resistance training 2 days/week and walking 3 days/week, while consuming a diet that was 500 kcal/day less than that required for weight maintenance, Participants were randomly assigned in a double-blind fashion to receive rhGH (0.025 mg/kg BW/day: n=7), rhIGF-I (0.015 mg/kg BW/day: n=7), rhGH + rhIGF-I (n = 6), or placebo (PL: n = 7). Regional and whole body fat mass were determined by dual X-ray absorptiometry. Body fat distribution was assessed by the ratios of trunk fat-to-limb fat (TrF/LimbF) and trunk fat-to-total fat (TrF/TotF), Limb and trunk fat decreased in all groups (p < 0.01). For both ratios of fat distribution, the rhGH treated group experienced an enhanced loss of truncal compared to peripheral fat (p less than or equal to 0.01), with no significant change for those administered rhIGF-I or FL. There was no association between change in fat distribution and indices of cardiovascular disease risk as determined by serum lipid/lipoprotein levels and maximal aerobic capacity. These results suggest that administration of rhGH facilitates a decrease in central compared to peripheral fat in older women undertaking a weight loss program that combines exercise and moderate caloric restriction, although no beneficial effects are conferred to lipid/lipoprotein profiles, Further, the effect of rhGH is not enhanced by combining rhCH with rhIGF-I administration. In addition, rhIGF-I does not augment the loss of trunk fat when administered alone.

Post-traumatic stress disorder: Findings from the Australian National Survey of Mental Health and Well-being

Background. We report on the epidemiology of post-traumatic stress disorder (PTSD) in the Australian community, including information on lifetime exposure to trauma, 12-month prevalence of PTSD, sociodemographic correlates and co-morbidity. Methods. Data were obtained from a stratified sample of 10641 participants as part of the Australian National Survey of Mental Health and Well-being. A modified version of the Composite International Diagnostic Interview was used to determine the presence of PTSD, as well as other DSM-IV anxiety, affective and substance use disorders. Results. The estimated 12-month prevalence of PTSD was 1.33%, which is considerably lower than that found in comparable North American studies. Although females were at greater risk than males within the subsample of those who had experienced trauma, the large gender differences noted in some recent epidemiological research were not replicated. Prevalence was elevated among the never married and previously married respondents, and was lower among those aged over 55. For both men and women, rape and sexual molestation were the traumatic events most likely to be associated with PTSD. A high level of Axis I co-morbidity was found among those persons with PTSD Conclusions. PTSD is a highly prevalent disorder in the Australian community and is routinely associated with high rates of anxiety, depression and substance disorders. Future research is needed to investigate rates among other populations outside the North American continent.

Perceived environmental aesthetics and convenience and company are associated with walking for exercise among Australian adults

Background. This study aimed to investigate relationships between environmental aesthetics, convenience, and walking companions and walking for exercise or recreation and to investigate differences in these relationships by sex and by reported physical and mental health. Methods. Analyses of cross-sectional self-report data from a statewide population survey of 3,392 Australian adults were used. Results. Men and women reporting a less aesthetically pleasing or less convenient environment were less likely to report walking for exercise or recreation in the past 2 weeks. Those respondents, particularly women, reporting no company or pet to walk with were also less likely to walk for exercise or recreation. Associations with environmental and social influences were observed for men and women reporting both good and poor physical and mental health. Conclusions. Perceived environmental aesthetics and convenience and walking companions are important correlates of walking for exercise among urban Australians. Acknowledging the cross-sectional nature of these data, findings support a case for evaluation of environmental policies to promote physical activity. (C) 2001 American Health Foundation and Academic Press.

Review of stress corrosion cracking of pipeline steels in "low" and "high" pH solutions

This paper reviews the current understanding of the mechanisms of stress corrosion cracking of pipeline steels. The similarities, the differences and the influencing factors are considered for the high pH stress corrosion cracking caused by a concentrated bicarbonate-carbonate solution, and for the low pH stress corrosion cracking due to a diluter solution. For high pH stress corrosion cracking, it is well accepted that the mechanism involves anodic dissolution for crack initiation and propagation. In contrast, it has been suggested that the low pH stress corrosion cracking is associated with the dissolution of the crack tip and sides, accompanied by the ingress of hydrogen into the pipeline steel. But the precise influence of hydrogen on the mechanism needs to be further studied. (C) 2003 Kluwer Academic Publishers.

Effect of shear stress on expression of a recombinant protein by Chinese hamster ovary cells

A flow chamber was used to impart a steady laminar shear stress on a recombinant Chinese hamster ovary (CHO) cell line expressing human growth hormone (hGH). The cells were subjected to shear stress ranging from 0.005 to 0.80 N m(-2). The effect of shear stress on the cell specific glucose uptake, cell specific hGH, and lactate productivity rates were calculated. No morphological changes to the cells were observed over the range of shear stresses examined. When the cells were subjected to 0.10 N m(-2) shear in protein-free media without Pluronic F-68, recombinant protein production ceased with no change in cell morphology, whereas control cultures were expressing hGH at 0.35 mug/10(6) cells/h. Upon addition of the shear protectants, Pluronic F-68 (0.2% [w/v]) or fetal bovine serum (1.0% [v/v] FBS), the productivity of the cells was restored. The effect of increasing shear stress on the cells in protein-free medium containing Pluronic F-68 was also investigated. Cell specific metabolic rates were calculated for cells under shear stress and for no-shear control cultures performed in parallel, with shear stress rates expressed as a percentage of those obtained for control cultures. Upon increasing shear from 0.005 to 0.80 N m(-2), the cell specific hGH productivity decreased from 100% at 0.005 N m(-2) to 49% at 0.80 N m(-2) relative to the no-shear control. A concurrent increase in the glucose uptake rate from 115% at 0.01 N m(-2) to 142% at 0.80 N m(-2), and decreased lactate productivity from 92% to 50%, revealed a change in the yield of products from glucose compared with the static control. It was shown that shear stress, at sublytic levels in medium containing Pluronic F-68, could decrease hGH specific productivity. (C) 2002 Wiley Periodicals, Inc.

Impact of on-site testing for maternal syphilis on treatment delays, treatment rates, and perinatal mortality in rural South Africa: a randomised controlled trial

Background: Syphilis remains a significant cause of preventable perinatal death in developing countries with many women remaining untested and thus untreated. Syphilis testing in the clinic (on-site testing) may be a useful strategy to overcome this. We studied the impact of on-site syphilis testing on treatment delays and rates, and perinatal mortality. Methods: We conducted a cluster randomised controlled trial among seven pairs of primary healthcare clinics in rural South Africa, comparing on-site testing complemented by laboratory confirmation versus laboratory testing alone. Intervention clinics used the on-site test conducted by primary care nurses, with results and treatment available within an hour. Control clinics sent blood samples to the provincial laboratory, with results returned 2 weeks later. Results: Of 7134 women seeking antenatal care with available test results, 793 (11.1%) tested positive for syphilis. Women at intervention clinics completed treatment 16 days sooner on average (95% confidence interval: 11 to 21), though there was no significant difference in the proportion receiving adequate treatment at intervention (64%) and control (69%) clinics. There was also no significant difference in the proportion experiencing perinatal loss (3.3% v 5.1%; adjusted risk difference: -0.9%; 95% Cl -4.4 to 2.7). Conclusions: Despite reducing treatment delays, the addition of on-site syphilis testing to existing laboratory testing services did not lead to higher treatment rates or reduce perinatal mortality. However on-site testing for syphilis may remain an important option for improving antenatal care in settings where laboratory facilities are not available.

Testing hypotheses about the relationship between cannabis use and psychosis

Aim: To model the impact of rising rates of cannabis use on the incidence and prevalence of psychosis under four hypotheses about the relationship between cannabis use and psychosis. Methods: The study modelled the effects on the prevalence of schizophrenia over the lifespan of cannabis in eight birth cohorts: 1940-1944, 1945-1949, 1950-1954, 1955-1959, 1960-1964, 1965-1969, 1970-1974, 1975-1979. It derived predictions as to the number of cases of schizophrenia that would be observed in these birth cohorts, given the following four hypotheses: (1) that there is a causal relationship between cannabis use and schizophrenia; (2) that cannabis use precipitates schizophrenia in vulnerable persons; (3) that cannabis use exacerbates schizophrenia; and (4) that persons with schizophrenia are more liable to become regular cannabis users. Results: There was a steep rise in the prevalence of cannabis use in Australia over the past 30 years and a corresponding decrease in the age of initiation of cannabis use. There was no evidence of a significant increase in the incidence of schizophrenia over the past 30 years. Data on trends the age of onset of schizophrenia did not show a clear pattern. Cannabis use among persons with schizophrenia has consistently been found to be more common than in the general population. Conclusions: Cannabis use does not appear to be causally related to the incidence of schizophrenia, but its use may precipitate disorders in persons who are vulnerable to developing psychosis and worsen the course of the disorder among those who have already developed it. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.