How to design extended finite state machine test models in Java

This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing.

The effect of Tai Chi on health related quality of life in people with elevated blood glucose or diabetes : a randomized controlled trial

Purpose The aim was to assess the effects of a Tai Chi based program on health related quality of life (HR-QOL) in people with elevated blood glucose or diabetes who were not on medication for glucose control. Method 41 participants were randomly allocated to either a Tai Chi intervention group (N = 20) or a usual medical care control group (N = 21). The Tai Chi group involved 3 x 1.5 hour supervised and group-based training sessions per week for 12 weeks. Indicators of HR-QOL were assessed by self-report survey immediately prior to and after the intervention. Results There were significant improvements in favour of the Tai Chi group for the SF36 subscales of physical functioning (mean difference = 5.46, 95% CI = 1.35-9.57, P < 0.05), role physical (mean difference = 18.60, 95% CI = 2.16-35.05, P < 0.05), bodily pain (mean difference = 9.88, 95%CI = 2.06-17.69, P < 0.05) and vitality (mean difference = 9.96, 95% CI = 0.77-19.15, P < 0.05). Conclusions The findings show that this Tai Chi program improved indicators of HR-QOL including physical functioning, role physical, bodily pain and vitality in people with elevated blood glucose or diabetes who were not on diabetes medication.

A Reliability test system for educational purposes-basic data

The IEEE Subcommittee on the Application of Probability Methods (APM) published the IEEE Reliability Test System (RTS) [1] in 1979. This system provides a consistent and generally acceptable set of data that can be used both in generation capacity and in composite system reliability evaluation [2,3]. The test system provides a basis for the comparison of results obtained by different people using different methods. Prior to its publication, there was no general agreement on either the system or the data that should be used to demonstrate or test various techniques developed to conduct reliability studies. Development of reliability assessment techniques and programs are very dependent on the intent behind the development as the experience of one power utility with their system may be quite different from that of another utility. The development and the utilization of a reliability program are, therefore, greatly influenced by the experience of a utlity and the intent of the system manager, planner and designer conducting the reliability studies. The IEEE-RTS has proved to be extremely valuable in highlighting and comparing the capabilities (or incapabilities) of programs used in reliability studies, the differences in the perception of various power utilities and the differences in the solution techniques. The IEEE-RTS contains a reasonably large power network which can be difficult to use for initial studies in an educational environment.

A Reliability test system for educational purposes-basic data

The IEEE Reliability Test System (RTS) developed by the Application of Probability Method Subcommittee has been used to compare and test a wide range of generating capacity and composite system evaluation techniques and subsequent digital computer programs. A basic reliability test system is presented which has evolved from the reliability education and research programs conducted by the Power System Research Group at the University of Saskatchewan. The basic system data necessary for adequacy evaluation at the generation and composite generation and transmission system levels are presented together with the fundamental data required to conduct reliability-cost/reliability-worth evaluation

A Reliability test system for educational purposes-basic results

A set of basic reliability indices at the generation and composite generation and transmission levels for a small reliability test system are presented. The test system and the results presented have evolved from reliability research and teaching programs. The indices presented are for fundamental reliability applications which should be covered in a power system reliability teaching program. The RBTS test system and the basic indices provide a valuable reference for faculty and students engaged in reliability teaching and research

Climate of fear in organisational settings : construct definition, measurement and a test of theory

This paper reports a study that explored a new construct: ‘climate of fear’. We hypothesised that climate of fear would vary across work sites within organisations, but not across organisations. This is in contrast a to measures of organisational culture, which were expected to vary both within and across organisations. To test our hypotheses, we developed a new 13-item measure of perceived fear in organisations and tested it in 20 sites across two organisations (N ≡ 209). Culture variables measured were innovative leadership culture, and communication culture. Results were that climate of fear did vary across sites in both organisations, while differences across organisations were not significant, as we anticipated. Organisational culture, however, varied between the organisations, and within one of the organisations. The climate of fear scale exhibited acceptable psychometric properties

Effect of chronic exercise on appetite control in overweight and obese individuals

Purpose: The effect of exercise on body mass is likely to be partially mediated through changes in appetite control. However, no studies have examined the effect of chronic exercise on obestatin and cholecystokinin (CCK) plasma concentrations or the sensitivity to detect differences in preload energy in obese individuals. The objective of this study was to investigate the effects of chronic exercise on 1) fasting and postprandial plasma concentrations of obestatin, CCK, leptin, and glucose insulinotropic peptide (GIP) and 2) the accuracy of energy compensation in response to covert preload manipulation. Methods: This study used a 12-wk supervised exercise program in 22 sedentary overweight/obese individuals. Fasting/postprandial plasma concentrations of obestatin, CCK, leptin, and GIP were assessed before and after the intervention. Energy compensation at a 30-min test meal after a high-energy (607 kcal) or a low-energy (246 kcal) preload and for the rest of the day (cumulative energy intake [EI]) was also measured. Results: There was a significant reduction in the plasma concentration of fasting plasma GIP and both fasting and postprandial leptin concentrations after the exercise intervention (P < 0.05 for all). No significant changes were observed for CCK or obestatin. A significant preload–exercise interaction (P = 0.011) was observed on cumulative EI and energy compensation for the same period (−87% ± 196% vs 68% ± 165%, P = 0.011). Weight loss (3.5 ± 1.4 kg, P < 0.0001) was not correlated with changes in energy compensation. Conclusions: This study suggests that exercise improves the accuracy of compensation for previous EI, independent of weight loss. Unexpectedly, and in contrast to GIP and leptin, exercise-induced weight loss had no effect on obestatin or CCK concentrations.

Timed Up and Go Tests in cardiac rehabilitation : reliability and comparison with the 6-minute walk test

PURPOSE: To test the reliability of Timed Up and Go Tests (TUGTs) in cardiac rehabilitation (CR) and compare TUGTs to the 6-Minute Walk Test (6MWT) for outcome measurement. METHODS: Sixty-one of 154 consecutive community-based CR patients were prospectively recruited. Subjects undertook repeated TUGTs and 6MWTs at the start of CR (start-CR), postdischarge from CR (post-CR), and 6 months postdischarge from CR (6 months post-CR). The main outcome measurements were TUGT time (TUGTT) and 6MWT distance (6MWD). RESULTS: Mean (SD) TUGTT1 and TUGTT2 at the 3 assessments were 6.29 (1.30) and 5.94 (1.20); 5.81 (1.22) and 5.53 (1.09); and 5.39 (1.60) and 5.01 (1.28) seconds, respectively. A reduction in TUGTT occurred between each outcome point (P ≤ .002). Repeated TUGTTs were strongly correlated at each assessment, intraclass correlation (95% CI) = 0.85 (0.76–0.91), 0.84 (0.73–0.91), and 0.90 (0.83–0.94), despite a reduction between TUGTT1 and TUGTT2 of 5%, 5%, and 7%, respectively (P ≤ .006). Relative decreases in TUGTT1 (TUGTT2) occurred from start-CR to post-CR and from start-CR to 6 months post-CR of −7.5% (−6.9%) and −14.2% (−15.5%), respectively, while relative increases in 6MWD1 (6MWD2) occurred, 5.1% (7.2%) and 8.4% (10.2%), respectively (P < .001 in all cases). Pearson correlation coefficients for 6MWD1 to TUGTT1 and TUGTT2 across all times were −0.60 and −0.68 (P < .001) and the intraclass correlations (95% CI) for the speeds derived from averaged 6MWDs and TUGTTs were 0.65 (0.54, 0.73) (P < .001). CONCLUSIONS: Similar relative changes occurred for the TUGT and the 6MWT in CR. A significant correlation between the TUGTT and 6MWD was demonstrated, and we suggest that the TUGT may provide a related or a supplementary measurement of functional capacity in CR.

Candidate gene analysis for quantitative traits using the transmission disequilibrium test : the example of the melanocortin 4-receptor in pigs

Population-wide associations between loci due to linkage disequilibrium can be used to map quantitative trait loci (QTL) with high resolution. However, spurious associations between markers and QTL can also arise as a consequence of population stratification. Statistical methods that cannot differentiate between loci associations due to linkage disequilibria from those caused in other ways can render false-positive results. The transmission-disequilibrium test (TDT) is a robust test for detecting QTL. The TDT exploits within-family associations that are not affected by population stratification. However, some TDTs are formulated in a rigid-form, with reduced potential applications. In this study we generalize TDT using mixed linear models to allow greater statistical flexibility. Allelic effects are estimated with two independent parameters: one exploiting the robust within-family information and the other the potentially biased between-family information. A significant difference between these two parameters can be used as evidence for spurious association. This methodology was then used to test the effects of the fourth melanocortin receptor (MC4R) on production traits in the pig. The new analyses supported the previously reported results; i.e., the studied polymorphism is either causal of in very strong linkage disequilibrium with the causal mutation, and provided no evidence for spurious association.

Diabetes health program development for Aboriginal and Torres Strait Islander women

According to Australian Health (2008), the area of endocrine, nutritional and metabolic disorders (mainly diabetes) yields the highest cause of death for Indigenous Australian women at 10.1%. Indigenous Brisbane North women’s results reiterate this with slightly higher percentages and are a cause for concern and action due to the noted levels of undiagnosed/unaware Indigenous Brisbane North women with abnormal blood glucose levels, whom participated in the research. A sub-sample of the group (N=17) were piloted to test the feasibility of method of eliciting health information on Indigenous Women within this community. This pilot study revealed the following health information regarding this group of women. 41.2% of Indigenous Brisbane North women were found to have blood glucose levels that were outside normal ranges, however only 29.4% had been diagnosed with diabetes and or endocrine abnormalities. These findings highlight that 11.8% of participants have signs indicating that they may have undiagnosed diabetes or/and pre diabetes juxtaposed to unacceptable endocrine levels compatible with health and wellness. The percentages of Indigenous Brisbane North Women whom have indicated that they have a diagnosis of diabetes have been compared to both National Indigenous peoples percentages and the national percentages for the wider Australian community (all Australians). The rate of diabetes within this population is 9 times that of the wider Australian community and 5 times that of the wider Australian Indigenous community. Data was collected from Indigenous participants on arrival and the attendance numbers of 112 women was recorded for comparison with other current health prevention wellness programs being delivered. Data was also collected through the use of specially designed culturally safe questionnaires undertaken in conjunction with health checks and health service information given to participants.

Modulation of LPS-induced chorioamnionitis by ureaplasma parvum in sheep chorioamnionitis in sheep

ABSTRACT Objective: Ureaplasma parvum colonization in the setting of polymicrobial flora is common in women with chorioamnionitis, and is a risk factor for preterm delivery and neonatal morbidity. We hypothesized that ureaplasma colonization of amniotic fluid will modulate chorioamnionitis induced by E.coli lipopolysaccharide (LPS). Methods: Sheep received intra-amniotic (IA) injections of media (control) or live ureaplasma either 7 or 70d before delivery. Another group received IA LPS 2d before delivery. To test for interactions, U.parvum exposed animals were challenged with IA LPS, and delivered 2d later. All animals were delivered preterm at 125±1 day gestation. Results: Both IA ureaplasmas and LPS induced leukocyte infiltration of chorioamnion. LPS greatly increased the expression of pro-inflammatory cytokines and myeloperoxidase in leukocytes, while ureaplasmas alone caused modest responses. Interestingly, 7d but not 70d ureaplasma exposure significantly downregulated LPS induced pro-inflammatory cytokines and myeloperoxidase expression in the chorioamnion. Conclusion: U.parvum can suppress LPS induced experimental chorioamnionitis.

The construction contract bidder homogeneity assumption : an empirical test

This paper describes an empirical study to test the proposition that all construction contract bidders are homogeneous ie. they can be treated as behaving collectively in an identical (statistical) manner. Examination of previous analyses of bidding data reveals a flaw in the method of standardising bids across different size contracts and a new procedure is proposed which involves the estimation of a contract datum. Three independent sets of bidding data were then subjected to this procedure and estimates of the necessary distributional parameters obtained. These were then tested against the bidder homogeneity assumption resulting in the conclusion that the assumption may be appropriate for a three parameter log-normal shape, but not for scale and location.

Board age and gender diversity : a test of competing linear and curvilinear predictions

We test competing linear and curvilinear predictions between board diversity and performance. The predictions were tested using archival data on 288 organizations listed on the Australian Securities Exchange. The findings provide additional evidence on the business case for board gender diversity and refine the business case for board age diversity.