ÉlectrochimieL’électrochimie est la discipline scientifique qui s’intéresse aux relations entre la chimie et l’électricité. Elle décrit les phénomènes chimiques couplés à des échanges réciproques d’énergie électrique. L'électrochimie comprend toutes technologies et techniques issues de ses travaux scientifiques, comme les travaux concernant l'électrolyse, la corrosion, les piles, les piles à combustibles, les accumulateurs, et l'électrodéposition.
Cinétique électrochimiqueLa cinétique électrochimique s'intéresse à l'étude de la vitesse des réactions électrochimiques. Une réaction électrochimique est une réaction d'oxydo-réduction inter faciale : la réaction a lieu à l'interface entre une électrode et un électrolyte. Deux processus complémentaires interviennent dans la réaction électrochimique : le transfert électronique entre l'électrode et l'électrolyte le transport de matière de ces espèces redox du sein de la solution jusqu'à la surface de l'électrode : ce transport peut avoir lieu par diffusion, convection et migration En première approche on peut traiter une étape élémentaire de transfert de charge en suivant le modèle de Butler-Volmer que l'on doit à John Alfred Valentine Butler et à Max Volmer.
Liquide ioniqueLes liquides ioniques sont des sels possédant une température de fusion inférieure à et souvent même inférieurs à la température ambiante. Les liquides ioniques fondus à la température ambiante présentent de nombreux avantages pratiques et sont donc très utilisés. Le terme générique "liquide ionique" (en anglais : ionic liquid) a été introduit en 1943. L'ioliomique est en chimie (biologie ou médecine) l'étude du comportement des ions dans les liquides. La liste des liquides ioniques ne cesse d’augmenter.
Electrochemical reaction mechanismIn electrochemistry, an electrochemical reaction mechanism is the step-by-step sequence of elementary steps, involving at least one outer-sphere electron transfer, by which an overall electrochemical reaction occurs. Elementary steps like proton coupled electron transfer and the movement of electrons between an electrode and substrate are special to electrochemical processes.
É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.
Cellule électrochimiquevignette| Une configuration de cellule électrochimique de démonstration ressemblant à la cellule Daniell. Les deux demi-cellules sont reliées par un pont salin portant des ions entre elles. Les électrons circulent dans le circuit externe. Une cellule électrochimique est un appareil capable de générer de l'énergie électrique à partir de réactions chimiques ou d'utiliser de l'énergie électrique pour provoquer des réactions chimiques.
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.
Électrode à disque tournantL'électrode à disque tournant ou EDT (Rotating Disk Electrode ou RDE en anglais) est une électrode de travail hydrodynamique utilisée dans une cellule à trois électrodes. Elles sont couramment utilisées pour des études de cinétique électrochimique en régime stationnaire. Cela vient du fait qu'il est possible, sous certaines hypothèses, de résoudre les équations de Navier-Stokes dans le cas d'une EDT, c’est-à-dire de connaître la vitesse et la direction du flux d'électrolyte au voisinage de l'EDT.
PotentialPotential generally refers to a currently unrealized ability. The term is used in a wide variety of fields, from physics to the social sciences to indicate things that are in a state where they are able to change in ways ranging from the simple release of energy by objects to the realization of abilities in people. The philosopher Aristotle incorporated this concept into his theory of potentiality and actuality, a pair of closely connected principles which he used to analyze motion, causality, ethics, and physiology in his Physics, Metaphysics, Nicomachean Ethics, and De Anima, which is about the human psyche.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
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.
Catalysevignette|Intérieur du musée de la catalyse à Widnes en Angleterre. En chimie, la catalyse (du grec ancien : , « détacher ») se réfère à l'accélération ou la réorientation de la cinétique de réaction au moyen d'un catalyseur, et dans certains cas à la sélectivité pour diriger la réaction dans un sens privilégié (réaction concurrente, production d'un produit plutôt qu'un autre). Le catalyseur est utilisé en quantité beaucoup plus faible que les produits réactifs. Il n'apparait pas en général dans le bilan de réaction, donc pas dans son équation globale.
Énergie renouvelableLes énergies renouvelables (parfois abrégées EnR) proviennent de sources d'énergie dont le renouvellement naturel est assez rapide pour qu'elles puissent être considérées comme inépuisables à l'échelle du temps humain. Elles proviennent de phénomènes naturels cycliques ou constants induits par les astres : le Soleil essentiellement pour la chaleur et la lumière qu'il produit, mais aussi l'attraction de la Lune (marées) et la chaleur engendrée par la Terre (géothermie).
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
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.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Potentiel électrochimiqueEn électrochimie, le potentiel électrochimique est une grandeur thermodynamique, en joules par mole, équivalent au potentiel chimique mais tenant compte des espèces électriquement chargées. Il ne faut pas confondre avec le potentiel d'électrode en volts. Cette notion est typiquement utilisée pour les processus chimiques où intervient la diffusion, notamment en biochimie où elle détermine le flux des ions à travers une surface donnée mais également pour la compréhension de la conduction dans les semi-conducteurs.
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
Sel (chimie)En chimie, un sel est un composé ionique de cations et d'anions formant un produit neutre et sans charge électrique nette. Ces ions peuvent être aussi bien minéraux (chlorure Cl−) qu'organiques (acétate CH3-COO−) et monoatomiques (fluorure F−) aussi bien que polyatomiques (sulfate SO42−). Les anions porteurs de deux charges négatives ou plus peuvent former des sels doubles ou triples ; par exemple, ces deux sels qui sont très présents dans la croûte terrestre : les feldspaths, des silicates [Si3O84-] doubles de potassium [K+] et d'aluminium [Al3+] ; la dolomite, un carbonate double de calcium et magnésium [CaMg(CO3)2].
Pot catalytiqueLe pot catalytique ou catalyseur est un élément de l'ensemble du pot d'échappement des moteurs à combustion interne qui vise à réduire la nocivité des gaz d'échappement. thumb|Vue « en écorché » d'un pot catalytique à enveloppe en inox.Dès la toute fin du , alors que seulement quelques milliers de voitures « à pétrole » sont en circulation, sont conçus en France des premiers prototypes de pots catalytiques automobiles, constitués d'une matière inerte « de contact » imprégnée de platine, d'iridium et de palladium, enfermée dans un cylindre métallique à double paroi isolante traversé de part en part par les gaz d'échappement.
