Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/sweep.md

sweep (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Hodiny, časování a holdover. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

1-D průchod obchodní studie parametrem balíčku hodin.

Jeden běh scenarios/sweep-clock-stability.toml se shrnuje takto: průchod holdover_s přes classical_q_wf (1.00e-24..1.00e-18, 25 bodů, logaritmická škála) | kvantový 6600.000->6600,000 | klasický 2610.000->250,000

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: parameter, metric, start, stop, steps, base
  • Volitelná pole: scale

Příklad scenarios/sweep-clock-stability.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
base.clock_classical.flicker_floor 2.0000e-11 neuvedeno
base.clock_classical.id csac-sa45s text
base.clock_classical.provenance Katalogový list Microchip SA.45s CSAC sigma_y(1s)=3e-10; q_wf je s text
base.clock_classical.q_rw 0 neuvedeno
base.clock_classical.q_wf 9.0000e-20 neuvedeno
base.clock_classical.y0 5.0000e-10 neuvedeno
base.clock_quantum.flicker_floor 1.0000e-16 neuvedeno
base.clock_quantum.id optical-sr-lattice text
base.clock_quantum.provenance Strontium optical lattice clock, space-oriented goal sigma_y text
base.clock_quantum.q_rw 0 neuvedeno
base.clock_quantum.q_wf 1.0000e-30 neuvedeno
base.clock_quantum.y0 5.0000e-17 neuvedeno

Spusťte jej#

kshana scenarios/sweep-clock-stability.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
metric holdover_s text
parameter classical_q_wf text
scale logaritmická text
Graf, který engine zapisuje pro scenarios/sweep-clock-stability.toml, druh sweep

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Jeden běh převezme plán kontaktů (seznam oken aos_s/los_s, z nichž každé požaduje po apertuře navigaci nebo komunikaci, tedy stejný slovník oken, jaký vydává passes::predict_passes, převedený funkcí aperture_duty::windows_from_passes), počet apert
  • MODELLED Rozbory dostupnosti druhu gnss-ssv: podle konstelace (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) i souhrnně podíl dvojic (uživatel, epocha) s alespoň jedním a alespoň čtyřmi signály a nejdelší výpadek, pro uživatele na kouli
  • MODELLED Fáze tli-and-cruise: střední stav propagátorem Cowell z enginu (Země jako hmotný bod a J2, Slunce a Měsíc jako třetí tělesa, Měsíc z jádra DE440 vlákna, kde pokrývá úsek, a Slunce z analytické řady
  • MODELLED Sekce sweep (jeden až tři klíče s tečkami libovolného druhu, na hodnotách os obecného průchodu, volitelně soubor realizací v každém uzlu) a monte_carlo druhu campaign: realizace k běží se base_seed + k; každá metrika uvádí průměr, směrodatnou Testy: campaign_composition_reference.rs.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • MODELLED Růst chyby při dobíhání v uzavřeném tvaru + holdover do prahu; třídy kvantových hodin. Oracle (ReferenceImpl): Vícekroková rekurze kovariance clock_state (křížová kontrola ve stejné kódové základně); podkladové jádro rozptylu dobíhání a inverze holdoveru do prahu je externě ověřeno proti scipy (viz 'Clock-holdover coast-variance & threshold inversion'). Hodnoty holdoveru podle třídy při úrovni červeného šumu zůstávají MODELLED
  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • MODELLED Průchod druhu campaign (jeden až tři klíče zapsané s tečkami libovolného druhu, na hodnotách os obecného průchodu, volitelně se souborem v každém uzlu) a oddíl monte_carlo. Oracle (InternalConsistency): Uzavřený tvar náhodné procházky fáze při šumu bílé frekvence, rozptyl q_wf tau (NIST Technical Note 1337), pro statistický aparát a bajtová shoda se samostatnými běhy pro seedování. Kontroluje aritmetiku souboru na vlastním modelu hodin enginu, nikoli vnější datovou sadu

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • Holdover hodin při odepření GNSS je MODELLED, nikoli ověřen proti nezávislé vnější referenci: kontroluje se proti samostatné implementaci v téže kódové základně, nezávislé na testované jednotce, ale není vnějším autoritativním zdrojem. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Průchody parametrů a Monte Carlo soubory se seedem přes libovolný druh scénáře jsou MODELLED, nikoli ověřeny proti nezávislé vnější referenci: kontrolují se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#