Navigation de l'utilisateur spatial (famille de types de scénario)
1 type de scénario du moteur v0.40.0. À titre consultatif : sortie d'analyse d'un outil de recherche et d'ingénierie, pas un équipement de navigation homologué et pas un service de sauvegarde de la vie humaine. Chaque libellé ici est celui du moteur ou de la matrice de vérification ; un type est MODELLED sauf indication contraire de la matrice (comment un libellé s'obtient : la section Evidence du README).
Pages thématiques : SSV. En exécuter une : kshana scenarios/gnss-ssv-shell.toml. Toutes les familles : KINDS.md.
| Type | Ce qu'il fait | Registre |
|---|---|---|
gnss-ssv |
Disponibilité du GNSS et force de la liaison MODELLED dans le volume de service spatial et au-delà : pour un utilisateur sur une sphère (la coque globale du livret de l'ICG) ou sur une trajectoire képlérienne (de l'orbite basse au transfert lunaire), il cou | MODELLED |
gnss-ssv#
Disponibilité du GNSS et force de la liaison MODELLED dans le volume de service spatial et au-delà : pour un utilisateur sur une sphère (la coquille globale du livret de l'ICG) ou sur une trajectoire képlérienne (de l'orbite basse au transfert lunaire), il compte, par constellation (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) et pour toutes ensemble, les signaux utilisables au-dessus d'un seuil de C/N0 - disponibilité d'au moins un et de quatre signaux, durée maximale d'interruption, C/N0 reçu, dilution de précision, liaisons par lobe principal contre lobes secondaires - avec un diagramme d'émission du livret, paramétrique ou fourni par l'utilisateur, des effets facultatifs d'ionosphère, de plasmasphère et d'atmosphère sur le rayon rasant le limbe, et une conception facultative de récepteur à signal faible ; ainsi qu'un filtre de Kalman étendu GNSS embarqué pour les engins en HEO et en transfert lunaire (dynamique orbitale, pression de radiation solaire, troisièmes corps, horloge) et la navigation relative d'une formation de plusieurs engins par pseudodistances en différences simples. Vérifié par rapport aux tableaux du livret SSV de l'ICG dans le cadre d'un préenregistrement (xval/gnss-ssv)
Champs obligatoires : shell|trajectory|navigation. Facultatifs : name, constellations, transmit, receiver, atmosphere, formation.
Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : gnss-ssv.
kshana scenarios/gnss-ssv-heo.toml