Nébuleuse du CrabeLa nébuleuse du Crabe (M1, NGC 1952, Taurus A, Taurus X-1, Sh2-244) est un rémanent de supernova résultant de l'explosion d'une étoile massive en supernova historique (SN 1054). Observée par un astronome chinois durant la période de la dynastie Song de à . La nébuleuse a été observée pour la première fois en 1731 par John Bevis, puis en 1758 par Charles Messier, qui en fait le premier objet de son catalogue (catalogue Messier).
Glossaire des météoritesAblation : processus par lequel un météoroïde perd une partie de sa masse par fusion puis vaporisation, en raison du frottement atmosphérique, pendant sa chute sur Terre. Acapulcoïte : achondrite primitive de composition intermédiaire entre les chondrites de types E et H. Les acapulcoïtes gardent des traces de textures chondritiques, notamment des fantômes de chondres. Accrétion : processus par lequel la matière du disque protoplanétaire se rassemble pour former des planétésimaux, puis ceux-ci pour former des planètes.
Extraterrestrial materialsExtraterrestrial material refers to natural objects now on Earth that originated in outer space. Such materials include cosmic dust and meteorites, as well as samples brought to Earth by sample return missions from the Moon, asteroids and comets, as well as solar wind particles. Extraterrestrial materials are of value to science as they preserve the primitive composition of the gas and dust from which the Sun and the Solar System formed.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
M16 (amas ouvert)M16 (NGC 6611) est un très jeune amas ouvert situé dans la queue de la constellation du Serpent, à proximité des constellations du Sagittaire et de l'Écu de Sobieski. M16 est entouré par la nébuleuse de l'Aigle dont la désignation est IC 4703. On désigne en certains endroits cette nébuleuse comme M16 et il règne une certaine confusion entre ces deux objets. L'amas M16 a été découvert par l'astronome suisse Jean Philippe Loys de Cheseaux en 1745 et on attribue la découverte de la nébuleuse à Charles Messier.
Système solaireLe Système solaire (avec majuscule), ou système solaire (sans majuscule), est le système planétaire du Soleil, auquel appartient la Terre. Il est composé de cette étoile et des objets célestes gravitant autour d'elle : les huit planètes confirmées et leurs connus (appelés usuellement des « lunes »), les cinq planètes naines et leurs neuf satellites connus, ainsi que des milliards de petits corps (la presque totalité des astéroïdes et autres planètes mineures, les comètes, les poussières cosmiques).
Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
LuneLa Lune, ou Terre I, est l'unique satellite naturel permanent de la planète Terre. Il s'agit du cinquième plus grand satellite naturel du Système solaire, et du plus grand des satellites planétaires par rapport à la taille de la planète autour de laquelle il orbite. Elle est le deuxième satellite le plus dense du Système solaire après Io, un satellite de Jupiter. La Lune est en rotation synchrone avec la Terre, lui montrant donc constamment la même face.
AccrétionL’accrétion est, en astrophysique, en géologie, en médecine et en météorologie, la constitution et l'accroissement d'un corps, d'une structure ou d'un objet, par apport et/ou agglomération de matière, généralement en surface ou en périphérie de celui-ci. L'accrétion désigne la capture de matière par un astre sous l'effet de la gravitation. L'accrétion a lieu dans de nombreux contextes astrophysiques, lorsqu'un objet compact est situé dans un environnement de matière diffuse, notamment : les étoiles en formation ; les planètes en formation ; les novae ; les trous noirs, en particulier dans les noyaux actifs de galaxies.
