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.
OrthotropieL’orthotropie désigne des caractéristiques de symétrie d'un corps, d'une grandeur ou d'un phénomène. Ce terme est utilisé dans plusieurs domaines avec des définitions différentes. L’orthotropie désigne des caractéristiques de symétrie d'un matériau. C’est un cas particulier d’anisotropie. On distingue deux types d'orthotropie : un matériau est orthotrope s'il possède trois plans de symétrie orthogonaux entre eux. Son comportement élastique est alors défini par neuf modules d'élasticité, son comportement thermique par trois constantes thermiques.
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.
Linear elasticityLinear elasticity is a mathematical model of how solid objects deform and become internally stressed due to prescribed loading conditions. It is a simplification of the more general nonlinear theory of elasticity and a branch of continuum mechanics. The fundamental "linearizing" assumptions of linear elasticity are: infinitesimal strains or "small" deformations (or strains) and linear relationships between the components of stress and strain. In addition linear elasticity is valid only for stress states that do not produce yielding.
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).
Déformation élastiqueEn physique, l'élasticité est la propriété d'un matériau solide à retrouver sa forme d'origine après avoir été déformé. La déformation élastique est une déformation réversible. Un matériau solide se déforme lorsque des forces lui sont appliquées. Un matériau élastique retrouve sa forme et sa taille initiales quand ces forces ne s'exercent plus, jusqu'à une certaine limite de la valeur de ces forces. Les tissus biologiques sont également plus ou moins élastiques. Les raisons physiques du comportement élastique diffèrent d'un matériau à un autre.
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.
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é.
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.
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).
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.
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.
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.
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.
Taux de cristallinitéLe concept de taux de cristallinité (en anglais, degree of crystallinity), κ, se rencontre souvent dans le cas des matériaux organiques. Il mesure la proportion de matière se trouvant dans l'état cristallin. Le taux de cristallinité massique (κm) d'un échantillon de polymère cristallisé est défini par le rapport de la masse des phases cristallines à la masse de l'échantillon étudié. On peut de la même manière considérer le taux de cristallinité volumique (κv). Les taux de cristallinité massique et volumique des polymères sont en général peu différents.
Coefficient de PoissonMis en évidence (analytiquement) par Siméon Denis Poisson, le coefficient de Poisson (aussi appelé coefficient principal de Poisson) permet de caractériser la contraction de la matière perpendiculairement à la direction de l'effort appliqué. thumb|upright=1.4|Illustration du coefficient de Poisson. Dans le cas le plus général le coefficient de Poisson dépend de la direction de l'allongement, mais : dans le cas important des matériaux isotropes il en est indépendant ; dans le cas d'un matériau on définit trois coefficients de Poisson (dont deux liés par une relation) ; dans le cas d'un matériau orthotrope on définit deux coefficients de Poisson (liés par une relation) pour chacune des trois directions principales.
Module de YoungLe module de Young, module d’élasticité (longitudinale) ou module de traction est la constante qui relie la contrainte de traction (ou de compression) et le début de la déformation d'un matériau élastique isotrope. Dans les ouvrages scientifiques utilisés dans les écoles d'ingénieurs, il a été longtemps appelé module d'Young. Le physicien britannique Thomas Young (1773-1829) avait remarqué que le rapport entre la contrainte de traction appliquée à un matériau et la déformation qui en résulte (un allongement relatif) est constant, tant que cette déformation reste petite et que la limite d'élasticité du matériau n'est pas atteinte.
