SuperconductivitySuperconductivity is a set of physical properties observed in certain materials where electrical resistance vanishes and magnetic fields are expelled from the material. Any material exhibiting these properties is a superconductor. Unlike an ordinary metallic conductor, whose resistance decreases gradually as its temperature is lowered, even down to near absolute zero, a superconductor has a characteristic critical temperature below which the resistance drops abruptly to zero.
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.
High-temperature superconductivityHigh-temperature superconductors (abbreviated high-Tc or HTS) are defined as materials with critical temperature (the temperature below which the material behaves as a superconductor) above , the boiling point of liquid nitrogen. They are only "high-temperature" relative to previously known superconductors, which function at even colder temperatures, close to absolute zero. The "high temperatures" are still far below ambient (room temperature), and therefore require cooling.
Quantifier (logic)In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula.
Current transformerA current transformer (CT) is a type of transformer that is used to reduce or multiply an alternating current (AC). It produces a current in its secondary which is proportional to the current in its primary. Current transformers, along with voltage or potential transformers, are instrument transformers. Instrument transformers scale the large values of voltage or current to small, standardized values that are easy to handle for measuring instruments and protective relays.
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.
Fault current limiterA fault current limiter (FCL), also known as fault current controller (FCC), is a device which limits the prospective fault current when a fault occurs (e.g. in a power transmission network) without complete disconnection. The term includes superconducting, solid-state and inductive devices. Electric power distribution systems include circuit breakers to disconnect power in case of a fault, but to maximize reliability, they wish to disconnect the smallest possible portion of the network.
Tempering (metallurgy)Tempering is a process of heat treating, which is used to increase the toughness of iron-based alloys. Tempering is usually performed after hardening, to reduce some of the excess hardness, and is done by heating the metal to some temperature below the critical point for a certain period of time, then allowing it to cool in still air. The exact temperature determines the amount of hardness removed, and depends on both the specific composition of the alloy and on the desired properties in the finished product.
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.
QuenchingIn materials science, quenching is the rapid cooling of a workpiece in water, oil, polymer, air, or other fluids to obtain certain material properties. A type of heat treating, quenching prevents undesired low-temperature processes, such as phase transformations, from occurring. It does this by reducing the window of time during which these undesired reactions are both thermodynamically favorable, and kinetically accessible; for instance, quenching can reduce the crystal grain size of both metallic and plastic materials, increasing their hardness.
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.
VelocityVelocity is the speed and the direction of motion of an object. Velocity is a fundamental concept in kinematics, the branch of classical mechanics that describes the motion of bodies. Velocity is a physical vector quantity: both magnitude and direction are needed to define it. The scalar absolute value (magnitude) of velocity is called , being a coherent derived unit whose quantity is measured in the SI (metric system) as metres per second (m/s or m⋅s−1). For example, "5 metres per second" is a scalar, whereas "5 metres per second east" is a vector.
Existential quantificationIn predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain.
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.
SpeedIn everyday use and in kinematics, the speed (commonly referred to as v) of an object is the magnitude of the change of its position over time or the magnitude of the change of its position per unit of time; it is thus a scalar quantity. The average speed of an object in an interval of time is the distance travelled by the object divided by the duration of the interval; the instantaneous speed is the limit of the average speed as the duration of the time interval approaches zero.
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.
