Polypropylene/polyamide 6/polyethylene-octene elastomer blends. Part 3. Mechanisms of volume dilatation during plastic deformation under uniaxial tension

It has been shown in a previous paper in this series that important dilatation is produced by plastic deformation under tension of neat PP and PP/PA6/POE blends, for which the POE to PA6 concentration ratio equals 1/2. In this work, the detailed mechanisms of this volume change are investigated from electron micrographs (SEM and TEM) obtained in the deformed state. At low alloy content, it is thus observed that dilatation results from decohesion of the PA6 particles from the PP matrix. As the amount of PA6 and POE increases, voids are nucleated preferentially in the thicker POE interphase making a shell around the PA6 particles, and secondarily in isolated POE particles. Unexpectedly, it has been found that the overall volume dilatation decreases with total alloying content. This is interpreted by: (i) the increasing contribution of PA6 that intrinsically deforms with less cavitation than PP, (ii) the post-cavitation rubber-like stretching of POE particles and, (iii) the early formation of a percolating network of shear bands from the diffuse array of voids formed after the yield point. These mechanisms explain the gradual increase of the resistance to impact of the PP/PA6/POE as their alloying content is increased.     

Exploring factors related to users’ experience of public transport route choice: influence of context and users profiles

This exploratory study aims to achieve a better understanding of the users-related factors that affect the choice of routes in public transport (PT). We also look at what can motivate route and modes changes towards alternatives in a real situation. We investigated the experience of 19 users of PTs, using the critical incident technique (Flanagan in Psychol Bull 51(4):327, 1954). We asked participants to report incidents (i.e. situations) in cases they were very satisfied or dissatisfied with their choice. For both situations, the case of their usual route and case of an alternative were considered. A total of 91 incidents were collected and analysed using a multiple correspondences analysis. Additionally, users’ profiles were characterized and superposed to the analysis of incidents content. The main results are as follows. First, the user’s choice of PT route depends on the context (i.e. aim of the travel, time of day). Second, taking an alternative to the usual PT route or using a route combining different transport modes is determined by the context and by factors related to the pleasantness of the travel (e.g. to accompany a friend along the travel). Finally, depending on the user’s profile (i.e. combination of attitude towards PT and demographic variables), the factors taken into account to make the choice of a PT route are related to the efficiency or the pleasantness of the trip. These results show the importance of the contextual factors and the users’ profiles in route choice. They suggest that these factors should be further taken into account in new tools and services for mobility.     

CADNA: a library for estimating round-off error propagation

The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications are required to control a code with CADNA, mainly changes in variable declarations, input and output. This paper describes the features of the CADNA library and shows how to interpret the information it provides concerning round-off error propagation in a code.

Program summary

Program title:CADNACatalogue identifier:AEAT_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEAT_v1_0.htmlProgram obtainable from:CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions:Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.:53 420No. of bytes in distributed program, including test data, etc.:566 495Distribution format:tar.gzProgramming language:FortranComputer:PC running LINUX with an i686 or an ia64 processor, UNIX workstations including SUN, IBMOperating system:LINUX, UNIXClassification:4.14, 6.5, 20Nature of problem:A simulation program which uses floating-point arithmetic generates round-off errors, due to the rounding performed at each assignment and at each arithmetic operation. Round-off error propagation may invalidate the result of a program. The CADNA library enables one to estimate round-off error propagation in any simulation program and to detect all numerical instabilities that may occur at run time.Solution method:The CADNA library [1] implements Discrete Stochastic Arithmetic [2-4] which is based on a probabilistic model of round-off errors. The program is run several times with a random rounding mode generating different results each time. From this set of results, CADNA estimates the number of exact significant digits in the result that would have been computed with standard floating-point arithmetic.Restrictions:CADNA requires a Fortran 90 (or newer) compiler. In the program to be linked with the CADNA library, round-off errors on complex variables cannot be estimated. Furthermore array functions such as product or sum must not be used. Only the arithmetic operators and the abs, min, max and sqrt functions can be used for arrays.Running time:The version of a code which uses CADNA runs at least three times slower than its floating-point version. This cost depends on the computer architecture and can be higher if the detection of numerical instabilities is enabled. In this case, the cost may be related to the number of instabilities detected.References:

[1]

The CADNA library, URL address: http://www.lip6.fr/cadna.

[2]

J.-M. Chesneaux, L'arithmétique Stochastique et le Logiciel CADNA, Habilitation á diriger des recherches, Université Pierre et Marie Curie, Paris, 1995.

[3]

J. Vignes, A stochastic arithmetic for reliable scientific computation, Math. Comput. Simulation 35 (1993) 233-261.

[4]

J. Vignes, Discrete stochastic arithmetic for validating results of numerical software, Numer. Algorithms 37 (2004) 377-390.

     

Anisotropic Smoothness Classes: From Finite Element Approximation to Image Models

We propose and study quantitative measures of smoothness f ? A(f) which are adapted to anisotropic features such as edges in images or shocks in PDE’s. These quantities govern the rate of approximation by adaptive finite elements, when no constraint is imposed on the aspect ratio of the triangles, the simplest example being \(A_{p}(f)=\|\sqrt{|\mathrm{det}(d^{2}f)|}\|_{L^{\tau}}\) which appears when approximating in the L ^p norm by piecewise linear elements when \(\frac{1}{\tau}=\frac{1}{p}+1\). The quantities A(f) are not semi-norms, and therefore cannot be used to define linear function spaces. We show that these quantities can be well defined by mollification when f has jump discontinuities along piecewise smooth curves. This motivates for using them in image processing as an alternative to the frequently used total variation semi-norm which does not account for the smoothness of the edges.     

Surface plasmon resonance imaging (SPRi) as an alternative technique for rapid and quantitative screening of small molecules, useful in drug discovery

Surface plasmon resonance imaging (SPRi) is a label free technology for biomolecular interaction, which gives access to binding kinetic parameters from real time acquisition. It offers the possibility to test in a single run a large number of interactions, allowing rapid identification of the most suitable compounds toward a given biological entity. Until now, this technique has proven to be relevant for interaction between relatively large molecules (protein, antibodies, DNA) but has not been challenged yet for the screening of small molecules that can be of interested in the field of drug discovery. As a proof a principle, we have used SPRi to screen for interaction of several small molecules, referred to as G4-ligands on G-quadruplex DNA. This technology allowed to easy discrimination of the binding properties of four G4-ligands on quadruplex DNA models.     

Continuous planar phospholipid bilayer supported on porous silicon thin film reflector

Reconstituting artificial membranes for in vitro studies of cell barrier mechanisms and properties is of major interest in biology. Here, artificial membranes supported on porous silicon photonic crystal reflectors are prepared and investigated. The materials are of interest for label-free probing of supported membrane events such as protein binding, molecular recognition, and transport. The porous silicon substrates are prepared as multilayered films consisting of a periodically varying porosity, with pore dimensions of a few nanometers in size. Planar phospholipid bilayers are deposited on the topmost surface of the oxidized hydrophilic mesoporous silicon films. Atomic force microscopy provides evidence of continuous bilayer deposition at the surface, and optical measurements indicate that the lipids do not significantly infiltrate the porous region. The presence of the supported bilayer does not obstruct the optical spectrum from the porous silicon layer, suggesting that the composite structures can act as effective optical biosensors.     

Cytochemical investigation of the digestive gland of two strombidae species (Strombus gigas and Strombus pugilis) in relation to the nutrition

Strombus gigas and Strombus pugilis are threatened species and aquaculture represents a good alternative solution to the fishing. In this study, we highlighted the intracellular digestion process in the digestive gland of two Strombidae species, S. gigas and Strombuspugilis, by the cytochemical characterization of two lysosomal enzymes: acid phosphatase and arylsulfatase. In order to check the efficiency of artificial food digestion, we conducted the characterization on freshly collected, starved and artificially fed individuals of S. pugilis. TEM observations of digestive gland sections from freshly collected individuals of both species revealed the presence of acid phosphatase and arylsulfatase activity mostly located in the apical third of digestive cells. Both enzymes were also detected in artificially fed individuals. In response to the starvation, acid phosphatase is not produced anymore by digestive cells, while arylsulfatase is still present. To our knowledge, this is the first cytochemical validation of intracellular digestion of artificial food in Strombidae. This study highlights the intracellular digestion of artificial food developed for Strombidae aquaculture. Moreover, we have shown that the lysosomal activity could be used as a feed index. Microsc. Res. Tech. 2012. © 2012 Wiley Periodicals, Inc.     

Logic for improving integrity checking in relational data bases⋆

Summary When an updating operation occurs on the current state of a data base, one has to ensure the new state obeys the integrity constraints. So, some of them have to be evaluated on this new state. The evaluation of an integrity constraint can be time consuming, but one can improve such an evaluation by taking advantage from the fact that the integrity constraint is satisfied in the current state. Indeed, it is then possible to derive a simplified form of this integrity constraint which is sufficient to evaluate in the new state in order to determine whether the initial constraint is still satisfied in this new state. The purpose of this paper is to present a simplification method yielding such simplified forms for integrity constraints. These simplified forms depend on the nature of the updating operation which is the cause of the state change. The operations of inserting, deleting, updating a tuple in a relation as well as transactions of such operations are considered. The proposed method is based on syntactical criteria and is validated through first order logic. Examples are treated and some aspects of the method application are discussed.The work reported in this paper was supported by the D.R.E.T.     

Yielding of Microstructured Geomaterial by Distinct Element Method Analysis

The purpose of this paper is to present macro- and micro-study on the yielding of microstructured geomaterials by numerical experiments. This target is achieved by carrying out 63 one-dimensional and biaxial compressions tests on an idealized bonded geomaterial with an extension of distinct element method, into which bond contact models proposed were implemented. Numerical results indicate that: (a) preconsolidated pressure appears to attribute to bond and looseness in the geomaterials, and an increase in void ratio leads to a decrease in yielding stress in one-dimensional tests; (b) an increase in bonding strength at interparticle contacts results in an increase in yielding stress and cohesion, and an internal friction angle that is smaller than the critical state value; (c) the observed first-yielding (initiation of bond breakage) is stress path dependent, and gross-yield (defined with respect to volumetric strain) of microstructured geomaterials is evidently related to bond breakage.     

On Modeling Coordination via Asynchronous Communication and Enhanced Matching

The paper proposes a theoretical study of a coordination language embodying Linda's asynchronous communication primitive with a refined matching mechanism based on pairs composed of attribute names associated with their values. Computations in this language are described by means of an operational semantics, reporting the whole traces of executions. The non-compositionality of this intuitive operational semantics motivates the design of a compositional and fully abstract denotational semantics, which is then exploited for studying program equivalence in this setting.