Software verification plan for GCS

This verification plan is written as part of an experiment designed to study the fundamental characteristics of the software failure process. The experiment will be conducted using several implementations of software that were produced according to industry-standard guidelines, namely the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, Software Consideration in Airborne Systems and Equipment Certification, for the development of flight software. This plan fulfills the DO-178A requirements for providing instructions on the testing of each implementation of software. The plan details the verification activities to be performed at each phase in the development process, contains a step by step description of the testing procedures, and discusses all of the tools used throughout the verification process

GCS programmer's manual

A variety of instructions to be used in the development of implementations of software for the Guidance and Control Software (GCS) project is described. This document fulfills the Radio Technical Commission for Aeronautics RTCA/DO-178A guidelines, 'Software Considerations in Airborne Systems and Equipment Certification' requirements for document No. 4, which specifies the information necessary for understanding and programming the host computer, and document No. 12, which specifies the software design and implementation standards that are applicable to the software development and testing process. Information on the following subjects is contained: activity recording, communication protocol, coding standards, change management, error handling, design standards, problem reporting, module testing logs, documentation formats, accuracy requirements, and programmer responsibilities

Unveiling the Circumstellar Envelope and Disk: A Sub-Arcsecond Survey of Circumstellar Structures

We present the results of a 2.7 mm continuum interferometric survey of 24 young stellar objects in 11 fields. The target objects range from deeply embedded Class 0 sources to optical T Tauri sources. This is the first sub-arcsecond survey of the 2.7 mm dust continuum emission from young, embedded stellar systems. The images show a diversity of structure and complexity. The optically visible T Tauri stars (DG Tauri, HL Tauri, GG Tauri,and GM Aurigae) have continuum emission dominated by compact, less than 1", circumstellar disks. The more embedded near-infrared sources (SVS13 and L1551 IRS5) have continuum emission that is extended and compact. The embedded sources (L1448 IRS3, NGC1333 IRAS2, NGC1333 IRAS4, VLA1623, and IRAS 16293-2422) have continuum emission dominated by the extended envelope, typically more than 85%. In fact, in many of the deeply embedded systems it is difficult to uniquely isolate the disk emission component from the envelope extending inward to AU size scales. All of the target embedded objects are in multiple systems with separations on scales of 30" or less. Based on the system separation, we place the objects into three categories: separate envelope (separation > 6500 AU), common envelope (separation 150-3000 AU), and common disk (separation < 100 AU). These three groups can be linked with fragmentation events during the star formation process: separate envelopes from prompt initial fragmentation and the separate collapse of a loosely condensed cloud, common envelopes from fragmentation of a moderately centrally condensed spherical system, and common disk from fragmentation of a high angular momentum circumstellar disk.Comment: 47 Pages, 18 Figures, ApJ accepte

Defining and assessing spiritual health : a comparative study among 13- to 15-year-old pupils attending secular schools, Anglican schools, and private Christian schools in England and Wales

This article argues that the nation's commitment to young people involves proper concern for their physical health, their psychological health, and their spiritual health. In this context the notion of spiritual health is clarified by a critique of John Fisher's model of spiritual health. Fisher developed a relational model of spiritual health, which defines good spiritual health in terms of an individual's relationship to four domains: the personal, the communal, the environmental, and the transcendental. In the present analysis, we make comparisons between pupils educated in three types of schools: publicly funded schools without religious foundation, publicly funded schools with an Anglican foundation, and new independent Christian schools (not publicly funded). Our findings draw attention to significant differences in the levels of spiritual health experienced by pupils within these three types of schools

The ansamycin antibiotic, rifamycin SV, inhibits BCL6 transcriptional repression and forms a complex with the BCL6-BTB/POZ domain

BCL6 is a transcriptional repressor that is over-expressed due to chromosomal translocations, or other abnormalities, in ~40% of diffuse large B-cell lymphoma. BCL6 interacts with co-repressor, SMRT, and this is essential for its role in lymphomas. Peptide or small molecule inhibitors, which prevent the association of SMRT with BCL6, inhibit transcriptional repression and cause apoptosis of lymphoma cells in vitro and in vivo. In order to discover compounds, which have the potential to be developed into BCL6 inhibitors, we screened a natural product library. The ansamycin antibiotic, rifamycin SV, inhibited BCL6 transcriptional repression and NMR spectroscopy confirmed a direct interaction between rifamycin SV and BCL6. To further determine the characteristics of compounds binding to BCL6-POZ we analyzed four other members of this family and showed that rifabutin, bound most strongly. An X-ray crystal structure of the rifabutin-BCL6 complex revealed that rifabutin occupies a partly non-polar pocket making interactions with tyrosine58, asparagine21 and arginine24 of the BCL6-POZ domain. Importantly these residues are also important for the interaction of BLC6 with SMRT. This work demonstrates a unique approach to developing a structure activity relationship for a compound that will form the basis of a therapeutically useful BCL6 inhibitor

A simplified (modified) Duke Activity Status Index (M-DASI) to characterise functional capacity: A secondary analysis of the Measurement of Exercise Tolerance before Surgery (METS) study

Background Accurate assessment of functional capacity, a predictor of postoperative morbidity and mortality, is essential to improving surgical planning and outcomes. We assessed if all 12 items of the Duke Activity Status Index (DASI) were equally important in reflecting exercise capacity. Methods In this secondary cross-sectional analysis of the international, multicentre Measurement of Exercise Tolerance before Surgery (METS) study, we assessed cardiopulmonary exercise testing and DASI data from 1455 participants. Multivariable regression analyses were used to revise the DASI model in predicting an anaerobic threshold (AT) >11 ml kg −1 min −1 and peak oxygen consumption (VO 2 peak) >16 ml kg −1 min −1, cut-points that represent a reduced risk of postoperative complications. Results Five questions were identified to have dominance in predicting AT>11 ml kg −1 min −1 and VO 2 peak>16 ml.kg −1min −1. These items were included in the M-DASI-5Q and retained utility in predicting AT>11 ml.kg −1.min −1 (area under the receiver-operating-characteristic [AUROC]-AT: M-DASI-5Q=0.67 vs original 12-question DASI=0.66) and VO 2 peak (AUROC-VO2 peak: M-DASI-5Q 0.73 vs original 12-question DASI 0.71). Conversely, in a sensitivity analysis we removed one potentially sensitive question related to the ability to have sexual relations, and the ability of the remaining four questions (M-DASI-4Q) to predict an adequate functional threshold remained no worse than the original 12-question DASI model. Adding a dynamic component to the M-DASI-4Q by assessing the chronotropic response to exercise improved its ability to discriminate between those with VO 2 peak>16 ml.kg −1.min −1 and VO 2 peak<16 ml.kg −1.min −1. Conclusions The M-DASI provides a simple screening tool for further preoperative evaluation, including with cardiopulmonary exercise testing, to guide perioperative management

Integration of the Duke Activity Status Index into preoperative risk evaluation: a multicentre prospective cohort study.

BACKGROUND: The Duke Activity Status Index (DASI) questionnaire might help incorporate self-reported functional capacity into preoperative risk assessment. Nonetheless, prognostically important thresholds in DASI scores remain unclear. We conducted a nested cohort analysis of the Measurement of Exercise Tolerance before Surgery (METS) study to characterise the association of preoperative DASI scores with postoperative death or complications. METHODS: The analysis included 1546 participants (≥40 yr of age) at an elevated cardiac risk who had inpatient noncardiac surgery. The primary outcome was 30-day death or myocardial injury. The secondary outcomes were 30-day death or myocardial infarction, in-hospital moderate-to-severe complications, and 1 yr death or new disability. Multivariable logistic regression modelling was used to characterise the adjusted association of preoperative DASI scores with outcomes. RESULTS: The DASI score had non-linear associations with outcomes. Self-reported functional capacity better than a DASI score of 34 was associated with reduced odds of 30-day death or myocardial injury (odds ratio: 0.97 per 1 point increase above 34; 95% confidence interval [CI]: 0.96-0.99) and 1 yr death or new disability (odds ratio: 0.96 per 1 point increase above 34; 95% CI: 0.92-0.99). Self-reported functional capacity worse than a DASI score of 34 was associated with increased odds of 30-day death or myocardial infarction (odds ratio: 1.05 per 1 point decrease below 34; 95% CI: 1.00-1.09), and moderate-to-severe complications (odds ratio: 1.03 per 1 point decrease below 34; 95% CI: 1.01-1.05). CONCLUSIONS: A DASI score of 34 represents a threshold for identifying patients at risk for myocardial injury, myocardial infarction, moderate-to-severe complications, and new disability

Changes in Body Weight and Psychotropic Drugs: A Systematic Synthesis of the Literature

<div><h3>Introduction</h3><p>Psychotropic medication use is associated with weight gain. While there are studies and reviews comparing weight gain for psychotropics within some classes, clinicians frequently use drugs from different classes to treat psychiatric disorders.</p> <h3>Objective</h3><p>To undertake a systematic review of all classes of psychotropics to provide an all encompassing evidence-based tool that would allow clinicians to determine the risks of weight gain in making both intra-class and interclass choices of psychotropics.</p> <h3>Methodology and Results</h3><p>We developed a novel hierarchical search strategy that made use of systematic reviews that were already available. When such evidence was not available we went on to evaluate randomly controlled trials, followed by cohort and other clinical trials, narrative reviews, and, where necessary, clinical opinion and anecdotal evidence. The data from the publication with the highest level of evidence based on our hierarchical classification was presented. Recommendations from an expert panel supplemented the evidence used to rank these drugs within their respective classes. Approximately 9500 articles were identified in our literature search of which 666 citations were retrieved. We were able to rank most of the psychotropics based on the available evidence and recommendations from subject matter experts. There were few discrepancies between published evidence and the expert panel in ranking these drugs.</p> <h3>Conclusion</h3><p>Potential for weight gain is an important consideration in choice of any psychotropic. This tool will help clinicians select psychotropics on a case-by-case basis in order to minimize the impact of weight gain when making both intra-class and interclass choices.</p> </div

Varying constants, Gravitation and Cosmology

Fundamental constants are a cornerstone of our physical laws. Any constant varying in space and/or time would reflect the existence of an almost massless field that couples to matter. This will induce a violation of the universality of free fall. It is thus of utmost importance for our understanding of gravity and of the domain of validity of general relativity to test for their constancy. We thus detail the relations between the constants, the tests of the local position invariance and of the universality of free fall. We then review the main experimental and observational constraints that have been obtained from atomic clocks, the Oklo phenomenon, Solar system observations, meteorites dating, quasar absorption spectra, stellar physics, pulsar timing, the cosmic microwave background and big bang nucleosynthesis. At each step we describe the basics of each system, its dependence with respect to the constants, the known systematic effects and the most recent constraints that have been obtained. We then describe the main theoretical frameworks in which the low-energy constants may actually be varying and we focus on the unification mechanisms and the relations between the variation of different constants. To finish, we discuss the more speculative possibility of understanding their numerical values and the apparent fine-tuning that they confront us with.Comment: 145 pages, 10 figures, Review for Living Reviews in Relativit

Antiplatelet therapy with aspirin, clopidogrel, and dipyridamole versus clopidogrel alone or aspirin and dipyridamole in patients with acute cerebral ischaemia (TARDIS): a randomised, open-label, phase 3 superiority trial

Background: Intensive antiplatelet therapy with three agents might be more effective than guideline treatment for preventing recurrent events in patients with acute cerebral ischaemia. We aimed to compare the safety and efficacy of intensive antiplatelet therapy (combined aspirin, clopidogrel, and dipyridamole) with that of guideline-based antiplatelet therapy. Methods: We did an international, prospective, randomised, open-label, blinded-endpoint trial in adult participants with ischaemic stroke or transient ischaemic attack (TIA) within 48 h of onset. Participants were assigned in a 1:1 ratio using computer randomisation to receive loading doses and then 30 days of intensive antiplatelet therapy (combined aspirin 75 mg, clopidogrel 75 mg, and dipyridamole 200 mg twice daily) or guideline-based therapy (comprising either clopidogrel alone or combined aspirin and dipyridamole). Randomisation was stratified by country and index event, and minimised with prognostic baseline factors, medication use, time to randomisation, stroke-related factors, and thrombolysis. The ordinal primary outcome was the combined incidence and severity of any recurrent stroke (ischaemic or haemorrhagic; assessed using the modified Rankin Scale) or TIA within 90 days, as assessed by central telephone follow-up with masking to treatment assignment, and analysed by intention to treat. This trial is registered with the ISRCTN registry, number ISRCTN47823388. Findings: 3096 participants (1556 in the intensive antiplatelet therapy group, 1540 in the guideline antiplatelet therapy group) were recruited from 106 hospitals in four countries between April 7, 2009, and March 18, 2016. The trial was stopped early on the recommendation of the data monitoring committee. The incidence and severity of recurrent stroke or TIA did not differ between intensive and guideline therapy (93 [6%] participants vs 105 [7%]; adjusted common odds ratio [cOR] 0·90, 95% CI 0·67–1·20, p=0·47). By contrast, intensive antiplatelet therapy was associated with more, and more severe, bleeding (adjusted cOR 2·54, 95% CI 2·05–3·16, p<0·0001). Interpretation: Among patients with recent cerebral ischaemia, intensive antiplatelet therapy did not reduce the incidence and severity of recurrent stroke or TIA, but did significantly increase the risk of major bleeding. Triple antiplatelet therapy should not be used in routine clinical practice