Demagnetizing fieldThe demagnetizing field, also called the stray field (outside the magnet), is the magnetic field (H-field) generated by the magnetization in a magnet. The total magnetic field in a region containing magnets is the sum of the demagnetizing fields of the magnets and the magnetic field due to any free currents or displacement currents. The term demagnetizing field reflects its tendency to act on the magnetization so as to reduce the total magnetic moment.
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.
Electric fieldAn electric field (sometimes E-field) is the physical field that surrounds electrically charged particles and exerts force on all other charged particles in the field, either attracting or repelling them. It also refers to the physical field for a system of charged particles. Electric fields originate from electric charges and time-varying electric currents. Electric fields and magnetic fields are both manifestations of the electromagnetic field, one of the four fundamental interactions (also called forces) of nature.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
Nuclear magnetic resonanceNuclear magnetic resonance (NMR) is a physical phenomenon in which nuclei in a strong constant magnetic field are perturbed by a weak oscillating magnetic field (in the near field) and respond by producing an electromagnetic signal with a frequency characteristic of the magnetic field at the nucleus. This process occurs near resonance, when the oscillation frequency matches the intrinsic frequency of the nuclei, which depends on the strength of the static magnetic field, the chemical environment, and the magnetic properties of the isotope involved; in practical applications with static magnetic fields up to ca.
Macroscopic quantum phenomenaMacroscopic quantum phenomena are processes showing quantum behavior at the macroscopic scale, rather than at the atomic scale where quantum effects are prevalent. The best-known examples of macroscopic quantum phenomena are superfluidity and superconductivity; other examples include the quantum Hall effect and topological order. Since 2000 there has been extensive experimental work on quantum gases, particularly Bose–Einstein condensates. Between 1996 and 2016 six Nobel Prizes were given for work related to macroscopic quantum phenomena.
Magnetic tensionIn physics, magnetic tension is a restoring force with units of force density that acts to straighten bent magnetic field lines. In SI units, the force density exerted perpendicular to a magnetic field can be expressed as where is the vacuum permeability. Magnetic tension forces also rely on vector current densities and their interaction with the magnetic field. Plotting magnetic tension along adjacent field lines can give a picture as to their divergence and convergence with respect to each other as well as current densities.
Lorentz forceIn physics (specifically in electromagnetism), the Lorentz force (or electromagnetic force) is the combination of electric and magnetic force on a point charge due to electromagnetic fields. A particle of charge q moving with a velocity v in an electric field E and a magnetic field B experiences a force (in SI units) of It says that the electromagnetic force on a charge q is a combination of a force in the direction of the electric field E proportional to the magnitude of the field and the quantity of charge, and a force at right angles to the magnetic field B and the velocity v of the charge, proportional to the magnitude of the field, the charge, and the velocity.
Field coilA field coil is an electromagnet used to generate a magnetic field in an electro-magnetic machine, typically a rotating electrical machine such as a motor or generator. It consists of a coil of wire through which a current flows. In a rotating machine, the field coils are wound on an iron magnetic core which guides the magnetic field lines. The magnetic core is in two parts; a stator which is stationary, and a rotor, which rotates within it.
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.
