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.
Stockage de l'hydrogèneLe concept de stockage de l'hydrogène désigne toutes les formes de mise en réserve du dihydrogène en vue de sa mise à disposition ultérieure comme produit chimique ou vecteur énergétique. Plusieurs possibilités existent, qui présentent avantages et inconvénients. Sous forme de gaz, le dihydrogène est peu dense et doit être fortement comprimé. La liquéfaction du dihydrogène se réalise à très basse température. L'hydrogène solide nécessite d'être lié à d'autres composants, notamment sous la forme d'hydrure.
ThermoélectricitéLa thermoélectricité est l'électricité générée par l'effet thermoélectrique, un phénomène physique présent dans certains matériaux, qui lie les flux de chaleur qui les traversent aux courants électriques qui les parcourent. Cet effet est à la base d'applications, dont très majoritairement la thermométrie, puis la réfrigération ( module Peltier) et enfin, très marginalement, la génération d'électricité (par « thermopile » ou « calopile »). Elle a été découverte puis comprise au cours du grâce aux travaux de Seebeck, Peltier ou encore Lord Kelvin.
Générateur thermoélectriqueUn générateur thermoélectrique (GTE ou ) est une plaque comportant des semi-conducteurs et utilisant l'effet Seebeck pour produire de l'électricité en tirant parti de la différence de températures entre chaque face. Ce type de module est également utilisé pour le refroidissement thermoélectrique. On appelle l'effet utilisé, l'« effet Peltier–Seebeck », car il dérive des travaux du physicien français Jean-Charles Peltier et du physicien allemand Thomas Johann Seebeck.
Plasma stabilityThe stability of a plasma is an important consideration in the study of plasma physics. When a system containing a plasma is at equilibrium, it is possible for certain parts of the plasma to be disturbed by small perturbative forces acting on it. The stability of the system determines if the perturbations will grow, oscillate, or be damped out. In many cases, a plasma can be treated as a fluid and its stability analyzed with magnetohydrodynamics (MHD).
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.
Économie hydrogèneLéconomie hydrogène ou économie de l'hydrogène est le modèle économique dans lequel le dihydrogène (de formule chimique ) servirait de vecteur d'énergie commun pour mutualiser les différents types de production d’énergie et pallier le problème de l’intermittence des énergies renouvelables. Ce principe est envisagé pour la première fois par Jules Verne en 1874, puis de façon plus détaillée par John Burdon Sanderson Haldane en 1923, et l'Allemagne nazie l'utilise pour produire des combustibles synthétiques à partir du charbon.
Fuel efficiencyFuel efficiency is a form of thermal efficiency, meaning the ratio of effort to result of a process that converts chemical potential energy contained in a carrier (fuel) into kinetic energy or work. Overall fuel efficiency may vary per device, which in turn may vary per application, and this spectrum of variance is often illustrated as a continuous . Non-transportation applications, such as industry, benefit from increased fuel efficiency, especially fossil fuel power plants or industries dealing with combustion, such as ammonia production during the Haber process.
Rendement (physique)En physique, le rendement est défini comme une grandeur sans dimension qui caractérise l'efficacité d'une transformation, physique ou chimique. En physique, la grandeur caractérise généralement la conversion d'une forme d'énergie en une autre. Pour un système réalisant une conversion d'énergie (transformateur, moteur, pompe à chaleur), le rendement est défini par certains auteurs comme étant le rapport entre l'énergie recueillie en sortie et l'énergie fournie en entrée, qui confond alors les termes d'efficacité thermodynamique et de rendement thermodynamique.
