A Safety Case Pattern for Model-Based Development Approach

In this paper, a safety case pattern is introduced to facilitate the presentation of a correctness argument for a system implemented using formal methods in the development process. We took advantage of our experience in constructing a safety case for the Patient Controlled Analgesic (PCA) infusion pump, to define this safety case pattern. The proposed pattern is appropriate to be instantiated within the safety cases constructed for systems that are developed by applying model-based approaches

A model for the orientational ordering of the plant microtubule cortical array

The plant microtubule cortical array is a striking feature of all growing plant cells. It consists of a more or less homogeneously distributed array of highly aligned microtubules connected to the inner side of the plasma membrane and oriented transversely to the cell growth axis. Here we formulate a continuum model to describe the origin of orientational order in such confined arrays of dynamical microtubules. The model is based on recent experimental observations that show that a growing cortical microtubule can interact through angle dependent collisions with pre-existing microtubules that can lead either to co-alignment of the growth, retraction through catastrophe induction or crossing over the encountered microtubule. We identify a single control parameter, which is fully determined by the nucleation rate and intrinsic dynamics of individual microtubules. We solve the model analytically in the stationary isotropic phase, discuss the limits of stability of this isotropic phase, and explicitly solve for the ordered stationary states in a simplified version of the model.Comment: 15 pages, 5 figure

Causal structure of the entanglement renormalization ansatz

We show that the multiscale entanglement renormalization ansatz (MERA) can be reformulated in terms of a causality constraint on discrete quantum dynamics. This causal structure is that of de Sitter space with a flat spacelike boundary, where the volume of a spacetime region corresponds to the number of variational parameters it contains. This result clarifies the nature of the ansatz, and suggests a generalization to quantum field theory. It also constitutes an independent justification of the connection between MERA and hyperbolic geometry which was proposed as a concrete implementation of the AdS-CFT correspondence

The semantic effects of verb raising and its consequences in second language grammars

This article considers whether highly proficient second language speakers of English can distinguish meaning contrasts associated with constructions where there is a raising be, and constructions where there is a non-raising thematic verb, as illustrated in the difference between (1a) and (1b): 1a. Kim is reading a novel (`event-in-progress/existential ? interpretation

A Technique for the Nondestructive Detection of Voids and Composition Anomalies in Metal Matrix Composite Wires Using X or γ Rays

An initial study of a technique proposed for the nondestructive testing of metal matrix composites is the subject of this paper. These composites are manufactured in the form of approximately 1/2-mm-diameter “precursor” wires. Larger structures are fabricated by diffusion bonding of lay-ups. Reliable nondestructive quality control indicators of wire integrity have not yet been developed although a number of possibilities are being examined.1 Testing of the precursor wires is difficult because current manufacturing processes produce wires that may be entirely satisfactory but that vary in cross-sectional geometry, in surface properties, and sometimes in the amount of matrix material that is present. Techniques based on observations of wire resistance, surface emissivity, and sound emission signatures are difficult to interpret because of these characteristics. Wire imaging using x-ray or neutron techniques is also difficult because large lengths of wire must be examined with a resolution in the plane of the wire exceeding 50 line pairs per millimeter

Research Notes : Trisomic inheritance of a chimera in soybean

Introduction: In the summer of 1978, four chlorophyll-chimeric plants were observed within a population of \u27Clark\u27. The four plants had a similar phenotype, and were surmised to originate from a common parent. These four plants were single-plant threshed

Broadcasting graphic war violence: the moral face of Channel 4

Drawing on empirical data from Channel 4 (C4) regarding the broadcasting of violent war imagery, and positioned within Goffman’s notion of the interaction ritual (1959, 1967), this article investigates how C4 negotiate potentially competing commercial, regulatory and moral requirements through processes of discretionary decision-making. Throughout, the article considers the extent to which these negotiations are presented through a series of ‘imaginings’ – of C4 and its audience – which serve to simultaneously guide and legitimate the decisions made. This manifestation of imaginings moves us beyond more blanket explanations of ‘branding’ and instead allows us to see the final programmes as the end product of a series of complex negotiations and interactions between C4 and those multiple external parties significant to the workings of their organization. The insights gleaned from this case study are important beyond the workings of C4 because they help elucidate how all institutions and organizations may view, organize and justify their practices (to both themselves and others) within the perceived constraints in which they operate

Orchard fruit handling system

Orchard fruit handling apparatus for conveying and delivering harvested fruit into a plurality of storage bins comprising a first conveyor for adjustable attachment to a conventional farm tractor for receiving and transporting fruit received thereon in a generally linear direction rearwardly of the tractor, and trailer means for attachment to the tractor containing a second conveyor for receiving harvested fruit from the first conveyor and selectively directing the fruit into a plurality of storage bins carried on the trailer. A plurality of deflecting blades or bars are selectively positionable across the second conveyor to selectively intercept and deflect the fruit into corresponding bin filler mechanisms located along the side of the second conveyor and above corresponding collection bins. Each bin filler mechanism forms a sinuous passageway for gravitationally directing the fruit downwardy into a collection bin and is vertically positionable to maintain its lower fruit discharge outlet at the upper level of the fruit being collected in the storage bin. The trailer is provided with means for gravitationally discharging the filled fruit storage bins on to the ground at a central location in the orchard, and the orchard fruit handling apparatus is powered by connection to the hydraulic and electrical systems of the conventional farm tractor

Randomised, controlled trial of alternating pressure mattresses compared with alternating pressure overlays for the prevention of pressure ulcers : PRESSURE (pressure relieving support surfaces) trial

Objective To compare whether differences exist between alternating pressure overlays and alternating pressure mattresses in the development of new pressure ulcers, healing of existing pressure ulcers, and patient acceptability. Design Pragmatic, open, multicentre, randomised controlled trial. Setting 11 hospitals in six NHS trusts. Participants 1972 people admitted to hospital as acute or elective patients. Interventions Participants were randomised to an alternating pressure mattress (n = 982) of- an alternating pressure overlay (n = 990). Main outcome measures The proportion of participants developing a new pressure ulcer of grade 2 or worse; time to development of new pressure ulcers; proportions of participants developing a new ulcer within 30 days; healing of existing pressure ulcers; and patient acceptability Results Intention to treat analysis found no difference in the proportions of participants developing a new pressure ulcer of grade 2 or worse (10.7% overlay patients, 10.3% mattress patients; difference 0.4%, 95% confidence interval - 23% to 3.1%, P = 0.75). More overlay patients requested change owing to dissatisfaction (23.3%) than mattress patients (18.9%, P = 0.02). Conclusion No difference was found between alternating pressure mattresses and alternating pressure overlays in the proportion of people who develop a pressure ulcer