realtime-frame-eop (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond GNSS-i mõõtmised, positsioneerimine ja terviklikkus. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Reaalajas Kuu tugisüsteemi / Maa orientatsiooni ennustuse eelarve: P4 tabel 1 (tugisüsteemi vea kooskõlakontroll — järeltöödeldud ~0,27 m ↔ ~0,010 ms ja reaalajas ~15 m ↔ ~0,5 ms, iga tugisüsteemi asukoht väljendatud samaväärse UT1 veana L19 õlapikkuse Δr = D_EM·ω⊕·ΔUT1 kaudu) ja tabel 2 (mõõdetud UT1 ennustusviga vs horisont — L18 kõver loetud otse tegelikust IERS-i finals2000A reast: Bulletin A − Bulletin B lõplik põhjatase ja mitmepäevase püsivusennustaja viga, kumbki teisendatud Kuu tugisüsteemi asukohaks L19 abil), pluss L21 ruutude summa juurena reaalajas tugisüsteemi vea eelarve (EOP + efemeriid + realisatsiooni põhjatase). VALIDATED kinnine kuju (L19 õlapikkus, ω⊕ ristkontrollitud CIO Maa pöörlemisnurga vastu) ja VALIDATED reaalsed andmed (L18 kõver otse tegelikelt finals2000A ridadelt); MODELLED on tsislunaarse releesatelliidi OD kovariatsioonide suurused ja tugisüsteemi realisatsiooni põhjatase (esindusliku jaotusega eraldised) ning püsivusennustaja (mitte IERS-i operatiivne Bulletin A algoritm). Mitte sertifitseeritud reaalajas tugisüsteemi toode.

Ühe scenarios/realtime-frame-eop.toml käivituse kokkuvõte: realtime-frame-eop | tabel 1: järeltöötlus 0,27 m (0,0096 ms UT1) ↔ reaalajas 14,4 m (0,514 ms UT1) | tabel 2: lõplik põhjatase 0,0171 ms → 3 päeva 1,6644 ms | eelarve kokku 20,1 m (67,0 ns) | L19 õlapikkus + L18 reaalsed andmed (valideeritud), OD kov (modelleeritud)

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: 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

Näide scenarios/realtime-frame-eop.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/realtime-frame-eop.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemuse silt (mootori oma): Reaalajas Kuu tugisüsteemi / Maa orientatsiooni ennustuse eelarve. VALIDATED kinnine kuju: L19 õlapikkus (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ ristkontrollitud CIO Maa pöörlemisnurga vastu. VALIDATED reaalsed andmed: L18 UT1 ja poolusliikumise ennustusvea kõverad loetud otse tegelikust IERS-i finals200

Tõendid#

MODELLED 1 · VALIDATED 2: selle liigi nimetavad kontrollimaatriksi read.

• VALIDATED Üks tabel annab UT1 ennustusvea, poolusliikumise poolusevea ja nende kvadratuurse kombinatsiooni Kuul IDENTSE epohhikomplekti kohta horisondi kaupa, väljastades epohhid, mil kumbagi komponenti mõõdeti. Testid: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Käitusaja vaikeväärtus realtime-frame-eop on teegi enda manustatud koopia sõna-sõnalisest IERS-i finals2000A väljavõttest (tools/finals2000A_20260930.txt: 174 järjestikust päevarida, MJD 61224-61397, lõigatud 2026-09-30 failist finals2000A.all) kannab Testid: operational_eop_predictor_reference.rs.
• MODELLED Vähimruutude nihke-pluss-kiiruse sobitus järelakna kohal pluss peamised perioodilised liikmed — aastane, poolaastane ja kaks peamist tsonaalset loodet UT1 jaoks; Chandleri, aastane ja poolaastane pooluse jaoks — ekstrapoleeritud viimase aknasisese Testid: operational_eop_predictor_reference.rs.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
• VALIDATED Üks tabel annab UT1 ennustusvea, poolusliikumise poolusevea ja nende kvadratuurse kombinatsiooni Kuul IDENTSE epohhikomplekti kohta horisondi kaupa, väljastades. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): astropy 8.0.1 utils.iers (BSD-3), mis loeb IERS-i finals2000A toodet oma Bulletin-B-muidu-A reegliga, ja pyerfa 2.0.1.5 (SOFA) täielikud taevalt-maapealseks pöörded (c2i06a, sp00, pom00, c2tcio; Maa pöörlemisnurk IERS 2010 valemi 5,15 järgi täpses aritmeetikas), käivitatud eraldi programmidena külmutatud 2026-09-30 finals2000A.all sõna-sõnalistel ridadel; eelregistreeritud (455b8fb5) muudatustega A1 ja A2, mis fikseerivad ainult
• VALIDATED Käitusaja vaikeväärtus realtime-frame-eop on teegi enda manustatud koopia sõna-sõnalisest IERS-i finals2000A väljavõttest (tools/finals2000A_20260930.txt: 174 järjestikust. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), mis loeb samu baite oma lugejaga, ja IERS-i Bulletin A Vol. XXXIX No. 039 tabel, kopeeritud number-numbri haaval; eelregistreeritud (6fdae01b) kuue täpse kriteeriumiga enne astropy käivitamist. Kõik kuus kehtivad: 30 lõplikku, 54 kiiret ja 90 ennustatud rida võrdsete MJD loenditega, iga ennustatud rea lipp P, vaikekäivituse loendus võrdne ning ennustused võrdsed Bullet
• MODELLED Vähimruutude nihke-pluss-kiiruse sobitus järelakna kohal pluss peamised perioodilised liikmed — aastane, poolaastane ja kaks peamist tsonaalset loodet UT1 jaoks; Cha. Sõltumatu etalon (viiteteostus; ReferenceImpl): kolm sõltumatut marsruuti, ükski neist pole avaldatud ennustustäpsuse arv. (1) Teadaolevate koefitsientidega analüütiline signaal — ainus viis perioodilise masinavärgi rakendamiseks, kuna ükski kinnistatud rida ei ole piisavalt pikk aastase liikme lubamiseks. (2) Õpikuline kinnise kuju vähimruutude lahend, erinev algebra kui testitav maatriksilahend, reaalsetel ridadel. (3) Tegelikud arhiveeritud Bulletin A ennustusread, mis

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

• Reaalajas Kuu tugisüsteemi / Maa orientatsiooni ennustuse eelarve. VALIDATED kinnine kuju: L19 õlapikkus (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ ristkontrollitud CIO Maa pöörlemisnurga vastu. VALIDATED reaalsed andmed: L18 UT1 ja poolusliikumise ennustusvea kõverad loetud otse tegelikust IERS-i finals2000A reast (Bulletin A kiire vs Bulletin B lõplik ja mitmepäevane püsivus tegelike päevaridade kohal). DERIVED: tugisüsteem (tulemus label)
• VALIDATED kinnine kuju (L19 õlapikkus, ω⊕ ristkontrollitud CIO Maa pöörlemisnurga vastu) ja VALIDATED reaalsed andmed (L18 kõver otse tegelikelt finals2000A ridadelt); MODELLED on tsislunaarse releesatelliidi OD kovariatsioonide suurused ja tugisüsteemi realisatsiooni põhjatase (esindusliku jaotusega eraldised) ning püsivusennustaja (mitte IERS-i operatiivne Bulletin A algoritm). (liikide kataloog (kshana kinds --json))
• Austus: VALIDATED kinnine kuju (L19 õlapikkus, omega_earth ristkontrollitud CIO Maa pöörlemisnurga vastu) ja VALIDATED reaalsed andmed (L18 UT1 ja poolusliikumise kõverad otse tegelikelt finals2000A ridadelt). DERIVED tugisüsteemi realisatsiooni põhjatase (Helmerti järelsobituse jääk). MODELLED on tsislunaarse releesatelliidi OD kovariatsioonide suurused (0,27 m järeltöödeldult, ~14,4 m reaalajas ühetunnise latentsuse korral — ümardatud, mitte tagasi lahendatud, all (stsenaariumifaili kommentaar, read 27–32)
• Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Operatiivse stiiliga Maa orientatsiooni ennustusviga, mõõdetuna ennustatud-vs-lõplik, on MODELLED, mitte valideeritud: kontrollitud sama koodibaasi eraldi teostuse vastu — kontrollitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#

• Perekonna leht: GNSS-i mõõtmised, positsioneerimine ja terviklikkus
• Kõik liigid: KINDS.md
• Teemaleht: integrations.md