Image numériqueL'appellation d'image numérique désigne toute (dessin, icône, photographie...) acquise, créée, traitée et stockée sous forme binaire : acquise par des convertisseurs analogique-numérique situés dans des dispositifs comme les scanners, les appareils photo ou les caméscopes numériques, les cartes d’acquisition vidéo (qui numérisent directement une source comme la télévision) créée directement par des programmes informatiques, grâce à une souris, des tablettes graphiques ou par de la modélisation 3D (ce que l’on appelle, par abus de langage, les « images de synthèse ») ; traitée grâce à des outils graphiques, de façon à la transformer, à en modifier la taille, les couleurs, d’y ajouter ou d'en supprimer des éléments, d’y appliquer des filtres variés stockée sur un support informatique (clé USB, SSD, disque dur, CD-ROM.
Géologie de Marsvignette|droite|Basaltes (en bleu) et olivines (en violet) de Ganges Chasma (Valles Marineris) vus par le spectromètre infrarouge THEMIS de la sonde 2001 Mars Odyssey. vignette|droite|Image en fausses couleurs, prise le par l'instrument HiRISE de la sonde MRO, d'un glissement de terrain dans le cratère Zunil par et , sur la paroi interne au sud-est du cratère. Celui-ci n'est pas très ancien, moins de dix millions d'années, et le glissement de terrain est suffisamment récent pour n'avoir pas encore été recouvert de poussières ; il a pu être provoqué par un séisme ou par un impact météoritique survenu très récemment.
Sojourner (rover)Sojourner is a robotic Mars rover that landed in the Ares Vallis channel in the Chryse Planitia region of the Oxia Palus quadrangle on July 4, 1997. Sojourner was operational on Mars for 92 sols (95 Earth days). It was the first wheeled vehicle to rove on a planet other than Earth and formed part of the Mars Pathfinder mission. The rover was equipped with front and rear cameras, and hardware that was used to conduct several scientific experiments.
Mars 2020 (mission spatiale)vignette|upright=1.4|Test de la phase de séparation de l'étage de descente (Sky Crane) et de l'astromobile Perseverance. est une mission spatiale qui consiste à déployer l'astromobile (rover) Perseverance sur le sol martien pour étudier sa surface et collecter des échantillons du sol. Cette mission d'exploration de la planète Mars est développée par le JPL, établissement de la NASA, l'agence spatiale américaine. Elle constitue la première d'une série de trois missions dont l'objectif final est de ramener ces échantillons sur Terre pour permettre leur analyse.
Roche magmatiqueLes roches magmatiques ou roches ignées (anciennement, roches éruptives), se forment quand un magma se refroidit et se solidifie, avec ou sans cristallisation complète des minéraux le composant. Cette solidification peut se produire : lentement en profondeur, cas des roches magmatiques plutoniques (dites « intrusives ») ; rapidement à la surface, cas des roches magmatiques volcaniques (dites « extrusives » ou « effusives »).
Imagerie spatialethumb|Première image de la Terre prise par un satellite en orbite. Elle montre une zone éclairée par le Soleil dans l'océan Pacifique et la couverture nuageuse. L'image a été faite alors que le satellite Explorer 6 se trouvait à environ d'altitude, le . thumb|La région des Grands lacs vus depuis l'ISS en 2013 par l'astronaute canadien Chris Hadfield. L'imagerie spatiale est une technique d'observation à distance qui repose sur la prise d'images dans le domaine optique (lumière visible, infrarouge et ultraviolet) depuis l'espace par des équipements installés à bord de satellites artificiels.
Ingenuity (hélicoptère)Ingenuity ou en (MHS) est un petit hélicoptère d'un peu moins de deux kilogrammes développé par l'agence spatiale américaine, la NASA, qui est mis en œuvre à titre expérimental sur le sol de la planète Mars au cours de la mission Mars 2020, lancée le à bord d'une fusée et dont l'atterrissage a eu lieu le . L'hélicoptère est embarqué à bord du rover Perseverance avant d'être déposé le 3 avril 2021 sur le sol martien. Le , pour la première fois dans l'histoire de l'ère spatiale, un engin effectue un vol motorisé sur une autre planète.
Roche volcaniquevignette| alt=Une roche volcanique.|Un exemple de roche volcanique : picro-basalte du piton de la Fournaise (La Réunion, France). Les roches volcaniques sont des roches magmatiques, résultant du refroidissement rapide d'une lave (un magma arrivé à la surface), d'où leurs autres noms de volcanites, roches extrusives, roches effusives ou roches éruptives. Les noms des roches volcaniques sont d'origines variées. Outre ceux d'origine locale ou historique, les différents types de descriptions morphologiques, par ex.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Manœuvre orbitalevignette|Trajectoires des sondes Voyager de la NASA. Dans le domaine des vols spatiaux, une manœuvre orbitale est définie comme étant l’utilisation d’un système de propulsion spatiale afin de modifier l’orbite d’un astronef. Par exemple il peut s’agir de l’augmentation ou la diminution de la vitesse d’une sonde interplanétaire, de l’orientation d’un satellite, ou encore de la modification de l’inclinaison de son orbite. Par opposition, lorsque le véhicule spatial considéré n’est pas soumis à une manœuvre orbitale, on dit alors qu’il est en phase de vol balistique.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Roche métamorphiqueUne roche métamorphique est un type de roches dont la formation a pour origine la transformation à l'état solide des roches sédimentaires, magmatiques ou encore métamorphiques dans un régime de contraintes au cours d'un temps long, en raison des modifications des paramètres physico-chimiques du milieu dans lequel elles évoluent (notamment la pression, la température et la teneur en eau). Cette transformation, désignée sous le terme de métamorphisme, se traduit par une modification de la texture, de l'assemblage minéralogique à l'équilibre ou de la composition chimique de la roche.
