Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/quantum-trade.md

quantum-trade (scenariotype)

Scenariotype i motoren v0.40.0, familie Treghets-, fusjons- og kvantesensorer. Veiledende: analyseresultat fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en safety-of-life-tjeneste. Hver etikett her kommer fra motoren eller verifikasjonsmatrisen; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

Avveining mellom kvante og klassisk PNT (13503): fordelen for holdover i tid og holdover i inertial av en kandidatklokke (en målt ADEV-kurve, som er det avgjørende punktet for forsvarbarhet, eller en kvanteklokkeklasse) mot en klassisk grunnlinjeklasse, med forbeholdet om antakelsen for langtidsgulvet (long-tau) ført på artefakten, pluss en omhylling av robusthet mot tid uten GNSS. MODELLED; kvantifiserer (validerer aldri) en partnerenhet. Kandidatklokken er en målt kurve (candidate_adev_taus + candidate_adev_values, lik lengde, minst 2 punkter; den vinner når begge formene er oppgitt) eller en candidate_clock_class.

En kjøring av scenarios/quantum-trade.toml oppsummeres slik: 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]

Inndata#

Fra skjemaet (kshana kinds --json):

  • Obligatoriske felt: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
  • Valgfrie felt: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

Eksempelet scenarios/quantum-trade.toml angir blant annet:

Felt Verdi Enhet
baseline_clock_class csac tekst
candidate_adev_taus [1, 10, 100, 1000, 10000, 100000] ikke oppgitt
candidate_adev_values [5.0000e-16, 1.6000e-16, 6.0000e-17, 4.0000e-17, 6.0000e-17, ikke oppgitt
kind quantum-trade tekst
position_threshold_m 100 m
resilience_times_s [1, 60, 600, 1800, 3600, 7200, 14400, 28800] s
timing_threshold_s 2.0000e-8 s

Kjør den#

kshana scenarios/quantum-trade.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
candidate_source measured-ADEV tekst
evidence.id_rule den stabile id-en til matriseraden (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
resilience.alt_pnt_active false flagg
resilience.coast_time_s 14108.310907 s
resilience.exceeds_horizon false flagg
resilience.threshold_m 100 m
trade.baseline.floor_assumed true flagg
trade.baseline.inertial_holdover_s 377.849037 s

Resultatetikett (motorens): MODELLED — kvantifiserer (validerer aldri) en partnerklokke eller -sensor; ikke demonstrert i flyging

Diagrammet motoren skriver for scenarios/quantum-trade.toml, type quantum-trade

Evidens#

MODELLED 1 · VALIDATED 2: radene i verifikasjonsmatrisen som nevner denne typen.

  • VALIDATED NNLS-gjenvinning av potenslov (hvit FM + rødstøygulv) fra et publisert målt Allan-avvik for ⁸⁸Sr optisk klokkeovergang, som gjengir σ_y(τ) og den fremtredende skaleringen 4.7e-16/√τ for kort τ med et ekte målt langtidsgulv (long-tau), framfor Tester: optical_clock_adev_reference.rs.
  • VALIDATED NNLS-tilpasning av målt ADEV, χ²-konsistensbånd for NEES/NIS og klokkens van-Loan-kovarians for diskret prosessstøy (holdover-utløp), som er den beregningsmessige ryggraden i avveiningsmotoren Tester: scipy_reference.rs.
  • MODELLED Innlesing av målt ADEV (NNLS), avveiningstabell (holdover i tid og i inertial + fordel), omhylling av robusthet mot tid; forbeholdet om gulvet føres på artefakten.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • VALIDATED NNLS-tilpasning av målt ADEV, χ²-konsistensbånd for NEES/NIS og klokkens van-Loan-kovarians for diskret prosessstøy (holdover-utløp), som er den beregningsmessige ryggraden i avveiningsmotor. Uavhengig referanse (ExternalDataset): scipy 1.17.1, optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q nøyaktig, χ² <5e-4 ved driftsfrihetsgrader. Kun kjerner: tall for enhetsytelse forblir modellerte (neste rad)
  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
  • MODELLED Innlesing av målt ADEV (NNLS), avveiningstabell (holdover i tid og i inertial + fordel), omhylling av robusthet mot tid; forbeholdet om gulvet føres på artefakten. Kjørbar fr. Uavhengig referanse (ExternalDataset): kjernen for tilpasning av målt ADEV→PSD (NNLS) stemmer med scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs), en uavhengig ekstern kjerne; men TALLENE i avveiningen kvantifiserer (validerer aldri) en partnerklokke eller CAI, så selve avveiningen forblir MODELLED, ingen validerings-glorie
  • PARTNER Ikke levert: kun ytelsesmodeller; kaldatom-/klokkemaskinvare er en partners. Uavhengig referanse (NoneKind): ingen: en disiplin eid av en partner, uten modul og uten test etter utforming

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • MODELLED — kvantifiserer (validerer aldri) en partnerklokke eller -sensor; ikke demonstrert i flyging (resultat label)
  • Avveining mellom kvante og klassisk PNT (13503): fordelen for holdover i tid og holdover i inertial av en kandidatklokke (en målt ADEV-kurve, som er det avgjørende punktet for forsvarbarhet, eller en kvanteklokkeklasse) mot en klassisk grunnlinjeklasse, med forbeholdet om antakelsen for langtidsgulvet (long-tau) ført på artefakten, pluss en omhylling av robusthet mot tid uten GNSS. (typekatalog (kshana kinds --json))
  • MODELLED; kvantifiserer (validerer aldri) en partnerenhet. (typekatalog (kshana kinds --json))
  • Beregner fordelen for holdover i tid og holdover i inertial av en KANDIDATklokke over en KLASSISK grunnlinje, pluss en omhylling av robusthet mot tid uten GNSS. Kandidatens gulv styres av en partnerklokkes MEASURED overlappende ADEV-kurve (det avgjørende punktet for forsvarbarhet) tilpasset med ikke-negative minste kvadrater, så holdover-budsjettet hviler på virkelige data, ikke på et antatt langtidsgulv (long-tau). (kommentar i scenariofilen, linje 3 til 7)
  • ÆRLIG AVGRENSNING: MODELLED — den KVANTIFISERER fordelen av en partners kvanteklokke; den validerer IKKE enheten, og låner aldri valideringsøyene for SGP4/Allan/IGS. Når gulvet i en rad er en antatt klassestandard, vises et forbehold om gulvet på artefakten. Kjør: kshana scenarios/quantum-trade.toml (kommentar i scenariofilen, linje 9 til 12)
  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
  • Avveining mellom kvante og klassisk PNT og robusthet uten GNSS (13503) er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#