Programme Voyagerright|thumb|La sonde Voyager 2. Le programme Voyager est un programme d'exploration robotique de l'agence spatiale américaine (NASA) dont l'objectif est d'étudier les planètes extérieures du Système solaire. Il comprend deux sondes spatiales identiques et lancées en 1977 qui ont survolé les planètes Jupiter, Saturne, Uranus, Neptune ainsi que 48 de leurs satellites. Les données collectées par les neuf instruments portés par chaque sonde en font sans doute la mission d'exploration du Système solaire la plus fructueuse sur le plan scientifique de toute l'histoire spatiale.
Champ électromagnétiqueUn champ électromagnétique ou Champ EM (en anglais, electromagnetic field ou EMF) est la représentation dans l'espace de la force électromagnétique qu'exercent des particules chargées. Concept important de l'électromagnétisme, ce champ représente l'ensemble des composantes de la force électromagnétique s'appliquant sur une particule chargée se déplaçant dans un référentiel galiléen. Une particule de charge q et de vecteur vitesse subit une force qui s'exprime par : où est le champ électrique et est le champ magnétique.
Voyager 1Voyager 1 est l'une des deux sondes spatiales jumelles du programme spatial Voyager de la NASA destinées à l'étude des planètes externes du Système solaire qui n'avaient jusque-là été observées qu'au moyen de télescopes situés sur Terre, notamment les systèmes de Jupiter et de Saturne. Son lancement a eu lieu le . Voyager 1 est, avec sa sonde jumelle Voyager 2, à l'origine d'un grand nombre de découvertes sur le Système solaire remettant parfois en cause ou affinant les modèles théoriques existants et, à ce titre, une des missions spatiales les plus fructueuses de l'agence spatiale américaine.
Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
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.
Théorie oméga-cohérenteEn logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
MagnétohydrodynamiqueLa magnétohydrodynamique (MHD) est une discipline scientifique qui décrit le comportement d'un fluide conducteur du courant électrique en présence de champs électromagnétiques. Elle s'applique notamment aux plasmas, au noyau externe et même à l'eau de mer. C'est une généralisation de l'hydrodynamique (appelée plus communément dynamique des fluides, définie par les équations de Navier-Stokes) couplée à l'électromagnétisme (équations de Maxwell).
Courant alternatifLe courant alternatif (qui peut être abrégé par CA) est un courant électrique périodique qui change de sens deux fois par période et qui transporte des quantités d'électricité alternativement égales dans un sens et dans l'autre. Un courant alternatif a donc une composante continue (valeur moyenne) nulle. Un courant alternatif est caractérisé par sa fréquence, mesurée en hertz (Hz). La fréquence correspond au nombre de périodes du signal en une seconde (une oscillation = une période).
Densité de courantLa densité de courant, ou densité volumique de courant, est un vecteur qui décrit le courant électrique à l'échelle locale, en tout point d'un système physique. Dans le Système international d'unités, son module s'exprime en ampères par mètre carré ( ou ). À l'échelle du système tout entier il s'agit d'un champ de vecteurs, puisque le vecteur densité de courant est défini en tout point.
Sonde de LangmuirUne sonde de Langmuir est un instrument qui permet de mesurer la température et la densité électronique, ainsi que le potentiel électrique d'un plasma. Elle consiste à insérer une ou plusieurs électrodes dans un plasma, avec un potentiel électrique constant ou variable dans le temps entre les électrodes ou entre celles-ci et le contenant. Les potentiels et courants électriques mesurés permettent de déterminer les grandeurs physiques du plasma. La sonde est nommée d'après le nom du physicien Irving Langmuir.
