QuadrivitesseEn physique, en particulier en relativité restreinte et en relativité générale, la quadrivitesse d'un objet est un quadrivecteur généralisant le vecteur vitesse en mécanique classique. La quadrivitesse est une des notions que le mathématicien et physicien allemand Hermann Minkowski (-) a introduites dans le cadre de sa reformulation géométrique de la relativité restreinte d'Albert Einstein (-). La quadrivitesse est ainsi désignée car elle est le quadrivecteur qui généralise la notion de vitesse de la mécanique newtonienne.
Navigation inertiellevignette|295x295px|Centrale à inertie du missile S3, Musée de l'Air et de l'Espace, Paris Le Bourget (France) La navigation inertielle (en anglais, inertial navigation system ou INS) est une technique utilisant des capteurs d’accélération et de rotation afin de déterminer le mouvement absolu d’un véhicule (avion, missile, sous-marin...). Elle a l’avantage d’être totalement autonome. La navigation inertielle a été utilisée sur les V1 et V2 allemands. Charles Stark Draper est connu comme le « père de la navigation inertielle ».
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Proper velocityIn relativity, proper velocity (also known as celerity) w of an object relative to an observer is the ratio between observer-measured displacement vector and proper time τ elapsed on the clocks of the traveling object: It is an alternative to ordinary velocity, the distance per unit time where both distance and time are measured by the observer. The two types of velocity, ordinary and proper, are very nearly equal at low speeds. However, at high speeds proper velocity retains many of the properties that velocity loses in relativity compared with Newtonian theory.
Dimension topologiqueEn mathématiques, une dimension topologique est une notion destinée à étendre à des espaces topologiques la notion algébrique de dimension d'un espace vectoriel. C'est un invariant topologique, entier ou infini. Les trois principales dimensions topologiques sont les deux dimensions inductives ind et Ind et la dimension de recouvrement dim. Les dimensions Ind et dim coïncident pour tout espace métrisable ; si l'espace est de plus séparable, ses trois dimensions topologiques sont égales.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Découpage plasmaLe découpage plasma est un procédé de découpage par fusion localisée, dans lequel un jet de gaz ou d’air comprimé chasse le métal porté à une température de fusion. La température générée par l'arc électrique est voisine de . Le terme plasma désigne le quatrième état de la matière, quand elle n’est plus composée d’atomes et de molécules mais d’ions et d’électrons. Ces derniers apparaissent lors de la scission des molécules et des atomes. Cet état est atteint lorsque plusieurs conditions sont réunies : gaz, pression, température élevée.
Circular motionIn physics, circular motion is a movement of an object along the circumference of a circle or rotation along a circular path. It can be uniform, with a constant angular rate of rotation and constant speed, or non-uniform with a changing rate of rotation. The rotation around a fixed axis of a three-dimensional body involves the circular motion of its parts. The equations of motion describe the movement of the center of mass of a body. In circular motion, the distance between the body and a fixed point on the surface remains the same.
Équation du mouvementL'équation du mouvement est une équation mathématique décrivant le mouvement d'un objet physique. En général, l'équation du mouvement comprend l'accélération de l’objet en fonction de sa position, de sa vitesse, de sa masse et de toutes variables affectant l'une de celles-ci. Cette équation est surtout utilisée en mécanique classique et est normalement représentée sous la forme de coordonnées sphériques, coordonnées cylindriques ou coordonnées cartésiennes et respecte les lois du mouvement de Newton.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Gravure au plasmaLa gravure au plasma est une technique de gravure sèche utilisée en microfabrication (microélectronique). La gravure au plasma consiste à faire subir à un échantillon (wafer) un bombardement de gaz ionisé (plasma) afin d'en retirer une ou plusieurs couches de matériaux. Cette méthode de gravure est purement physique (par opposition aux gravures chimiques), au sens où il n'y a pas de réaction chimique entre l'échantillon et le plasma, mais que ce dernier agit uniquement par effet mécanique. Physique des plas
Tangente (géométrie)Tangente vient du latin tangere, toucher : en géométrie, la tangente à une courbe en un de ses points est une droite qui « touche » la courbe au plus près au voisinage de ce point. La courbe et sa tangente forment alors un angle nul en ce point. La notion de tangente permet d'effectuer des approximations : pour la résolution de certains problèmes qui demandent de connaître le comportement de la courbe au voisinage d'un point, on peut assimiler celle-ci à sa tangente. Ceci explique la parenté entre la notion de tangente et le calcul différentiel.
