Pile à combustibleUne pile à combustible est un générateur électrochimique produisant une tension électrique grâce à l'oxydation sur une électrode d'un combustible réducteur (par exemple le dihydrogène) couplée à la réduction sur l'autre électrode d'un oxydant, tel que l'oxygène de l'air. Elle est distincte de la pile électrique, qui fonctionne également par réaction d'oxydoréduction, mais qui est constituée d'empilements de métaux. vignette|Pile à combustible de la NASA au méthanol.
Pile à combustible alcalineLes piles à combustible alcalines (ou AFC selon l'acronyme de l'appellation anglaise alkaline fuel cell) sont une des techniques de piles à combustible les plus développées. C'est aussi une technique qui fut employée lors des expéditions lunaires. Les agences spatiales ont utilisé les AFC dès le milieu des années 1960, lors des programmes Gemini, Apollo, Soyouz 7K-L3 et pour les navettes spatiales Shuttle et Bourane. Les AFC consomment de l'hydrogène et de l'oxygène pur en produisant de l'eau potable, de la chaleur et de l'électricité.
Véhicule à pile à combustibleUn véhicule à pile à combustible (VPC) ou véhicule électrique à pile à combustible est un véhicule électrique qui utilise une pile à combustible, parfois en combinaison avec une petite batterie ou un supercondensateur, pour alimenter son moteur électrique embarqué. Les piles à combustible sont alimentées par un carburant qui peut être en particulier l'hydrogène, le méthanol, l'éthanol ou l'acide formique. Ces véhicules ont un bilan carbone faible par rapport aux véhicules à moteur à combustion interne, en particulier suivant le mode de production du carburant alimentant la pile.
Pile à bactériesUne pile microbienne (ou biopile ou pile à bactéries) est une pile basée sur le principe des piles à combustible: la cathode est alimentée en oxygène (en général par l'air) et l'anode est constituée d'une électrode placée au sein d'une chambre contenant un biofilm de bactéries et de quoi les nourrir. Elles sont également désignées par l'acronyme MFC provenant de la dénomination anglo-saxonne : microbial fuel cell (littéralement : Pile à combustible microbienne).
Pile à combustible à oxyde solideLes piles à combustibles à oxydes solides (ou SOFC selon l'acronyme anglais de Solid oxide fuel cells) sont prévues essentiellement pour les applications stationnaires avec une puissance de sortie allant de 1 kW à 2 MW. Elles fonctionnent à très hautes températures, typiquement entre et (723 et 1273 K). Leurs rejets gazeux peuvent être utilisés pour alimenter une turbine à gaz secondaire afin d'accroître le rendement électrique.
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 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.
Circuit électriquevignette|Circuit électrique à Calcutta, Inde. Un circuit électrique au sens matériel est un ensemble simple ou complexe de composants électriques ou électroniques, y compris des simples conducteurs, parcourus par un courant électrique. Au sens de la théorie des circuits, un circuit électrique est une abstraction des configurations matérielles, un agencement d'éléments définis par des relations mathématiques, reliés par des conducteurs idéaux. L'étude électrocinétique d'un circuit électrique consiste à déterminer, à chaque endroit, l'intensité du courant et la tension.
Efficacité énergétique (thermodynamique)En physique et ingénierie mécanique, l'efficacité énergétique (ou efficacité thermodynamique) est un nombre sans dimension, qui est le rapport entre ce qui peut être récupéré utilement de la machine sur ce qui a été dépensé pour la faire fonctionner. Aux États-Unis, pour les appareils et équipements résidentiels, elle est déterminée par le facteur énergétique (energy factor). Cette notion est souvent confondue avec une définition du rendement thermodynamique, pour des systèmes dont l'efficacité énergétique théorique maximale est inférieure à un, comme les moteurs dithermes ou les moteurs électriques.
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.