realtime-frame-eop (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Měření GNSS, určování polohy a integrita. 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á#

Rozpočet predikce lunární soustavy / orientace Země v reálném čase: tabulka 1 z P4 (kontrola konzistence chyby soustavy — po zpracování ~0,27 m ↔ ~0,010 ms a v reálném čase ~15 m ↔ ~0,5 ms, každá poloha v soustavě vyjádřená jako ekvivalentní chyba UT1 přes rameno páky L19 Δr = D_EM·ω⊕·ΔUT1) a tabulka 2 (naměřená chyba predikce UT1 v závislosti na horizontu — křivka L18 odečtená přímo z reálné řady IERS finals2000A: konečná podlaha Bulletin A − Bulletin B a chyba vícedenního prediktoru persistence, každá převedená na polohu v soustavě Měsíce přes L19), plus kvadratický součtový (root-sum-square) rozpočet chyby soustavy v reálném čase L21 (EOP + efemeridy + podlaha realizace). VALIDATED uzavřený tvar (rameno páky L19, ω⊕ křížově zkontrolováno proti úhlu rotace Země CIO) a VALIDATED reálná data (křivka L18 z reálných řádků finals2000A); MODELLED jsou velikosti kovariance OD lunárního relé a podlaha realizace soustavy (reprezentativní přídělové hodnoty) a prediktor persistence (nikoli provozní algoritmus Bulletin A od IERS). Nejde o certifikovaný produkt soustavy v reálném čase.

Jeden běh scenarios/realtime-frame-eop.toml se shrnuje takto: realtime-frame-eop | tabulka 1: po zpracování 0,27 m (0,0096 ms UT1) ↔ v reálném čase 14,4 m (0,514 ms UT1) | tabulka 2: konečná podlaha 0,0171 ms → 3 dny 1,6644 ms | celkový rozpočet 20,1 m (67,0 ns) | rameno páky L19 + reálná data L18 (ověřeno), kovariance OD (vypočteno z modelu)

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

Příklad scenarios/realtime-frame-eop.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/realtime-frame-eop.toml

Co poskytuje#

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

Popisek výsledku (z enginu): Rozpočet predikce lunární soustavy / orientace Země v reálném čase. VALIDATED uzavřený tvar: rameno páky L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ křížově zkontrolováno proti úhlu rotace Země CIO. VALIDATED reálná data: křivky chyby predikce UT1 a pohybu pólu L18 odečtené přímo z reálné IERS finals200

Důkazy#

MODELLED 1 · VALIDATED 2: řádky verifikační matice, které tento druh uvádějí.

• VALIDATED Jedna tabulka uvádí chybu predikce UT1, chybu pólu při pohybu pólu a jejich kvadraturní kombinaci na Měsíci přes IDENTICKOU množinu epoch pro každý horizont a vypisuje epochy, ve kterých byla každá složka změřena. Testy: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Výchozí hodnota za běhu realtime-frame-eop je vlastní vestavěná kopie doslovného výňatku z IERS finals2000A (tools/finals2000A_20260930.txt: 174 po sobě jdoucích denních řádků, MJD 61224-61397, vyříznutých z finals2000A.all ze dne 2026-09-30) nesou Testy: operational_eop_predictor_reference.rs.
• MODELLED Proložení zkreslení a rychlosti metodou nejmenších čtverců v koncovém okně plus hlavní periodické členy — roční, půlroční a dva hlavní zonální slapy pro UT1; Chandlerův, roční a půlroční pro pól — extrapolované s posledním v okně Testy: operational_eop_predictor_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 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
• VALIDATED Jedna tabulka uvádí chybu predikce UT1, chybu pólu při pohybu pólu a jejich kvadraturní kombinaci na Měsíci přes IDENTICKOU množinu epoch pro každý horizont, vy. Orákulum (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) čtoucí produkt IERS finals2000A s vlastním pravidlem Bulletin-B-jinak-A a pyerfa 2.0.1.5 (SOFA), úplné rotace od nebeské k pozemské soustavě (c2i06a, sp00, pom00, c2tcio; úhel rotace Země podle IERS 2010 rov. 5,15 v přesné aritmetice), spuštěné jako samostatné programy nad doslovnými řádky zmrazeného finals2000A.all ze dne 2026-09-30; předregistrováno (455b8fb5) s dodatky A1 a A2 upravujícími pouze
• VALIDATED Výchozí hodnota za běhu realtime-frame-eop je vlastní vestavěná kopie doslovného výňatku z IERS finals2000A (tools/finals2000A_20260930.txt: 174 po sobě jdoucích. Orákulum (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), čtoucí tytéž bajty vlastním čtecím modulem, a tabulka IERS Bulletin A Vol. XXXIX No. 039, opsaná číslo po čísle; předregistrováno (6fdae01b) se šesti přesnými kritérii před spuštěním astropy. Všech šest platí: 30 konečných, 54 rychlých a 90 predikovaných řádků se shodnými seznamy MJD, každý predikovaný řádek s příznakem P, shodný census výchozího běhu a predikce shodné s Bullet
• MODELLED Proložení zkreslení a rychlosti metodou nejmenších čtverců v koncovém okně plus hlavní periodické členy — roční, půlroční a dva hlavní zonální slapy pro UT1; Cha. Orákulum (ReferenceImpl): Tři nezávislé cesty, žádná z nich není publikovaným údajem o přesnosti predikce. (1) Analytický signál se známými koeficienty — jediný způsob, jak procvičit periodický aparát, protože žádná potvrzená řada není dost dlouhá pro roční člen. (2) Učebnicové řešení metodou nejmenších čtverců v uzavřeném tvaru, jiná algebra než testované maticové řešení, na reálných řádcích. (3) Skutečné archivované predikční řádky Bulletin A, kte

Omezení#

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

• Rozpočet predikce lunární soustavy / orientace Země v reálném čase. VALIDATED uzavřený tvar: rameno páky L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ křížově zkontrolováno proti úhlu rotace Země CIO. VALIDATED reálná data: křivky chyby predikce UT1 a pohybu pólu L18 odečtené přímo z reálné řady IERS finals2000A (Bulletin A rychlý oproti Bulletin B konečný a vícedenní persistence nad reálnými denními řádky). ODVOZENO: soustava (výsledek label)
• VALIDATED uzavřený tvar (rameno páky L19, ω⊕ křížově zkontrolováno proti úhlu rotace Země CIO) a VALIDATED reálná data (křivka L18 z reálných řádků finals2000A); MODELLED jsou velikosti kovariance OD lunárního relé a podlaha realizace soustavy (reprezentativní přídělové hodnoty) a prediktor persistence (nikoli provozní algoritmus Bulletin A od IERS). (katalog druhů (kshana kinds --json))
• Poctivost: VALIDATED uzavřený tvar (rameno páky L19, omega_earth křížově zkontrolováno proti úhlu rotace Země CIO) a VALIDATED reálná data (křivky L18 pro UT1 a pohyb pólu z reálných řádků finals2000A). ODVOZENÁ podlaha realizace soustavy (reziduum po fitu Helmertovy transformace). MODELLED jsou velikosti kovariance OD lunárního relé (0,27 m po zpracování, ~14,4 m v reálném čase při hodinové latenci — zaokrouhlená, nikoli zpětně dopočtená, př (komentář v souboru scénáře, řádky 27 až 32)
• 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))
• Chyba predikce orientace Země v provozním stylu, měřená jako predikované oproti konečnému, je MODELLED, nikoli ověřená: zkontrolováno proti samostatné implementaci ve stejné kódové bázi — nezávislé na testované jednotce, ale ne externě autoritativní. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Měření GNSS, určování polohy a integrita
• Všechny druhy: KINDS.md
• Tematická stránka: integrations.md