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.

Functional and bioinformatics analyses reveal conservation of Cis-regulatory elements between sciaridae and Drosophilidae

The sciarid DNA puff C4 BhC4-1 gene is amplified and transcribed in salivary glands at the end of the larval stage. In transgenic Drosophila, the BhC4-1 promoter drives transcription in prepupal salivary glands and in the ring gland of late embryos. A bioinformatics analysis has identified 162 sequences similar to distinct regions of the BhC4-1 proximal promoter, which are predominantly located either in 5` or 3` regions or introns in the Drosophila melanogaster genome. A significant number of the identified sequences are found in the regulatory regions of Drosophila genes that are expressed in the salivary gland. Functional assays in Drosophila reveal that the BhC4-1 proximal promoter contains both a 129 bp (-186/-58) salivary gland enhancer and a 67 bp (-253/-187) ring gland enhancer that drive tissue specific patterns of developmentally regulated gene expression, irrespective of their orientation.

Globalisation and the technology gap: Regional and time evidence

This chapter examines the relationship between globalisation and technological progress. It computes an annual and country specific measure of technological gap, the technology ratio (TGR), using a recently proposed method known as metafrontiers. The TGR is measured as the distance from a group frontier to the global (or meta) frontier. The TGRs provide a measure to compare technological capability across countries. The ranking obtained from the metafrontiers method is first compared to other methods based on the direct measure of patents, science articles, schooling etc. The TGRs are then related to levels of trade openness and inbound and outbound foreign direct investment within regions and overtime in an effort to identify the relationship between technological gap and outward orientation.

Mechanical behavior of prosthesis in Toucan beak (Ramphastos toco)

The purpose of this study is to characterize the structure of the beak of Toco Toucan (Ramphastos toco) and to investigate means for arresting fractures in the rhinotheca using acrylic resin. The structure of the rhamphastid bill has been described as a sandwich structured composite having a thin exterior comprised of keratin and a thick foam core constructed of mineralized collagenous rods (trabeculae). The keratinous rhamphotheca consists of superposed polygonal scales (approximately 50 pm in diameter and 1 mu m in thickness). In order to simulate the orientation of loading to which the beak is subjected during exertion of bite force, for example, we conducted flexure tests on the dorso-ventral axis of the maxilla. The initially intact (without induced fracture) beak fractured in the central portion when subjected to a force of 270 N, at a displacement of 23 mm. The location of this fracture served as a reference for the fractures induced in other beaks tested. The second beak was fractured and repaired by applying resin on both lateral surfaces. The repaired maxilla sustained a force of 70 N with 6.5 mm deflection. The third maxilla was repaired similarly except that it was conditioned in acid for 60s prior to fixation with resin. It resisted a force of up to 63 N at 6 mm of deflection. The experimental results were compared with finite element calculations for unfractured beak in bending configuration. The repaired specimens were found to have strength equal to only one third of the intact beak. Finite element simulations allow visualization of how the beak system (sandwich shell and cellular core) sustains high flexural strength. (C) 2010 Elsevier B.V. All rights reserved.

The suitability of different FEA models for studying root fractures caused by wedge effect

Finite element analysis (FEA) utilizing models with different levels of complexity are found in the literature to study the tendency to vertical root fracture caused by post intrusion (""wedge effect""). The objective of this investigation was to verify if some simplifications used in bi-dimensional FEA models are acceptable regarding the analysis of stresses caused by wedge effect. Three plane strain (PS) and two axisymmtric (Axi) models were studied. One PS model represented the apical third of the root entirely, in dentin (PS-nG). The other models included gutta-percha in the apical third, and differed regarding dentin-post relationship: bonded (PS-B and Axi-B) or nonbonded (PS-nB and Axi-nB). Mesh discretization and material properties were similar for all cases. Maximum principal stress (sigma(max)) was analyzed as a response to a 165 N longitudinal load. Stress magnitude and orientation varied widely (PS-nG: 10.3 MPa; PS-B: 0.8 MPa; PS-nB: 10.4 MPa; Axi-13: 0.2 MPa, Axi-nB: 10.8 MPa). Axi-nB was the only model where all (sigma(max) vectors at the apical third were perpendicular to the model plane. Therefore, it is adequate to demonstrate the tendency to vertical root fractures caused by wedge effect. Axi-13 showed only part of the (sigma(max) perpendicular to the model plane while PS models showed sigma(max) on the model plane. In these models, sigma(max) orientation did not represent a situation where vertical root fracture would occur due to wedge effect. Adhesion between post and dentin significantly reduced (c) 2007 Wiley Periodicals, Inc.

Influence of differently oriented dentin surfaces and the regional variation of specimens on adhesive layer thickness and bond strength

Statement of the Problem: Adhesive systems can spread differently onto a substrate and, consequently, influence bonding. Purpose: The purpose of this study was to evaluate the effect of differently oriented dentin surfaces and the regional variation of specimens on adhesive layer thickness and microtensile bond strength (MTBS). Materials and Methods: Twenty-four molars were sectioned mesiodistally to expose flat buccal and lingual halves. Standardized drop volumes of adhesive systems (Single Bond [SB] and Prime & Bond 2.1 [PB2.1]) were applied to dentin according to the manufacturer`s instructions. Teeth halves were randomly divided into groups: 1A-SB/parallel to gravity; 1B-SB/perpendicular to gravity; 2A-PB2.1/parallel to gravity; and 2B-PB2.1/perpendicular to gravity. The bonded assemblies were stored in 37 degrees C distilled water for 24 hours and then sectioned to obtain dentin sticks (0.8 mm(2)). The adhesive layer thickness was determined in a light microscope (x200), and after 48 hours the specimens were subjected to MTBS test. Data were analyzed by one-way and two-way analysis of variance and Student-Newman-Keuls tests. Results: Mean values (MPa +/- SD) of MTBS were: 39.1 +/- 12.9 (1A); 32.9 +/- 12.4 (1B); 52.9 +/- 15.2 (2A); and 52.3 +/- 16.5 (2B). The adhesive systems` thicknesses (mu m +/- SD) were: 11.2 +/- 2.9 (1A); 18.1 +/- 7.3 (1B); 4.2 +/- 1.8 (2A); and 3.9 +/- 1.3 (2B). No correlation between bond strength and adhesive layer thickness for both SB and PB2.1 (r = -0.224, p = 0.112 and r = 0.099, p = 0.491, respectively) was observed. Conclusions: The differently oriented dentin surfaces and the regional variation of specimens on the adhesive layer thickness are material-dependent. These variables do not influence the adhesive systems` bond strength to dentin. CLINICAL SIGNIFICANCE Adhesive systems have different viscosities and spread differently onto a substrate, influencing the bond strength and also the adhesive layer thickness. Adhesive thickness does not influence dentin bond strength, but it may impair adequate solvent evaporation, polymer conversion, and may also determine water sorption and adhesive degradation over time. In the literature, many studies have shown that the adhesive layer is a permeable membrane and can fail over timebecause ofits continuous plasticizing and degradation when in contact with water. Therefore, avoiding thick adhesive layers may minimize these problems and provide long-term success for adhesive restorations.

Microtensile vs Microshear Bond Strength of All-in-One Adhesives to Unground Enamel

Purpose To determine the bond strength to unground enamel of all in one adhesives in comparison with an etch and rinse system and to compare the reliability of microtensile and microshear methods in providing such measurements Materials and Methods The bonding procedure was performed on enamel of 64 extracted molars The tested all in one adhesives were Bond Force (Tokuyama), AdheSE One (Ivoclar Vivadent) and Xeno V (Dentsply) Prime&Bond NT (Dentsply) served as control Microtensile specimens were obtained from 4 teeth per group Twelve teeth per group were used for microshear testing Microtensile specimens that failed prior to testing were included in statistical calculations, they were assigned the lowest value measured in the respective group Failure modes were observed under light microscope and classified (cohesive within substrates, adhesive mixed) Statistically significant differences in bond strength were assessed among the adhesives within each testing method and between microshear and microtensile data for each adhesive Failure mode distributions were compared using the chi square test Results All in-one adhesives had similar microshear and microtensile bond strengths In both testing methods, the etch and rinse system achieved the strongest bond For all adhesives significantly higher bond strengths were measured with the microshear test In microtensile testing specimens bonded with the etch and rinse adhesive exhibited a significantly different distribution of failure modes The coefficients of variation were extremely high for microtensile bond strength data, particularly of all in one adhesives Conclusion The adhesive potential to intact enamel of recently introduced all in-one adhesives was inferior to that of an etch and rinse system When testing bond strength to enamel of all in one adhesives, microshear testing may be a more accurate method than microtensile

A sensitive vorticity gauge using rotated porphyroblasts, and its application to rocks adjacent to the Alpine Fault, New Zealand

Variable aspect ratio porphyroblasts deformed in non-coaxial flow. and internally containing rotated relicts of an external foliation, can be used to characterise plane strain flow regimes. The distribution obtained by plotting the orientation of the long axis of such grains, classified by aspect ratio, against the orientation of the internal foliation is potentially a sensitive gauge of both the bulk shear strain (as previously suggested) and kinematic vorticity number. We illustrate the method using rotated biotite porphyroblasts in the Alpine Schist: a sequence of mid-crustal rocks that have been ramped to the surface along the Alpine Fault. a major transpressional plate boundary. Results indicate that, at distances greater than or equal to similar to1 km from the fault, the rocks have undergone a combination of irrotational fattening and dextral-oblique, normal-sense shear, with a bulk shear strain of similar to0.6 and kinematic vorticity number of similar to0.2. The vorticity analysis is compatible with estimates of strongly oblate bulk strain of similar to 75% maximum shortening. Dextral-reverse transpressional flow characterises higher strain S-tectonite mylonite within similar to1 km of the Alpine Fault. These relationships provide insight into the kinematics of flow and distribution of strain in the hangingwall of the Alpine Fault and place constraints on numerical mechanical models for the exhumation of these mid-crustal rocks. (C) 2001 Elsevier Science Ltd. All rights reserved.

Relations between coal petrology and gas content in the Upper Newlands Seam, central Queensland, Australia

The Upper Newlands Seam in the northern Bowen Basin, Queensland, Australia consists of six benches (A-F) that have different petrographic assemblages. Benches C and E contain relatively abundant inertodetrinite and mineral matter, as well as anomalously high reflectance values; these characteristics support a largely allochthonous, detrital origin for the C and E benches. Fractures and cleats in the seam show a consistent orientation of northeast- southwest for face cleats, and a wide range of orientations for fractures. Cleat systems are well developed in bright bands, with poor continuity in the dull coal. Both maceral content and cleat character are suggested to influence gas drainage in the Upper Newlands Seam. A pronounced positive correlation between vitrinite abundance and gas desorption data suggests more efficient drainage from benches with abundant vitrinite. Conversely, inertinite-rich benches are suggested to have less efficient drainage, and possibly retain gas within pore spaces, which could increase the outburst potential of the coal. (C) 2001 Elsevier Science BN. All rights reserved.

Bi-directional reflectance of corals

An assessment of the bi-directional reflectance distribution function (BRDF) of corals with different morphologies was undertaken using hyperspectral reflectance measurements. The highest variance in reflectance obtained at different viewing angles was found for the open branching Acropora colony, possibly attributed to branch orientation and internal shadow distribution. Spectral separation within and between features at the nominated sensor-viewing angles was greatest in the near infrared portion of the spectrum. The analysis of coral reef bi-directional reflectance properties and degree of internal shadowing holds potential for future assessment and information extraction relating to coral structural characteristics.

Compartmentalization of Ras proteins

The Ras GTPases operate as molecular switches that link extracellular stimuli with a diverse range of biological outcomes. Although many studies have concentrated on the protein-protein interactions within the complex signaling cascades regulated by Ras, it is becoming clear that the spatial orientation of different Ras isoforms within the plasma membrane is also critical for their function. H-Ras, N-Ras and K-Ras use different membrane anchors to attach to the plasma membrane. Recently it has been shown that these anchors also act as trafficking signals that direct palmitoylated H-Ras and N-Ras through the exocytic pathway to the cell surface but divert polybasic K-Ras around the Golgi to the plasma membrane via an as yet-unidentified-route. Once at the plasma membrane, H-Ras and :K-Ras operate in different microdomains. K-Ras is localized predominantly to the disordered plasma membrane, whereas H-Ras exists in a GTP-regulated equilibrium between disordered plasma membrane and cholesterol-rich lipid rafts. These observations provide a likely explanation for the increasing number of biological differences being identified between the otherwise highly homologous Ras isoforms and raise interesting questions about the role membrane microlocalization plays in determining the interactions of Ras with its effecters and exchange factors.

Comparison between Eysenck's and Gray's models of personality in the prediction of motivational work criteria

Impulsivity based on Gray's [Gray, J. A. (1982) The neuropsychology of anxiety: an enquiry into the function of the septo-hippocampal system. New York: Oxford University Press: (1991). The neurophysiology of temperament. In J. Strelau & A. Angleitner. Explorations in temperament: international perspectives on theory and measurement. London. Plenum Press]. physiological model of personality was hypothesised to be more predictive of goal oriented criteria within the workplace than scales derived From Eysenck's [Eysenck. H.J. (1967). The biological basis of personality. Springfield, IL: Charles C. Thompson.] physiological model of personality. Results confirmed the hypothesis and also showed that Gray's scale of Impulsivity was generally a better predictor than attributional style and interest in money. Results were interpreted as providing support for Gray's Behavioural Activation System which moderates response to reward. (C) 2001 Elsevier Science Ltd. All rights reserved.

NMR structure and backbone dynamics of a concatemer of epidermal growth factor homology modules of the human low-density lipoprotein receptor

The ligand-binding region of the low-density lipoprotein (LDL) receptor is formed by seven N-terminal, imperfect, cysteine-rich (LB) modules. This segment is followed by an epidermal growth factor precursor homology domain with two N-terminal, tandem, EGF-like modules that are thought to participate in LDL binding and recycling of the endocytosed receptor to the cell surface. EGF-A and the concatemer, EGF-AB, of these modules were expressed in Escherichia coli. Correct protein folding of EGF-A and the concatemer EGF-AB was achieved in the presence or absence of calcium ions, in contrast to the LB modules, which require them for correct folding. Homonuclear and heteronuclear H-1-N-15 NMR spectroscopy at 17.6 T was used to determine the three-dimensional structure of the concatemer. Both modules are formed by two pairs of short, anti-parallel beta -strands. In the concatemer, these modules have a fixed relative orientation, stabilized by calcium ion-binding and hydrophobic interactions at the interface. N-15 longitudinal and transverse relaxation rates, and {H-1}-N-15 heteronuclear NOEs were used to derive a model-free description of the backbone dynamics of the molecule. The concatemer appears relatively rigid, particularly near the calcium ion-binding site at the module interface, with an average generalized order parameter of 0.85 +/- 0.11. Some mutations causing familial hypercholesterolemia may now be rationalized. Mutations of D41, D43 and E44 in the EGF-B calcium ion-binding region may affect the stability of the linker and thus the orientation of the tandem modules. The diminutive core also provides little structural stabilization, necessitating the presence of disulfide bonds. The structure and dynamics of EGF-AB contrast with the N-terminal LB modules, which require calcium ions both for folding to form the correct disulfide connectivities and for maintenance of the folded structure, and are connected by highly mobile linking peptides. (C) 2001 Academic Press.

Solid-state NMR structure determination of melittin in a lipid environment

Solid-state C-13 NMR spectroscopy was used to investigate the three-dimensional structure of melittin as lyophilized powder and in ditetradecylphosphatidylcholine (DTPC) membranes. The distance between specifically labeled carbons in analogs [1-C-13]Gly3-[2-C-13]Ala4, [1-C-13]Gly3-[2-C-13]Leu6, [1-C-13]Leu13-[2-C-13]Ala15, [2-C-13]Leu13-[1-C-13]Ala15, and [1-C-13]Leu13-[2-C-13]Leu16 was measured by rotational resonance. As expected, the internuclear distances measured in [1-C-13]Gly3-[2-C-13]Ala4 and [1-C-13]Gly3-[2-C-13]Leu6 were consistent with alpha -helical structure in the N-terminus irrespective of environment. The Internuclear distances measured in [1-C-13]Leu13-[2-C-13]Ala15, [2-C-13]Leu13-[1-C-13]Ala15, and [1-C-13]Leu13-[2-C-13]Leu16 revealed, via molecular modeling, some dependence upon environment for conformation in the region of the bend in helical structure induced by Pro14. A slightly larger interhelical angle between the N- and C-terminal helices was indicated for peptide in dry or hydrated gel state DTPC (139 degrees -145 degrees) than in lyophilized powder (121 degrees -139 degrees) or crystals (129 degrees). The angle, however, is not as great as deduced for melittin in aligned bilayers of DTPC in the liquid-crystalline state (similar to 160 degrees) (R. Smith, F. Separovic, T. J. Milne, A. Whittaker, F. M. Bennett, B. A. Cornell, and A. Makriyannis, 1994, J. Mol, Biol 241:456-466). The study illustrates the utility of rotational resonance in determining local structure within peptide-lipid complexes.

Four new species of Macropodinium (Ciliophora : Litostomatea) from Australian wallabies and pademelons

Samples of Macropodinium spp. were collected from 3 new macropodid species: from 21 of 28 (75%) black-striped wallabies (Macropus dorsalis); 10 of 11 (91%) swamp wallabies (Wallabia bicolor); and 22 of 43 (51%) Tasmanian pademelons (Thylogale billardierii). The examination of ciliate morphology by silver impregnation and scanning electron microscopy led to the redescription of the genus Macropodinium and the description of 4 new species: Ma. tricresta sp. nov. and Ma. spinosus sp. nov. from M. dorsalis; Ma. maira sp. nov. from T. billardierii; and M. bicolor sp. nov. from W. bicolor; each species was strictly host specific. Cellular orientation was reinterpreted on the basis of vestibular morphology and it is concluded that Macropodinium spp. are laterally rather than dorso-ventrally compressed. The striated groove is thus dorso-ventral rather than lateral. Oral ciliation consisted of up to three bands: an adoral band composed of oblique kineties; a vestibular band of longitudinal kineties; and a preoral band of longitudinal kineties. Somatic ciliation occurred in two longitudinal bands: a dense band composed of several parallel kineties on the left side of the dorso-ventral groove; and a sparse band composed of a single kinety on the right internal side of the dorso-ventral groove. Few structures were homologous to those of other litostome ciliates, and thus the relationship of Macropodinium to other litostomes cannot yet be clearly defined.