Moment cinétique spécifiqueEn mécanique céleste, le moment cinétique spécifique joue un rôle important pour la solution du problème à deux corps. On peut démontrer que ce vecteur est constant pour une orbite dans des conditions idéales. Ceci mène directement à la deuxième loi de Kepler. Cet article traite du moment cinétique spécifique parce qu'il ne s'agit pas du moment cinétique proprement dit, mais du moment cinétique par unité de masse pour être exact la masse réduite . Son unité SI est donc m2·s−1.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Canon de NewtonLe canon de Newton est une expérience de pensée d'Isaac Newton, utilisée par celui-ci pour énoncer sa conjecture selon laquelle la gravitation est la composante majeure du poids ou force de pesanteur. Elle apparaît dans A Treatise of the System of the World, ouvrage de Newton paru à Londres en 1728. Elle a été popularisée par l'Astronomie populaire, ouvrage de vulgarisation scientifique de Camille Flammarion paru en 1880 et traduit en anglais dès 1894, ainsi que par De la Terre à la Lune, roman populaire d'aventure et d'anticipation de Jules Verne paru en 1865.
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.
Adobe AcrobatAdobe Acrobat est une famille de logiciels mis au point par Adobe Systems, pour manipuler des documents électroniques au format PDF. Le programme Adobe Acrobat Reader DC (auparavant appelé Adobe Acrobat Reader, puis Adobe Reader) est disponible gratuitement sur le site Web d'Adobe et permet l' et l'impression des fichiers PDF. Les nombreux programmes commerciaux de la gamme Acrobat permettent d'effectuer quelques modifications minimales et d'ajouter des fonctionnalités aux documents PDF (formulaire PDF par exemple).
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.
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.
