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.
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.
VHDLVHDL est un langage de description de matériel destiné à représenter le comportement ainsi que l'architecture d’un système électronique numérique. Son nom complet est VHSIC Hardware Description Language. L'intérêt d'une telle description réside dans son caractère exécutable : une spécification décrite en VHDL peut être vérifiée par simulation, avant que la conception détaillée ne soit terminée.
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.
SystemVerilogSystemVerilog est à la fois un langage de description, se basant pour cela sur Verilog, et un langage de vérification de matériel, permettant de faire de la simulation et vérification. Il est standardisé sous le numéro IEEE 1800 par l'Institute of Electrical and Electronics Engineers (IEEE). En 2020, le langage en était à la septième révision en 20 ans avec IEEE 1800-2017 publié en février 2018. Le développement de la norme est fait de façon transparente et collaborative, via le site accellera.mantishub.
Équation de NernstEn électrochimie, l'équation de Nernst donne la tension d'équilibre (E) de l'électrode par rapport au potentiel standard (E) du couple redox mis en jeu. Elle n'a de sens que si un seul couple redox est présent en solution (l'équation de Nernst ne s'applique donc pas aux potentiels mixtes) et que si les deux espèces de ce couple sont présentes. Soit la demi-réaction redox suivante toujours présentée dans le sens de la réduction.
É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.
Génie électrochimiqueLe génie électrochimique est la branche de l'ingénierie portant sur les applications technologiques des phénomènes électrochimiques, tels que l'électrosynthèse des produits chimiques, l'extraction électrolytique, l'affinage des métaux, les batteries d'accumulateurs, les piles à combustible, la modification de surface par électrodéposition, les séparations électrochimiques et la corrosion. Cette discipline est un chevauchement entre le génie électrique et génie chimique.
Loi de TafelLa loi de Tafel en électrochimie relie la surtension entre les électrodes à la densité de courant. L'équation de Tafel fut tout d'abord une loi empirique, déterminée expérimentalement, et qui a fait l'objet, plus tardivement, d'une mise en contexte théorique. Cette loi doit son nom au chimiste suisse Julius Tafel (1862-1918). Elle s'applique à diverses applications de l'électrochimie : pile à combustible, électrolyseur ou galvanoplastie.
Langage de description de matérielUn langage de description de matériel, ou du matériel (ou HDL pour hardware description language en anglais) est un langage informatique permettant la description d'un circuit électronique au niveau des transferts de registres (RTL). Celui-ci peut décrire les fonctions réalisées par le circuit (description comportementale) ou les portes logiques utilisées par le circuit (description structurelle). Il est possible d'observer le fonctionnement d'un circuit électronique modélisé dans un langage de description grâce à la simulation.