Liaison métalliqueredresse=1.75|vignette| Diagramme représentant la distribution des électrons dans les bandes de différents types de matériaux à l'équilibre. De gauche à droite : métal ; semimétal ; semiconducteur (dopé p, intrinsèque, dopé n) ; isolant. L'énergie est représentée par l'axe vertical, tandis que l'épaisseur horizontale des bandes représente la densité d'états.La densité électronique par niveau d'énergie suit la statistique de Fermi-Dirac et est représentée par un dégradé de noir.
Problème NP-completEn théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes : il est possible de vérifier une solution efficacement (en temps polynomial) ; la classe des problèmes vérifiant cette propriété est notée NP ; tous les problèmes de la classe NP se ramènent à celui-ci via une réduction polynomiale ; cela signifie que le problème est au moins aussi difficile que tous les autres problèmes de l
Reformage catalytiqueLe reformage catalytique est une opération chimique servant à valoriser une fraction du pétrole (le naphta lourd) en essence. vignette|Unité de reformage catalytique vignette|Reformage catalytique continu / platformage Dans ce procédé, un catalyseur permet de déclencher les réactions chimiques. À partir d'un naphta lourd débarrassé de soufre, le produit passe à travers une série de quatre réacteurs qui transforment les alcanes saturés en alcanes insaturés en les débarrassant partiellement de leurs atomes d'hydrogène.
Turing reductionIn computability theory, a Turing reduction from a decision problem to a decision problem is an oracle machine which decides problem given an oracle for (Rogers 1967, Soare 1987). It can be understood as an algorithm that could be used to solve if it had available to it a subroutine for solving . The concept can be analogously applied to function problems. If a Turing reduction from to exists, then every algorithm for can be used to produce an algorithm for , by inserting the algorithm for at each place where the oracle machine computing queries the oracle for .
Réduction en espace logarithmiqueEn théorie de la complexité, une réduction en espace logarithmique est une réduction calculable par une machine de Turing disposant d'un espace de travail logarithmique. La machine de Turing utilisée pour une réduction en espace logarithmique est constituée de trois rubans au lieu d'un : un ruban d'entrée (en lecture seule), un ruban de travail (de taille logarithmique en la taille du ruban d'entrée), et un ruban de sortie (en écriture seule et tel que la tête d'écriture ne peut écrire deux fois sur une même case).
Avion à hydrogèneUn avion à hydrogène est un avion alimenté au dihydrogène. Le dihydrogène peut alimenter soit des piles à combustible qui génèrent de l'électricité pour alimenter des moteurs électriques, soit directement des réacteurs. Il peut être stocké à bord soit sous forme de gaz comprimé à haute pression, soit sous forme liquide à . Pile à combustible Dans un modèle à pile à combustible, l'avion dispose de réservoirs d'hydrogène sous pression qui permettent d'alimenter la pile, laquelle produit à son tour de l'électricité par recombinaison du dihydrogène avec l'oxygène ; cette électricité alimente enfin les moteurs électriques de l'avion.
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.
Asymmetric hydrogenationAsymmetric hydrogenation is a chemical reaction that adds two atoms of hydrogen to a target (substrate) molecule with three-dimensional spatial selectivity. Critically, this selectivity does not come from the target molecule itself, but from other reagents or catalysts present in the reaction. This allows spatial information (what chemists refer to as chirality) to transfer from one molecule to the target, forming the product as a single enantiomer.
MétalEn chimie, les métaux sont des matériaux dont les atomes sont unis par des liaisons métalliques. Il s'agit de corps simples ou d'alliages le plus souvent durs, opaques, brillants, bons conducteurs de la chaleur et de l'électricité. Ils sont généralement malléables, c'est-à-dire qu'ils peuvent être martelés ou pressés pour leur faire changer de forme sans les fissurer, ni les briser. De nombreuses substances qui ne sont pas classées comme métalliques à pression atmosphérique peuvent acquérir des propriétés métalliques lorsqu'elles sont soumises à des pressions élevées.
Hydrogen internal combustion engine vehicleA hydrogen internal combustion engine vehicle (HICEV) is a type of hydrogen vehicle using an internal combustion engine. Hydrogen internal combustion engine vehicles are different from hydrogen fuel cell vehicles (which use electrochemical use of hydrogen rather than combustion). Instead, the hydrogen internal combustion engine is simply a modified version of the traditional gasoline-powered internal combustion engine. The absence of carbon means that no is produced, which eliminates the main greenhouse gas emission of a conventional petroleum engine.
