Supervisory Control Theory in System Safety Analysis

Development of safety critical systems requires a risk management strategy to identify and analyse hazards, and apply necessary actions to eliminate or control them as malfunctions could be catastrophic. Fault Tree Analysis (FTA) is one of the most widely used methods for safety analysis in industrial use. However, the standard FTA is manual, informal, and limited to static analysis of systems. In this paper, we present preliminary results from a model-based approach to address these limitations using Supervisory Control Theory. Taking an example from the Fault Tree Handbook, we present a systematic approach to incrementally obtain formal models from a fault tree and verify them in the tool Supremica. We present a method to calculate minimal cut sets using our approach. These compositional techniques could potentially be very beneficial in the safety analysis of highly complex safety critical systems, where several components interact to solve different tasks

Inferring stabilizing mutations from protein phylogenies : application to influenza hemagglutinin

One selection pressure shaping sequence evolution is the requirement that a protein fold with sufficient stability to perform its biological functions. We present a conceptual framework that explains how this requirement causes the probability that a particular amino acid mutation is fixed during evolution to depend on its effect on protein stability. We mathematically formalize this framework to develop a Bayesian approach for inferring the stability effects of individual mutations from homologous protein sequences of known phylogeny. This approach is able to predict published experimentally measured mutational stability effects (ΔΔG values) with an accuracy that exceeds both a state-of-the-art physicochemical modeling program and the sequence-based consensus approach. As a further test, we use our phylogenetic inference approach to predict stabilizing mutations to influenza hemagglutinin. We introduce these mutations into a temperature-sensitive influenza virus with a defect in its hemagglutinin gene and experimentally demonstrate that some of the mutations allow the virus to grow at higher temperatures. Our work therefore describes a powerful new approach for predicting stabilizing mutations that can be successfully applied even to large, complex proteins such as hemagglutinin. This approach also makes a mathematical link between phylogenetics and experimentally measurable protein properties, potentially paving the way for more accurate analyses of molecular evolution

Complete Genome Sequence of Treponema paraluiscuniculi, Strain Cuniculi A: The Loss of Infectivity to Humans Is Associated with Genome Decay

Treponema paraluiscuniculi is the causative agent of rabbit venereal spirochetosis. It is not infectious to humans, although its genome structure is very closely related to other pathogenic Treponema species including Treponema pallidum subspecies pallidum, the etiological agent of syphilis. In this study, the genome sequence of Treponema paraluiscuniculi, strain Cuniculi A, was determined by a combination of several high-throughput sequencing strategies. Whereas the overall size (1,133,390 bp), arrangement, and gene content of the Cuniculi A genome closely resembled those of the T. pallidum genome, the T. paraluiscuniculi genome contained a markedly higher number of pseudogenes and gene fragments (51). In addition to pseudogenes, 33 divergent genes were also found in the T. paraluiscuniculi genome. A set of 32 (out of 84) affected genes encoded proteins of known or predicted function in the Nichols genome. These proteins included virulence factors, gene regulators and components of DNA repair and recombination. The majority (52 or 61.9%) of the Cuniculi A pseudogenes and divergent genes were of unknown function. Our results indicate that T. paraluiscuniculi has evolved from a T. pallidum-like ancestor and adapted to a specialized host-associated niche (rabbits) during loss of infectivity to humans. The genes that are inactivated or altered in T. paraluiscuniculi are candidates for virulence factors important in the infectivity and pathogenesis of T. pallidum subspecies

The Molecular Diversity of Freshwater Picoeukaryotes Reveals High Occurrence of Putative Parasitoids in the Plankton

Eukaryotic microorganisms have been undersampled in biodiversity studies in freshwater environments. We present an original 18S rDNA survey of freshwater picoeukaryotes sampled during spring/summer 2005, complementing an earlier study conducted in autumn 2004 in Lake Pavin (France). These studies were designed to detect the small unidentified heterotrophic flagellates (HF, 0.6–5 µm) which are considered the main bacterivores in aquatic systems. Alveolates, Fungi and Stramenopiles represented 65% of the total diversity and differed from the dominant groups known from microscopic studies. Fungi and Telonemia taxa were restricted to the oxic zone which displayed two fold more operational taxonomic units (OTUs) than the oxycline. Temporal forcing also appeared as a driving force in the diversification within targeted organisms. Several sequences were not similar to those in databases and were considered as new or unsampled taxa, some of which may be typical of freshwater environments. Two taxa known from marine systems, the genera Telonema and Amoebophrya, were retrieved for the first time in our freshwater study. The analysis of potential trophic strategies displayed among the targeted HF highlighted the dominance of parasites and saprotrophs, and provided indications that these organisms have probably been wrongfully regarded as bacterivores in previous studies. A theoretical exercise based on a new ‘parasite/saprotroph-dominated HF hypothesis’ demonstrates that the inclusion of parasites and saprotrophs may increase the functional role of the microbial loop as a link for carbon flows in pelagic ecosystems. New interesting perspectives in aquatic microbial ecology are thus opened

Behavioural and Developmental Interventions for Autism Spectrum Disorder: A Clinical Systematic Review

Background: Much controversy exists regarding the clinical efficacy of behavioural and developmental interventions for improving the core symptoms of autism spectrum disorders (ASD). We conducted a systematic review to summarize the evidence on the effectiveness of behavioural and developmental interventions for ASD. Methods and Findings: Comprehensive searches were conducted in 22 electronic databases through May 2007. Further information was obtained through hand searching journals, searching reference lists, databases of theses and dissertations, and contacting experts in the field. Experimental and observational analytic studies were included if they were written in English and reported the efficacy of any behavioural or developmental intervention for individuals with ASD. Two independent reviewers made the final study selection, extracted data, and reached consensus on study quality. Results were summarized descriptively and, where possible, meta-analyses of the study results were conducted. One-hundred-and-one studies at predominantly high risk of bias that reported inconsistent results across various interventions were included in the review. Meta-analyses of three controlled clinical trials showed that Lovaas treatment was superior to special education on measures of adaptive behaviour, communication and interaction, comprehensive language, daily living skills, expressive language, overall intellectual functioning and socialization. High-intensity Lovaas was superior to low-intensity Lovaas on measures of intellectual functioning in two retrospective cohort studies. Pooling the results of two randomized controlle

QCD and strongly coupled gauge theories : challenges and perspectives

We highlight the progress, current status, and open challenges of QCD-driven physics, in theory and in experiment. We discuss how the strong interaction is intimately connected to a broad sweep of physical problems, in settings ranging from astrophysics and cosmology to strongly coupled, complex systems in particle and condensed-matter physics, as well as to searches for physics beyond the Standard Model. We also discuss how success in describing the strong interaction impacts other fields, and, in turn, how such subjects can impact studies of the strong interaction. In the course of the work we offer a perspective on the many research streams which flow into and out of QCD, as well as a vision for future developments.Peer reviewe

A Daily Diary Approach to the Examination of Chronic Stress, Daily Hassles and Safety Perceptions in Hospital Nursing

Purpose: Stress is a significant concern for individuals and organisations. Few studies have explored stress, burnout and patient safety in hospital nursing on a daily basis at the individual level. This study aimed to examine the effects of chronic stress and daily hassles on safety perceptions, the effect of chronic stress on daily hassles experienced and chronic stress as a potential moderator. Method: Utilising a daily diary design, 83 UK hospital nurses completed three end-of-shift diaries, yielding 324 person days. Hassles, safety perceptions and workplace cognitive failure were measured daily, and a baseline questionnaire included a measure of chronic stress. Hierarchical multivariate linear modelling was used to analyse the data. Results: Higher chronic stress was associated with more daily hassles, poorer perceptions of safety and being less able to practise safely, but not more workplace cognitive failure. Reporting more daily hassles was associated with poorer perceptions of safety, being less able to practise safely and more workplace cognitive failure. Chronic stress did not moderate daily associations. The hassles reported illustrate the wide-ranging hassles nurses experienced. Conclusion: The findings demonstrate, in addition to chronic stress, the importance of daily hassles for nurses’ perceptions of safety and the hassles experienced by hospital nurses on a daily basis. Nurses perceive chronic stress and daily hassles to contribute to their perceptions of safety. Measuring the number of daily hassles experienced could proactively highlight when patient safety threats may arise, and as a result, interventions could usefully focus on the management of daily hassles

The Ontology for Biomedical Investigations

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource (http://obi-ontology.org) providing details on the people, policies, and issues being addressed in association with OBI. The current release of OBI is available at http://purl.obolibrary.org/obo/obi.owl