Concepts : une introduction en langage clair

Cette page explique ce que fait Kshana et pourquoi, en partant de zéro et en montant jusqu'à la physique. Aucune connaissance préalable n'est supposée pour la première partie ; les sections suivantes ajoutent les relations précises pour les spécialistes. Pour des définitions mot à mot, voir le Glossaire.

1. Le problème, en un paragraphe#

Presque tout ce qui a besoin de savoir où il se trouve ou quelle heure il est (téléphones, aéronefs, navires, satellites, réseaux électriques, systèmes financiers) s'appuie sur des signaux de satellites de navigation (le GPS (Global Positioning System) et ses semblables, collectivement le GNSS (système mondial de navigation par satellite)). Ces signaux sont faibles et facilement perdus : brouillés, bloqués, ou simplement hors de vue dans l'espace. Lorsque cela arrive, un système doit continuer par ses propres moyens avec des capteurs embarqués : une horloge pour tenir le temps et des capteurs inertiels pour suivre le mouvement. La question à laquelle répond Kshana est simple à énoncer et difficile à mesurer : combien de temps, et dans quelle mesure, peut-il continuer ?

2. Pourquoi « quantique » ?#

Les capteurs embarqués dérivent. Une horloge perd lentement le temps ; un capteur inertiel perd lentement la trace de la position. Les horloges et capteurs inertiels quantiques dérivent bien plus lentement que les composants classiques utilisés aujourd'hui, de sorte qu'un véhicule pourrait traverser une interruption GNSS bien plus longue tout en restant dans ses limites de précision. Cet avantage est toute la promesse du PNT (positionnement, navigation et synchronisation temporelle) quantique. Mais « bien plus lentement » doit être converti en chiffres : combien de minutes de holdover en plus ? combien de mètres de dérive en moins ? Ces chiffres déterminent si une charge utile quantique vaut son coût, sa masse et sa puissance.

3. Ce que fait réellement Kshana#

Kshana est un simulateur, pas du matériel et pas une conception matérielle. Il :

1. Prend un scénario : une chronologie avec une période d'interruption du GNSS, et les chiffres de performance publiés d'un capteur.
2. Fait parcourir à un modèle d'erreur de capteur cette chronologie : tant que le GNSS est disponible, le modèle est asservi à la vérité terrain ; pendant l'interruption, il évolue librement, en accumulant l'erreur exactement comme la physique le prévoit.
3. Note le résultat par rapport à des figures de mérite opérationnelles (l'ampleur de l'erreur, la durée pendant laquelle elle reste dans la spécification, la fiabilité de l'estimation).
4. Pour les paquets de capteurs, le fait deux fois, une fois pour un capteur quantique et une fois pour son équivalent classique, sur le même scénario, de sorte que la comparaison soit à armes égales.

Point essentiel : le moteur ne sait rien de « quantique » ou de « classique ». Ce ne sont que des modèles d'erreur avec des paramètres différents (publiés, cités). La différence que vous voyez en sortie est la différence de la physique publiée ; rien n'est réglé à la main pour favoriser un camp.

4. Les quatre briques (« paquets »)#

Le paquet hybride est la chute : une solution de navigation a besoin à la fois d'une bonne heure et d'une bonne position. Il montre qu'une liaison de synchronisation temporelle optique peut garder verrouillée même une horloge modeste, ce qui signifie que le capteur inertiel devient le maillon le plus faible, et c'est précisément là qu'un accéléromètre quantique est rentable.

Au-delà des quatre paquets#

Le même moteur exécute bien d'autres types de scénario ; kshana kinds les énumère tous. Ils vont au-delà des capteurs, jusqu'aux signaux et à la géométrie dont dépendent les capteurs :

• Où sont les satellites : propagation d'orbite, conception de constellations autour de la Terre, de la Lune ou d'un autre corps, et positions des corps du système solaire.
• Ce que le récepteur peut voir : un horizon dépendant de l'azimut (une rue, un quai, un fjord) au-dessus du masque d'élévation, et la géométrie du ciel qu'il laisse : les satellites en vue, leur dilution de précision et l'ellipse d'erreur.
• Ce que le récepteur entend : le spectre en bande L sous un brouilleur, le brouillage et le leurrage, et la perte d'accrochage de la boucle de poursuite.
• Si l'on peut se fier à la réponse : la surveillance de l'intégrité (RAIM, surveillance autonome de l'intégrité par le récepteur, et sa forme avancée ARAIM) avec niveaux de protection.
• Alternatives au GNSS : l'appariement de cartes de gravité et de terrain, et le positionnement, la navigation et la synchronisation temporelle à partir de satellites en orbite terrestre basse (LEO), de la conception du signal au point de position, en passant par le bilan de liaison et le message de navigation.
• Synchronisation temporelle pour les réseaux : holdover télécom vérifié par rapport aux gabarits internationaux, et synchronisation de créneaux pour des plannings indexés sur le temps.
• Au-delà de la Terre : temps et référentiels lunaires, volumes de service lunaires et navigation par relais martien.
• Beaucoup d'exécutions à la fois : les campagnes enchaînent des types de scénario sur une même chronologie, balayent un paramètre ou exécutent un ensemble Monte-Carlo.

5. L'honnêteté par construction#

Un simulateur n'est utile que si l'on peut s'y fier. Kshana est construit pour que vous le puissiez :

• Chaque paramètre est cité. Chaque chiffre de capteur porte une chaîne provenance nommant la fiche technique ou l'article dont il provient. Aucune constante anonyme.
• Chaque modèle est vérifié par rapport à une relation de manuel, et pas seulement par rapport à lui-même : par exemple, l'écart-type d'Allan de l'horloge simulée doit correspondre au chiffre de stabilité publié, et la dérive inertielle doit correspondre à la loi standard de croissance d'erreur. Une capacité n'est dite validée que lorsqu'une référence externe indépendante (un jeu de données réel, une implémentation indépendante ou des vecteurs de référence publiés) concorde ; le reste est modélisé, et la matrice de vérification dit ce qui est quoi.
• La maturité est étiquetée. VALIDATION.md marque chaque effet validated, modelled ou not modeled, et indique sans détour que les chiffres des horloges optiques sont des valeurs de laboratoire / d'objectif spatial : aucune horloge optique au strontium n'a volé.
• Les résultats sont reproductibles au bit près : le même scénario, la même graine et la même version donnent toujours la réponse identique sur la même plateforme ; d'un système d'exploitation à l'autre, les chiffres concordent à 1e-6 en relatif (voir REPRODUCIBILITY.md).

6. La physique, pour les spécialistes#

Les relations que Kshana met en œuvre et teste (détail complet et tolérances dans VALIDATION.md) :

• Holdover d'horloge. Modèle phase/fréquence à deux états avec modulation de fréquence blanche (FM blanc, densité spectrale de puissance q_wf), FM à marche aléatoire (q_rw), FM flicker (une somme de processus d'Ornstein–Uhlenbeck à espacement logarithmique étalonnés sur un plancher d'Allan plat) et vieillissement déterministe. Validé par l'écart-type d'Allan à recouvrement par rapport au σ_y(τ) publié (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Navigation à l'estime inertielle. Biais résiduel de l'accéléromètre → ½·b·T² ; marche aléatoire de vitesse → σ_x(T) = √(S_a·T³/3) ; le biais gyroscopique et la marche aléatoire angulaire, facultatifs, produisent une erreur d'inclinaison qui couple la gravité (g·θ) à l'accélération horizontale (Groves).
• Transfert de temps. Gigue de synchronisation temporelle blanche → précision de synchronisation → télémétrie à sens unique (range = c·dt, 1 ps ≈ 0,3 mm) ; la moyenne des échantillons se moyenne en σ/√N.
• Fusion et intégrité. Un filtre de Kalman à deux états dont le bruit de processus correspond au modèle de vérité ; en marche à l'inertie, la variance de son erreur de phase croît exactement jusqu'à q_wf·T + q_rw·T³/3, la relation analytique du holdover, et sa borne à 1 σ alimente la figure de mérite d'intégrité.
• Géométrie. La propagation képlérienne à deux corps (éventuellement avec J2 séculaire) ou SGP4 (Simplified General Perturbations 4) à partir de vrais jeux d'éléments à deux lignes, les constellations Walker et la visibilité en ligne de visée (occultation par la Terre + masque d'élévation) déduisent la disponibilité GNSS de la géométrie orbitale plutôt que de fenêtres écrites à la main.

7. Pour aller plus loin#

• Pratiquer : les tutoriels, trois exemples travaillés + des exercices progressifs.
• L'exécuter : voir le démarrage rapide du README.
• Comprendre la structure : ARCHITECTURE.md.
• Vérifier ce qui est validé et ce qui ne l'est pas : VALIDATION.md.
• Rechercher un terme : GLOSSARY.md.