quantum-trade (type de scénario)

Type de scénario du moteur v0.40.0, famille Capteurs inertiels, de fusion et quantiques. À 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#

Compromis PNT quantique contre classique (13503) : bénéfice en holdover de synchronisation temporelle + holdover inertiel d'une horloge candidate (une courbe d'ADEV mesurée — le pivot de défendabilité — ou une classe d'horloge quantique) par rapport à une classe de référence de base classique, avec la réserve sur l'hypothèse de plancher à long tau portée sur l'artefact, plus une enveloppe de résilience en fonction du temps en l'absence de GNSS. MODELLED ; quantifie (ne valide jamais) un dispositif partenaire. L'horloge candidate est une courbe mesurée (candidate_adev_taus + candidate_adev_values, de même longueur, d'au moins 2 points ; elle l'emporte lorsque les deux formes sont données) ou un candidate_clock_class.

Une exécution de scenarios/quantum-trade.toml se résume ainsi : quantum-trade | candidate measured-ADEV | timing holdover 2621947s vs 203s (12943.62x) | inertial 14108s vs 378s (37.34x) | resilience coast 14108s | MODELLED [floor-assumed caveat]

Entrées#

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

• Champs obligatoires : timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
• Champs facultatifs : baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

L'exemple scenarios/quantum-trade.toml définit, entre autres :

L'exécuter#

kshana scenarios/quantum-trade.toml

Ce qu'il donne#

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

Libellé du résultat (celui du moteur) : MODELLED — quantifie (ne valide jamais) une horloge/un capteur partenaire ; non démontré en vol

Preuves#

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

• VALIDATED Récupération NNLS en loi de puissance (FM blanc + plancher de bruit rouge) à partir d'un écart d'Allan mesuré publié de la transition d'horloge optique du ⁸⁸Sr — reproduisant σ_y(τ) et la loi principale de 4.7e-16/√τ à τ court avec un véritable plancher mesuré à τ long, plutôt que Tests : optical_clock_adev_reference.rs.
• VALIDATED Ajustement NNLS de l'ADEV mesuré, bandes de cohérence χ² NEES/NIS, et covariance du bruit de processus discret de van Loan de l'horloge (dérive libre en holdover) — l'épine dorsale de calcul du moteur de compromis Tests : scipy_reference.rs.
• MODELLED Ingestion de l'ADEV mesuré (NNLS), tableau de compromis (holdover de synchronisation temporelle/inertiel + bénéfice), enveloppe de résilience en fonction du temps ; réserve sur le plancher portée sur l'artefact.

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) :

• VALIDATED Ajustement NNLS de l'ADEV mesuré, bandes de cohérence χ² NEES/NIS, et covariance du bruit de processus discret de van Loan de l'horloge (dérive libre en holdover) — l'épine dorsale de calcul du moteur de compromis. Référence indépendante (ExternalDataset) : scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm ; NNLS+Q exacts, χ² <5e-4 aux degrés de liberté de fonctionnement. Noyaux seulement — les chiffres de performance des dispositifs restent modélisés (ligne suivante)
• 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 Ingestion de l'ADEV mesuré (NNLS), tableau de compromis (holdover de synchronisation temporelle/inertiel + bénéfice), enveloppe de résilience en fonction du temps ; réserve sur le plancher portée sur l'artefact. Exécutable de. Référence indépendante (ExternalDataset) : le noyau d'ajustement ADEV mesuré→DSP (NNLS) concorde avec scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — un noyau externe indépendant ; mais les CHIFFRES du compromis quantifient (ne valident jamais) une horloge/un CAI partenaire, de sorte que le compromis lui-même reste MODELLED, sans halo de validation
• PARTNER Non fourni — modèles de performance seulement ; le matériel à atomes froids/horloge est celui d'un partenaire. Référence indépendante (NoneKind) : aucune : une discipline appartenant au partenaire, sans module et sans test par conception

Limites#

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

• MODELLED — quantifie (ne valide jamais) une horloge/un capteur partenaire ; non démontré en vol (résultat label)
• Compromis PNT quantique contre classique (13503) : bénéfice en holdover de synchronisation temporelle + holdover inertiel d'une horloge candidate (une courbe d'ADEV mesurée — le pivot de défendabilité — ou une classe d'horloge quantique) par rapport à une classe de référence de base classique, avec la réserve sur l'hypothèse de plancher à long tau portée sur l'artefact, plus une enveloppe de résilience en fonction du temps en l'absence de GNSS. (catalogue des types de scénario (kshana kinds --json))
• MODELLED ; quantifie (ne valide jamais) un dispositif partenaire. (catalogue des types de scénario (kshana kinds --json))
• Calcule le bénéfice en holdover de synchronisation temporelle et en holdover inertiel d'une horloge CANDIDATE par rapport à une référence de base CLASSIQUE, plus une enveloppe de résilience en fonction du temps en l'absence de GNSS. Le plancher du candidat est piloté par la courbe d'ADEV à recouvrement MEASURED d'une horloge partenaire (le pivot de défendabilité) ajustée par moindres carrés non négatifs — de sorte que le budget de holdover repose sur des données réelles, et non sur un plancher à long tau supposé. (commentaire du fichier de scénario, lignes 3 à 7)
• PORTÉE HONNÊTE : MODELLED — il QUANTIFIE le bénéfice de l'horloge quantique d'un partenaire ; il NE valide PAS le dispositif, et n'emprunte jamais les îlots de validation SGP4/Allan/IGS. Lorsque le plancher d'une ligne est une valeur par défaut de classe supposée, une réserve sur le plancher s'affiche sur l'artefact. Exécution : kshana scenarios/quantum-trade.toml (commentaire du fichier de scénario, lignes 9 à 12)
• 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))
• Le compromis PNT quantique contre classique et la résilience sans GNSS (13503) sont MODELLED, et non vérifiés : une sous-affirmation est vérifiée de façon externe, 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))

Voir aussi#

• Page de famille : Capteurs inertiels, de fusion et quantiques
• Tous les types de scénario : KINDS.md
• Page de sujet : POSITIONING.md
• Page thématique : QUANTUM-MODELS.md