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.
Protection cathodiqueLa protection cathodique permet de protéger un métal contre la corrosion. Pour modifier le potentiel du métal à protéger cathodiquement, une anode installée dans le même électrolyte est utilisée. Les anodes peuvent être de deux types : soit des anodes ayant un potentiel standard plus bas que le métal à protéger (anode sacrificielle), soit des anodes couplées à un générateur de tension continue imposant une différence de potentiel entre les deux métaux (méthode à courant imposé).
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.
Corrosion par piqûresLa corrosion par piqûres, ou corrosion de type pitting, est une forme extrêmement localisée de corrosion conduisant à la création d’un ou plusieurs petits trous dans le métal. L’origine de ce type de corrosion se trouve d’une part dans le manque d’oxygène sur une partie très réduite, celle-ci devient anodique (siège de la réaction d'oxydation du métal de base) ; pendant qu’une autre partie bénéficiant d’un excès d’oxygène devient, elle, cathodique (siège de la réaction de réduction de O2).
Base metalA base metal is a common and inexpensive metal, as opposed to a precious metal such as gold or silver. In numismatics, coins often derived their value from the precious metal content; however, base metals have also been used in coins in the past and today. In contrast to noble metals, base metals may be distinguished by oxidizing or corroding relatively easily and reacting variably with diluted hydrochloric acid (HCl) to form hydrogen. Examples include iron, nickel, lead and zinc.
ÉlectrolyteUn électrolyte est une substance conductrice en raison de la présence d'ions mobiles. Il existe des électrolytes liquides et solides. Les électrolytes liquides peuvent être des sels fondus, constitués uniquement d'ions, ou des solutions ioniques dans lesquelles un sel est dissous dans un solvant polaire comme l'eau. Les électrolytes solides sont des cristaux dans lesquels certains ions sont mobiles ou des polymères comme ceux utilisés dans les membranes échangeuses d'ions.
É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.
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.
Noir de platineLe noir de platine est une poudre fine de platine avec de bonnes propriétés catalytiques et dont le nom est dû à sa couleur noire. Le noir de platine est couramment utilisé sous forme de film mince qui sert à recouvrir du platine métallique solide, afin de former des électrodes de platine pour des applications en électrochimie. Le procédé mis en œuvre pour recouvrir les électrodes de noir de platine se nomme « platinisation du platine ».
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.
