sweep (type de scénario)

Type de scénario du moteur v0.40.0, famille Horloges, synchronisation temporelle et holdover. À titre consultatif : résultat d'analyse issu d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf indication contraire de la matrice (comment une étiquette s'obtient : section Evidence du README).

Ce qu'il fait#

Balayage 1-D d'étude de compromis sur un paramètre du paquet d'horloge.

Une exécution de scenarios/sweep-clock-stability.toml se résume ainsi : balayage de holdover_s sur classical_q_wf (1.00e-24..1.00e-18, 25 points, échelle logarithmique) | quantique 6600.000->6600,000 | classique 2610.000->250,000

Entrées#

D'après le schéma (kshana kinds --json) :

• Champs obligatoires : parameter, metric, start, stop, steps, base
• Champs facultatifs : scale

L'exemple scenarios/sweep-clock-stability.toml définit, entre autres :

L'exécuter#

kshana scenarios/sweep-clock-stability.toml

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Preuves#

MODELLED : les lignes de la matrice de vérification qui nomment ce type de scénario.

• MODELLED Une exécution prend un plan de contacts (une liste de fenêtres aos_s/los_s, chacune demandant à l'ouverture la navigation ou les communications — le même vocabulaire de fenêtres qu'émet passes::predict_passes, converti par aperture_duty::windows_from_passes), un nombre d'ouvertures
• MODELLED Les balayages de disponibilité du type de scénario gnss-ssv : par constellation (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) et combinées, la part des paires (utilisateur, époque) avec au moins un et au moins quatre signaux et l'interruption la plus longue, pour un utilisateur sur une sphère
• MODELLED La phase tli-and-cruise : l'état moyen par le propagateur de Cowell du moteur (masse ponctuelle terrestre et J2, le Soleil et la Lune comme corps tiers, la Lune issue du noyau DE440 du fil là où il couvre le segment et le Soleil issu de la sér
• MODELLED Les sections sweep (une à trois clés pointées de n'importe quel type, sur les valeurs d'axe du balayage générique, éventuellement avec un ensemble à chaque nœud) et monte_carlo du type campaign : la réalisation k s'exécute à base_seed + k ; chaque métrique rapporte la moyenne, l'écart-type d Tests : campaign_composition_reference.rs.

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

• MODELLED Croissance de l'erreur de dérive en forme fermée + holdover jusqu'au seuil ; classes d'horloges quantiques. Référence indépendante (ReferenceImpl) : récurrence de covariance multi-pas de clock_state (recoupement au sein de la même base de code) ; le noyau sous-jacent de variance de dérive et d'inversion du holdover est validé en externe par rapport à scipy (voir « Clock-holdover coast-variance & threshold inversion »). Les chiffres de holdover par classe au plancher de bruit rouge restent MODELLED
• MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED
• MODELLED Le balayage du type de scénario campaign (une à trois clés pointées de n'importe quel type de scénario, sur les valeurs d'axe du balayage générique, avec facultativement un ensemble à chaque nœud) et la sec monte_carlo. Référence indépendante (InternalConsistency) : La forme fermée de la marche aléatoire de phase sous bruit blanc de fréquence, variance q_wf tau (NIST Technical Note 1337), pour la machinerie statistique, et l'égalité à l'octet près avec les exécutions autonomes pour l'initialisation. Elle vérifie l'arithmétique d'ensemble sur le modèle d'horloge propre au moteur, et non un jeu de données externe

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

• Le holdover d'horloge sans GNSS est MODELLED, et non validé : vérifié par rapport à une implémentation distincte de cette même base de code — indépendante de l'unité testée, mais sans autorité externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• Les balayages de paramètres et les ensembles Monte Carlo initialisés sur n'importe quel type de scénario sont MODELLED, et non validés : vérifiés par rapport à leur propre identité analytique en forme fermée — détecte les erreurs de transcription et de coefficients, mais n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#

• Page de famille : Horloges, synchronisation temporelle et holdover
• Tous les types de scénario : KINDS.md
• Page thématique : CAMPAIGNS.md
• Page thématique : LEO-PNT.md