Récepteur GPSLe système de navigation et de positionnement par satellite capte et analyse les signaux émis par une constellation de satellites. Les systèmes les plus connus sont GPS, GLONASS, Galileo et Beidu. Malgré la simplicité apparente de la technique, le traitement des signaux et le calcul de la position d'un récepteur sont complexes. Le récepteur décrit ici concerne le système GPS, mais la description est généralisable aux autres systèmes. Les satellites émettent en permanence sur deux fréquences L1 () et L2 ().
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.
Indian Regional Navigation Satellite SystemL'Indian Regional Navigation Satellite System (« système indien de navigation régionale par satellite ») ou IRNSS est un système de positionnement par satellites indien dont le déploiement en cours devrait s'achever fin 2016. Sa couverture est régionale : les récepteurs peuvent fonctionner en Inde et sur sa périphérie jusqu'à une distance de de ses frontières. Les terminaux dans le service de base fournissent une position avec une précision de . Le système IRNSS est compatible avec les systèmes GPS et Galileo.
Système de positionnement en intérieurUn système de positionnement en intérieur ou système de géolocalisation en intérieur permet de trouver la position d'objets ou de personnes dans un espace interne à une structure (bâtiments, maisons...). La localisation joue un rôle essentiel dans la vie de tous les jours. Alors que la localisation basée sur les GPS est populaire, sa prolifération dans les environnements intérieurs est limitée. Cela est dû à la mauvaise pénétration des signaux GPS à l’intérieur des bâtiments et à l'absence fréquente de systèmes de localisation intérieure.
Satellite artificielthumb|Le satellite météorologique GOES-O avant son lancement en orbite géostationnaire. Un satellite artificiel est un objet fabriqué par l'être humain, envoyé dans l'espace à l'aide d'un lanceur et gravitant autour d'une planète ou d'un satellite naturel comme la Lune. La vitesse imprimée par le lanceur au satellite lui permet de se maintenir pratiquement indéfiniment dans l'espace en décrivant une orbite autour du corps céleste.
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).
GPS Block IIIGPS Block III (previously Block IIIA) consists of the first ten GPS III satellites, which will be used to keep the Navstar Global Positioning System operational. Lockheed Martin designed, developed and manufactured the GPS III Non-Flight Satellite Testbed (GNST) and all ten Block III satellites. The first satellite in the series was launched in December 2018. The United States' Global Positioning System (GPS) reached Full Operational Capability on 17 July 1995, completing its original design goals.
GNSS augmentationAugmentation of a global navigation satellite system (GNSS) is a method of improving the navigation system's attributes, such as precision, reliability, and availability, through the integration of external information into the calculation process. There are many such systems in place, and they are generally named or described based on how the GNSS sensor receives the external information.
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.
NP (complexité)La classe NP est une classe très importante de la théorie de la complexité. L'abréviation NP signifie « non déterministe polynomial » (« en »). Un problème de décision est dans NP s'il est décidé par une machine de Turing non déterministe en temps polynomial par rapport à la taille de l'entrée. Intuitivement, cela revient à dire qu'on peut vérifier « rapidement » (complexité polynomiale) si une solution candidate est bien solution.
