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.
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.
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.
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.
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.
Environnement de bureauEn informatique, un environnement de bureau (de l'anglais desktop environment) est un logiciel (ensemble de programmes) qui permet de manier l'ordinateur à travers une interface utilisateur qui se présente en mode graphique (graphical shell) sous l'aspect d'un bureau. Il s'agit d'un type d'environnement graphique où le terme « environnement de bureau » provient de la métaphore du bureau, sur laquelle sont fondés ces produits. De nombreux systèmes d'exploitation ont un environnement de bureau incorporé.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
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 dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Fragilitéthumb|Comportements à la rupture en essai de traction: (a) fragile, (b) ductile et (c) complètement ductile. Un matériau solide est fragile s'il se fracture dès que sa limite d'élasticité est atteinte. La fragilité s'oppose à la ductilité. Il ne faut confondre fragile avec peu tenace qui signifie que le matériau résiste peu à la propagation de fissures. Dans l'usage courant et notamment en métallurgie, on parle de matériau fragile quand on a une faible déformation à la rupture, une faible ténacité et une faible énergie de rupture.
Budgie (logiciel)Budgie est un environnement de bureau qui utilise les technologies GNOME telles que GTK+. Il est développé par le projet Solus ainsi que par des contributeurs provenant de nombreuses communautés comme openSUSE Tumbleweed, Arch Linux et Ubuntu Budgie. En septembre 2021, le fondateur du projet annonce que du fait de désaccords trop profonds avec la direction prise par le projet GNOME et sa librairie GTK, Budgie 11 sera basé sur la librairie graphique EFL.
Cinnamon (logiciel)Cinnamon (du nom de la cannelle en anglais) est un environnement de bureau, initialement développé par (et pour) Linux Mint. Il s'agit d'un fork de GNOME Shell, qui se veut plus proche de la métaphore du bureau (avec par exemple un menu présentant les applications classées par catégories, plutôt qu'une liste d'icônes) délaissée par GNOME 3.0. Liste des applications spécifiques à Cinnamon : Nemo, gestionnaire de fichiers dérivé de Nautilus ; Muffin, gestionnaire de fenêtres dérivé de Mutter ; Arch Linux Cubu
MATEMATE (prononcer maté à l'espagnole) est un environnement de bureau libre utilisant (dans un premier temps) la boîte à outils GTK+ 3.x et destiné aux systèmes d'exploitation apparentés à UNIX. Il consiste en un fork de GNOME 2 et son nom vient du yerba maté dont les feuilles sont utilisées pour préparer une boisson stimulante en Amérique latine. Afin de permettre une installation sans conflit avec les composants de GNOME 3, plusieurs applications ont été renommées.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
DuctilitéLa ductilité est la capacité d'un matériau à se déformer plastiquement sans se rompre. La rupture se fait lorsqu'un défaut (fissure ou cavité) devient critique et se propage. Un matériau qui présente une grande déformation plastique à rupture est dit ductile, sinon il est dit fragile. C'est une propriété dite « purement géométrique » : elle ne caractérise qu'un allongement à la rupture (sans unité, ou l'allongement en mètre si la longueur pour l'essai de ductilité est normalisée), indépendamment de l'énergie ou de la contrainte nécessaire à cette rupture.
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é.
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.
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.
