Inversion de pousséevignette|upright=1.25|Inverseur de poussée sur un Airbus A321. Dans le domaine aéronautique, linversion de poussée, souvent désignée par son terme anglais « reverse » (issu de « reverse thrust »), est un dispositif permettant d'orienter vers l'avant une partie ou la totalité de la poussée exercée par un moteur à hélice ou à réaction, dans le but de ralentir un avion et de réduire sa distance de freinage lors de l'atterrissage. L'inversion de poussée est surtout utilisée sur les avions civils, et sur les avions militaires qui en sont dérivés (avions de transport, ravitailleurs, etc.
Mécanique newtonienneLa mécanique newtonienne est une branche de la physique. Depuis les travaux d'Albert Einstein, elle est souvent qualifiée de mécanique classique. La mécanique classique ou mécanique newtonienne est une théorie physique qui décrit le mouvement des objets macroscopiques lorsque leur vitesse est faible par rapport à celle de la lumière. Avant de devenir une science à part entière, la mécanique a longtemps été une section des mathématiques. De nombreux mathématiciens y ont apporté une contribution souvent décisive, parmi eux des grands noms tels qu'Euler, Cauchy, Lagrange.
Nintendo 64 controllerThe Nintendo 64 controller (model number: NUS-005) is the standard game controller for the Nintendo 64 home video game console. Manufactured and released by Nintendo on June 23, 1996, in Japan, in September 29, 1996 in North America, and March 1, 1997 in Europe, it is the successor to the Super Nintendo controller and is designed in an "M" shape and features 10 buttons, one analog "Control Stick" and a directional pad. The controller was designed by Nintendo R&D3, under direction to try new ideas that would break from typical game controllers.
Variable-pitch propeller (aeronautics)In aeronautics, a variable-pitch propeller is a type of propeller (airscrew) with blades that can be rotated around their long axis to change the blade pitch. A controllable-pitch propeller is one where the pitch is controlled manually by the pilot. Alternatively, a constant-speed propeller is one where the pilot sets the desired engine speed (RPM), and the blade pitch is controlled automatically without the pilot's intervention so that the rotational speed remains constant.
Lagrangien (théorie des champs)La théorie lagrangienne des champs est un formalisme de la théorie classique des champs. C'est l'analogue de la théorie des champs de la mécanique lagrangienne. La mécanique lagrangienne est utilisée pour analyser le mouvement d'un système de particules discrètes chacune ayant un nombre fini de degrés de liberté. La théorie lagrangienne des champs s'applique aux continus et aux champs, qui ont un nombre infini de degrés de liberté.
Lagrangian systemIn mathematics, a Lagrangian system is a pair (Y, L), consisting of a smooth fiber bundle Y → X and a Lagrangian density L, which yields the Euler–Lagrange differential operator acting on sections of Y → X. In classical mechanics, many dynamical systems are Lagrangian systems. The configuration space of such a Lagrangian system is a fiber bundle Q → R over the time axis R. In particular, Q = R × M if a reference frame is fixed. In classical field theory, all field systems are the Lagrangian ones.
Complétude (logique)En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes ; autrement, le système est dit incomplet. Le terme « complet » est également utilisé sans qualification, avec des significations différentes selon le contexte, la plupart du temps se référant à la propriété de la validité sémantique.
Théorème de complétude de GödelEn logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable.
Ricci-flat manifoldIn the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a (pseudo-)Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are of fundamental interest, as they are the solutions of Einstein's field equations in vacuum with vanishing cosmological constant. In Lorentzian geometry, a number of Ricci-flat metrics are known from works of Karl Schwarzschild, Roy Kerr, and Yvonne Choquet-Bruhat.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
