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.
Optique matricielleL'optique matricielle est un formalisme mathématique employé pour calculer la trajectoire des rayons lumineux dans un système optique centré (à symétrie de révolution), dans le cadre de l'optique paraxiale (approximation de Gauss). Ce formalisme ne doit pas être confondu aux autres formalismes matriciels en optique, à savoir ceux de Jones et de Mueller, qui sont employés pour calculer les effets de polarisation. L’optique géométrique décrit la trajectoire des rayons lumineux, qui permettent de construire à l'aide de dessins l' d'un à travers un système optique.
Lentille de BarlowUne lentille de Barlow (du nom de son inventeur Peter Barlow) est une lentille divergente permettant de multiplier artificiellement la distance focale d'un instrument. Cette augmentation se fait cependant au prix d'une certaine perte de la qualité de l'image, dans la mesure où l'on ajoute une lentille au système. Cette dégradation se situe au niveau d'une perte de la luminosité (de l'ordre de 0,4 %, cependant, avec un traitement anti-reflets moderne), et de l'aberration chromatique introduite par une lentille simple.
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.
Verre correcteurUn verre correcteur est une lentille optique portée devant l'œil, principalement pour corriger les amétropies : myopie, hypermétropie, astigmatisme et presbytie. Les lunettes sont portées à une faible distance des yeux. Les lentilles de contact sont portées directement à la surface de l'œil. Les lentilles intraoculaires sont implantées chirurgicalement, majoritairement pour corriger la cataracte.
Lymphocyte TLes lymphocytes T, ou cellules T, sont une catégorie de leucocytes qui jouent un grand rôle dans la réponse immunitaire adaptative. « T » est l'abréviation de thymus, l'organe dans lequel leur développement s'achève. Ils sont responsables de l'immunité cellulaire : les cellules infectées par un virus par exemple, ou les cellules cancéreuses reconnues comme étrangères à l'organisme (c'est-à-dire distinctes des cellules que les lymphocytes T ont appris à tolérer lors de leur maturation) sont détruites par un mécanisme complexe.
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.
Aberration chromatiqueUne aberration chromatique est une aberration optique qui produit différentes mises au point en fonction de la longueur d'onde. On observe alors une image floue et aux contours irisés. Elle résulte de la décomposition de la lumière blanche en plusieurs bandes de couleurs. Les aberrations chromatiques ont été constatées dès les premières lunettes astronomiques et considérées comme gênantes. Isaac Newton, qui crée son propre télescope pourvu d'un miroir et donc dépourvu d'aberrations de ce type, clame, dans un premier temps, l'impossibilité physique de la correction de ces dernières.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
