Hybrid Modeling for Scenario-Based Evaluation of Failure Effects in Advanced Hardware-Software Designs

This paper describes an incremental scenario-based simulation approach to evaluation of intelligent software for control and management of hardware systems. A hybrid continuous/discrete event simulation of the hardware dynamically interacts with the intelligent software in operations scenarios. Embedded anomalous conditions and failures in simulated hardware can lead to emergent software behavior and identification of missing or faulty software or hardware requirements. An approach is described for extending simulation-based automated incremental failure modes and effects analysis, to support concurrent evaluation of intelligent software and the hardware controlled by the softwar

Technology review of thermal forming techniques for use in composite component manufacture

There is a growing demand for composites to be utilised in the production of large-scale components within the aerospace industry. In particular the demand to increase production rates indicates that traditional manual methods are no longer sufficient, and automated solutions must be sought. This typically leads to automated forming processes where there are a limited number of effective options. The need for forming typically arises from the inability of layup methods to produce complex geometries of structural components. This paper reviews the current state of the art in automated forming processes, their limitations and variables that affect performance in the production of large scale components. In particular the paper will focus on the application of force and heat within secondary forming processes. It will then review the effects of these variables against the structure of the required composite component and identify viability of the technology. Through this, an understanding of the key criteria involved in the forming of composite aerospace components can be utilised to better inform improved manufacturing processes and capabilities

Predicting System Accidents with Model Analysis During Hybrid Simulation

Standard discrete event simulation is commonly used to identify system bottlenecks and starving and blocking conditions in resources and services. The CONFIG hybrid discrete/continuous simulation tool can simulate such conditions in combination with inputs external to the simulation. This provides a means for evaluating the vulnerability to system accidents of a system's design, operating procedures, and control software. System accidents are brought about by complex unexpected interactions among multiple system failures , faulty or misleading sensor data, and inappropriate responses of human operators or software. The flows of resource and product materials play a central role in the hazardous situations that may arise in fluid transport and processing systems. We describe the capabilities of CONFIG for simulation-time linear circuit analysis of fluid flows in the context of model-based hazard analysis. We focus on how CONFIG simulates the static stresses in systems of flow. Unlike other flow-related properties, static stresses (or static potentials) cannot be represented by a set of state equations. The distribution of static stresses is dependent on the specific history of operations performed on a system. We discuss the use of this type of information in hazard analysis of system designs

Knowledge Representation Standards and Interchange Formats for Causal Graphs

In many domains, automated reasoning tools must represent graphs of causally linked events. These include fault-tree analysis, probabilistic risk assessment (PRA), planning, procedures, medical reasoning about disease progression, and functional architectures. Each of these fields has its own requirements for the representation of causation, events, actors and conditions. The representations include ontologies of function and cause, data dictionaries for causal dependency, failure and hazard, and interchange formats between some existing tools. In none of the domains has a generally accepted interchange format emerged. The paper makes progress towards interoperability across the wide range of causal analysis methodologies. We survey existing practice and emerging interchange formats in each of these fields. Setting forth a set of terms and concepts that are broadly shared across the domains, we examine the several ways in which current practice represents them. Some phenomena are difficult to represent or to analyze in several domains. These include mode transitions, reachability analysis, positive and negative feedback loops, conditions correlated but not causally linked and bimodal probability distributions. We work through examples and contrast the differing methods for addressing them. We detail recent work in knowledge interchange formats for causal trees in aerospace analysis applications in early design, safety and reliability. Several examples are discussed, with a particular focus on reachability analysis and mode transitions. We generalize the aerospace analysis work across the several other domains. We also recommend features and capabilities for the next generation of causal knowledge representation standards

Development of in-situ monitoring systems for the thermoforming of pre-preg composite laminates

Recent developments in automated composite manufacturing technologies, such as Automated Fibre Placement, AFP, and Automated Tape Layup, ATL, have enabled larger components to be produced efficiently, leading to an increased use of prepreg composites in aerospace. These processes are limited in the geometry that may be produced and therefore secondary forming processes are commonly required for implementation. There is, therefore, a need to improve reliability and increase forming capability using these processes, whilst ensuring that defects in the laminate are limited. Thermoforming of composite and polymer materials is a well-known forming method for use with polymers and polymer based materials. This paper will discuss the monitoring methods and results used in a typical thermoforming process based on experimental results from a composite material during Thermal Roll Forming (TRF). The focus of this testing is to characterise the effect of temperature and dynamic contact forces on the composite against the real-time development of defects such as wrinkles during TRF forming

Outer Retinal Structure in Best Vitelliform Macular Dystrophy

Importance Demonstrating the utility of adaptive optics scanning light ophthalmoscopy (AOSLO) to assess outer retinal structure in Best vitelliform macular dystrophy (BVMD). Objective To characterize outer retinal structure in BVMD using spectral-domain optical coherence tomography (SD-OCT) and AOSLO. Design, Setting, and Participants Prospective, observational case series. Four symptomatic members of a family with BVMD with known BEST1 mutation were recruited at the Advanced Ocular Imaging Program research lab at the Medical College of Wisconsin Eye Institute, Milwaukee. Intervention Thickness of 2 outer retinal layers corresponding to photoreceptor inner and outer segments was measured using SD-OCT. Photoreceptor mosaic AOSLO images within and around visible lesions were obtained, and cone density was assessed in 2 subjects. Main Outcome and Measure Photoreceptor structure. Results Each subject was at a different stage of BVMD, with photoreceptor disruption evident by AOSLO at all stages. When comparing SD-OCT and AOSLO images from the same location, AOSLO images allowed for direct assessment of photoreceptor structure. A variable degree of retained photoreceptors was seen within all lesions. The photoreceptor mosaic immediately adjacent to visible lesions appeared contiguous and was of normal density. Fine hyperreflective structures were visualized by AOSLO, and their anatomical orientation and size were consistent with Henle fibers. Conclusions and Relevance The AOSLO findings indicate that substantial photoreceptor structure persists within active lesions, accounting for good visual acuity in these patients. Despite previous reports of diffuse photoreceptor outer segment abnormalities in BVMD, our data reveal normal photoreceptor structure in areas adjacent to clinical lesions. This study demonstrates the utility of AOSLO for understanding the spectrum of cellular changes that occur in inherited degenerations such as BVMD. Photoreceptors are often significantly affected at various stages of inherited degenerations, and these changes may not be readily apparent with current clinical imaging instrumentation

Regulation of vascular signalling by nuclear Sprouty2 in fetal lung epithelial cells:Implications for co-ordinated airway and vascular branching in lung development

This work was supported by a Wellcome Trust project grant 088032/Z/08/Z to SCL.Sprouty2 (Spry2) acts as a central regulator of tubular growth and branch patterning in the developing mammalian lung by controlling both magnitude and duration of growth factor signalling. To determine if this protein coordinates airway and vascular growth factor signalling, we tested the hypothesis that Spry2 links the primary cue for airway outgrowth, fibroblast growth factor-10 (FGF-10), to genomic events underpinning the expression and release of vascular endothelial growth factor-A (VEGF-A). Using primary fetal distal lung epithelial cells (FDLE) from rat, and immortalised human bronchial epithelial cells (16HBE14o-), we identified a nuclear sub-population of Spry2 which interacted with regions of the rat and human VEGF-A promoter spanning the hypoxia response element (HRE) and adjacent 3′ sites. In FDLE cultured at the PO2 of the fetal lung, FGF-10 relieved the Spry2 interaction at the HRE region by promoting clearance of a 39 kDa form and this was accompanied by histone-3 S10K14 phosphoacetylation, promoter de-methylation, hypoxia inducible factor-1α activation and VEGF-A expression. This repressive characteristic of nuclear Spry2 was relieved in 16HBE14o- by shRNA knockdown, and stable expression of mutants (C218A; C221A) that do not interact with the VEGF-A promoter HRE region. We conclude that nuclear Spry2 acts as a molecular link which co-ordinates airway and vascular growth of the cardiopulmonary system. This identifies Spry2 as a contributing determinant of design optimality in the mammalian lung.Publisher PDFPeer reviewe

Neuronal processing of translational optic flow in the visual system of the shore crab Carcinus maenas

This paper describes a search for neurones sensitive to optic flow in the visual system of the shore crab Carcinus maenas using a procedure developed from that of Krapp and Hengstenberg. This involved determining local motion sensitivity and its directional selectivity at many points within the neurone's receptive field and plotting the results on a map. Our results showed that local preferred directions of motion are independent of velocity, stimulus shape and type of motion (circular or linear). Global response maps thus clearly represent real properties of the neurones' receptive fields. Using this method, we have discovered two families of interneurones sensitive to translational optic flow. The first family has its terminal arborisations in the lobula of the optic lobe, the second family in the medulla. The response maps of the lobula neurones (which appear to be monostratified lobular giant neurones) show a clear focus of expansion centred on or just above the horizon, but at significantly different azimuth angles. Response maps such as these, consisting of patterns of movement vectors radiating from a pole, would be expected of neurones responding to self-motion in a particular direction. They would be stimulated when the crab moves towards the pole of the neurone's receptive field. The response maps of the medulla neurones show a focus of contraction, approximately centred on the horizon, but at significantly different azimuth angles. Such neurones would be stimulated when the crab walked away from the pole of the neurone's receptive field. We hypothesise that both the lobula and the medulla interneurones are representatives of arrays of cells, each of which would be optimally activated by self-motion in a different direction. The lobula neurones would be stimulated by the approaching scene and the medulla neurones by the receding scene. Neurones tuned to translational optic flow provide information on the three-dimensional layout of the environment and are thought to play a role in the judgment of heading

CMB Anomalies from Imperfect Dark Energy: Confrontation with the Data

We test anisotropic dark energy models with the 7-year WMAP temperature observations data. In the presence of imperfect sources, due to large-scale gradients or anisotropies in the dark energy field, the CMB sky will be distorted anisotropically on its way to us by the ISW effect. The signal covariance matrix then becomes nondiagonal for small multipoles, but at $\ell \gtrsim 20$ the anisotropy is negligible. We parametrize possible violations of rotational invariance in the late universe by the magnitude of a post-Friedmannian deviation from isotropy and its scale dependence. This allows to obtain hints on possible imperfect nature of dark energy and the large-angle anomalous features in the CMB. A robust statistical analysis, subjected to various tests and consistency checks, is performed to compare the predicted correlations with those obtained from the satellite-measured CMB full sky maps. The preferred axis point towards $(l,b) = (168^\circ, -31^\circ)$ and the amplitude of the anisotropy is $\varpi_0 = (0.51\pm 0.94)$ (1$\sigma$ deviation quoted). The best-fit model has a steep blue anisotropic spectrum ($n_{\mathrm{de}} = 3.1\pm1.5$).Comment: 11 pages, 4 figure

Relational color constancy in achromatic and isoluminant images

Relational color constancy, which refers to the constancy of perceived relations between surface colors under changes in illuminant, may be based on the computation of spatial ratios of cone excitations. As this activity need occur only within rather than between cone pathways, relational color constancy might be assumed to be based on relative luminance processing. This hypothesis was tested in a psychophysical experiment in which observers viewed simulated images of Mondrian patterns undergoing colorimetric changes that could be attributed either to an illuminant change or to a nonilluminant change; the images were isoluminant, achromatic, or unmodified. Observers reliably discriminated the two types of changes in all three conditions, implying that relational color constancy is not based on luminance cues alone. A computer simulation showed that in these isoluminant and achromatic images spatial ratios of cone excitations and of combinations of cone excitations were almost invariant under illuminant changes and that discrimination performance could be predicted from deviations in these ratios.Biotechnology and Biological Sciences Research Council (BBSRC