Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Report from The International Society for Nomenclature of Paediatric and Congenital Heart Disease: cardiovascular catheterisation for congenital and paediatric cardiac disease (Part 1-Procedural nomenclature)

Interventional cardiology for paediatric and congenital cardiac disease is a relatively young and rapidly evolving field. As the profession begins to establish multi-institutional databases, a universal system of nomenclature is necessary for the field of interventional cardiology for paediatric and congenital cardiac disease. The purpose of this paper is to present the results of the efforts of The International Society for Nomenclature of Paediatric and Congenital Heart Disease to establish a system of nomenclature for cardiovascular catheterisation for congenital and paediatric cardiac disease, focusing both on procedural nomenclature and on the nomenclature of complications associated with interventional cardiology. This system of nomenclature for cardiovascular catheterisation for congenital and paediatric cardiac disease is a component of The International Paediatric and Congenital Cardiac Code. This manuscript is the first part of a two-part series. Part 1 will cover the procedural nomenclature associated with interventional cardiology as treatment for paediatric and congenital cardiac disease. This procedural nomenclature of The International Paediatric and Congenital Cardiac Code will be used in the IMPACT Registry (TM) (IMproving Pediatric and Adult Congenital Treatment) of the National Cardiovascular Data Registry (R) of The American College of Cardiology. Part 2 will cover the nomenclature of complications associated with interventional cardiology as treatment for paediatric and congenital cardiac disease.

Report from The International Society for Nomenclature of Paediatric and Congenital Heart Disease: cardiovascular catheterisation for congenital and paediatric cardiac disease (Part 2-Nomenclature of complications associated with interventional cardiology)

Interventional cardiology for paediatric and congenital cardiac disease is a relatively young and rapidly evolving field. As the profession begins to establish multi-institutional databases, a universal system of nomenclature is necessary for the field of interventional cardiology for paediatric and congenital cardiac disease. The purpose of this paper is to present the results of the efforts of The International Society for Nomenclature of Paediatric and Congenital Heart Disease to establish a system of nomenclature for cardiovascular catheterisation for congenital and paediatric cardiac disease, focusing both on procedural nomenclature and the nomenclature of complications associated with interventional cardiology. This system of nomenclature for cardiovascular catheterisation for congenital and paediatric cardiac disease is a component of The International Paediatric and Congenital Cardiac Code. This manuscript is the second part of the two-part series. Part 1 covered the procedural nomenclature associated with interventional cardiology as treatment for paediatric and congenital cardiac disease. Part 2 will cover the nomenclature of complications associated with interventional cardiology as treatment for paediatric and congenital cardiac disease.

Evaluation of three different adhesive systems using a bacterial method to develop secondary caries in vitro

Purpose: To assess the effects of three different dental adhesive systems on the formation of secondary root caries, in vitro, with a standardized interfacial gap in a filled cavity model. Methods: 40 sound human molars were selected and randomly assigned to four experimental groups: Clearfil SE Bond (CSEB), Xeno III (X-III), Scotchbond Multi-Purpose Plus (SBMP) and negative control (NC) without an adhesive system. After the standardized Class V cavity preparations on the buccal and lingual surfaces, restorations were placed with resin composite (Filtek Z250) using a standardized interfacial gap, using a 3 x 2 mm piece of 50 mu m metal matrix. The teeth were sterilized with gamma irradiation and exposed to a cariogenic challenge using a bacterial system with Streptococcus mutans. Depth and extension of wall lesions formed and the depth of outer lesions were measured by software coupled with light microscopy. Results: For wall lesion extension the ANOVA test showed differences between groups except between X-HI and SBMP (P= 0.294). The Tukey`s test of confidence intervals indicated smaller values for the CSEB group than for the others. For wall lesion depth the CSEB group also presented the smallest mean values of wall lesion depth when compared to the others (P< 0.0001) for all comparisons using Tukey`s test. Regarding outer lesion depth, all adhesives showed statistically similar behavior. SEM evaluation of the morphologic appearance of caries lesions confirmed the statistical results showing small caries lesion development for cavities restored with CSEB adhesive system, which may suggest that this adhesive system interdiffusion zone promoted a good interaction with subjacent dentin protecting the dental tissues from recurrent caries. (Am J Dent 2010;23:93-97).

Effects of Nd:YAG Laser Irradiation on the Hybrid Layer of Different Adhesive Systems

Purpose: The aim of this in vitro study was to evaluate the microtensile bond strength (mu TBS) and hybrid layer morphology of different adhesive systems, either followed by treatment with Nd:YAG laser irradiation or not. Previous studies have shown the effects of Nd:YAG laser irradiation on the dentin surface at restoration margins, but there are few reports about the significance of the irradiation on the hybrid layer. Materials and Methods: The flattened coronal and root dentin samples of 24 bovine teeth were randomly divided into 8 groups, according to the adhesive system used - Scotchbond Multi Purpose (SBMP) or Clearfil SE Bond (CSEB) - and were either irradiated with Nd:YAG or not, with different parameters: 0.8 W/10 Hz, 0.8 W/20 Hz, 1.2 W/10 Hz, 1.2 W/20 Hz. The left sides of specimens were the control groups, and right sides were irradiated. A composite crown was built over bonded surfaces and stored in water (24 h at 37 degrees C). Specimens were sectioned vertically into slabs that were subjected to mu TBS testing and observed by SEM. Results: Control groups (27.81 +/- 1.38) showed statistically higher values than lased groups (21.37 +/- 0.99), and CSEB control group values (31.26 +/- 15.71) were statistically higher than those of SBMP (24.3 +/- 10.66). There were no significant differences between CSEB (20.34 +/- 10.01) and SBMP (22.43 +/- 9.82) lased groups. Among parameters tested, 0.8 W/10 Hz showed the highest value (25.54 +/- 11.74). Nd:YAG laser irradiation caused dentin to melt under the adhesive layer of both adhesive systems tested. Conclusion: With the parameters used in this study, Nd:YAG laser irradiation of the hybrid layer promoted morphological changes in dentin and negatively influenced the bond strength of both adhesive systems.

Microshear Bond Strength of Self-etching Systems Associated with a Hydrophobic Resin Layer

Purpose: To evaluate in vitro the microshear bond strength of adhesive systems applied to dentin according to manufacturers` instructions, associated or not with a hydrophobic layer of unfilled resin. Materials and Methods: Six self-etching adhesives (Clearfil SE Bond, Kuraray Medical; AdheSE, lvoclar Vivadent; Xeno III, Dentsply; I Bond, Heraeus-Kulzer; Bond Force, Tokuyama; Futurabond DC, Voco) were tested. The labial dentin of sixty bovine incisors was exposed, and the teeth were divided into two groups according to the application or not of an extra hydrophobic resin layer (Scotchbond Multi Purpose Plus, bottle 3). Six composite cylinders (Filtek Z250, 3M ESPE) were built up on each treated surface. Specimens were stored in distilled water at 37 C for 24 h and then subjected to the microshear bond strength test in a universal testing machine at a crosshead speed of 0.5 mm/min. Microshear bond strength values were analyzed by 2-way ANOVA and Tukey`s post-hoc test. Failure mode was determined using a stereomicroscope under 20X magnification. Results: The application of the hydrophobic resin layer did not affect bond strength, except for AdheSE. However, the bond strengths with the hydrophobic layer were similar among the six tested systems (Clearfil: 17.1 +/- 7.9; AdheSE: 14.5 +/- 7.1; Xeno III: 12.8 +/- 7.7; I Bond: 9.5 +/- 5.8; Bond Force: 17.5 +/- 4.1; Futurabond: 7.7 +/- 2.3). When used as recommended by the manufacturers, Bond Force presented statistically higher bond strength than AdheSE and I Bond (p < 0.05) (Clearfil 10.4 +/- 4.9; AdheSE 1.6 +/- 1.6; Xeno III: 9.0 +/- 3.8; I Bond: 3.0 +/- 1.5; Bond Force: 14 +/- 3.9; Futurabond: 8.8 +/- 3.8). Failure mode was predominantly adhesive. Conclusion: The bond strength of the self-etching systems tested was not significantly affected by the application of a hydrophobic layer, but a significant improvement was observed in AdheSE.

Durability of enamel bonding using two-step self-etch systems on ground and unground enamel

This study examined the early and long-term microtensile bond strengths (mu TBS) and interfacial enamel gap formation (IGW) of two-step selfetch systems to unground and ground enamel. Resin composite (Filtek Z250) buildups were bonded to proximal enamel surfaces (unground, bur-cut or SiC-treated enamel) of third molars after the application of four self-etch adhesives: a mild (Clearfil SE Bond [SE]), two moderate (Optibond Solo Plus Self-Etch Primer [SO] and AdheSE [AD]) and a strong adhesive (Tyrian Self Priming Etchant + One Step Plus [TY]) and two etch-and-rinse adhesive systems (Single Bond [SB] and Scotchbond Multi-Purpose Plus [SBMP]). Ten tooth halves were assigned for each adhesive. After storage in water (24 hours/37 degrees C), the bonded specimens were sectioned into beams (0.9 mm(2)) and subjected to mu TBS (0.5 mm/minute) or interfacial gap width measurement (stereomicroscope at 400x) either immediately (IM) or after 12 months (12M) of water storage. The data were analyzed by three-way repeated measures ANOVA and Tukey`s test (alpha=0.05). No gap formation was observed in any experimental condition. The mu TBS in the Si-C paper and diamond bur groups were similar and greater than the unground group only for the moderate self-etch systems (SO and AD). No reductions in bond strength values were observed after 12 months of water storage, regardless of the adhesive evaluated.

Design, modelling and analysis of a six component force balance for hypervelocity wind tunnel testing

A combination of modelling and analysis techniques was used to design a six component force balance. The balance was designed specifically for the measurement of impulsive aerodynamic forces and moments characteristic of hypervelocity shock tunnel testing using the stress wave force measurement technique. Aerodynamic modelling was used to estimate the magnitude and distribution of forces and finite element modelling to determine the mechanical response of proposed balance designs. Simulation of balance performance was based on aerodynamic loads and mechanical responses using convolution techniques. Deconvolution was then used to assess balance performance and to guide further design modifications leading to the final balance design. (C) 2001 Elsevier Science Ltd. All rights reserved.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Changing pay systems, occupational concentration and the gender pay gap: Evidence from Australia and the UK

While aggregate level pay equity comparisons between Australia and the UK confirm expectations based on their different wage distributions and regulatory systems, observation of trends and occupational level analysis reveal additional complexity. Our analysis suggests the need for a multi-faceted approach to closing the average gender pay gap.

Carapace dentition patterns, morphometrics and allozyme differentiation amongst two toothed freshwater crab species (Potamonautes warreni and P-unispinus) (Decapoda : Brachyura : Potamonautidae) from river systems in South Africa

The taxonomic relationship between two toothed South African river crabs, Potamonautes warreni and P. unispinus, is unclear. The problem stems from the widespread variation in carapace dentition patterns amongst P. warreni individuals over its biogeographic range, where single toothed individuals may appear similar in carapace morphology to P. unispinus. Ten populations of P. warreni and 18 populations of P. unispinus were collected and the morphometric and genetic differentiation between the two taxa quantified. Patterns of morphometric and genetic variation were examined using multivariate statistics and protein gel electrophoresis, respectively. Principal component analyses of carapace characters showed that the two species are morphologically indistinguishable. However, discriminate functions analyses and additional statistical results corroborate the morphological distinction between the two taxa. Allozyme electrophoresis of 17 protein coding loci, indicated a close genetic similarity between the two species (I = 0.92). A fixed allelic difference at one locus (LT-2) and extensive genetic variability at another locus (PGM-1) indicate that two gene pools are present and that the two taxa are genetically isolated. Intraspecific genetic I values for both species were > 0.97 and indicated no apparent genetic structuring on a micro or macro-geographic scale. The variation in carapace dentition among P. warreni populations possesses no genetic basis and may possibly toe the product of ecogenesis. The value of dentition patterns in the systematics of river crabs is discussed. Dentition patterns among river crab species appear to be conserved and reliable as species specific diagnostic markers, but should ideally be used in combination with other morphological data sets and genetic evidence.

A multi-purpose rainfall simulator for field infiltration and erosion studies

This paper describes a rainfall simulator developed for field and laboratory studies that gives great flexibility in plot size covered, that is highly portable and able to be used on steep slopes, and that is economical in its water use. The simulator uses Veejet 80100 nozzles mounted on a manifold, with the nozzles controlled to sweep to and from across a plot width of 1.5 m. Effective rainfall intensity is controlled by the frequency with which the nozzles sweep. Spatial uniformity of rainfall on the plots is high, with coefficients of variation (CV) on the body of the plot being 8-10%. Use of the simulator for erosion and infiltration measurements is discussed.

High resolution 3-D imaging via multi-pass SAR

Spaceborne/airborne synthetic aperture radar (SAR) systems provide high resolution two-dimensional terrain imagery. The paper proposes a technique for combining multiple SAR images, acquired on flight paths slightly separated in the elevation direction, to generate high resolution three-dimensional imagery. The technique could be viewed as an extension to interferometric SAR (InSAR) in that it generates topographic imagery with an additional dimension of resolution. The 3-D multi-pass SAR imaging system is typically characterised by a relatively short ambiguity length in the elevation direction. To minimise the associated ambiguities we exploit the relative phase information within the set of images to track the terrain landscape. The SAR images are then coherently combined, via a nonuniform DFT, over a narrow (in elevation) volume centred on the 'dominant' terrain ground plane. The paper includes a detailed description of the technique, background theory, including achievable resolution, and the results of an experimental study.

Empirical evidence for ultrametric structure in multi-layer perceptron error surfaces

Combinatorial optimization problems share an interesting property with spin glass systems in that their state spaces can exhibit ultrametric structure. We use sampling methods to analyse the error surfaces of feedforward multi-layer perceptron neural networks learning encoder problems. The third order statistics of these points of attraction are examined and found to be arranged in a highly ultrametric way. This is a unique result for a finite, continuous parameter space. The implications of this result are discussed.

Applications of accurate, high-precision Pb isotope ratio measurement by multi-collector ICP-MS

The isotope composition of Ph is difficult to determine accurately due to the lack of a stable normalisation ratio. Double and triple-spike addition techniques provide one solution and presently yield the most accurate measurements. A number of recent studies have claimed that improved accuracy and precision could also be achieved by multi-collector ICP-MS (MC-ICP-MS) Pb-isotope analysis using the addition of Tl of known isotope composition to Pb samples. In this paper, we verify whether the known isotope composition of Tl can be used for correction of mass discrimination of Pb with an extensive dataset for the NIST standard SRM 981, comparison of MC-ICP-MS with TIMS data, and comparison with three isochrons from different geological environments. When all our NIST SRM 981 data are normalised with one constant Tl-205/Tl-203 of 2.38869, the following averages and reproducibilities were obtained: Pb-207/Pb-206=0.91461+/-18; Pb-208/Ph-206 = 2.1674+/-7; and (PbPh)-Pb-206-Ph-204 = 16.941+/-6. These two sigma standard deviations of the mean correspond to 149, 330, and 374 ppm, respectively. Accuracies relative to triple-spike values are 149, 157, and 52 ppm, respectively, and thus well within uncertainties. The largest component of the uncertainties stems from the Ph data alone and is not caused by differential mass discrimination behaviour of Ph and Tl. In routine operation, variation of sample introduction memory and production of isobaric molecular interferences in the spectrometer's collision cell currently appear to be the ultimate limitation to better reproducibility. Comparative study of five different datasets from actual samples (bullets, international rock standards, carbonates, metamorphic minerals, and sulphide minerals) demonstrates that in most cases geological scatter of the sample exceeds the achieved analytical reproducibility. We observe good agreement between TIMS and MC-ICP-MS data for international rock standards but find that such comparison does not constitute the ultimate. test for the validity of the MC-ICP-MS technique. Two attempted isochrons resulted in geological scatter (in one case small) in excess of analytical reproducibility. However, in one case (leached Great Dyke sulphides) we obtained a true isochron (MSWD = 0.63) age of 2578.3 +/- 0.9 Ma, which is identical to and more precise than a recently published U-Pb zircon age (2579 3 Ma) for a Great Dyke websterite [Earth Planet. Sci. Lett. 180 (2000) 1-12]. Reproducibility of this age by means of an isochron we regard as a robust test of accuracy over a wide dynamic range. We show that reliable and accurate Pb-isotope data can be obtained by careful operation of second-generation MC-ICP magnetic sector mass spectrometers. (C) 2002 Elsevier Science B.V. All rights reserved.