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.
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.
Énergie potentielle de convection disponibleL'énergie potentielle de convection disponible (EPCD), en anglais convective available potential energy (CAPE), est l'énergie potentielle par unité de masse qu'a une parcelle d'air plus chaude que son environnement, ce qui se traduit par une poussée d'Archimède ascensionnelle. Cela se produit dès qu'on dépasse le niveau de convection libre de la masse d'air. L'EPCD se mesure en joules par kilogramme (J/kg) ou, ce qui est équivalent mais moins couramment utilisé, en mètres carrés par seconde carrée (m/s).
Rayonnement électromagnétiquethumb|Répartition du rayonnement électromagnétique par longueur d'onde. Le rayonnement électromagnétique est une forme de transfert d'énergie linéaire. La lumière visible est un rayonnement électromagnétique, mais ne constitue qu'une petite tranche du large spectre électromagnétique. La propagation de ce rayonnement, d'une ou plusieurs particules, donne lieu à de nombreux phénomènes comme l'atténuation, l'absorption, la diffraction et la réfraction, le décalage vers le rouge, les interférences, les échos, les parasites électromagnétiques et les effets biologiques.
Paramètre (programmation informatique)En programmation informatique, un paramètre est une donnée manipulée par une section de code (voir : sous-programme, fonction, méthode) et connue du code appelant cette section. On distingue deux types de paramètres. Un paramètre d'entrée est une donnée fournie par le code appelant au code appelé. Cette donnée peut être transmise de deux façons : passage par copie (aussi appelé par valeur) : le code appelé dispose d'une copie de la valeur qu'il peut modifier sans affecter l'information initiale dans le code appelant ; passage par adresse (aussi appelé par référence) : le code appelé dispose d'une information lui permettant d'accéder en mémoire à la valeur que le code appelant cherche à lui transmettre.
Amplificateur électroniquethumb|Un amplificateur audio à tubes. Un amplificateur électronique (ou amplificateur, ou ampli) est un système électronique augmentant la puissance d’un signal électrique. L’énergie nécessaire à l’amplification est tirée de l’alimentation électrique du système. Un amplificateur parfait ne déforme pas le signal d’entrée : sa sortie est une réplique exacte de l’entrée avec une amplitude majorée ou une impédance minorée. C'est donc un quadripôle actif à base d'un ou plusieurs composants actifs, le plus souvent des transistors.
Simulation de phénomènesLa simulation de phénomènes est un outil utilisé dans le domaine de la recherche et du développement. Elle permet d'étudier les réactions d'un système à différentes contraintes pour en déduire les résultats recherchés en se passant d'expérimentation. Les systèmes technologiques (infrastructures, véhicules, réseaux de communication, de transport ou d'énergie) sont soumis à différentes contraintes et actions. Le moyen le plus simple d'étudier leurs réactions serait d'expérimenter, c'est-à-dire d'exercer l'action souhaitée sur l'élément en cause pour observer ou mesurer le résultat.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Électricitévignette|alt=Arcs électriques dans un ciel bleu allant des nuages au sol.|La foudre est l'un des phénomènes électriques les plus impressionnants qui existent. L’électricité est l'ensemble des phénomènes physiques associés à la présence et au mouvement de la matière qui possède une propriété de charge électrique. L'électricité est liée au magnétisme, les deux faisant partie du phénomène de l'électromagnétisme, tel que décrit par les équations de Maxwell.
Convective storm detectionConvective storm detection is the meteorological observation, and short-term prediction, of deep moist convection (DMC). DMC describes atmospheric conditions producing single or clusters of large vertical extension clouds ranging from cumulus congestus to cumulonimbus, the latter producing thunderstorms associated with lightning and thunder. Those two types of clouds can produce severe weather at the surface and aloft.
