An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Porous clays and pillared clays-based catalysts. Part 2: A review of the catalytic and molecular sieve applications

Metal oxide pillared clay (PILC) possesses several interesting properties, such as large surface area, high pore volume and tunable pore size (from micropore to mesopore), high thermal stability, strong surface acidity and catalytic active substrates/metal oxide pillars. These unique characteristics make PILC an attractive material in catalytic reactions. It can be made either as catalyst support or directly used as catalyst. This paper is a continuous work from Kloprogge's review (J.T. Kloprogge, J. Porous Mater. 5, 5 1998) on the synthesis and properties of smectites and related PILCs and will focus on the diverse applications of clay pillared with different types of metal oxides in the heterogeneous catalysis area and adsorption area. The relation between the performance of the PILC and its physico-chemical features will be addressed.

Telemedicine and developing countries - successful implementation will require a shared approach

Telemedicine is often proposed as a solution to certain health-care problems in the developing world. There seems to be little published experience on which to make judgements. A literature search revealed 39 articles, of which only two related to any kind of direct clinical work; most of them were review articles or editorials. The majority of the work reported was educational in nature, and there has been little clinical experience. It seems probable that telemedicine can help with the education of health-care workers and patients; it seems likely that it could bring major benefits to the organization of health-care. Without proper trials, it will be impossible to determine the place of health-care in the developing world. Trials are the only way in which rational decisions can ultimately be reached regarding whether scarce resources should be devoted to telemedicine in developing countries, or whether they should be employed in more conventional health-care measures whose outcomes are known to be cost-effective.

Comparison of two-dimensional speckle and tissue velocity based strain and validation with harmonic phase magnetic resonance imaging

Two-dimensional (2-D) strain (epsilon(2-D)) on the basis of speckle tracking is a new technique for strain measurement. This study sought to validate epsilon(2-D) and tissue velocity imaging (TVI)based strain (epsilon(TVI)) with tagged harmonic-phase (HARP) magnetic resonance imaging (MRI). Thirty patients (mean age. 62 +/- 11 years) with known or suspected ischemic heart disease were evaluated. Wall motion (wall motion score index 1.55 +/- 0.46) was assessed by an expert observer. Three apical images were obtained for longitudinal strain (16 segments) and 3 short-axis images for radial and circumferential strain (18 segments). Radial epsilon(TVI) was obtained in the posterior wall. HARP MRI was used to measure principal strain, expressed as maximal length change in each direction. Values for epsilon(2-D), epsilon(TVI), and HARP MRI were comparable for all 3 strain directions and were reduced in dysfunctional segments. The mean difference and correlation between longitudinal epsilon(2-D) and HARP MRI (2.1 +/- 5.5%, r = 0.51, p < 0.001) were similar to those between longitudinal epsilon(TVI), and HARP MRI (1.1 +/- 6.7%, r = 0.40, p < 0.001). The mean difference and correlation were more favorable between radial epsilon(2-D) and HARP MRI (0.4 +/- 10.2%, r = 0.60, p < 0.001) than between radial epsilon(TVI), and HARP MRI (3.4 +/- 10.5%, r = 0.47, p < 0.001). For circumferential strain, the mean difference and correlation between epsilon(2-D) and HARP MRI were 0.7 +/- 5.4% and r = 0.51 (p < 0.001), respectively. In conclusion, the modest correlations of echocardiographic and HARP MRI strain reflect the technical challenges of the 2 techniques. Nonetheless, epsilon(2-D) provides a reliable tool to quantify regional function, with radial measurements being more accurate and feasible than with TVI. Unlike epsilon(TVI), epsilon(2-D) provides circumferential measurements. (c) 2006 Elsevier Inc. All rights reserved.

How does the health and well-being of young Australian vegetarian and semi-vegetarian women compare with non-vegetarians?

Objective: To compare the sociodemographic characteristics, health status and health service use of vegetarians, semi-vegetarians and non-vegetarians. Design: In cross-sectional data analyses of the Australian Longitudinal Study on Women's Health in 2000, 9113 women (aged 22-27 years) were defined as non-vegetarians if they reported including red meat in their diet., as semi-vegetarians if they excluded red meat and as vegetarians if they excluded meat, poultry and fish from their diet. Results: The estimated prevalence was 3% and 10% for vegetarian and semi-vegetarian young women. Compared with non-vegetarians, vegetarians and semi-vegetarians were more likely to live in urban areas and to not be married. Vegetarians and semi-vegetarians had lower body mass index (mean (95% confidence interval): 22.2 (21.7-22.7) and 23.0 (22.7-23.3) kg m(-2)) than non-vegetarians (23.7 (23.6-23.8) kg m(-2)) and tended to exercise more. Semi-vegetarians and vegetarians had poorer mental health, with 21-22% reporting depression compared with 15% of non-vegetarians (P < 0.001). Low iron levels and menstrual symptoms were also more common in both vegetarian groups. Vegetarian and semi-vegetarian women were more likely to consult alternative health practitioners and semi-vegetarians reported taking more prescription and non-prescription medications. Compared with non-vegetarians, semi-vegetarians were less likely and vegetarians much less likely to be taking the oral contraceptive pill. Conclusion: The levels of physical activity and body mass indices of the vegetarian and semi-vegetarian women suggest they are healthier than non-vegetarians. However, the greater reports of menstrual problems and the poorer mental health of these young women may be of clinical significance.