Générateur thermoélectrique à radioisotope multi-missionvignette|Schéma des constituants d'un MMRTG (en anglais). vignette|Curiosity, le rover de Mars Science Laboratory (en anglais), et son MMRTG au cœur du dispositif noir, visible à droite de l'image, à l'arrière de l'astromobile. Un générateur thermoélectrique à radioisotope multi-mission (MMRTG en anglais, pour Multi-Mission Radioisotope Thermoelectric Generator) est un générateur thermoélectrique à radioisotope (RTG en anglais) de nouvelle génération utilisé par la NASA pour succéder aux GPHS-RTG des sondes Ulysses, Galileo, Cassini-Huygens et New Horizons.
Radial trajectoryIn astrodynamics and celestial mechanics a radial trajectory is a Kepler orbit with zero angular momentum. Two objects in a radial trajectory move directly towards or away from each other in a straight line. There are three types of radial trajectories (orbits). Radial elliptic trajectory: an orbit corresponding to the part of a degenerate ellipse from the moment the bodies touch each other and move away from each other until they touch each other again. The relative speed of the two objects is less than the escape velocity.
Reconnexion magnétiquedroite|vignette|380px|Reconnexion magnétique: Ce schéma est une coupe à travers quatre domaines magnétiques séparés par une interface propice à un phénomène de reconnexion. Deux séparatrices (voir texte) divisent l'espace en quatre domaines magnétiques avec un point critique (de stagnation) au centre de la figure. Les larges flèches jaunes indiquent le mouvement général du plasma. Les lignes magnétiques et le plasma qui les porte s'écoulent vers le centre à partir du haut (lignes rouges) et du bas (lignes bleues) de l'image, reconnectent au niveau de la zone critique, puis s'évacuent vers l'extérieur à gauche et à droite.
Avion à réactionUn avion à réaction est un avion propulsé par un moteur à réaction. Apparu peu avant la Première Guerre mondiale, expérimental dans les années 1930, opérationnel à la fin de la Seconde Guerre mondiale, ce type d'avion s'est imposé dans le domaine militaire dans les années 1950 puis, par la suite, dans le domaine civil pour les vols long ou moyen-courrier. En 1910, l'ingénieur roumain Henri Coandă présente un avion équipé d'un moteur à réaction. Le premier vol est très bref et se termine par le crash de l'appareil.
Moteur à réactionUn moteur à réaction est un moteur destiné à la propulsion de véhicule (majoritairement aérien, mais pas uniquement). Le principe de base repose sur la projection d'un fluide (gaz ou liquide) dans une certaine direction ; par réaction, ce fluide transmet alors une poussée au véhicule dans la direction opposée. Le rapport poids/puissance très favorable de ce type de motorisation lui ouvre de nombreuses applications dans les secteurs aéronautiques (avions à grande vitesse) et spatiaux ainsi que marins (hydrojet).
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Trajectoire paraboliquethumb|La ligne verte représente une trajectoire parabolique. En mécanique céleste et en mécanique spatiale, une trajectoire parabolique (ou orbite parabolique) est une orbite de Kepler dont l'excentricité est égale à 1. L'objet en orbite décrit alors, sur le plan de l'orbite, une parabole dont le foyer est l'objet plus massif. Le mouvement parabolique s'effectue lorsqu'un projectile est soumis à une vitesse initiale et à la seule accélération de la pesanteur. Un exemple courant de mouvement parabolique est l'obus tiré depuis un canon.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
