Potentiel d'oxydoréductionLe potentiel d'oxydoréduction, ou potentiel redox, est une grandeur empirique exprimée en volts et généralement notée (ou, pour le potentiel redox standard, E(M/M) où M désigne un métal quelconque). Ce potentiel est exprimé par rapport à une référence, souvent mesurée par une électrode normale à hydrogène (ENH, d'où l'unité V/ENH rencontrée dans certains ouvrages). Cette mesure est appliquée aux couples d'oxydoréduction pour prévoir la réactivité des espèces chimiques entre elles.
Voltampérométrie cycliqueLa voltampérométrie cyclique (ou voltammétrie cyclique) est une technique électrochimique dans laquelle on enregistre la réponse en courant résultant d'une variation continue du potentiel de l'électrode de travail sur laquelle se produit la réaction électrochimique étudiée. On parle de voltampérométrie cyclique parce que le potentiel est varié, à vitesse constante, de façon répétée entre deux bornes, appelées "potentiels d'inversion". On appelle "cycle", un aller-retour entre les deux bornes.
Dopage (semi-conducteur)Dans le domaine des semi-conducteurs, le dopage est l'action d'ajouter des impuretés en petites quantités à une substance pure afin de modifier ses propriétés de conductivité. Les propriétés des semi-conducteurs sont en grande partie régies par la quantité de porteurs de charge qu'ils contiennent. Ces porteurs sont les électrons ou les trous. Le dopage d'un matériau consiste à introduire, dans sa matrice, des atomes d'un autre matériau. Ces atomes vont se substituer à certains atomes initiaux et ainsi introduire davantage d'électrons ou de trous.
Semi-conducteurUn semi-conducteur est un matériau qui a les caractéristiques électriques d'un isolant, mais pour lequel la probabilité qu'un électron puisse contribuer à un courant électrique, quoique faible, est suffisamment importante. En d'autres termes, la conductivité électrique d'un semi-conducteur est intermédiaire entre celle des métaux et celle des isolants. Le comportement électrique des semi-conducteurs est généralement modélisé, en physique de l'état solide, à l'aide de la théorie des bandes d'énergie.
VoltampérométrieLa voltampérométrie (ou voltammétrie) est une méthode d’électroanalyse basée sur la mesure du flux de courant résultant de la réduction ou de l’oxydation des composés tests présents en solution sous l’effet d’une variation contrôlée de la différence de potentiel entre deux électrodes spécifiques. Elle permet d’identifier et de mesurer quantitativement un grand nombre de composés (cations, certains anions, composés organiques), dont certains simultanément, et également d’étudier les réactions chimiques incluant ces composés.
Composant semi-conducteurvignette|Aperçu de quelques dispositifs semi-conducteurs encapsulés Un composant semi-conducteur est un composant électronique dont le fonctionnement repose sur les propriétés électroniques d'un matériau semi-conducteur (principalement le silicium, le germanium et l'arséniure de gallium, ainsi que des semi-conducteurs organiques). Sa conductivité se situe entre les conducteurs et les isolants. Les composants semi-conducteurs ont remplacé les tubes à vide dans la plupart des applications.
Cellule solaire à pigment photosensibleUne cellule solaire à pigment photosensible parfois appelée cellules Grätzel (en anglais, Dye-sensitized solar cell ou DSC) est un système photoélectrochimique inspiré de la photosynthèse végétale qui, exposé à la lumière (photons), produit de l’électricité. Elle est souvent désignée par l'acronyme dérivé de son appellation en anglais : dye-sensitized solar cell, DSC, DSSc voire DYSC). Les cellules Grätzel ont été nommées ainsi en référence à son concepteur, Michael Grätzel, de l’École polytechnique fédérale de Lausanne.
Standard electrode potentialIn electrochemistry, standard electrode potential , or , is a measure of the reducing power of any element or compound. The IUPAC "Gold Book" defines it as: "the value of the standard emf (electromotive force) of a cell in which molecular hydrogen under standard pressure is oxidized to solvated protons at the left-hand electrode". The basis for an electrochemical cell, such as the galvanic cell, is always a redox reaction which can be broken down into two half-reactions: oxidation at anode (loss of electron) and reduction at cathode (gain of electron).
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.
