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.
Ray tracing (physics)In physics, ray tracing is a method for calculating the path of waves or particles through a system with regions of varying propagation velocity, absorption characteristics, and reflecting surfaces. Under these circumstances, wavefronts may bend, change direction, or reflect off surfaces, complicating analysis. Ray tracing solves the problem by repeatedly advancing idealized narrow beams called rays through the medium by discrete amounts. Simple problems can be analyzed by propagating a few rays using simple mathematics.
Ray transfer matrix analysisRay transfer matrix analysis (also known as ABCD matrix analysis) is a mathematical form for performing ray tracing calculations in sufficiently simple problems which can be solved considering only paraxial rays. Each optical element (surface, interface, mirror, or beam travel) is described by a 2×2 ray transfer matrix which operates on a vector describing an incoming light ray to calculate the outgoing ray. Multiplication of the successive matrices thus yields a concise ray transfer matrix describing the entire optical system.
Barlow lensThe Barlow lens, named after Peter Barlow, is a diverging lens which, used in series with other optics in an optical system, increases the effective focal length of an optical system as perceived by all components that are after it in the system. The practical result is that inserting a Barlow lens magnifies the image. A real Barlow lens is not a single glass element, because that would generate chromatic aberration, and spherical aberration if the lens is not aspheric.
Normal lensIn photography and cinematography, a normal lens is a lens that reproduces a field of view that appears "natural" to a human observer. In contrast, depth compression and expansion with shorter or longer focal lengths introduces noticeable, and sometimes disturbing, distortion. Photographic technology employs different physical methods from the human eye in order to capture images. Thus, manufacturing optics which produce images that appear natural to human vision is problematic.
Corrective lensA corrective lens is a lens (i.e. a transmissive optical device) that is typically worn in front of the eye to improve daily vision. The most common use is to treat refractive errors: myopia, hypermetropia, astigmatism, and presbyopia. Glasses or "spectacles" are worn on the face a short distance in front of the eye. Contact lenses are worn directly on the surface of the eye. Intraocular lenses are surgically implanted most commonly after cataract removal but can be used for purely refractive purposes.
T cellT cells are one of the important types of white blood cells of the immune system and play a central role in the adaptive immune response. T cells can be distinguished from other lymphocytes by the presence of a T-cell receptor (TCR) on their cell surface. T cells are born from hematopoietic stem cells, found in the bone marrow. Developing T cells then migrate to the thymus gland to develop (or mature). T cells derive their name from the thymus. After migration to the thymus, the precursor cells mature into several distinct types of T cells.
Luneburg lensA Luneburg lens (original German Lüneburg lens, sometimes incorrectly spelled Luneberg lens) is a spherically symmetric gradient-index lens. A typical Luneburg lens's refractive index n decreases radially from the center to the outer surface. They can be made for use with electromagnetic radiation from visible light to radio waves. For certain index profiles, the lens will form perfect geometrical s of two given concentric spheres onto each other. There are an infinite number of refractive-index profiles that can produce this effect.
Chromatic aberrationIn optics, chromatic aberration (CA), also called chromatic distortion and spherochromatism, is a failure of a lens to focus all colors to the same point. It is caused by dispersion: the refractive index of the lens elements varies with the wavelength of light. The refractive index of most transparent materials decreases with increasing wavelength. Since the focal length of a lens depends on the refractive index, this variation in refractive index affects focusing.
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.
