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.
Electrical faultIn an electric power system, a fault or fault current is any abnormal electric current. For example, a short circuit is a fault in which a live wire touches a neutral or ground wire. An open-circuit fault occurs if a circuit is interrupted by a failure of a current-carrying wire (phase or neutral) or a blown fuse or circuit breaker. In three-phase systems, a fault may involve one or more phases and ground, or may occur only between phases. In a "ground fault" or "earth fault", current flows into the earth.
Trempe (métallurgie)La trempe est une opération métallurgique qui fait partie des traitements thermiques et consiste à chauffer un métal puis à le refroidir rapidement pour en améliorer la résistance élastique. La trempe s'effectue à une température de changement de phase ou bien de mise en solution de composés chimiques, selon l'objet de la trempe, pendant le temps nécessaire à la transformation de toute la masse chauffée. Le refroidissement consécutif de toute cette masse est effectué à une vitesse suffisante pour emprisonner des éléments chimiques qui ont pu se diffuser dans le solide cristallin à haute température.
Prospective short-circuit currentThe prospective short-circuit current (PSCC), available fault current, or short-circuit making current is the highest electric current which can exist in a particular electrical system under short-circuit conditions. It is determined by the voltage and impedance of the supply system. It is of the order of a few thousand amperes for a standard domestic mains electrical installation, but may be as low as a few milliamperes in a separated extra-low voltage (SELV) system or as high as hundreds of thousands of amps in large industrial power systems.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
Vecteur vitesseLe vecteur vitesse, nommé parfois vélocité, est une notion de physique qui à la différence de la vitesse comprend un déplacement vers un point. Par exemple, une voiture a une vitesse de 60 km/h mais a une vélocité de 60 km/h vers le nord, le nord étant un point de référence ou de destination pour la voiture. Le terme vélocité est tiré des mots latins velocitas et velox signifiant respectivement rapidité, vitesse, et rapide, prompt, véloce, mots ayant eux-mêmes une origine obscure, mais supposé étant lié à la racine proto-indo-européenne wegh- signifiant "aller, bouger," et "transport dans un véhicule".
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Superconducting magnetA superconducting magnet is an electromagnet made from coils of superconducting wire. They must be cooled to cryogenic temperatures during operation. In its superconducting state the wire has no electrical resistance and therefore can conduct much larger electric currents than ordinary wire, creating intense magnetic fields. Superconducting magnets can produce stronger magnetic fields than all but the strongest non-superconducting electromagnets, and large superconducting magnets can be cheaper to operate because no energy is dissipated as heat in the windings.
VitesseEn physique, la vitesse est une grandeur qui mesure le rapport d'une évolution au temps. Exemples : vitesse de sédimentation,vitesse d'une réaction chimique, etc. De manière élémentaire, la vitesse s'obtient par la division d'une mesure d'une variation (de longueur, poids, volume, etc.) durant un certain temps par la mesure de ce temps écoulé. En particulier, en cinématique, la vitesse est une grandeur qui mesure pour un mouvement, le rapport de la distance parcourue au temps écoulé.
Protective relayIn electrical engineering, a protective relay is a relay device designed to trip a circuit breaker when a fault is detected. The first protective relays were electromagnetic devices, relying on coils operating on moving parts to provide detection of abnormal operating conditions such as over-current, overvoltage, reverse power flow, over-frequency, and under-frequency. Microprocessor-based solid-state digital protection relays now emulate the original devices, as well as providing types of protection and supervision impractical with electromechanical relays.
