Experimental and Numerical Analysis of Electrical Contact Crimping to Predict Mechanical Strength

International audienceThis work focuses on the modeling of the aeronautical electrical contact crimping process for aircraft applications. Several thousands of crimped contact can be found in an airplane or a helicopter. The crimping process has thus to be mastered precisely in order to avoid expensive repairing and dangerous configurations. Electrical crimping is a plastic deformation process of a contact (component) on a multi-strand wire. All components are highly deformed in order to impose mechanical contact and electrical continuity. The components are very small for the cases studied in this work (0.12 mm diameter wire or 1 mm diameter cylinders). The work has been divided in 3 main steps. First, material characterization is performed in order to identify behavior laws to feed numerical simulations. The challenge is to be able to deal with very small components. The second point is to build an accurate a numerical model of the crimping process. The numerical model is compared with experimental results. Validation is done comparing with both laboratory devices and real crimped assemblies. Finally mechanical strength is studied. The numerical model is used to verify the impact of components’ dimensions or crimping condition on the mechanical resistance. Numerical models are also compared to experimental data

Spoon: Program Analysis and Transformation in Java

In this research report, we present Spoon, a framework for program transformation and static analysis in Java. More precisely, Spoon is an open and extensible Java compiler, written in pure Java by using Compile-time reflection techniques. We take advantage of the new features added by Java 5, and particularly of annotations and generics. Using annotations within the Spoon framework allows the programmer to extend the Java language without defining new syntactic elements, and in such a way that it is naturally supported by IDEs for Java 5 and greater. Generics, as a priceless complement, allow for the well-typing of Spoon programs that implement the programmers' language extensions. Enforcing typing naturally provides better IDE support (such as static checks, completion, documentation, and navigation), and also allows us to define a pure Java template mechanism, which we use as a tool to define well-typed and straightforward program transformations. In addition to its basic transformation capabilities, Spoon comes with a partial evaluation engine that is used to calculate the control flow of the program and to simplify the results of template-based transformations for correctness, optimization, and readability. In order to demonstrate the usability and usefulness of our framework, we present three applications, which have been chosen to cover most of Spoon's features: a translator from Java 1.4 programs into well-typed Java 5 programs, an efficient template-based AOP extension, and an automatic implementation and validation of the visitor pattern

Macchiato : vers un système de panier unique pour le e-commerce

Journées du GDR GPLNational audienceLe e-commerce est un domaine qui a explosé ces dernières années avec la multiplication des sites de vente en ligne. Cependant, face à cette explosion des sites de e-commerce, l'utilisateur final perd petit à petit ses repères et éprouve les plus grandes difficultés à trouver les meilleures offres pour ses achats. Les sites de comparaison en ligne--tels que Kelkoo1 --ne sont pas toujours fiables car les résultats qu'ils fournissent ne sont pas nécessairement objectifs et ne prennent pas en compte les préférences de l'utilisateur. Dans ce contexte, Macchiato se présente comme une solution de nouvelle génération des sites de e-commerce, basée sur les principes de l'Internet des Objets. En particulier, Macchiato vise à mettre l'utilisateur au cœur du système en lui donnant la capacité de composer des services personnalisés pour mieux répondre à ses besoins. Pour ce faire, dans Macchiato, les services et les produits sont exposés sous la forme de ressources sémantiquement riches et connectées entre elles. Cette richesse sémantique facilite la compréhension des informations échangées entre les services et les utilisateurs tout en renforçant le typage des compositions de services

Simulation numérique du procédé de sertissage de contacts électriques aéronautiques : optimisation des conditions d'assemblage pour la tenue mécanique

This thesis focuses on the modeling of the aeronautical electrical contact crimping process for aircraft applications and the crimped contact mechanical holding. Electrical crimping is a plastic deformation process of a contact (component) on a multi-strand wire. Two types of crimping technologies are studied. The copper technology, widely used in the industry, is characterized by the assembly of a copper contact and a 19 strands copper cable. The aluminum technology, which has been recently developed to reduce the aircraft weight, is characterized by the assembly of a copper contact with a 7 strands cable through two electrical and sealing crimpings. At first, the elastoplastic parameters characterizations of the materials constitutive laws are made. The appropriate testing facilities determination, directly impacted by the small size (millimeter order) of our samples, is followed by a detailed results analysis. The non-standard tests inverse analysis use is preferred. The whole analyzes results are validated, regardless of the process itself. In a second step, the crimping simulation development steps are accurately performed. For this highly multi-model fields type, the study of the interactions influence is conducted. Determining the crimping indentation depth parameters is developed for each technology. The first simulation results are discussed to reduce computation time. Finally, the developed numerical model is used to simulate the contacts crimping and the mechanical holding over various configurations. The geometrical (strands diameter, contact diameter, twisting thread cables), rheological (standard copper having been insufficiently or excessively annealed) or mechanical (under-crimping, over-crimping) parameters study are made to check their influences on the crimping forces and the failure mechanisms while pulling. This study aims to validate the crimping efficiency. The manufacturers could be able to check in real time the crimping validity by comparing the experimental crimping force curves to validity curves integrated in an electronic crimping tool.Ce travail de thèse porte sur la modélisation du procédé de sertissage de contacts électriques sur des câbles à destination d'applications aéronautiques et de la tenue à l'arrachement des contacts sertis. Le sertissage est un assemblage par déformation plastique du contact électrique (composant) sur un câble multibrin. Deux types de technologies de sertissage sont traités. La technologie cuivre, couramment utilisée chez les industriels, met en jeux un contact de cuivre et un câble de cuivre composé de 19 brins. La technologie aluminium, mise au point ces dernières années pour limiter le poids des aéronefs, est caractérisée par l'assemblage d'un câble de 7 brins avec un contact en cuivre au travers d'une liaison électrique et d'une liaison d'étanchéité. Dans un premier temps, la caractérisation des paramètres de loi de comportement élastoplastique des matériaux est faite. La détermination des moyens d'essais appropriés, directement impactée par la faible dimension (ordre millimétrique) de nos échantillons, est suivie d'une analyse détaillée des résultats. Le recours à l'analyse inverse d'essais non normalisés est privilégié. Les résultats des différentes analyses sont validés indépendamment du sertissage. Dans un second temps, les étapes de mise au point des simulations de sertissage sont abordées de façon précise. Pour ce type de modèles fortement multi domaines, l'étude de l'influence des interactions est conduite. La détermination des paramètres de profondeur de sertissage est développée pour chaque technologie. Les premiers résultats de simulation sont discutés pour réduire les temps de calculs. Finalement, le modèle numérique développé est utilisé pour simuler le sertissage de contacts et l'arrachement de contacts sertis dans différentes configurations. L'étude de paramètres géométriques (diamètre des brins, diamètres des contacts, pas de torsadage des câbles), rhéologiques (cuivre standard, ayant subi un recuit insuffisant ou trop important) ou mécaniques (sous-sertissage, sur-sertissage) est faite pour vérifier l'influence sur les efforts de sertissage et les mécanismes de rupture à l'arrachement. Cette étude complète a pour objectif de valider des domaines de validité du sertissage. Celles-ci permettront aux industriels de vérifier la validité d'un sertissage en temps réel, en les comparant aux courbes d'efforts expérimentales par l'intermédiaire d'une pince électroniqu

Tough on Scholarship

This series of three articles (that\u27s why it\u27s a trilogy, duh-h-h) chronicles the legal-academic career of one S. Breckinridge Tushingham ( Breck for short). As the trilogy unfolds, Breck works his way up (or maybe it\u27s down) from his first academic position to an established professorship to dean of the South Soybean (Soso) State University law school. In the process of recording his professional history, and thus memorializing it for the ages, Breck provides (probably defamatory) insights into the American legal academy

TTC'2015 Case: Refactoring Java Programs using Spoon

International audienceTTC'2015 is the 8th Transformation Tool Contest for users and developers of transformation tools. In this paper, we present the use of Spoon, an open-source library to transform and analyze Java source code for the code refactoring track of TTC'2015. We use Spoon to implement pull-up-method and create super-class refactorings. The implementation uses an unmodified revision of Spoon and is done in 125 lines

An Approach Based on κ-Kӧhler Theory for Calculating CCN Activation Curves that Considers the Dry Particle Size Distribution and Morphology

International audienc