Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/quantum-trade.md

quantum-trade (skenaariotyyppi)

Moottorin v0.40.0 skenaariotyyppi, perhe Inertia-, fuusio- ja kvanttianturit. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

Kvantti-vs.-klassinen PNT-kauppa (13503): ehdokaskellon ajoitus-holdover- ja inertia-holdover-hyöty (mitattu ADEV-käyrä — puolustettavuuden ratkaiseva tekijä — tai kvanttikelloluokka) vs. klassinen lähtötasoluokka, pitkän tau:n lattiaoletuksen varauma mukana artefaktissa, sekä GNSS-estetty kestävyys–aika-verhokäyrä. MODELLED; kvantifioi (ei koskaan validoi) kumppanin laitetta. Ehdokaskello on mitattu käyrä (candidate_adev_taus + candidate_adev_values, yhtä pitkät, vähintään 2 pistettä; se voittaa, kun molemmat muodot on annettu) tai candidate_clock_class.

Skenaarion scenarios/quantum-trade.toml yksi ajo tiivistyy seuraavasti: quantum-trade | ehdokas measured-ADEV | ajoitus-holdover 2621947s vs. 203s (12943.62x) | inertia 14108s vs. 378s (37.34x) | kestävyys, vapaaliike 14108s | MODELLED [lattia oletettu -varauma]

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
  • Valinnaiset kentät: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

Esimerkki scenarios/quantum-trade.toml asettaa muun muassa:

Kenttä Arvo Yksikkö
baseline_clock_class csac teksti
candidate_adev_taus [1, 10, 100, 1000, 10000, 100000] ei ilmoitettu
candidate_adev_values [5.0000e-16, 1.6000e-16, 6.0000e-17, 4.0000e-17, 6.0000e-17, ei ilmoitettu
kind quantum-trade teksti
position_threshold_m 100 m
resilience_times_s [1, 60, 600, 1800, 3600, 7200, 14400, 28800] s
timing_threshold_s 2.0000e-8 s

Aja se#

kshana scenarios/quantum-trade.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
candidate_source measured-ADEV teksti
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier PARTNER teksti
resilience.alt_pnt_active false lippu
resilience.coast_time_s 14108.310907 s
resilience.exceeds_horizon false lippu
resilience.threshold_m 100 m
trade.baseline.floor_assumed true lippu
trade.baseline.inertial_holdover_s 377.849037 s

Tuloksen nimike (moottorin oma): MODELLED — kvantifioi (ei koskaan validoi) kumppanin kelloa/anturia; ei osoitettu lennolla

Moottorin kirjoittama kaavio skenaariolle scenarios/quantum-trade.toml, tyyppi quantum-trade

Todisteet#

MODELLED 1 · VALIDATED 2: varmennusmatriisin rivit, jotka nimeävät tämän tyypin.

  • VALIDATED Potenssilain (valkoinen FM + punaisen kohinan lattia) NNLS-palautus julkaistusta mitatusta ⁸⁸Sr-optisen kellosiirtymän Allanin poikkeamasta — toistaa σ_y(τ):n ja otsikkoluvun 4.7e-16/√τ lyhyen τ:n skaalauksen aidolla mitatulla pitkän τ:n lattialla, sen sijaan että Testit: optical_clock_adev_reference.rs.
  • VALIDATED Mitattu ADEV NNLS-sovitus, NEES/NIS χ²-johdonmukaisuuskaistat ja kellon van Loan -diskreetti prosessikohinan (holdover-vapaaliikkeen) kovarianssi — kauppamoottorin laskennallinen selkäranka Testit: scipy_reference.rs.
  • MODELLED Mitatun ADEV:n sisäänotto (NNLS), kauppataulukko (ajoitus-/inertia-holdover + hyöty), kestävyys–aika-verhokäyrä; lattiavarauma mukana artefaktissa.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • VALIDATED Mitattu ADEV NNLS-sovitus, NEES/NIS χ²-johdonmukaisuuskaistat ja kellon van Loan -diskreetti prosessikohinan (holdover-vapaaliikkeen) kovarianssi — kauppamoottorin laskennallinen. Oraakkeli (ExternalDataset): scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q täsmälleen, χ² <5e-4 toimintapisteen vapausasteilla. Vain ytimet — laitteen suorituskykyluvut pysyvät mallinnettuina (seuraava rivi)
  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • MODELLED Mitatun ADEV:n sisäänotto (NNLS), kauppataulukko (ajoitus-/inertia-holdover + hyöty), kestävyys–aika-verhokäyrä; lattiavarauma mukana artefaktissa. Ajettavissa. Oraakkeli (ExternalDataset): Mitattu ADEV→PSD-sovituksen (NNLS) ydin täsmää funktioon scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — riippumaton ulkoinen ydin; mutta kauppaluvut kvantifioivat (eivät koskaan validoi) kumppanin kelloa/CAI:ta, joten itse kauppa pysyy tasolla MODELLED, ei validointisädekehää
  • PARTNER Ei tarjota — vain suorituskykymalleja; kylmäatomi-/kellolaitteisto on kumppanin. Oraakkeli (NoneKind): ei mitään: kumppanin omistama ala, tarkoituksella ilman moduulia ja testiä

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED — kvantifioi (ei koskaan validoi) kumppanin kelloa/anturia; ei osoitettu lennolla (tulos label)
  • Kvantti-vs.-klassinen PNT-kauppa (13503): ehdokaskellon ajoitus-holdover- ja inertia-holdover-hyöty (mitattu ADEV-käyrä — puolustettavuuden ratkaiseva tekijä — tai kvanttikelloluokka) vs. klassinen lähtötasoluokka, pitkän tau:n lattiaoletuksen varauma mukana artefaktissa, sekä GNSS-estetty kestävyys–aika-verhokäyrä. (tyyppiluettelo (kshana kinds --json))
  • MODELLED; kvantifioi (ei koskaan validoi) kumppanin laitetta. (tyyppiluettelo (kshana kinds --json))
  • Laskee EHDOKASKELLON ajoitus-holdover- ja inertia-holdover-hyödyn KLASSISEEN lähtötasoon nähden sekä GNSS-estetyn kestävyys–aika-verhokäyrän. Ehdokkaan lattiaa ohjaa kumppanin kellon MEASURED limittäinen ADEV-käyrä (puolustettavuuden ratkaiseva tekijä), sovitettuna ei-negatiivisella pienimmän neliösumman menetelmällä — joten holdover-budjetti nojaa todelliseen dataan eikä oletettuun pitkän tau:n lattiaan. (skenaariotiedoston kommentti, rivit 3 - 7)
  • REHELLINEN RAJAUS: MODELLED — se KVANTIFIOI kumppanin kvanttikellon hyödyn; se EI validoi laitetta eikä koskaan lainaa SGP4/Allan/IGS-validointisaarekkeita. Kun minkä tahansa rivin lattia on oletettu luokkaoletus, lattiavarauma näkyy artefaktissa. Ajo: kshana scenarios/quantum-trade.toml (skenaariotiedoston kommentti, rivit 9 - 12)
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • Kvantti-vs.-klassinen PNT-kauppa ja GNSS-estetty kestävyys (13503) on MODELLED, ei validoitu: osaväite tarkistetaan ulkoisesti, mutta koko ominaisuus yhdistää mallinnettuja osia, joten ominaisuus pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#