Lentille gravitationnelleEn astrophysique, une lentille gravitationnelle, ou mirage gravitationnel, est produit par la présence d'un corps céleste très massif (tel, par exemple, un amas de galaxies) se situant entre un observateur et une source « lumineuse » lointaine. La lentille gravitationnelle, imprimant un fort champ gravitationnel autour d'elle, a comme effet de faire dévier les rayons lumineux qui passent près d'elle, déformant ainsi les images que reçoit un observateur placé sur la ligne de visée.
Lentille gravitationnelle faibleUne lentille gravitationnelle faible (weak gravitational lensing en anglais) est une lentille gravitationnelle dont les effets sont limités par rapport aux lentilles gravitationnelles fortes. Plus fréquentes que ces dernières, les lentilles gravitationnelles faibles sont beaucoup plus difficiles à observer. Comme tout type de lentille gravitationnelle, les lentilles gravitationnelles faibles peuvent être produites par divers corps célestes plus ou moins massifs. Selon le ou les corps impliqués, les effets de lentille varieront.
Tests expérimentaux de la relativité généraleLa relativité générale a la réputation d'être une théorie fortement mathématique, qui n'était pas fondée au départ sur des observations. Cependant, même si ses postulats ne sont pas directement testables, elle prédit de nombreux effets observables de déviations par rapport aux théories physiques qui ont précédé. Cette page expose donc les tests expérimentaux de la relativité générale. L'avance du périhélie de Mercure, la courbure des rayons lumineux et le décalage vers le rouge sont les trois tests classiques de la relativité générale qui ont été proposés par Einstein lui-même.
Formation et évolution des galaxiesL'étude de la formation et de l'évolution des galaxies s'intéresse aux processus ayant abouti à la formation d'un univers hétérogène à partir d'une prémisse homogène, à la formation des premières galaxies (processus appelé galactogenèse), à la façon dont les galaxies changent avec le temps, et aux processus qui ont conduit à la grande variété des structures observées parmi les galaxies proches. C'est l'un des domaines de recherche les plus actifs en astrophysique.
Test de validationUn test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases : Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc.
Test unitaireEn programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »). Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, les méthodes Extreme programming (XP) ou Test Driven Development (TDD) ont remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.
Galaxievignette|redresse=1.5|M51, la Galaxie du Tourbillon, un exemple typique de galaxie spirale. Une galaxie est une structure cosmique formée par le rassemblement d'étoiles et de leurs planètes éventuelles, de gaz, de poussière interstellaire, peut-être essentiellement de matière noire, et contenant souvent un trou noir supermassif en son centre. Les galaxies peuvent elles-mêmes se rassembler en groupes de galaxies, eux-mêmes pouvant se structurer en amas et superamas de galaxies.
Galaxie d'AndromèdeLa galaxie d'Andromède, également désignée M31 dans le Catalogue de Messier et NGC 224, est une galaxie spirale située à environ d'années-lumière du Soleil, dans la constellation d'Andromède. La galaxie d'Andromède (NGC 224) a été utilisée par Gérard de Vaucouleurs comme une galaxie de type morphologique SA(s)b dans son atlas des galaxies.
Alternatives to general relativityAlternatives to general relativity are physical theories that attempt to describe the phenomenon of gravitation in competition with Einstein's theory of general relativity. There have been many different attempts at constructing an ideal theory of gravity. These attempts can be split into four broad categories based on their scope. In this article, straightforward alternatives to general relativity are discussed, which do not involve quantum mechanics or force unification.
Test (informatique)vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.