An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

The work of fracture in uniaxial and biaxial oriented unplasticised polyvinylchloride pipes

In oriented unplasticised polyvinylchloride (uPVC) pipes, cracks propagate tangentially rather than through the wall as in conventional pipe. Notched impact, a modified peel test and the specific work of fracture approach have been used to measure fracture toughness of a conventionally extruded, a uniaxially oriented and a biaxially oriented uPVC pipe in different directions. The different failure mode for the oriented pipes was found to result from an order of magnitude increase in the fracture toughness for cracks propagating perpendicular to the orientation direction. Differences in the fracture toughness between the oriented pipes were also related to their molecular orientation. (C) 2002 Elsevier Science Ltd. All rights reserved.

A practical guide to exercise training for heart failure patients

Background: Exercise training has been shown to improve exercise capacity in patients with heart failure. We sought to examine the optimal strategy of exercise training for patients with heart failure. Methods: Review of the published data on the characteristics of the training program, with comparison of physiologic markers of exercise capacity in heart failure patients and healthy individuals and comparison of the change in these characteristics after all exercise training program. Results: Many factors, including the duration, supervision, and venue of exercise training; the volume of working muscle; the delivery mode (eg, continuous vs. intermittent exercise), training intensity; and the concurrent effects of medical treatments may influence the results of exercise training in heart failure. Starting in an individually prescribed and safely monitored hospital-based program, followed by progression to an ongoing and progressive home program of exercise appears to be the best solution to the barriers of anxiety, adherence, and ease of access encountered by the heart failure patient. Conclusions: Various exercise training programs have been shown to improve exercise capacity and symptom status in heart failure, but these improvements may only be preserved with an ongoing maintenance program.

Chronic renal failure in an English bull terrier with polycystic kidney disease

An entire female English bull terrier, aged five years and one month, was diagnosed with polycystic kidney disease by renal ultrasonography. It had thickening and abnormal motion of the mitral valve on 2D and M mode echocardiography, and left ventricular outflow tract obstruction, characterised by turbulence in the left ventricular outflow tract and elevated aortic blood flow velocity, detected by colour flow and spectral Doppler echocardiography, respectively. Two years later, haematology, serum biochemistry and urinalysis data suggested the presence of compensated renal failure. The dog was euthanased at 10 years and eight months of age, with haematology, serum biochemistry and urinalysis data indicating decompensated chronic renal failure. Postmortem examination confirmed polycystic kidney disease, chronic renal disease, mitral and aortic valvular myxomatous degeneration, and mixed mammary neoplasia. This case demonstrates that bull terriers with polycystic kidney disease may develop associated chronic renal failure.

Characterization of a strong, constitutive mung bean (Vigna radiata L.) promoter with a complex mode of regulation in planta

We report the cloning and characterization in tobacco and Arabidopsis of a Vigna radiata L. (mung bean) promoter that controls the expression of VR-ACS1, an auxin-inducible ACC synthase gene. The VR-ACS1 promoter exhibits a very unusual behavior when studied in plants different from its original host, mung bean. GUS and luciferase in situ assays of transgenic plants containing VR-ACS1 promoter fusions show strong constitutive reporter gene expression throughout tobacco and Arabidopsis development. In vitro quantitative analyses show that transgenic plants harboring VR-ACS1 promoter-reporter constructs have on average 4-6 fold higher protein and activity levels of both reporter genes than plants transformed with comparable CaMV 35S promoter fusions. Similar transcript levels are present in VR-ACS1 and CaMV 35S promoter lines, suggesting that the high levels of gene product observed for the VR-ACS1 promoter are the combined result of transcriptional and translational activation. All tested deletion constructs retaining the core promoter region can drive strong constitutive promoter activity in transgenic plants. This is in contrast to mung bean, where expression of the native VR-ACS1 gene is almost undetectable in plants grown under normal conditions, but is rapidly and highly induced by a variety of stimuli. The constitutive behavior of the VR-ACS1 promoter in heterologous hosts is surprising, suggesting that the control mechanisms active in mung bean are impaired in tobacco and Arabidopsis. The 'aberrant' behavior of the VR-ACS1 promoter is further emphasized by its failure to respond to auxin and cycloheximide in heterologous hosts. VR-ACS1 promoter regulatory mechanisms seem to be different from all previously characterized auxin-inducible promoters.

An anisotropic viscous representation of Mohr-Coulomb failure for use is modelling coupled mantle-continent dynamics

In mantle convection models it has become common to make use of a modified (pressure sensitive, Boussinesq) von Mises yield criterion to limit the maximum stress the lithosphere can support. This approach allows the viscous, cool thermal boundary layer to deform in a relatively plate-like mode even in a fully Eulerian representation. In large-scale models with embedded continental crust where the mobile boundary layer represents the oceanic lithosphere, the von Mises yield criterion for the oceans ensures that the continents experience a realistic broad-scale stress regime. In detailed models of crustal deformation it is, however, more appropriate to choose a Mohr-Coulomb yield criterion based upon the idea that frictional slip occurs on whichever one of many randomly oriented planes happens to be favorably oriented with respect to the stress field. As coupled crust/mantle models become more sophisticated it is important to be able to use whichever failure model is appropriate to a given part of the system. We have therefore developed a way to represent Mohr-Coulomb failure within a code which is suited to mantle convection problems coupled to large-scale crustal deformation. Our approach uses an orthotropic viscous rheology (a different viscosity for pure shear to that for simple shear) to define a prefered plane for slip to occur given the local stress field. The simple-shear viscosity and the deformation can then be iterated to ensure that the yield criterion is always satisfied. We again assume the Boussinesq approximation - neglecting any effect of dilatancy on the stress field. An additional criterion is required to ensure that deformation occurs along the plane aligned with maximum shear strain-rate rather than the perpendicular plane which is formally equivalent in any symmetric formulation. It is also important to allow strain-weakening of the material. The material should remember both the accumulated failure history and the direction of failure. We have included this capacity in a Lagrangian-Integration-point finite element code and will show a number of examples of extension and compression of a crustal block with a Mohr-Coulomb failure criterion, and comparisons between mantle convection models using the von Mises versus the Mohr-Coulomb yield criteria. The formulation itself is general and applies to 2D and 3D problems, although it is somewhat more complicated to identify the slip plane in 3D.

Substrate-inhibited kinetics with catalyst deactivation in an isothermal CSTR. II. Multiple pseudosteady states and reactor failure

Analytical expressions are derived for the time and magnitude of failure of an isothermal CSTR with substrate-inhibited kinetics, caused by slow catalyst deactivation under three types of parallel and series mechanisms. Reactors operating at high space velocity are found to be most susceptible to early failure and poisoning by product is more dangerous than by reactant. The magnitude of the jump across steady states depends solely on the Langmuir-Hinshelwood kinetic parameters and a detailed analysis of reactor behavior during the jump itself is given.

Experimental control of single-mode laser chaos by using continuous, time-delayed feedback

Control of chaos in the single-mode optically pumped far-infrared (NH3)-N-15 laser is experimentally demonstrated using continuous time-delay control. Both the Lorenz spiral chaos and the detuned period-doubling chaos exhibited by the laser have been controlled. While the laser is in the Lorenz spiral chaos regime the chaos has been controlled both such that the laser output is cw, with corrections of only a fraction of a percent necessary to keep it there, and to period one. The laser has also been controlled while in the period-doubling chaos regime, to both the period-one and -two states.

Hydromorphone-3-glucuronide: Biochemical synthesis and preliminary pharmacological evaluation

Hydromorphone-3-glucuronide (H3G) was synthesized biochemically using rat liver microsomes, uridine-5'-diphosphoglucuronic acid (UDPGA) and the substrate, hydromorphone. Initially, the crude putative H3G product was purified by ethyl acetate precipitation and washing with acetonitrile, Final purification was achieved using semi-preparative high-performance-liquid-chromatography (HPLC) with ultraviolet (UV) detection. The purity of the final H3G product was shown by HPLC with electrochemical and ultraviolet detection to be > 99.9% and it was produced in a yield of approximate to 60% (on a molar basis). The chemical structure of the putative H3G was confirmed by enzymatic hydrolysis of the glucuronide moiety using P-glucuronidase, producing a hydrolysis product with the same HPLC retention time as the hydromorphone reference standard. Using HPLC with tandem mass spectrometry (HPLC-MS-MS) in the positive ionization mode, the molecular mass (M+1) was found to be 462 g/mol, in agreement with H3G's expected molecular weight of 461 g/mol. Importantly, proton-NMR indicated that the glucuronide moiety was attached at the 3-phenolic position of hydromorphone. A preliminary evaluation of H3G's intrinsic pharmacological effects revealed that following icy administration to adult male Sprague-Dawley rats in a dose of 5 mu g, H3G evoked a range of excitatory behavioural effects.including chewing, rearing, myoclonus, ataxia and tonic-clonic convulsions, in a manner similar to that reported previously for the glucuronide metabolites of morphine, morphine-3-glucuronide and normorphine-3-glucuronide.

Activation of beta(2)-adrenergic receptors hastens relaxation and mediates phosphorylation of phospholamban, troponin I, and C-protein in ventricular myocardium from patients with terminal heart failure

Background-Catecholamines hasten cardiac relaxation through beta-adrenergic receptors, presumably by phosphorylation of several proteins, but it is unknown which receptor subtypes are involved in human ventricle. We assessed the role of beta(1)- and beta(2)-adrenergic receptors in phosphorylating proteins implicated in ventricular relaxation. Methods and Results-Right ventricular trabeculae, obtained from freshly explanted hearts of patients with dilated cardiomyopathy (n=5) or ischemic cardiomyopathy (n=5), were paced at 60 bpm. After measurement of the contractile and relaxant effects of epinephrine (10 mu mol/L) or zinterol (10 mu mol/L), mediated through beta(2)-adrenergic receptors, and of norepinephrine (10 mu mol/L), mediated through beta(1)-adrenergic receptors, tissues were freeze clamped. We assessed phosphorylation of phospholamban, troponin I, and C-protein, as well as specific phosphorylation of phospholamban at serine 16 and threonine 17, Data did not differ between the 2 disease groups and were therefore pooled. Epinephrine, zinterol, and norepinephrine increased contractile force to approximately the same extent, hastened the onset of relaxation by 15+/-3%, 5+/-2%, and 20+/-3%, respectively, and reduced the time to half-relaxation by 26+/-3%, 21+/-3%, and 37+/-3%. These effects of epinephrine, zinterol, and norepinephrine were associated with phosphorylation (pmol phosphate/mg protein) of phospholamban 14+/-3, 12+/-4, and 12+/-3, troponin I 40+/-7, 33+/-7, and 31+/-6; and C-protein 7.2+/-1.9, 9.3 +/- 1.4, and 7.5 +/- 2.0. Phosphorylation of phospholamban occurred at both Ser16 and Thr17 residues through both beta(1)- and beta(2)-adrenergic receptors. Conclusions-Norepinephrine and epinephrine hasten human ventricular relaxation and promote phosphorylation of implicated proteins through both beta(1)- and beta(2)-adrenergic receptors, thereby potentially improving diastolic function.

Death and readmission in the year after hospital admission with cardiovascular disease: the Hunter Area Heart and Stroke Register

Objectives: To compare outcomes one year after hospital admission for patients initially discharged with a diagnosis of acute myocardial infarction (AMI), other ischaemic heart disease (other IHD), congestive heart failure (CHF) or stroke. Design: Cohort study. Setting: Hunter Area Heart and Stroke Register, which registers all patients admitted with heart disease or stroke to any of the 22 hospitals in the Hunter Area Health Service in New South Wales. Patients: 4981 patients with AMI, other IHD, CHF or stroke admitted to hospital as an emergency between 1 July 1995 and 30 June 1997 and followed for at least one year. Main outcome measures: Death from any cause or emergency hospital readmission for cardiovascular disease. Results: In-hospital mortality varied from 1% of those with other IHD to 22% of those with stroke. Almost a third of all patients discharged alive (and 38% of those aged 70 or more) had died or been readmitted within one year. This varied from 22% of those with stroke to 49% of those with CHF. The causes of death and readmission were from a spectrum of cardiovascular disease, regardless of the cause of the original hospital admission. Conclusions: Data from this population register show the poor outcome, especially with increasing age, among patients admitted to hospital with cardiovascular disease. This should alert us to determine whether optimal secondary prevention strategies are being adopted among such patients.