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.

A systematic review and meta-analysis of Northern Hemisphere season of birth studies in schizophrenia

Based on the epidemiological finding that individuals with schizophrenia tend to be born in winter/spring when compared to the general population, we examined (1) the strength and timing of this effect in Northern Hemisphere sites, and (2) the correlation between the season of birth effect size and latitude. Studies were located via electronic data sources, published citations, and letters to authors. Inclusion criteria were that studies specify the diagnostic criteria used, that studies specify the counts of schizophrenia and general population births for each month, and that subjects and the general population be drawn from the same birth years and catchment area. We extracted data from eight studies based on 126,196 patients with schizophrenia and 86,605,807 general population births and drawn from 27 Northern Hemisphere sites. Comparing winter/spring versus summer/autumn births, we found a significant excess for winter/spring births (pooled odds ratio = 1.07; 95% confidence interval 1.05, 1.08; population attributable risk = 3.3%). There was a small but significant positive correlation between the odds ratios for the season of birth comparison and latitude (r = 0.271, p < 0.005). Furthermore, the shape of the seasonality in schizophrenia births varied by latitude band. These variations may encourage researchers to generate candidate seasonally fluctuating exposures.

Structural, electrical, and optical analysis of ion implanted semi-insulating InP

Semi-insulating InP was implanted with MeV P, As, Ga, and In ions, and the resulting evolution of structural properties with increased annealing temperature was analyzed using double crystal x-ray diffractometry and cross sectional transmission electron microscopy. The types of damage identified are correlated with scanning spreading resistance and scanning capacitance measurements, as well as with previously measured Hall effect and time resolved photoluminescence results. We have identified multiple layers of conductivity in the samples which occur due to the nonuniform damage profile of a single implant. Our structural studies have shown that the amount and type of damage caused by implantation does not scale with implant ion atomic mass. (C) 2004 American Institute of Physics.

Effects of dopamine receptor D4 variation on alcohol and tobacco use and on novelty seeking: Multivariate linkage and association analysis

The dopamine D4 receptor gene contains a polymorphic sequence consisting of a variable number of 48-base-pair (bp) repeats, and there have been a number of reports that this polymorphism is associated with variation in novelty seeking or in substance abuse and addictive behaviors. In this study we have assessed the linkage and association of DRD4 genotype with novelty seeking, alcohol use, and smoking in a sample of 377 dizygotic twin pairs and 15 single twins recruited from the Australian Twin Registry (ATR). We found no evidence of linkage or association of the DRD4 locus with any of the phenotypes. We made use of repeated measures for some phenotypes to increase power by multivariate genetic analysis, but allelic effects were still non-significant. Specifically, it has been suggested that the DRD4 7-repeat allele is associated with increased novelty seeking in males but we found no evidence for this, despite considerable power to do so. We conclude that DRD4 variation does not have an effect on use of alcohol and the problems that arise from it, on smoking, or on novelty seeking behavior. (C) 2003 Wiley-Liss, Inc.

Lithium for schizophrenia revisited: A systematic review and meta-analysis of randomized controlled trials

Background: Clinicians frequently use lithium to augment antipsychotic medication in schizophrenia. Therefore, we undertook a systematic review and meta-analysis of the use of lithium in the treatment of schizophrenia. Data sources and study selection: Randomized controlled trials examining lithium (as a sole or an adjunctive compound) in participants with schizophrenia or related disorders were searched in the register of the Cochrane Schizophrenia Group. No language restrictions were applied. The Boolean phrase [lithium* or lithicarb or eskalith or lithobid or lithane or cibalith-s or quilonum or hypnorex] was used to locate articles. The search strategy initially identified 90 references. The authors of the included studies were contacted to obtain original patient data. The data were combined in a meta-analysis. The main outcome parameters were the number of patients with a clinically significant response and the number of patients leaving the studies early. Results: The meta-analysis includes 20 studies (N = 611). The evidence shows that lithium as a sole agent is ineffective in the treatment of schizophrenia. Eleven trials examined the augmentation of antipsychotics with lithium. More patients who received lithium augmentation than those who received antipsychotics alone were classified as responders. However, the superiority was not consistent across different response thresholds, and when patients with prominent affective symptoms were excluded from the analysis, the advantage of lithium augmentation was not significant (p = .07). Significantly more patients taking lithium left the trials early, suggesting a lower acceptability of lithium augmentation compared with that of taking antipsychotics alone. Conclusion: Despite some evidence in favor of lithium augmentation, the overall results are inconclusive. A large trial of lithium augmentation of antipsychotic medications will be required in order to detect a benefit of small effect size in patients with schizophrenia who lack affective symptoms.

Theoretical and numerical analysis of large-scale heat transfer problems with temperature-dependent pore-fluid densities

Purpose - In many scientific and engineering fields, large-scale heat transfer problems with temperature-dependent pore-fluid densities are commonly encountered. For example, heat transfer from the mantle into the upper crust of the Earth is a typical problem of them. The main purpose of this paper is to develop and present a new combined methodology to solve large-scale heat transfer problems with temperature-dependent pore-fluid densities in the lithosphere and crust scales. Design/methodology/approach - The theoretical approach is used to determine the thickness and the related thermal boundary conditions of the continental crust on the lithospheric scale, so that some important information can be provided accurately for establishing a numerical model of the crustal scale. The numerical approach is then used to simulate the detailed structures and complicated geometries of the continental crust on the crustal scale. The main advantage in using the proposed combination method of the theoretical and numerical approaches is that if the thermal distribution in the crust is of the primary interest, the use of a reasonable numerical model on the crustal scale can result in a significant reduction in computer efforts. Findings - From the ore body formation and mineralization points of view, the present analytical and numerical solutions have demonstrated that the conductive-and-advective lithosphere with variable pore-fluid density is the most favorite lithosphere because it may result in the thinnest lithosphere so that the temperature at the near surface of the crust can be hot enough to generate the shallow ore deposits there. The upward throughflow (i.e. mantle mass flux) can have a significant effect on the thermal structure within the lithosphere. In addition, the emplacement of hot materials from the mantle may further reduce the thickness of the lithosphere. Originality/value - The present analytical solutions can be used to: validate numerical methods for solving large-scale heat transfer problems; provide correct thermal boundary conditions for numerically solving ore body formation and mineralization problems on the crustal scale; and investigate the fundamental issues related to thermal distributions within the lithosphere. The proposed finite element analysis can be effectively used to consider the geometrical and material complexities of large-scale heat transfer problems with temperature-dependent fluid densities.

Coupled thermal, structural and vibrational analysis of a hypersonic engine for flight test

This paper describes a relatively simple and quick method for implementing aerodynamic heating models into a finite element code for non-linear transient thermal-structural and thermal-structural-vibrational analyses of a Mach 10 generic HyShot scramjet engine. The thermal-structural-vibrational response of the engine was studied for the descent trajectory from 60 to 26 km. Aerodynamic heating fluxes, as a function of spatial position and time for varying trajectory points, were implemented in the transient heat analysis. Additionally, the combined effect of varying dynamic pressure and thermal loads with altitude was considered. This aero-thermal-structural analysis capability was used to assess the temperature distribution, engine geometry distortion and yielding of the structural material due to aerodynamic heating during the descent trajectory, and for optimising the wall thickness, nose radius of leading edge, etc. of the engine intake. A structural vibration analysis was also performed following the aero-thermal-structural analysis to determine the changes in natural frequencies of the structural vibration modes that occur at the various temperatures associated with the descent trajectory. This analysis provides a unique and relatively simple design strategy for predicting and mitigating the thermal-structural-vibrational response of hypersonic engines. (C) 2006 Elsevier SAS. All rights reserved.

The commentariat and discourse failure: language and atrocity in Cool Britannia

Recent terrorist events in the UK, such as the security alerts at British airports in August 2006 and the London bombings of July 2005 gained extensive media and academic analysis. This study contends, however, that much of the commentary demonstrated a wide degree of failure among government agencies, academic and analytic experts and the wider media, about the nature of the threat and continues to distort comprehension of the extant danger. The principal failure, this argument maintains, was, and continues to be, one of an asymmetry of comprehension that mistakes the still relatively limited means of violent jihadist radicals with limited political ends. The misapprehension often stems from the language that surrounds the idea of 'terrorism', which increasingly restricts debate to an intellectually redundant search for the 'root causes' that give rise to the politics of complacency. In recent times this outlook has consistently underestimated the level of the threat to the security of the UK. This article argues that a more realistic appreciation of the current security condition requires abandoning the prevailing view that the domestic threat is best prosecuted as a criminal conspiracy. It demands instead a total strategy to deal with a totalizing threat. The empirical evidence demonstrates the existence of a physical threat, not merely the political fear of threat. The implementation of a coherent set of social policies for confronting the threat at home recognizes that securing state borders and maintaining internal stability are the first tasks of government. Fundamentally, this requires a return to an understanding of the Hobbesian conditions for sovereignty, which, despite the delusions of post-Cold War cosmopolitan multiculturalism, never went away.