Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Induction motorAn induction motor or asynchronous motor is an AC electric motor in which the electric current in the rotor needed to produce torque is obtained by electromagnetic induction from the magnetic field of the stator winding. An induction motor can therefore be made without electrical connections to the rotor. An induction motor's rotor can be either wound type or squirrel-cage type. Three-phase squirrel-cage induction motors are widely used as industrial drives because they are self-starting, reliable, and economical.
FV4034 Challenger 2Le FV4034 Challenger 2 est un char de combat britannique construit par Vickers Defence Systems (maintenant BAE Systems) et qui est en service depuis 1998 dans les armées du Royaume-Uni et d'Oman. Conçu pour remplacer le Chieftain, le Challenger 2 reprend une version modifiée du châssis du Challenger 1, alors en service, mais équipée d'une nouvelle tourelle. Cent-vingt-sept chars furent initialement commandés en juin 1991 mais, à la suite de la restructuration des régiments blindés de la British Army, il fut décidé d'en commander deux-cent cinquante-neuf autres en juillet 1994 pour remplacer également le Challenger 1.
VoltLe volt (symbole : V) est une unité de force électromotrice et de différence de potentiel (ou tension), dérivée du SI. Ce nom a été donné en hommage à Alessandro Volta, inventeur italien de la pile voltaïque en 1800. Le volt correspond à la différence de potentiel électrique entre deux points d'un circuit composé d'une résistance d'un ohm, lorsque ce même circuit est parcouru par un courant constant de . La puissance dissipée entre ces deux points est alors égale à .
Récurrence transfinieEn mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts. Les définitions par récursion transfinie — permettent de construire des objets infinis, et généralisent les définitions de suite par récurrence sur l'ensemble N des entiers naturels en considérant des familles indexées par un ordinal infini quelconque, au lieu de se borner au plus petit d'entre eux qu'est N, appelé ω en tant que nombre ordinal.
