École normale supérieure de Cachan

About: École normale supérieure de Cachan is a education organization based out in Cachan, Île-de-France, France. It is known for research contribution in the topics: Decidability & Nonlinear system. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.

Dynamic fragmentation of brittle solids: a multi-scale model

Abstract: Modeling dynamic fragmentation of brittle materials usually implies to choose between a discrete description of the number of fragments and a continuum approach with damage variables. A damage model that can be used in the whole range of loadings (from quasi-static to dynamic ones) is developed. The deterministic or probabilistic nature of fragmentation is discussed. Qualitative and quantitative validations are given by using a real-time visualization configuration for analyzing the degradation kinetics during impact and a moire technique to measure the strains in a ceramic tile during impact. Finally, a closed-form solution of the change of the number of broken defects with the applied stress gives a way of optimizing the microstructure of ceramics for armor applications.

Circular dielectric cavity and its deformations

Abstract: The construction of perturbation series for slightly deformed dielectric circular cavity is discussed in detail. The obtained formulas are checked on the example of cut disks. A good agreement is found with direct numerical simulations and far-field experiments.

Proving more observational equivalences with proverif

Abstract: This paper presents an extension of the automatic protocol verifier ProVerif in order to prove more observational equivalences. ProVerif can prove observational equivalence between processes that have the same structure but differ by the messages they contain. In order to extend the class of equivalences that ProVerif handles, we extend the language of terms by defining more functions (destructors) by rewrite rules. In particular, we allow rewrite rules with inequalities as side-conditions, so that we can express tests "if then else" inside terms. Finally, we provide an automatic procedure that translates a process into an equivalent process that performs as many actions as possible inside terms, to allow ProVerif to prove the desired equivalence. These extensions have been implemented in ProVerif and allow us to automatically prove anonymity in the private authentication protocol by Abadi and Fournet.

Failure of heterogeneous materials: 3D meso-scale FE models with embedded discontinuities

Abstract: We present a meso-scale model for failure of heterogeneous quasi-brittle materials. The model problem of heterogeneous materials that is addressed in detail is based on two-phase 3D representation of reinforced heterogeneous materials, such as concrete, where the inclusions are melt within the matrix. The quasi-brittle failure mechanisms are described by the spatial truss representation, which is defined by the chosen Voronoi mesh. In order to explicitly incorporate heterogeneities with no need to change this mesh, some bar elements are cut by the phase-interface and must be split into two parts. Any such element is enhanced using both weak and strong discontinuities, based upon the Incompatible Mode Method. Furthermore, a dedicated operator split solution procedure is proposed to keep local any additional computation on elements with embedded discontinuities. The results for several numerical simulations are presented to illustrate the capabilities of the proposed model to provide an excellent representation of failure mechanisms for any different macroscopic loading path. Copyright © 2010 John Wiley & Sons, Ltd.