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

The role of input materials in shallow seismogenic slip and forearc plateau development: International Ocean Discovery Program Expedition 362 Preliminary Report Sumatra Seismogenic Zone

Drilling the input materials of the north Sumatran subduction zone, part of the 5000 km long Sunda subduction zone system and the origin of the Mw ∼9.2 earthquake and tsunami that devastated coastal communities around the Indian Ocean in 2004, was designed to groundtruth the material properties causing unexpectedly shallow seismogenic slip and a distinctive forearc prism structure. The intriguing seismogenic behavior and forearc structure are not well explained by existing models or by relationships observed at margins where seismogenic slip typically occurs farther landward. The input materials of the north Sumatran subduction zone are a distinctively thick (as thick as 4-5 km) succession of primarily Bengal-Nicobar Fan-related sediments. The correspondence between the 2004 rupture location and the overlying prism plateau, as well as evidence for a strengthened input section, suggest the input materials are key to driving the distinctive slip behavior and long-term forearc structure. During Expedition 362, two sites on the Indian oceanic plate ∼250 km southwest of the subduction zone, Sites U1480 and U1481, were drilled, cored, and logged to a maximum depth of 1500 meters below seafloor. The succession of sediment/rocks that will develop into the plate boundary detachment and will drive growth of the forearc were sampled, and their progressive mechanical, frictional, and hydrogeological property evolution will be analyzed through postcruise experimental and modeling studies. Large penetration depths with good core recovery and successful wireline logging in the challenging submarine fan materials will enable evaluation of the role of thick sedimentar y subduction zone input sections in driving shallow slip and amplifying earthquake and tsunami magnitudes, at the Sunda subduction zone and globally at other subduction zones where submarine fan-influenced sections are being subducted

Influenza A Viruses from Wild Birds in Guatemala Belong to the North American Lineage

The role wild bird species play in the transmission and ecology of avian influenza virus (AIV) is well established; however, there are significant gaps in our understanding of the worldwide distribution of these viruses, specifically about the prevalence and/or significance of AIV in Central and South America. As part of an assessment of the ecology of AIV in Guatemala, we conducted active surveillance in wild birds on the Pacific and Atlantic coasts. Cloacal and tracheal swab samples taken from resident and migratory wild birds were collected from February 2007 to January 2010.1913 samples were collected and virus was detected by real time RT-PCR (rRT-PCR) in 28 swab samples from ducks (Anas discors). Virus isolation was attempted for these positive samples, and 15 isolates were obtained from the migratory duck species Blue-winged teal. The subtypes identified included H7N9, H11N2, H3N8, H5N3, H8N4, and H5N4. Phylogenetic analysis of the viral sequences revealed that AIV isolates are highly similar to viruses from the North American lineage suggesting that bird migration dictates the ecology of these viruses in the Guatemalan bird population

The Action Mechanism of the Myc Inhibitor Termed Omomyc May Give Clues on How to Target Myc for Cancer Therapy

Recent evidence points to Myc – a multifaceted bHLHZip transcription factor deregulated in the majority of human cancers – as a priority target for therapy. How to target Myc is less clear, given its involvement in a variety of key functions in healthy cells. Here we report on the action mechanism of the Myc interfering molecule termed Omomyc, which demonstrated astounding therapeutic efficacy in transgenic mouse cancer models in vivo. Omomyc action is different from the one that can be obtained by gene knockout or RNA interference, approaches designed to block all functions of a gene product. This molecule – instead – appears to cause an edge-specific perturbation that destroys some protein interactions of the Myc node and keeps others intact, with the result of reshaping the Myc transcriptome. Omomyc selectively targets Myc protein interactions: it binds c- and N-Myc, Max and Miz-1, but does not bind Mad or select HLH proteins. Specifically, it prevents Myc binding to promoter E-boxes and transactivation of target genes while retaining Miz-1 dependent binding to promoters and transrepression. This is accompanied by broad epigenetic changes such as decreased acetylation and increased methylation at H3 lysine 9. In the presence of Omomyc, the Myc interactome is channeled to repression and its activity appears to switch from a pro-oncogenic to a tumor suppressive one. Given the extraordinary therapeutic impact of Omomyc in animal models, these data suggest that successfully targeting Myc for cancer therapy might require a similar twofold action, in order to prevent Myc/Max binding to E-boxes and, at the same time, keep repressing genes that would be repressed by Myc

Timing Constraints of In Vivo Gag Mutations during Primary HIV-1 Subtype C Infection

Background: Aiming to answer the broad question “When does mutation occur?” this study examined the time of appearance, dominance, and completeness of in vivo Gag mutations in primary HIV-1 subtype C infection. Methods: A primary HIV-1C infection cohort comprised of 8 acutely and 34 recently infected subjects were followed frequently up to 500 days post-seroconversion (p/s). Gag mutations were analyzed by employing single-genome amplification and direct sequencing. Gag mutations were determined in relation to the estimated time of seroconversion. Time of appearance, dominance, and completeness was compared for different types of in vivo Gag mutations. Results: Reverse mutations to the wild type appeared at a median (IQR) of 62 (44;139) days p/s, while escape mutations from the wild type appeared at 234 (169;326) days p/s (p<0.001). Within the subset of mutations that became dominant, reverse and escape mutations appeared at 54 (30;78) days p/s and 104 (47;198) days p/s, respectively (p<0.001). Among the mutations that reached completeness, reverse and escape mutations appeared at 54 (30;78) days p/s and 90 (44;196) days p/s, respectively (p = 0.006). Time of dominance for reverse mutations to and escape mutations from the wild type was 58 (44;105) days p/s and 219 (90;326) days p/s, respectively (p<0.001). Time of completeness for reverse and escape mutations was 152 (100;176) days p/s and 243 (101;370) days p/s, respectively (p = 0.001). Fitting a Cox proportional hazards model with frailties confirmed a significantly earlier time of appearance (hazard ratio (HR): 2.6; 95% CI: 2.3–3.0), dominance (4.8 (3.4–6.8)), and completeness (3.6 (2.3–5.5)) of reverse mutations to the wild type Gag than escape mutations from the wild type. Some complex mutational pathways in Gag included sequential series of reversions and escapes. Conclusions: The study identified the timing of different types of in vivo Gag mutations in primary HIV-1 subtype C infection in relation to the estimated time of seroconversion. Overall, the in vivo reverse mutations to the wild type occurred significantly earlier than escape mutations from the wild type. This shorter time to incidence of reverse mutations remained in the subsets of in vivo Gag mutations that reached dominance or completeness

HIV-1 pol Diversity among Female Bar and Hotel Workers in Northern Tanzania

A national ART program was launched in Tanzania in October 2004. Due to the existence of multiple HIV-1 subtypes and recombinant viruses co-circulating in Tanzania, it is important to monitor rates of drug resistance. The present study determined the prevalence of HIV-1 drug resistance mutations among ART-naive female bar and hotel workers, a high-risk population for HIV-1 infection in Moshi, Tanzania. A partial HIV-1 pol gene was analyzed by single-genome amplification and sequencing in 45 subjects (622 pol sequences total; median number of sequences per subject, 13; IQR 5–20) in samples collected in 2005. The prevalence of HIV-1 subtypes A1, C, and D, and inter-subtype recombinant viruses, was 36%, 29%, 9% and 27%, respectively. Thirteen different recombination patterns included D/A1/D, C/A1, A1/C/A1, A1/U/A1, C/U/A1, C/A1, U/D/U, D/A1/D, A1/C, A1/C, A2/C/A2, CRF10_CD/C/CRF10_CD and CRF35_AD/A1/CRF35_AD. CRF35_AD was identified in Tanzania for the first time. All recombinant viruses in this study were unique, suggesting ongoing recombination processes among circulating HIV-1 variants. The prevalence of multiple infections in this population was 16% (n = 7). Primary HIV-1 drug resistance mutations to RT inhibitors were identified in three (7%) subjects (K65R plus Y181C; N60D; and V106M). In some subjects, polymorphisms were observed at the RT positions 41, 69, 75, 98, 101, 179, 190, and 215. Secondary mutations associated with NNRTIs were observed at the RT positions 90 (7%) and 138 (6%). In the protease gene, three subjects (7%) had M46I/L mutations. All subjects in this study had HIV-1 subtype-specific natural polymorphisms at positions 36, 69, 89 and 93 that are associated with drug resistance in HIV-1 subtype B. These results suggested that HIV-1 drug resistance mutations and natural polymorphisms existed in this population before the initiation of the national ART program. With increasing use of ARV, these results highlight the importance of drug resistance monitoring in Tanzania

Varicellovirus UL49.5 Proteins Differentially Affect the Function of the Transporter Associated with Antigen Processing, TAP

Cytotoxic T-lymphocytes play an important role in the protection against viral infections, which they detect through the recognition of virus-derived peptides, presented in the context of MHC class I molecules at the surface of the infected cell. The transporter associated with antigen processing (TAP) plays an essential role in MHC class I–restricted antigen presentation, as TAP imports peptides into the ER, where peptide loading of MHC class I molecules takes place. In this study, the UL49.5 proteins of the varicelloviruses bovine herpesvirus 1 (BHV-1), pseudorabies virus (PRV), and equine herpesvirus 1 and 4 (EHV-1 and EHV-4) are characterized as members of a novel class of viral immune evasion proteins. These UL49.5 proteins interfere with MHC class I antigen presentation by blocking the supply of antigenic peptides through inhibition of TAP. BHV-1, PRV, and EHV-1 recombinant viruses lacking UL49.5 no longer interfere with peptide transport. Combined with the observation that the individually expressed UL49.5 proteins block TAP as well, these data indicate that UL49.5 is the viral factor that is both necessary and sufficient to abolish TAP function during productive infection by these viruses. The mechanisms through which the UL49.5 proteins of BHV-1, PRV, EHV-1, and EHV-4 block TAP exhibit surprising diversity. BHV-1 UL49.5 targets TAP for proteasomal degradation, whereas EHV-1 and EHV-4 UL49.5 interfere with the binding of ATP to TAP. In contrast, TAP stability and ATP recruitment are not affected by PRV UL49.5, although it has the capacity to arrest the peptide transporter in a translocation-incompetent state, a property shared with the BHV-1 and EHV-1 UL49.5. Taken together, these results classify the UL49.5 gene products of BHV-1, PRV, EHV-1, and EHV-4 as members of a novel family of viral immune evasion proteins, inhibiting TAP through a variety of mechanisms

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

Integration of P2Y receptor-activated signal transduction pathways in G protein-dependent signalling networks

The role of nucleotides in intracellular energy provision and nucleic acid synthesis has been known for a long time. In the past decade, evidence has been presented that, in addition to these functions, nucleotides are also autocrine and paracrine messenger molecules that initiate and regulate a large number of biological processes. The actions of extracellular nucleotides are mediated by ionotropic P2X and metabotropic P2Y receptors, while hydrolysis by ecto-enzymes modulates the initial signal. An increasing number of studies have been performed to obtain information on the signal transduction pathways activated by nucleotide receptors. The development of specific and stable purinergic receptor agonists and antagonists with therapeutical potential largely contributed to the identification of receptors responsible for nucleotide-activated pathways. This article reviews the signal transduction pathways activated by P2Y receptors, the involved second messenger systems, GTPases and protein kinases, as well as recent findings concerning P2Y receptor signalling in C6 glioma cells. Besides vertical signal transduction, lateral cross-talks with pathways activated by other G protein-coupled receptors and growth factor receptors are discussed