Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Plane stressIn continuum mechanics, a material is said to be under plane stress if the stress vector is zero across a particular plane. When that situation occurs over an entire element of a structure, as is often the case for thin plates, the stress analysis is considerably simplified, as the stress state can be represented by a tensor of dimension 2 (representable as a 2×2 matrix rather than 3×3). A related notion, plane strain, is often applicable to very thick members.
Finite strain theoryIn continuum mechanics, the finite strain theory—also called large strain theory, or large deformation theory—deals with deformations in which strains and/or rotations are large enough to invalidate assumptions inherent in infinitesimal strain theory. In this case, the undeformed and deformed configurations of the continuum are significantly different, requiring a clear distinction between them. This is commonly the case with elastomers, plastically-deforming materials and other fluids and biological soft tissue.
Portable Document FormatLe Portable Document Format, communément abrégé en PDF, est un langage de description de page présenté par la société Adobe Systems en 1992 et qui est devenu une norme ISO en 2008. La spécificité du PDF est de préserver la mise en page d’un document telle qu'elle a été définie par son auteur, et cela quels que soient le logiciel, le système d'exploitation et l'ordinateur utilisés pour l’imprimer ou le visualiser. Le Portable Document Format qui se traduit de l'anglais en « format de document portable », généralement abrégé en PDF, est un format de fichier informatique créé par Adobe Systems.
Elasticity tensorThe elasticity tensor is a fourth-rank tensor describing the stress-strain relation in a linear elastic material. Other names are elastic modulus tensor and stiffness tensor. Common symbols include and . The defining equation can be written as where and are the components of the Cauchy stress tensor and infinitesimal strain tensor, and are the components of the elasticity tensor. Summation over repeated indices is implied. This relationship can be interpreted as a generalization of Hooke's law to a 3D continuum.
Angular momentum of lightThe angular momentum of light is a vector quantity that expresses the amount of dynamical rotation present in the electromagnetic field of the light. While traveling approximately in a straight line, a beam of light can also be rotating (or "spinning, or "twisting) around its own axis. This rotation, while not visible to the naked eye, can be revealed by the interaction of the light beam with matter. There are two distinct forms of rotation of a light beam, one involving its polarization and the other its wavefront shape.
Euler's laws of motionIn classical mechanics, Euler's laws of motion are equations of motion which extend Newton's laws of motion for point particle to rigid body motion. They were formulated by Leonhard Euler about 50 years after Isaac Newton formulated his laws. Euler's first law states that the rate of change of linear momentum p of a rigid body is equal to the resultant of all the external forces Fext acting on the body: Internal forces between the particles that make up a body do not contribute to changing the momentum of the body as there is an equal and opposite force resulting in no net effect.
Spin angular momentum of lightThe spin angular momentum of light (SAM) is the component of angular momentum of light that is associated with the quantum spin and the rotation between the polarization degrees of freedom of the photon. Spin is the fundamental property that distinguishes the two types of elementary particles: fermions with half-integer spins and bosons with integer spins. Photons, which are the quanta of light, have been long recognized as spin-1 gauge bosons. The polarization of the light is commonly accepted as its “intrinsic” spin degree of freedom.
Nombre quantique du moment angulaire totalEn mécanique quantique, le nombre quantique de moment angulaire total paramétrise le moment angulaire total d'une particule donnée, en combinant son moment angulaire orbital et son moment angulaire intrinsèque, c'est-à-dire son spin. En notant S le spin d'une particule et L son vecteur de moment angulaire orbital, le moment angulaire total J s'écrit : Le nombre quantique associé est le nombre quantique principal de moment angulaire total j.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
Momentum operatorIn quantum mechanics, the momentum operator is the operator associated with the linear momentum. The momentum operator is, in the position representation, an example of a differential operator. For the case of one particle in one spatial dimension, the definition is: where ħ is Planck's reduced constant, i the imaginary unit, x is the spatial coordinate, and a partial derivative (denoted by ) is used instead of a total derivative (d/dx) since the wave function is also a function of time. The "hat" indicates an operator.
Équilibre hydrostatiqueEn physique, on appelle équilibre hydrostatique l'état de repos atteint par un système lorsque la force d'attraction gravitationnelle subie par ce système est compensée par l'action des forces de pression d'un fluide (liquide, gaz ou plasma). Par exemple, les forces de pression empêchent la pesanteur de comprimer l'atmosphère terrestre en une coquille dense ; inversement, la pesanteur empêche la pression de diffuser l'atmosphère dans l'espace.
