Comparative analysis of techniques for evaluating the effectiveness of aircraft computing systems

Performability analysis is a technique developed for evaluating the effectiveness of fault-tolerant computing systems in multiphase missions. Performability was evaluated for its accuracy, practical usefulness, and relative cost. The evaluation was performed by applying performability and the fault tree method to a set of sample problems ranging from simple to moderately complex. The problems involved as many as five outcomes, two to five mission phases, permanent faults, and some functional dependencies. Transient faults and software errors were not considered. A different analyst was responsible for each technique. Significantly more time and effort were required to learn performability analysis than the fault tree method. Performability is inherently as accurate as fault tree analysis. For the sample problems, fault trees were more practical and less time consuming to apply, while performability required less ingenuity and was more checkable. Performability offers some advantages for evaluating very complex problems

'HeART of Stroke (HoS)', a community-based Arts for Health group intervention to support self-confidence and psychological well-being following a stroke: protocol for a randomised controlled feasibility study

Introduction Over 152 000 people in the UK have strokes annually and a third experience residual disability. Low mood also affects a third of stroke survivors; yet psychological support is poor. While Arts for Health interventions have been shown to improve well-being in people with mild-to-moderate depression post-stroke, their role in helping people regain sense of self, well-being and confidence has yet to be evaluated. The main aim of this study is to explore the feasibility of conducting a pragmatic multicentre randomised controlled trial to assess the effectiveness and cost-effectiveness of an Arts for Health group intervention (‘HeART of Stroke’ (HoS)) for stroke survivors. HoS is a 10-session artist-facilitated group intervention held in the community over 14 weeks. It offers a non-judgemental, supportive environment for people to explore sense of self, potentially enhancing well-being and confidence. Methods and analysis Sixty-four people, up to 2 years post-stroke, recruited via secondary care research staff or community stroke/rehabilitation teams in two UK centres will be randomised to either HoS plus usual care or usual care only. Self-reported outcomes, measured at baseline and approximately 5 months postrandomisation, will include stroke-related, well-being, mood, self-esteem, quality of life and process measures. Analyses will focus on estimating key feasibility parameters (eg, rates of recruitment, retention, intervention attendance). We will develop outcome and resource use data collection methods to inform an effectiveness and cost-effectiveness analysis in the future trial. Interviews, with a sample of participants, will explore the acceptability of the intervention and study processes, as well as experiences of the HoS group. Ethics and dissemination National Health Service (NHS), Research and Development and University ethical approvals have been obtained. Two peer-reviewed journal publications are planned plus one service user led publication. Findings will be disseminated at key national conferences, local stakeholder events and via institutional websites.This paper presents independent research funded by the National Institute for Health Research (NIHR) under its Research for Patient Benefit (RfPB) Programme (Grant Reference Number PB-PG-0212-27054)

A New Method for ISOCAM Data Reduction - I. Application to the European Large Area ISO Survey Southern Field: Method and Results

We have developed a new data reduction technique for ISOCAM LW data and have applied it to the European Large Area ISO Survey (ELAIS) LW3 (15 micron) observations in the southern hemisphere (S1). This method, known as LARI technique and based on the assumption of the existence of two different time scales in ISOCAM transients (accounting either for fast or slow detector response), was particularly designed for the detection of faint sources. In the ELAIS S1 field we obtained a catalogue of 462 15 micron sources with signal-to-noise ratio >= 5 and flux densities in the range 0.45 - 150 mJy (filling the whole flux range between the Deep ISOCAM Surveys and the IRAS Faint Source Survey). The completeness at different flux levels and the photometric accuracy of this catalogue have been tested with simulations. Here we present a detailed description of the method and discuss the results obtained by its application to the S1 LW3 data.Comment: 20 pages, LaTeX, MNRAS style, 20 postscript figures, full catalogue not yet available at http://boas5.bo.astro.it/~elais/catalogues/. Accepted for publication in MNRA

Identifying specific prefrontal neurons that contribute to autism-associated abnormalities in physiology and social behavior.

Functional imaging and gene expression studies both implicate the medial prefrontal cortex (mPFC), particularly deep-layer projection neurons, as a potential locus for autism pathology. Here, we explored how specific deep-layer prefrontal neurons contribute to abnormal physiology and behavior in mouse models of autism. First, we find that across three etiologically distinct models-in utero valproic acid (VPA) exposure, CNTNAP2 knockout and FMR1 knockout-layer 5 subcortically projecting (SC) neurons consistently exhibit reduced input resistance and action potential firing. To explore how altered SC neuron physiology might impact behavior, we took advantage of the fact that in deep layers of the mPFC, dopamine D2 receptors (D2Rs) are mainly expressed by SC neurons, and used D2-Cre mice to label D2R+ neurons for calcium imaging or optogenetics. We found that social exploration preferentially recruits mPFC D2R+ cells, but that this recruitment is attenuated in VPA-exposed mice. Stimulating mPFC D2R+ neurons disrupts normal social interaction. Conversely, inhibiting these cells enhances social behavior in VPA-exposed mice. Importantly, this effect was not reproduced by nonspecifically inhibiting mPFC neurons in VPA-exposed mice, or by inhibiting D2R+ neurons in wild-type mice. These findings suggest that multiple forms of autism may alter the physiology of specific deep-layer prefrontal neurons that project to subcortical targets. Furthermore, a highly overlapping population-prefrontal D2R+ neurons-plays an important role in both normal and abnormal social behavior, such that targeting these cells can elicit potentially therapeutic effects

Development of the general interpolants method for the CYBER 200 series of supercomputers

The General Interpolants Method (GIM) is a 3-D, time-dependent, hybrid procedure for generating numerical analogs of the conservation laws. This study is directed toward the development and application of the GIM computer code for fluid dynamic research applications as implemented for the Cyber 200 series of supercomputers. An elliptic and quasi-parabolic version of the GIM code are discussed. Turbulence models, algebraic and differential equations, were added to the basic viscous code. An equilibrium reacting chemistry model and an implicit finite difference scheme are also included

Linear polarization of light by two wheat canopies measured at many view angles

The linear polarization and reflection of visible light by wheat as a function of sun-view directions, crop development stage, and wavelength were examined. Two-hundred spectra were taken continuously in wave-lengths from 0.45 to 0.72 Micron in 33 view directions using an Exotech model 20C spectroradiometer six meters above two wheat canopies in the boot and fully headed maturity stages. The analysis results show that the amount of linearly polarized light from the wheat canopies is greatest in the blue spectral region and decreases gradually with increasing wavelength. The results also show that the linearly polarized light from the canopies is generally greatest in the azimuth direction of the Sun and tends toward zero as the view direction tends toward the direction of the hot spot or anti-solar point. It is demonstrated that the single, angle of incidence of sunlight on the leaf, explains almost all of the variation of the amount of polarized light with Sun-view direction

Simulated response of a multispectral scanner over wheat as a function of wavelength and view/illumination direction

The reflectance response with view angle of wheat, was analyzed. The analyses, which assumes there are no atmospheric effects, and otherwise simulates the response of a multispectral scanner, is based upon spectra taken continuously in wavelength from 0.45 to 2.4 micrometers at more than 1200 view/illumination directions using an Exotech model 20C spectra radiometer. Data were acquired six meters above four wheat canopies, each at a different growth stage. The analysis shows that the canopy reflective response is a pronounced function of illumination angle, scanner view angle and wavelength. The variation is greater at low solar elevations compared to high solar elevations

On the nature of the ISO-selected sources in the ELAIS S2 region

We have studied the optical, near-IR and radio properties of a complete sample of 43 sources detected at 15-micron in one of the deeper ELAIS repeatedly observed region. The extragalactic objects in this sample have 15-micron flux densities in the range 0.4-10 mJy, where the source counts start diverging from no evolution models. About 90% of the sources (39 out of 43) have optical counterparts brighter than I=21 mag. Eight of these 39 sources have been identified with stars on the basis of imaging data, while for another 22 sources we have obtained optical spectroscopy, reaching a high identification percentage (30/43, ~70%). All but one of the 28 sources with flux density > 0.7 mJy are identified. Most of the extragalactic objects are normal spiral or starburst galaxies at moderate redshift (z_med~0.2); four objects are Active Galactic Nuclei. We have used the 15-micron, H_alpha and 1.4-GHz luminosities as indicators of star-formation rate and we have compared the results obtained in these three bands. While 1.4-GHz and 15-micron estimates are in good agreement, showing that our galaxies are forming stars at a median rate of ~40 Mo/yr, the raw H_alpha-based estimates are a factor ~5-10 lower and need a mean correction of ~2 mag to be brought on the same scale as the other two indicators. A correction of ~2 mag is consistent with what suggested by the Balmer decrements H_alpha/H_beta and by the optical colours. Moreover, it is intermediate between the correction found locally for normal spirals and the correction needed for high-luminosity 15-micron objects, suggesting that the average extinction suffered by galaxies increases with infrared luminosity.Comment: 19 pages, 11 figures (3 in JPEG format), MNRAS, accepte