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.

The treatment of tardive dyskinesia: A systematic review and meta-analysis

This systematic review aimed to collate randomized controlled trials (RCTs) of various interventions used to treat tardive dyskinesia (TD) and, where appropriate, to combine the data for mete-analysis, Clinical trials were identified by electronic searches, handsearches and contact with principal investigators. Data were extracted independently by two reviewers, for outcomes related to improvement, deterioration, side-effects and drop out rates. Data were pooled using the Mantel-Haenzel Odds Ratio (fixed effect model). For treatments that had significant effects, the number needed to treat (NNT) was calculated. From 296 controlled clinical trials, data were extracted from 47 trials. For most interventions, we could identify no RCT-derived evidence of efficacy. A meta-analysis showed that baclofen, deanol and diazepam were no more effective than a placebo. Single RCTs demonstrated a lack of evidence of any effect for bromocriptine, ceruletide, clonidine, estrogen, gamma linolenic acid, hydergine, lecithin, lithium, progabide, seligiline and tetrahydroisoxazolopyridinol. The meta-analysis found that five interventions were effective: L-dopa, oxypertine, sodium valproate, tiapride and vitamin E; neuroleptic reduction was marginally significant. Data from single RCTs revealed that insulin, alpha methyl dopa and reserpine were more effective than a placebo. There was a significantly increased risk of adverse events associated with baclofen, deanol, L-dopa, oxypertine and reserpine. Metaanalysis of the impact of placebo (n=485) showed that 37.3% of participants showed an improvement. Interpretation of this systematic review requires caution as the individual trials identified tended to have small sample sizes. For many compounds, data from only one trial were available, and where meta-analyses were possible, these were based on a small number of trials. Despite these concerns, the review facilitated the interpretation of the large and diverse range of treatments used for TD. Clinical recommendations for the treatment of TD are made, based on the availability of RCT-derived evidence, the strength of that evidence and the presence of adverse effects. (C) 1999 Elsevier Science B.V. All rights reserved.

Metabolic and kinetic analysis of poly(3-hydroxybutyrate) production by recombinant Escherichia coli

A quantitatively repeatable protocol was developed for poly(3-hydroxybutyrate) (PHB) production by Escherichia coli XL1-Blue (pSYL107). Two constant-glucose fed-batch fermentations of duration 25 h were carried out in a 5-L bioreactor, with the measured oxygen volumetric mass-transfer coefficient (k(L)a) held constant at 1.1 min(-1). All major consumption and production rates were quantified. The intracellular concentration profiles of acetyl-CoA (300 to 600 mug.g RCM-1) and 3-hydroxy-butyryl-CoA (20 to 40 mug.g RCM-1) were measured, which is the first time this has been performed for E. coli during PHB production. The kinetics of PHB production were examined and likely ranges were established for polyhydroxyalkanoate (PHA) enzyme activity and the concentration of pathway metabolites. These measured and estimated values are quite similar to the available literature estimates for the native PHB producer Ralstonia eutropha. Metabolic control analysis performed on the PHB metabolic pathway showed that the PHB flux was highly sensitive to acetyl-CoA/CoA ratio (response coefficient 0.8), total acetyl-CoA + CoA concentration (response coefficient 0.7), and pH (response coefficient -1.25). It was less sensitive (response coefficient 0.25) to NADPH/NADP ratio. NADP(H) concentration (NADPH + NADP) had a negligible effect. No single enzyme had a dominant flux control coefficient under the experimental conditions examined (0.6, 0.25, and 0.15 for 3-ketoacyl-CoA reductase, PHA synthase, and 3-ketothiolase, respectively). In conjunction with metabolic flux analysis, kinetic analysis was used to provide a metabolic explanation for the observed fermentation profile. In particular, the rapid onset of PHB production was shown to be caused by oxygen limitation, which initiated a cascade of secondary metabolic events, including cessation of TCA cycle flux and an increase in acetyl-CoA/CoA ratio. (C) 2001 John Wiley & Sons. Inc. Biotechnol Bioeng 74: 70-80, 2001.

Phenotypic and genotypic analysis of Helicoverpa armigera nucleopolyhedrovirus serially passaged in cell culture

Rapid accumulation of few polyhedra (FP) mutants was detected during serial passaging of Helicoverpa armigera nucleopolyhedrovirus (HaSNPV) in cell culture. 100% FP infected cells were observed by passage 6. The specific yield decreased from 178 polyhedra per cell at passage 2 to two polyhedra per cell at passage 6. The polyhedra at passage 6 were not biologically active, with a 28-fold reduction in potency compared to passage 3. Electron microscopy studies revealed that very few polyhedra were produced in an FP infected cell (< 10 polyhedra per section) and in most cases these polyhedra contained no virions. A specific failure in the intranuclear nucleocapsid envelopment process in the FP infected cells, leading to the accumulation of naked nucleocapsids, was observed. Genomic restriction endonuclease digestion profiles of budded virus DNA from all passages did not indicate any large DNA insertions or deletions that are often associated with such FP phenotypes for the extensively studied Autographa californica nucleopolyhedrovirus and Gaileria mellonella nucleopolyhedrovirus. Within an HaSNPV 25K FP gene homologue, a single base-pair insertion (an adenine residue) within a region of repetitive sequences (seven adenine residues) was identified in one plaque-purified HaSNPV FP mutant. Furthermore, the sequences obtained from individual clones of the 25KFP gene PCR products of a late passage revealed point mutations or single base-pair insertions occurring throughout the gene. The mechanism of FP mutation in HaSNPV is likely similar to that seen for Lymantria dispar nucleopolyhedrovirus, involving point mutations or small insertions/deletions of the 25K FP gene.

Linkage and Association Analysis of Radiation Damage Repair Genes XRCC3 and XRCC5 with Nevus Density in Adolescent Twins

Previous studies have shown that a deficiency in DNA damage repair is associated with increased cancer risk, and exposure to UV radiation is a major risk factor for the development of malignant melanoma. High density of common nevi (moles) is a major risk factor for cutaneous melanoma. A nevus may result from a mutation in a single UV-exposed melanocyte which failed to repair DNA damage in one or more critical genes. XRCC3 and XRCC5 may have an effect on nevus count through their function as components of DNA repair processes that may be involved directly or indirectly in the repair of DNA damage due to UV radiation. This study aims to test the hypothesis that the frequency of flat or raised moles is associated with polymorphism at or near these DNA repair genes, and that certain alleles are associated with less efficient DNA repair, and greater nevus density. Twins were recruited from schools in south eastern Queensland and were examined close to their 12th birthday. Nurses examined each individual and counted all moles on the entire body surface. A 10cM genome scan of 274 families (642 individuals) was performed and microsatellite polymorphisms in XRCC3 and adjacent to XRCC5 were also typed. Linkage and association of nevus count to these loci were tested simultaneously using a structural-equation modeling approach implemented in MX. There is weak evidence for linkage of XRCC5 to a QTL influencing raised mole count, and also weak association. There is also weak evidence for association between flat mole count and XRCC3. No tests were significant after correction for testing multiple alleles, nor were any of the tests for total association significant. If variation in XRCC3 or XRCC5 influences UV sensitivity, and indirectly affects nevus density, then the effects are small.

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.