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.
Anodisationvignette L'anodisation (appelé parfois éloxage, en Suisse Romande) est un traitement de surface (de type conversion) qui permet de protéger ou de décorer une pièce en aluminium (ou alliage) ou titane (ou alliage) par oxydation anodique (couche électriquement isolante de 5 à ). Elle octroie aux matériaux une meilleure résistance à l'usure, à la corrosion et à la chaleur. L'épaisseur varie en fonction de la destination du produit final.
Réaction d'oxydoréductionvignette|L'aluminothermie est une réaction d'oxydoréduction entre l'aluminium et certains oxydes métalliques. Une réaction d'oxydoréduction ou réaction rédox est une réaction chimique au cours de laquelle se produit un transfert d'électrons. Elle consiste en une réaction oxydante couplée à une réaction réductrice. L'espèce chimique qui capte les électrons est l'oxydant et celle qui les cède, le réducteur. La réaction est caractérisée par une variation du nombre d'oxydation (n.o.) de chacune des espèces en jeu.
ÉlectrodeUne électrode est un conducteur électronique, ou ionique ( verre) captant ou libérant des électrons. Les électrodes interviennent dans les systèmes générateurs de courant (comme les piles ou les accumulateurs électriques) et dans les électrolyses, dont le système est récepteur de courant. On parle aussi d'électrodes pour désigner des composants de certains appareils électriques comme les lampes radio, tube à rayons X, diodes à semi-conducteur. C'est également le cas dans le soudage à l'arc électrique.
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.
Glossary of fuel cell termsThe Glossary of fuel cell terms lists the definitions of many terms used within the fuel cell industry. The terms in this fuel cell glossary may be used by fuel cell industry associations, in education material and fuel cell codes and standards to name but a few. Activation loss See overpotential Adsorption Adsorption is a process that occurs when a gas or liquid solute accumulates on the surface of a solid or a liquid (adsorbent), forming a film of molecules or atoms (the adsorbate).
Batterie redox vanadiumUne batterie redox vanadium (ou batterie à oxydoréduction au vanadium) est un type de batterie rechargeable à flux qui utilise le vanadium dans différents états d'oxydation pour stocker l'énergie potentielle chimique. Un brevet allemand de batterie à flux au chlorure de titane avait déjà été enregistré et accepté en 1954, mais la plupart des développements ont été réalisés par les chercheurs de la NASA dans les années 1970.
Batterie à flux redoxUne batterie à flux redox, batterie redox flow ou pile d'oxydoréduction est un type de batterie d'accumulateurs, dans lequel l'énergie est stockée dans deux solutions électrolytiques, pompées à travers la cellule électrochimique et stockées dans des réservoirs. L'innovation principale de ces systèmes en comparaison des batteries classiques réside dans le découplage entre la capacité énergétique et la puissance de la pile. Ces dispositifs sont en revanche assez encombrants (aussi bien en masse qu'en volume) et sont donc plutôt destinés à des applications stationnaires.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
AnodeL'anode d'un appareil passif parcouru par un courant continu est l'électrode où, en sens conventionnel, entre le courant (en courant électronique, l'électrode d'où sortent les électrons). Par exemple, pour une diode, c'est l'électrode reliée au pôle positif du générateur ; pour une pile électrique faisant office de générateur, c'est l'électrode négative. Dans une électrolyse active en chimie, avec fourniture d'énergie électrique, l'anode est par définition là où sont contraints (par le champ électrique) de se diriger les ions négatifs ou anions.
Cycle biogéochimiqueUn cycle biogéochimique est le processus de transport et de transformation cyclique (recyclage) d'un élément ou composé chimique entre les grands réservoirs que sont la géosphère, l'atmosphère, l'hydrosphère, dans lesquels se retrouve la biosphère. Un tel cycle induit souvent des passages de l'état organique à l'état minéral au sein de la biosphère. Les divers cycles en interaction confèrent à la biosphère une capacité de régulation, appelée homéostasie.
Électrolyse à oxyde solidevignette|Module expérimental de deux piles de d'électrolyse visibles au centre, installé avec ses alimentations et ses conduits. L'électrolyse à oxyde solide est un procédé d'électrolyse de l'eau ou du dioxyde de carbone à l'aide d'électrolytes constitués d'oxydes solides, notamment de céramiques, afin de produire de l'oxygène et de l'hydrogène ou du monoxyde de carbone CO, selon les réactions et respectivement. La production d'hydrogène par cette voie est intéressante car d'empreinte écologique réduite et offrant un moyen de stockage de l'énergie alternatif aux accumulateurs.
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é.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
Heun's methodIn mathematics and computational science, Heun's method may refer to the improved or modified Euler's method (that is, the explicit trapezoidal rule), or a similar two-stage Runge–Kutta method. It is named after Karl Heun and is a numerical procedure for solving ordinary differential equations (ODEs) with a given initial value. Both variants can be seen as extensions of the Euler method into two-stage second-order Runge–Kutta methods.
Microscopie électronique à balayagethumb|right|Premier microscope électronique à balayage par M von Ardenne thumb|right|Microscope électronique à balayage JEOL JSM-6340F thumb|upright=1.5|Principe de fonctionnement du Microscope Électronique à Balayage La microscopie électronique à balayage (MEB) ou scanning electron microscope (SEM) en anglais est une technique de microscopie électronique capable de produire des images en haute résolution de la surface d’un échantillon en utilisant le principe des interactions électrons-matière.
Electrolytic capacitorAn electrolytic capacitor is a polarized capacitor whose anode or positive plate is made of a metal that forms an insulating oxide layer through anodization. This oxide layer acts as the dielectric of the capacitor. A solid, liquid, or gel electrolyte covers the surface of this oxide layer, serving as the cathode or negative plate of the capacitor. Because of their very thin dielectric oxide layer and enlarged anode surface, electrolytic capacitors have a much higher capacitance-voltage (CV) product per unit volume than ceramic capacitors or film capacitors, and so can have large capacitance values.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
