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.
Matériau de constructionLes matériaux de construction sont des matériaux utilisés dans les secteurs de la construction : bâtiments et travaux publics (souvent désignés par le sigle BTP). Ils couvrent une vaste gamme des matériaux qui inclut principalement le bois, le verre, l'acier, l'aluminium, les textiles, les matières plastiques (isolants notamment) et les matériaux issus de la transformation de produits de carrières, qui peuvent être plus ou moins élaborés (incluant le béton et divers dérivés de l'argile tels que briques, tuiles, carrelages et divers éléments sanitaires).
ViscoélasticitéLa viscoélasticité est la propriété de matériaux qui présentent des caractéristiques à la fois visqueuses et élastiques, lorsqu'ils subissent une déformation. Les matériaux visqueux, comme le miel, résistent bien à un écoulement en cisaillement et présentent une déformation qui augmente linéairement avec le temps lorsqu'une contrainte est appliquée. Les matériaux élastiques se déforment lorsqu'ils sont contraints, et retournent rapidement à leur état d'origine une fois la contrainte retirée.
Design numériquevignette|366x366px Incluant l’ensemble des pratiques utilisant des matières informatisées comme moyen et comme fin dans la conception, le design numérique (également appelé design d'interaction ou design interactif) définit les structures et comportements de systèmes interactifs. Apparaissant comme un nouveau champ issu de la révolution numérique, il réinvente la manière de façonner le design en mettant l’accent sur l’expérience de l’acteur et non l’objet en soi.
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.
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).
Vitesse de libérationLa vitesse de libération, ou vitesse d'évasion ou d'échappement est, en physique, la vitesse minimale que doit atteindre un projectile pour échapper définitivement à l'attraction gravitationnelle d'un astre (planète, étoile, etc.) dépourvu d'atmosphère et s'en éloigner indéfiniment. Cette vitesse est d'autant plus importante que la masse de l'astre est importante et que l'objet est proche de son centre. Relative à l'astre, c'est une valeur scalaire (sa direction ne joue aucun rôle).
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.
QuadrivitesseEn physique, en particulier en relativité restreinte et en relativité générale, la quadrivitesse d'un objet est un quadrivecteur généralisant le vecteur vitesse en mécanique classique. La quadrivitesse est une des notions que le mathématicien et physicien allemand Hermann Minkowski (-) a introduites dans le cadre de sa reformulation géométrique de la relativité restreinte d'Albert Einstein (-). La quadrivitesse est ainsi désignée car elle est le quadrivecteur qui généralise la notion de vitesse de la mécanique newtonienne.
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.
Matière plastiquevignette|Les matières plastiques font désormais partie de notre quotidien. Structure typique d'une formule : matière plastique = polymère(s) brut(s) (résine(s) de base) + charges + plastifiants + additifs. Les élastomères sont souvent classés hors des matières plastiques proprement dites. Une matière plastique (le plastique en langage courant) est un polymère généralement mélangé à des additifs, colorants, charges (miscibles ou non dans la matrice polymère).
AmortisseurUn amortisseur est un système mécanique destiné à atténuer la force d'un choc ou l’amplitude des oscillations d'un objet en amortissant ses vibrations, généralement par dissipation d'énergie. De nombreux phénomènes physiques peuvent être utilisés pour absorber l’énergie cinétique de l’objet en mouvement : pertes de charge d'un fluide, frottement, comportement hystérétique Cette énergie est souvent transformée en énergie thermique mais peut être convertie dans une autre forme, par exemple électrique.
