Suite au post "Egnos" de Pat, certains pilotes me demandent ce que signifie le théorème d'unicité.
Comme son nom l'indique, il signifie que certains systèmes d'équations à plusieurs variables ont une seule solution. Inversément si une solution est trouvée, elle est LA solution unique. C'est grâce à ce théorème que notre GPS a vu le jour sans nécessiter une horloge interne atomique hors de prix. Voici pourquoi.
Le GPS utilise un système d'équations à plusieurs variables, dont la position des satellites et l'heure. Si et seulement si ces données sont exactes, le système trouve LA solution (la position)
Mais l'horloge de notre GPS est au départ entachée d'une erreur qui peut atteindre plusieurs millièmes de seconde. Or, s'il n'y avait qu'un satellite, une erreur d'un millième de seconde conduirait à une erreur de position de 300 Km !! (vitesse du signal 300.000 Km/sec) Mais comme il y a plusieurs satellites répartis au hasard dans l'espace, le système devient impossible, SAUF si l'horloge est juste !
Grâce au théorème d'unicité, les ingénieurs ont trouvé le moyen de remettre une mauvaise horloge à la bonne heure ! En créant un programme interne au GPS qui corrige son horloge en ajoutant ou retranchant 1/100.000.000 de seconde à la fois, et ainsi de suite jusqu'à obtenir une solution (le GPS est alors à la bonne heure !)
Simple, non ?
C'est pourquoi il faut "un certain temps" après avoir allumé votre GPS pour qu'il soit opérationnel, c'est-à-dire à la bonne heure.
Le système peut alors fonctionner pendant que le programme vérifie à tout moment que l'horloge interne reste à l'heure juste en procédant comme indiqué plus haut.
Mais je m'arrête ici, car l'heure tourne...
Claude B

. GPS, PDA, Pilote automatique sont des produits relativement nouveaux et en plein développement. Vous vous posez des questions sur leur utilisation ? c'est ici que ça se passe.
