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.
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.
Diode laserUne diode laser est un composant opto-électronique à base de matériaux semi-conducteurs. Elle émet de la lumière monochromatique cohérente (une puissance optique) destinée, entre autres, à transporter un signal contenant des informations sur de longues distances (dans le cas d'un système de télécommunications) ou à apporter de l'énergie lumineuse pour le pompage de certains lasers (lasers à fibre, laser DPSS) et amplificateurs optiques (OFA, Optical Fiber Amplifier).
Inkjet printingInkjet printing is a type of computer printing that recreates a by propelling droplets of ink onto paper and plastic substrates. Inkjet printers were the most commonly used type of printer in 2008, and range from small inexpensive consumer models to expensive professional machines. By 2019, laser printers outsold inkjet printers by nearly a 2:1 ratio, 9.6% vs 5.1% of all computer peripherals.As of 2023, sublimation printers have outsold inkjet printers by nearly a 2:1 ratio, accounting for 9.
Superconducting wireSuperconducting wires are electrical wires made of superconductive material. When cooled below their transition temperatures, they have zero electrical resistance. Most commonly, conventional superconductors such as niobium–titanium are used, but high-temperature superconductors such as YBCO are entering the market. Superconducting wire's advantages over copper or aluminum include higher maximum current densities and zero power dissipation.
Couche limitevignette|redresse=2|Couches limites laminaires et turbulentes d'un écoulement sur une plaque plane (avec profil des vitesses moyennes). La couche limite est la zone d'interface entre un corps et le fluide environnant lors d'un mouvement relatif entre les deux. Elle est la conséquence de la viscosité du fluide et est un élément important en mécanique des fluides (aérodynamique, hydrodynamique), en météorologie, en océanographie vignette|Profil de vitesses dans une couche limite.
Boundary layer thicknessThis page describes some of the parameters used to characterize the thickness and shape of boundary layers formed by fluid flowing along a solid surface. The defining characteristic of boundary layer flow is that at the solid walls, the fluid's velocity is reduced to zero. The boundary layer refers to the thin transition layer between the wall and the bulk fluid flow. The boundary layer concept was originally developed by Ludwig Prandtl and is broadly classified into two types, bounded and unbounded.
Dye-sublimation printingDye-sublimation printing (or dye-sub printing) is a term that covers several distinct digital computer printing techniques that involve using heat to transfer dye onto a substrate. The sublimation name was first applied because the dye was thought to make the transition between the solid and gas states without going through a liquid stage. This understanding of the process was later shown to be incorrect, as there is some liquefication of the dye.
ConteneurDans le domaine du transport, un conteneur (terme recommandé en France par la DGLFLF et au Canada par l'OQLF) ou container, est un caisson métallique parallélépipédique conçu pour le transport de marchandises par différents modes de transport. Ses dimensions ont été normalisées au niveau international. Il est muni à tous les angles de pièces de préhension permettant de l'arrimer et de le transborder d'un véhicule à l'autre (pièces de coin, corner casting ou corner fitting).
Porte-conteneursUn porte-conteneurs ou porte-conteneur est un navire de charge destiné au transport de conteneurs à l'exclusion de tout autre type de conditionnement de marchandises. Apparu dans les années 1970, le porte-conteneurs est maintenant le principal mode de fret maritime dans les ports de commerce. Il fait partie intégrante du commerce mondial. La taille sans cesse croissante de ces navires crée de nombreux problèmes architecturaux et portuaires. Le mot « porte-conteneurs » est une traduction directe de l'anglais container carrier, qui est devenu plus tard container ship.
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).
