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.

Experimental and theoretical investigations of adsorption hysteresis and criticality in MCM-41: Studies with O-2, Ar, and CO2

MCM-41 materials of six different pore diameters were prepared and characterized using X-ray diffraction, transmission electron microscopy, helium pycnometry, small-angle neutron scattering, and gas adsorption (argon at 77.4 and 87.4 K, nitrogen and oxygen at 77.4 K, and carbon dioxide at 194.6 K). A recent molecular continuum model of the authors, previously used for adsorption of nitrogen at 77.4 K, was applied here for adsorption of argon, oxygen, and carbon dioxide. While model predictions of single-pore adsorption isotherms for argon and oxygen are in satisfactory agreement with experimental data, significant deviation was found for carbon dioxide, most likely due to its high quadrupole moment. Predictions of critical pore diameter, below which reversible condensation occurs: were possible by the model and found to be consistent with experimental estimates, for the adsorption of the various gases. On the other hand, existing models such as the Barrett-Joyner-Halenda (BJH), Saito-Foley, and Dubinin-Astakhov models were found to be inadequate, either predicting an incorrect pore diameter or not correlating the isotherms adequately. The wall structure of MCM-41 appears to be close to that of amorphous silica, as inferred from our skeletal density measurements.

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components

The results of empirical studies are limited to particular contexts, difficult to generalise and the studies themselves are expensive to perform. Despite these problems, empirical studies in software engineering can be made effective and they are important to both researchers and practitioners. The key to their effectiveness lies in the maximisation of the information that can be gained by examining existing studies, conducting power analyses for an accurate minimum sample size and benefiting from previous studies through replication. This approach was applied in a controlled experiment examining the combination of automated static analysis tools and code inspection in the context of verification and validation (V&V) of concurrent Java components. The combination of these V&V technologies was shown to be cost-effective despite the size of the study, which thus contributes to research in V&V technology evaluation.

The effect of water, brine and ethanol flotation on the quality and shelf life of macadamia kernels 2. Kernel pieces

Raw macadamia kernel pieces were immersed in water (specific gravity 1.00 g/cm(3)), brine (SG 1.02 g/cm(3)) or ethanol solution (SG 0.97 g/cm(3)) for 30 or 60 s, then re-dried to below 1.5% moisture (wet basis) and stored under vacuum for 0, 4 and 12 months. Flotation in water had no effect on the quality or shelf life of the kernel pieces over 12 months storage, as measured by sensory evaluation of the kernels and chemical analysis of the kernel oil. Immersion in a salt solution caused unacceptable changes in quality during storage, increasing as storage time increased. Flotation in dilute ethanol also caused unacceptable quality changes during storage. Therefore, only flotation of macadamia kernel pieces in water can be recommended for commercial operations. Microbiological concerns with such a process still need to be addressed.

Theoretical and numerical analysis of large-scale heat transfer problems with temperature-dependent pore-fluid densities

Purpose - In many scientific and engineering fields, large-scale heat transfer problems with temperature-dependent pore-fluid densities are commonly encountered. For example, heat transfer from the mantle into the upper crust of the Earth is a typical problem of them. The main purpose of this paper is to develop and present a new combined methodology to solve large-scale heat transfer problems with temperature-dependent pore-fluid densities in the lithosphere and crust scales. Design/methodology/approach - The theoretical approach is used to determine the thickness and the related thermal boundary conditions of the continental crust on the lithospheric scale, so that some important information can be provided accurately for establishing a numerical model of the crustal scale. The numerical approach is then used to simulate the detailed structures and complicated geometries of the continental crust on the crustal scale. The main advantage in using the proposed combination method of the theoretical and numerical approaches is that if the thermal distribution in the crust is of the primary interest, the use of a reasonable numerical model on the crustal scale can result in a significant reduction in computer efforts. Findings - From the ore body formation and mineralization points of view, the present analytical and numerical solutions have demonstrated that the conductive-and-advective lithosphere with variable pore-fluid density is the most favorite lithosphere because it may result in the thinnest lithosphere so that the temperature at the near surface of the crust can be hot enough to generate the shallow ore deposits there. The upward throughflow (i.e. mantle mass flux) can have a significant effect on the thermal structure within the lithosphere. In addition, the emplacement of hot materials from the mantle may further reduce the thickness of the lithosphere. Originality/value - The present analytical solutions can be used to: validate numerical methods for solving large-scale heat transfer problems; provide correct thermal boundary conditions for numerically solving ore body formation and mineralization problems on the crustal scale; and investigate the fundamental issues related to thermal distributions within the lithosphere. The proposed finite element analysis can be effectively used to consider the geometrical and material complexities of large-scale heat transfer problems with temperature-dependent fluid densities.

The impact of staff empowerment and communication style on customer evaluations: The special case of service failure

Empowering front-line staff to deal with service failures has been proposed as a method of recovering from service breakdown and ensuring greater customer satisfaction. However, no empirical study has investigated consumer responses to empowerment strategies. This research investigates the effect on customer satisfaction and service quality of two employee characteristics: the degree to which the employee is empowered (full, limited, and none), and the employee's communication style (accommodative - informal and personal, and underaccommodative-formal and impersonal). These employee characteristics are studied within the context of service failures. Subjects were shown videotaped service scenarios, and asked to complete satisfaction and service quality ratings. Results revealed that the fully empowered employee produced more customer satisfaction than the other conditions, but only when the service provider used an accommodating style of communication. Fully empowered and nonempowered employees were not judged differently when an underaccommodating style of communication was adopted. (C) 1997 John Wiley & Sons, Inc.

Encapsulation of lipopeptides within liposomes: Effect of number of lipid chains, chain length and method of liposome preparation

The purpose of this study was to systematically investigate the effect of lipid chain length and number of lipid chains present on lipopeptides on their ability to be incorporated within liposomes. The peptide KAVYNFATM was synthesized and conjugated to lipoamino acids having acyl chain lengths of C-8, C-12 and C-16. The C-12 construct was also prepared in the monomeric, dimeric and trimeric form. Liposomes were prepared by two techniques: hydration of dried lipid films (Bangham method) and hydration of freeze-dried monophase systems. Encapsulation of lipopeptide within liposomes prepared by hydration of dried lipid films was incomplete in all cases ranging from an entrapment efficiency of 70% for monomeric lipoamino acids at a 5% (w/w) loading to less than 20% for di- and trimeric forms at loadings of 20% (w/w). The incomplete entrapment of lipopeptides within liposomes appeared to be a result of the different solubilities of the lipopeptide and the phospholipids in the solvent used for the preparation of the lipid film. In contrast, encapsulation of lipopeptide within liposomes prepared by hydration of freeze-dried monophase systems was high, even up to a loading of 20% (w/w) and was much less affected by the acyl chain length and number than when liposomes were prepared by hydration of dried lipid films. Freeze drying of monophase systems is better at maintaining a molecular dispersion of the lipopeptide within the solid phospholipid matrix compared to preparation of lipid film by evaporation, particularly if the solubility of the lipopeptide in solvents is markedly different from that of the polar lipids used for liposome preparation. Consequently, upon hydration, the lipopeptide is more efficiently intercalated within the phospholipid bilayers. (C) 2005 Elsevier B.V. All rights reserved.

Lemon oil to beta-cyclodextrin ratio effect on the inclusion efficiency of beta-cyclodextrin and the retention of oil volatiles in the complex

Microencapsulation of lemon oil was undertaken with beta-cyclodextrin using a precipitation method at the five lemon oil to beta-cyclodextrin ratios of 3:97, 6:94, 9:91, 12:88, and 15:85 (w/w) in order to determine the effect of the ratio of lemon oil to beta-cyclodextrin on the inclusion efficiency of beta-cyclodextrin for encapsulating oil volatiles. The retention of lemon oil volatiles reached a maximum at the lemon oil to beta-cyclodextrin ratio of 6:94; however, the maximum inclusion capacity of beta-cyclodextrin and a maximum powder recovery were achieved at the ratio of 12:88, in which the beta-cyclodextrin complex contained 9.68% (w/w) lemon oil. The profile and proportion of selected flavor compounds in the beta-cyclodextrin complex and the starting lemon oil were not significantly different.

Accelerating seismic energy release and evolution of event time and size statistics: Results from two heterogeneous cellular automaton models

The evolution of event time and size statistics in two heterogeneous cellular automaton models of earthquake behavior are studied and compared to the evolution of these quantities during observed periods of accelerating seismic energy release Drier to large earthquakes. The two automata have different nearest neighbor laws, one of which produces self-organized critical (SOC) behavior (PSD model) and the other which produces quasi-periodic large events (crack model). In the PSD model periods of accelerating energy release before large events are rare. In the crack model, many large events are preceded by periods of accelerating energy release. When compared to randomized event catalogs, accelerating energy release before large events occurs more often than random in the crack model but less often than random in the PSD model; it is easier to tell the crack and PSD model results apart from each other than to tell either model apart from a random catalog. The evolution of event sizes during the accelerating energy release sequences in all models is compared to that of observed sequences. The accelerating energy release sequences in the crack model consist of an increase in the rate of events of all sizes, consistent with observations from a small number of natural cases, however inconsistent with a larger number of cases in which there is an increase in the rate of only moderate-sized events. On average, no increase in the rate of events of any size is seen before large events in the PSD model.

The effect of tidal volume and peep on CO2 and oxygenation during resuscitation of very premature lambs

Background: Over-ventilation causing low arterial carbon dioxide levels (PaCO2) has been associated with the development of neonatal chronic lung disease and adverse outcomes. This may occur very soon after birth. Aim: To investigate the effect on PaCO2 and oxygenation of very premature lambs resuscitated with different tidal volumes and PEEP. Methods: Anaesthetised lambs delivered at 126 days gestation were randomised to 15 min resuscitation with 3 regimes: (1) Laerdal resuscitation bag (B) with 100% oxygen and no PEEP, (2) fixed tidal volume (VT) of 5 mL/kg, or (3) VT of 10 mL/kg, both delivered with a Babylog 8000 ventilator in volume guarantee mode with 8 cm H2O PEEP and variable FiO2. Frequent blood gases were measured and VT, mean airway pressure (Paw), minute volume (MV), ventilation rate (VR), respiratory system compliance (Crs) and alveolar/arterial oxygen difference (AaDO2) were recorded. Results: Twenty lambs were studied. B (1) was associated with more variable VT and peak inspiratory pressures (PIP) compared to fixed tidal volumes (2 and 3). The lambs ventilated with 10 mL/kg were over-ventilated, those ventilated with 5 mL/kg were slightly under-ventilated. Those ventilated with the Laerdal bag had a mean VT of 7.5 mL/kg and were normocarbic. The different tidal volumes had little effect on oxygenation. PEEP improved oxygenation. The table shows the values at 15 minutes expressed as mean and SEM. TABLE. No caption av... TABLE. No caption av... Image Tools Conclusion: Very premature lambs can be effectively resuscitated from birth using volume guarantee ventilation. Within minutes of birth different tidal volumes had a large effect on PaCO2 and no effect on oxygenation. Studies are needed to determine the appropriate tidal volume for resuscitating very premature infants to maintain acceptable levels of PaCO2. © International Pediatrics Research Foundation, Inc. 2004. All Rights Reserved.

Is the method of signal analysis and test selection important for measuring standing balance in subjects with persistent whiplash?

Dizziness and or unsteadiness, associated with episodes of loss of balance, are frequent complaints in those suffering from persistent problems following a whiplash injury. Research has been inconclusive with respect to possible aetiology, discriminative tests and analyses used. The aim of this pilot research was to identify the test conditions and the most appropriate method for the analysis of sway that may differentiate subjects with persistent whiplash associated disorders (WAD) from healthy controls. The six conditions of the Clinical Test for Sensory Interaction in Balance was performed in both comfortable and tandem stance in 20 subjects with persistent WAD compared to 20 control subjects. The analyses were carried out using a traditional method of measurement, total sway distance, to results obtained from the use of wavelet analysis. Subjects with WAD were significantly less able to complete the tandem stance tests on a firm surface than controls. In comfortable stance, using wavelet analysis, significant differences between subjects with WAD and the control group were evident in total energy of the trace for all test conditions apart from eyes open on the firm surface. In contrast, the results of the analysis using total sway distance revealed no significant differences between groups across all six conditions. Wavelet analysis may be more appropriate for detecting disturbances in balance in whiplash subjects because the technique allows separation of the noise from the underlying systematic effect of sway. These findings will be used to direct future studies on the aeitiology of balance disturbances in WAD. (c) 2004 Elsevier B.V. All rights reserved.

On the estimation and comparison of short-rate models using the generalised method of moments

Subsequent to the influential paper of [Chan, K.C., Karolyi, G.A., Longstaff, F.A., Sanders, A.B., 1992. An empirical comparison of alternative models of the short-term interest rate. Journal of Finance 47, 1209-1227], the generalised method of moments (GMM) has been a popular technique for estimation and inference relating to continuous-time models of the short-term interest rate. GMM has been widely employed to estimate model parameters and to assess the goodness-of-fit of competing short-rate specifications. The current paper conducts a series of simulation experiments to document the bias and precision of GMM estimates of short-rate parameters, as well as the size and power of [Hansen, L.P., 1982. Large sample properties of generalised method of moments estimators. Econometrica 50, 1029-1054], J-test of over-identifying restrictions. While the J-test appears to have appropriate size and good power in sample sizes commonly encountered in the short-rate literature, GMM estimates of the speed of mean reversion are shown to be severely biased. Consequently, it is dangerous to draw strong conclusions about the strength of mean reversion using GMM. In contrast, the parameter capturing the levels effect, which is important in differentiating between competing short-rate specifications, is estimated with little bias. (c) 2006 Elsevier B.V. All rights reserved.