Fatigue of Al-Li alloys: mechanical properties,microstructure (TEM and SEM) and strain localization

The fatigue behaviour of two binary AI-Li alloys (A, solid solution; B, containing precipitates) is studied by macroscopic fatigue tests, and microscopic (SEM and STEM) observations. Two types of strain localization are found, appearing as two types of slip band in SEM, and as two types of substructure in TEM. These characteristics are ascribed to strain localization processes governed by strain amplitude for the former and strain rate for the latter.     

Analyzing the convergent and discriminant validity of states and traits: Development and applications of multimethod latent state-trait models.

The analysis of convergent and discriminant validity is an integral part of the construct validation process. Models for analyzing the convergent and discriminant validity have typically been developed for cross-sectional data. There exist, however, only a few approaches for longitudinal data that can be applied for analyzing the construct validity of fluctuating states. In this article, the authors show how models of latent state-trait theory can be combined with models of multitrait-multimethod analysis to develop a model that allows for analyzing convergent and discriminant validity in time: the multimethod latent state-trait model. The model allows for identifying different sources of variance (trait consistency, trait-method specificity, occasion-specific consistency, occasion-specific method specificity, and unreliability). It is applied to the repeated measurement of depression and anxiety in children, which was assessed by self and teacher reports (N = 375). The application shows that the proposed models fit the data well and allow a deeper understanding of method effects in clinical assessment. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Localized auxin peaks in concentration-based transport models of the shoot apical meristem

We study the formation of auxin peaks in a generic class of concentration-based auxin transport models, posed on static plant tissues. Using standard asymptotic analysis, we prove that, on bounded domains, auxin peaks are not formed via a Turing instability in the active transport parameter, but via simple corrections to the homogeneous steady state. When the active transport is small, the geometry of the tissue encodes the peaks’ amplitude and location: peaks arise where cells have fewer neighbours, that is, at the boundary of the domain. We test our theory and perform numerical bifurcation analysis on two models that are known to generate auxin patterns for biologically plausible parameter values. In the same parameter regimes, we find that realistic tissues are capable of generating a multitude of stationary patterns, with a variable number of auxin peaks, that can be selected by different initial conditions or by quasi-static changes in the active transport parameter. The competition between active transport and production rate determines whether peaks remain localized or cover the entire domain. In particular, changes in the auxin production that are fast with respect to the cellular life cycle affect the auxin peak distribution, switching from localized spots to fully patterned states. We relate the occurrence of localized patterns to a snaking bifurcation structure, which is known to arise in a wide variety of nonlinear media, but has not yet been reported in plant models.     

Stress corrosion cracking mechanisms in ductile FCC materials

Recent results on the SCC behaviour of ductile fcc materials are reviewed. Critical experiments are presented to test the corrosion enhanced plasticity model proposed some years ago by one of the present authors to describe the SCC of austenitic stainless steels in Cl^- solutions. Slow strain rate tests on 110 and 100 316L alloy single crystals clearly confirm that the macroscopically brittle fracture is in fact achieved by microcracking on {111} microfacets in zig-zag. Moreover the corrosion deformation interactions on which the model is based are quantitatively analysed through softening effects observed in cyclic plastic deformation in the corrosive solution. The conditions for hydrogen entry in the material are described, which leads to the notion of critical surface defects for hydrogen effects. New developments of the model are then discussed and a numerical simulation of the corrosion deformation interactions is presented.Presented at Fourth Greek National Congress on Mechanics, 26–29 June 1995, held at Xanthi, Greece.     

Antennal structure of male and female Aphidius rhopalosiphi DeStefani-Peres (Hymenoptera:Braconidae): description and morphological alterations after cold storage or heat exposure

Several species of the genus Aphidius are used in biological control programs against aphid pests throughout the world and their behavior and physiology are well studied. But despite knowing the importance of sensory organs in their behavior, their antennal structure has never been described. We describe here the types and distribution of antennal sensilla in Aphidius rhopalosiphi, a larval parasitoid of several aphid species and observe how this antennal structure is modified after cold storage or heat exposure. Six types of sensilla were found on both male and female antennae. Male and female antennae differed in the total number of antennomeres (16 in males, 14 in females) and in the number and distribution of three of the six types of sensilla. After cold storage or heat exposure, we observed the appearance of a small number of abnormal sensilla.     

Proof-Guided Test Selection from First-Order Specifications with Equality

This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ideal exhaustive test set to start the selection from. We then propose an extension of the test selection method called axiom unfolding, originally defined for algebraic specifications, to quantifier-free first-order specifications with equality. This method basically consists of a case analysis of the property under test (the test purpose) according to the specification axioms. It is based on a proof search for the different instances of the test purpose. Since the calculus is sound and complete, this allows us to provide a full coverage of this property. The generalisation we propose allows to deal with any kind of predicate (not only equality) and with any form of axiom and test purpose (not only equations or Horn clauses). Moreover, it improves our previous works with efficiently dealing with the equality predicate, thanks to the paramodulation rule.     

Model-based testing for concurrent systems: unfolding-based test selection

Model-based testing has mainly focused on models where concurrency is interpreted as interleaving (like the ioco theory for labeled transition systems), which may be too coarse when one wants concurrency to be preserved in the implementation. In order to test such concurrent systems, we choose to use Petri nets as specifications and define a concurrent conformance relation named co-ioco. We present a test generation algorithm based on Petri net unfolding able to build a complete test suite w.r.t our co-ioco conformance relation. In addition, we propose several coverage criteria that allow to select finite prefixes of an unfolding in order to build manageable test suites.     

Reconstruction of 3-D geometry using 2-D profiles and a geometric prior model

A method has been developed to reconstruct three-dimensional (3-D) surfaces from two-dimensional (2-D) projection data. It is used to produce individualized boundary element models, consisting of thorax and lung surfaces, for electro- and magnetocardiographic inverse problems. Two orthogonal projections are utilized. A geometrical prior model, built using segmented magnetic resonance images, is deformed according to profiles segmented from projection images. In the authors' method, virtual X-ray images of the prior model are first constructed by simulating real X-ray imaging. The 2-D profiles of the model are segmented from the projections and elastically matched with the profiles segmented from patient data. The displacement vectors produced by the elastic 2-D matching are back projected onto the 3-D surface of the prior model. Finally, the model is deformed, using the back-projected vectors. Two different deformation methods are proposed. The accuracy of the method is validated by a simulation. The average reconstruction error of a thorax and lungs was 1.22 voxels, corresponding to about 5 mm     

About morphology in ethylene-propylene(-diene) copolymers-based latexes

Coatings and engineering plastics often require high impact strength. This property can be achieved with tougheners. For the present paper, core-shell impact modifiers were synthesized using ethylene-propylene copolymers (EPM), ethylene-propylene-diene copolymers (EPDM) or a mixture of both types (EP(D)M) as core material, as well as poly(methyl methacrylate) (PMMA) as shell material.EP(D)M-based polymers were dispersed in water using an Ultra-Turrax^® and a high pressure homogenizer. The prepared artificial latexes were used, either without further treatment or after crosslinking, as seed latexes in the emulsion polymerization of methyl methacrylate (MMA). The free radical seeded emulsion polymerization of MMA was investigated in the presence of an oil-soluble initiator, i.e. cumene hydroperoxide (CHP), combined with a redox system, i.e. sodium formaldehyde sulfoxylate hydrate (SFS), disodium salt of ethylenediamine tetra-acetic acid (EDTA), iron (II) sulfate heptahydrate (FeSO₄). This initiation system promotes polymerization of MMA near the surface of the seed particles, partially suppressing homogeneous secondary nucleation and polymerization in the aqueous phase.Kinetic and thermodynamic considerations were used to predict the particle morphology. The monomer type, the monomer-to-rubber ratio, the monomer feed type, and crosslinking of the seed latex particles were investigated, to optimize the polymerization kinetics and the properties of the resulting dispersions. The particle morphology was determined by cryo-transmission electron microscopy (cryo-TEM). Monomer-flooded conditions led to the formation of inverted core-shell particles, whereas starved-feed MMA or MMA/styrene mixtures gave rise to partially engulfed structures, i.e. snowman-like. Crosslinking of the EP(D)M seed particles was found to be required to provide the desired core-shell structures.Finally, the obtained core-shell structured particles were used to toughen a PMMA matrix. The tensile properties of the modified PMMA matrix were investigated. The micro-morphology of modified PMMA was studied by scanning electron microscopy (SEM). Tensile tests as well as TEM and SEM analyses demonstrated that the main mechanism of deformation operating in the EP(D)M-toughened PMMA matrix is shear yielding, accompanied by debonding and cavitation processes.