Mécanique de la ruptureLa catastrophe du Vol 587 American Airlines s'explique par la rupture de la dérive de l'appareil.|vignette La mécanique de la rupture tend à définir une propriété du matériau qui peut se traduire par sa résistance à la rupture fragile (fracture) ou ductile. Car si les structures sont calculées pour que les contraintes nominales ne dépassent pas, en règle générale, la limite d'élasticité du matériau et soient donc par voie de conséquence à l'abri de la ruine par rupture de type ductile ; elles ne sont pas systématiquement à l'abri d'une ruine causée par la présence d'une fissure préexistante à la mise en service ou créée en service par fatigue (comme lors de la catastrophe ferroviaire de Meudon) ou par corrosion sous contrainte.
Rupture (matériau)thumb|Courbe de traction idéale d'un matériau ductile thumb|Courbe de traction typique pour un matériau fragile En science des matériaux, la rupture ou fracture d'un matériau est la séparation, partielle (comme une crique ou une fissure ou une brisure) ou complète, en deux ou plusieurs pièces sous l'action d'une contrainte. Une rupture peut être souhaitée par le concepteur de la pièce comme dans le cas de la conception de dispositifs de sécurité ou au contraire celui-ci cherche à éviter cette rupture en mettant en adéquation la fonction de cette pièce avec les dimensionnements et choix des matériaux utilisés et des procédés de fabrication.
Concentration de contraintethumb|La fissure dans le béton a été amorcée par un « effet de pointe » (concentration de contrainte). La concentration de contrainte est un phénomène survenant lorsque la section d'une pièce varie de manière brutale : trou (perçage), rainure, épaulement, gorge, fond de fissure, etc. Une pièce présente des points de fragilité dus à la forme. On constate que l'apparition des fissures, et la rupture, a en général lieu dans des zones présentant des angles vifs rentrants ou bien des perçages.
Contrainte (mécanique)vignette|Lignes de tension dans un rapporteur en plastique vu sous une lumière polarisée grâce à la photoélasticité. En mécanique des milieux continus, et en résistance des matériaux en règle générale, la contrainte mécanique (autrefois appelée tension ou « fatigue élastique ») décrit les forces que les particules élémentaires d'un milieu exercent les unes sur les autres par unité de surface. Ce bilan des forces locales est conceptualisé par un tenseur d'ordre deux : le tenseur des contraintes.
Stress–strain analysisStress–strain analysis (or stress analysis) is an engineering discipline that uses many methods to determine the stresses and strains in materials and structures subjected to forces. In continuum mechanics, stress is a physical quantity that expresses the internal forces that neighboring particles of a continuous material exert on each other, while strain is the measure of the deformation of the material. In simple terms we can define stress as the force of resistance per unit area, offered by a body against deformation.
Fatigue (matériau)vignette|Photomicrographie de la progression des fissures dans un matériau dues à la fatigue. Image tirée de . La fatigue est l'endommagement local d'une pièce sous l'effet d'efforts variables : forces appliquées, vibrations, rafales de vent Alors que la pièce est conçue pour résister à des efforts donnés, la variation de l'effort, même à des niveaux bien plus faibles que ceux pouvant provoquer sa rupture, peut à la longue provoquer sa rupture. Les essais de fatigue permettent de déterminer la résistance des matériaux à de telles faibles charges répétées.
TénacitéLa ténacité est la capacité d'un matériau à résister à la propagation d'une fissure. On peut aussi définir la ténacité comme étant la quantité d'énergie qu'un matériau peut absorber avant de rompre, mais il s'agit d'une définition anglophone. En anglais, on fait la différence entre « toughness », l'énergie de déformation à rupture par unité de volume (, ce qui correspond aussi à des pascals) et « », la ténacité au sens de résistance à la propagation de fissure.
Tenseur des contraintesLe tenseur des contraintes est un tenseur d'ordre 2 utilisé en mécanique des milieux continus pour caractériser l'état de contrainte, c'est-à-dire les efforts intérieurs mis en jeu entre les portions déformées d'un milieu. Le terme a été introduit par Cauchy vers 1822. Comme les efforts intérieurs sont définis pour chaque surface coupant le milieu (on parle d'ailleurs également d'efforts surfaciques), le tenseur est défini localement, en chaque point du solide. L'état de contrainte du solide est donc représenté par un champ tensoriel.
Mécanique des solides déformablesLa est la branche de la mécanique des milieux continus qui étudie le comportement mécanique des matériaux solides, en particulier leurs mouvements et leurs déformations sous l'action de forces, de changements de température, de changements de phase ou d'autres actions externes ou internes. Une application typique de la mécanique des solides déformables consiste à déterminer à partir d'un certaine géométrie solide d'origine et des chargements qui lui sont appliqués, si le corps répond à certaines exigences de résistance et de rigidité.
Science des matériauxLa science des matériaux repose sur la relation entre les propriétés, la morphologie structurale et la mise en œuvre des matériaux qui constituent les objets qui nous entourent (métaux, polymères, semi-conducteurs, céramiques, composites, etc.). Elle se focalise sur l'étude des principales caractéristiques des matériaux, ainsi que leurs propriétés mécaniques, chimiques, électriques, thermiques, optiques et magnétiques. La science des matériaux est au cœur de beaucoup des grandes révolutions techniques.
Matériauvignette|Grandes classes de matériaux. Les matériaux minéraux sont des roches, des céramiques ou des verres. Les matériaux métalliques sont des métaux ou des alliages. Un matériau est toute matière utilisée pour réaliser un objet au sens large. Ce dernier est souvent une pièce d'un sous-ensemble. C'est donc une matière sélectionnée à l'origine en raison de propriétés particulières et mise en œuvre en vue d'un usage spécifique.
Génie mécaniqueLe génie mécanique (ou l'ingénierie mécanique) désigne l'ensemble des connaissances liées à la , au sens physique (sciences des mouvements) et au sens technique (étude des mécanismes). Ce champ de connaissances va de la conception d'un produit mécanique au recyclage de ce dernier en passant par la fabrication, la maintenance, etc. Données dans l'ordre du cycle de vie d'un produit mécanique. Conception de produit : analyse fonctionnelle, dessin industriel, conception assistée par ordinateur.
Matériau compositevignette|Multicouche, un exemple de matériau composite. Un matériau composite est un assemblage ou un mélange hétérogène d'au moins deux composants, non miscibles mais ayant une forte capacité d'interpénétration et d'adhésion, dont les propriétés mécaniques se complètent. Le nouveau matériau ainsi constitué possède des propriétés avantageuses que les composants seuls ne possèdent pas. Bien que le terme composite soit moderne, de tels matériaux ont été inventés et abondamment utilisés bien avant l'Antiquité, comme les torchis pour la construction de bâtiments.
Corrosion sous contraintethumb|upright=1.5|Exemple de fissuration par corrosion sous contrainte causée par la tension exercée par un collier de renforcement soudé de façon inadéquate. Trois facteurs (milieu, matériau et mécanique) sont généralement simultanément en cause. La corrosion sous contrainte (ou CSC) d'un métal ou d'un alliage résulte généralement de l'action conjuguée de trois facteurs : une contrainte mécanique en tension (contrainte résiduelle ou appliquée) ; un milieu environnant agressif ; un matériau sensible au phénomène de CSC, au moins dans certaines conditions.
Résistance des matériauxvignette|Essai de compression sur une éprouvette de béton, une pression croissante est appliquée verticalement sur l'échantillon pendant que deux appareils mesurent les déformations longitudinales et transversales de l'éprouvette. vignette|À l'issue du test, l'éprouvette s'est rompue. Notez la cassure longitudinale. La résistance des matériaux (RDM) est une discipline particulière de la mécanique des milieux continus, permettant le calcul des contraintes et déformations dans les structures des différents matériaux (machines, génie mécanique, bâtiment et génie civil).
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Faciès de ruptureEn science des matériaux, le faciès de rupture désigne l'allure de la surface créée par la rupture d'une pièce. L'analyse de cette surface est essentielle pour comprendre comment et pourquoi le matériau s'est rompu. Le faciès de rupture est toujours interprété par une combinaison des caractéristiques du matériau et de ses sollicitations. La discipline scientifique qui analyse les faciès de rupture s'appelle la fractographie, terme proposé en 1944 par Zapffe et Clogg.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
