SupraconductivitéLa supraconductivité, ou supraconduction, est un phénomène physique caractérisé par l'absence de résistance électrique et l'expulsion du champ magnétique — l'effet Meissner — à l'intérieur de certains matériaux dits supraconducteurs. La supraconductivité découverte historiquement en premier, et que l'on nomme communément supraconductivité conventionnelle, se manifeste à des températures très basses, proches du zéro absolu (). La supraconductivité permet notamment de transporter de l'électricité sans perte d'énergie.
Superconducting wireSuperconducting wires are electrical wires made of superconductive material. When cooled below their transition temperatures, they have zero electrical resistance. Most commonly, conventional superconductors such as niobium–titanium are used, but high-temperature superconductors such as YBCO are entering the market. Superconducting wire's advantages over copper or aluminum include higher maximum current densities and zero power dissipation.
Supraconducteur à haute températureUn supraconducteur à haute température (en anglais, high-temperature superconductor : high- ou HTSC) est un matériau présentant une température critique de supraconductivité relativement élevée par rapport aux supraconducteurs conventionnels, c'est-à-dire en général à des températures supérieures à soit . Ce terme désigne en général la famille des matériaux de type cuprate, dont la supraconductivité existe jusqu'à . Mais d'autres familles de supraconducteurs, comme les supraconducteurs à base de fer découverts en 2008, peuvent aussi être désignées par ce même terme.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Transformateur de courantSelon la Commission électrotechnique internationale, un transformateur de courant est . Contrairement à un transformateur de tension, il a des impédances les plus basses possibles: au primaire, pour éviter de perturber le courant qu'il mesure; et au secondaire, pour être le plus proche possible d'un générateur de courant idéal. La notion de « transformateur de courant » est un abus de langage, mais elle a été popularisée dans l'industrie. L'expression « transformateur d'intensité » est probablement plus exacte.
Unconventional superconductorUnconventional superconductors are materials that display superconductivity which does not conform to conventional BCS theory or its extensions. The superconducting properties of CeCu2Si2, a type of heavy fermion material, were reported in 1979 by Frank Steglich. For a long time it was believed that CeCu2Si2 was a singlet d-wave superconductor, but since the mid 2010s, this notion has been strongly contested. In the early eighties, many more unconventional, heavy fermion superconductors were discovered, including UBe13, UPt3 and URu2Si2.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Technological applications of superconductivityTechnological applications of superconductivity include: the production of sensitive magnetometers based on SQUIDs (superconducting quantum interference devices) fast digital circuits (including those based on Josephson junctions and rapid single flux quantum technology), powerful superconducting electromagnets used in maglev trains, magnetic resonance imaging (MRI) and nuclear magnetic resonance (NMR) machines, magnetic confinement fusion reactors (e.g.
Limiteur de courant de défautLes limiteurs de courant de défaut sont des appareils électriques permettant de limiter la valeur du courant en cas de défaut électrique et notamment de court-circuit. Ces derniers sont en effet beaucoup plus élevés que les courants nominaux, ce qui impose de nombreuses contraintes dans le dimensionnement des autres appareils électriques d'un poste électrique. Par ailleurs, la valeur du courant de court-circuit augmente avec le nombre de centrales électriques connectées au réseau, il est donc possible que les équipements d'un poste ne soient plus adaptés aux contraintes en matière de court-circuit s'ils sont anciens.
Revenu (métallurgie)Les traitements thermiques dits de revenu font partie d'une famille de traitements thermiques ayant pour trait commun d'être toujours effectués à des températures inférieures aux températures de transformations allotropiques des métaux, lorsque celles-ci existent. Les revenus ont la particularité de produire deux effets : une transformation métallurgique rendue possible par le mécanisme de diffusion amorcé pendant un séjour suffisant à température (voir Diagramme temps-température-transformation) ; un abaissement de la limite d'élasticité et, de moindre façon, du module d'élasticité pendant la montée en température et une légère amorce de fluage pendant le temps de palier à température de revenu.
