Electromagnetic fieldAn electromagnetic field (also EM field or EMF) is a classical (i.e. non-quantum) field produced by moving electric charges. It is the field described by classical electrodynamics (a classical field theory) and is the classical counterpart to the quantized electromagnetic field tensor in quantum electrodynamics (a quantum field theory). The electromagnetic field propagates at the speed of light (in fact, this field can be identified as light) and interacts with charges and currents.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Magnetic levitationMagnetic levitation (maglev) or magnetic suspension is a method by which an object is suspended with no support other than magnetic fields. Magnetic force is used to counteract the effects of the gravitational force and any other forces. The two primary issues involved in magnetic levitation are lifting forces: providing an upward force sufficient to counteract gravity, and stability: ensuring that the system does not spontaneously slide or flip into a configuration where the lift is neutralized.
Mineral-insulated copper-clad cableMineral-insulated copper-clad cable is a variety of electrical cable made from copper conductors inside a copper sheath, insulated by inorganic magnesium oxide powder. The name is often abbreviated to MICC or MI cable, and colloquially known as pyro (because the original manufacturer and vendor for this product in the UK was a company called Pyrotenax). A similar product sheathed with metals other than copper is called mineral insulated metal sheathed (MIMS) cable.
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.
Magnetic reconnectionMagnetic reconnection is a physical process occurring in electrically conducting plasmas, in which the magnetic topology is rearranged and magnetic energy is converted to kinetic energy, thermal energy, and particle acceleration. Magnetic reconnection involves plasma flows at a substantial fraction of the Alfvén wave speed, which is the fundamental speed for mechanical information flow in a magnetized plasma. The concept of magnetic reconnection was developed in parallel by researchers working in solar physics and in the interaction between the solar wind and magnetized planets.
Lumped-element modelThe lumped-element model (also called lumped-parameter model, or lumped-component model) is a simplified representation of a physical system or circuit that assumes all components are concentrated at a single point and their behavior can be described by idealized mathematical models. The lumped-element model simplifies the system or circuit behavior description into a topology. It is useful in electrical systems (including electronics), mechanical multibody systems, heat transfer, acoustics, etc.
Lorentz transformationIn physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation is then parameterized by the negative of this velocity. The transformations are named after the Dutch physicist Hendrik Lorentz.
Lorentz ether theoryWhat is now often called Lorentz ether theory (LET) has its roots in Hendrik Lorentz's "theory of electrons", which marked the end of the development of the classical aether theories at the end of the 19th and at the beginning of the 20th century. Lorentz's initial theory was created between 1892 and 1895 and was based on removing assumptions about aether motion. It explained the failure of the negative aether drift experiments to first order in v/c by introducing an auxiliary variable called "local time" for connecting systems at rest and in motion in the aether.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Interplanetary magnetic fieldThe interplanetary magnetic field (IMF), now more commonly referred to as the heliospheric magnetic field (HMF), is the component of the solar magnetic field that is dragged out from the solar corona by the solar wind flow to fill the Solar System. The coronal and solar wind plasmas are highly electrically conductive, meaning the magnetic field lines and the plasma flows are effectively "frozen" together and the magnetic field cannot diffuse through the plasma on time scales of interest.
