Horloge radio-pilotéevignette|Atomic clock Une horloge radio-pilotée (en Anglais RCC, qui signifie Radio-Controlled Clock) est une horloge qui est synchronisée sur un signal horaire émis par une station disposant d'une référence de temps, par exemple une horloge atomique. Une horloge radio-pilotée peut être synchronisée sur les signaux d'un émetteur unique comme DCF77, Allouis, ou bien sur de multiples émetteurs comme les satellites GPS. Les horloges radio-pilotées peuvent être des horloges décoratives, des montres, des horloges d'ordinateur, ou d'autres systèmes qui ont besoin de disposer de l'heure avec précision.
Procès de Galiléethumb|upright=1.5|Galilée devant le Saint-Office. Peinture de Joseph-Nicolas Robert-Fleury. Le procès de Galilée ou l'affaire Galilée est l'enquête et la condamnation du savant astronome Galilée par l'Inquisition pour avoir critiqué le géocentrisme et soutenu l'héliocentrisme. L'affaire commence vers 1610, alors que Galilée publie Sidereus nuncius. Il y décrit ses observations astronomiques à l'aide d'une lunette astronomique.
Télémétrie laser sur satellitesLa télémétrie laser sur satellites (en anglais : Satellite Laser Ranging ou SLR) est un système de mesure de l'orbite des satellites utilisé pour des applications de géodésie, la détermination de la trajectoire de certains satellites et pour l'étude de la tectonique des plaques. Le système utilise un émetteur laser qui envoie des impulsions lumineuses vers le satellite artificiel équipé d'un rétroréflecteur. Le signal réfléchi est détecté par un télescope solidaire de l'émetteur laser.
Classe de complexitéEn informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource. Une classe est souvent définie comme l'ensemble de tous les problèmes qui peuvent être résolus sur un modèle de calcul M, utilisant une quantité de ressources du type R, où n, est la taille de l'entrée. Les classes les plus usuelles sont celles définies sur des machines de Turing, avec des contraintes de temps de calcul ou d'espace.
Satellite géostationnaireUn satellite géostationnaire est un satellite artificiel qui se trouve sur une orbite géostationnaire. Sur cette orbite le satellite se déplace de manière exactement synchrone avec la planète et reste constamment au-dessus du même point de la surface. Cette caractéristique est très utile pour les télécommunications (satellite de télécommunications) et certaines applications dans le domaine de l'observation de la planète (satellite météorologique, satellite d'alerte avancée).
Positioning systemA positioning system is a system for determining the position of an object in space. One of the most well-known and commonly used positioning systems is the Global Positioning System (GPS). Positioning system technologies exist ranging from worldwide coverage with meter accuracy to workspace coverage with sub-millimeter accuracy. Interplanetary-radio communication systems not only communicate with spacecraft, but they are also used to determine their position.
Receiver autonomous integrity monitoringReceiver autonomous integrity monitoring (RAIM) is a technology developed to assess the integrity of global positioning system (GPS) signals in a GPS receiver system. It is of special importance in safety-critical GPS applications, such as in aviation or marine navigation. GPS does not include any internal information about the integrity of its signals. It is possible for a GPS satellite to broadcast slightly incorrect information that will cause navigation information to be incorrect, but there is no way for the receiver to determine this using the standard techniques.
Computational complexityIn computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations) and memory storage requirements. The complexity of a problem is the complexity of the best algorithms that allow solving the problem. The study of the complexity of explicitly given algorithms is called analysis of algorithms, while the study of the complexity of problems is called computational complexity theory.
P (complexité)La classe P, aussi noté parfois PTIME ou DTIME(nO(1)), est une classe très importante de la théorie de la complexité, un domaine de l'informatique théorique et des mathématiques. Par définition, un problème de décision est dans P s'il est décidé par une machine de Turing déterministe en temps polynomial par rapport à la taille de l'entrée. On dit que le problème est décidé en temps polynomial. Les problèmes dans P sont considérés comme « faisables » (feasible en anglais), faciles à résoudre (dans le sens où on peut le faire relativement rapidement).
L (complexité)En informatique théorique, et notamment dans la théorie de la complexité, la classe L est la classe des problèmes de décision décidés par une machine de Turing déterministe qui utilise un espace de taille logarithmique en fonction de la taille de l'entrée. Pour être plus précis, l'exigence sur l'espace de taille logarithmique se réfère à l'espace supplémentaire utilisable. Elle est aussi parfois notée LOGSPACE.
