realtime-frame-eop (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe GNSS-mittaukset, paikannus ja eheys. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Reaaliaikaisen kuukoordinaatiston / Maan orientaation ennustebudjetti: P4 taulukko 1 (koordinaatistovirheen johdonmukaisuustarkistus — jälkikäsitelty ~0,27 m ↔ ~0,010 ms ja reaaliaikainen ~15 m ↔ ~0,5 ms, kukin koordinaatiston paikka ilmaistuna vastaavana UT1-virheenä L19-vipuvarren Δr = D_EM·ω⊕·ΔUT1 kautta) ja taulukko 2 (mitattu UT1-ennustevirhe vs. horisontti — L18-käyrä luettuna suoraan todellisesta IERS finals2000A -sarjasta: Bulletin A − Bulletin B -lopullinen lattia ja usean päivän pysyvyysennustimen virhe, kumpikin kuvattuna Kuun koordinaatiston paikaksi L19:llä), sekä L21 neliösummattu reaaliaikainen koordinaatistovirhebudjetti (EOP + efemeridi + toteutuslattia). VALIDATED suljettu muoto (L19-vipuvarsi, ω⊕ ristiintarkistettu CIO-Maan pyörimiskulmaa vasten) ja VALIDATED todellinen data (L18-käyrä todellisilta finals2000A-riveiltä); MODELLED ovat kuun releiden radanmäärityksen kovarianssien suuruudet ja koordinaatiston toteutuslattia (edustavat osuudet) sekä pysyvyysennustin (ei IERSin operatiivinen Bulletin A -algoritmi). Ei sertifioitu reaaliaikainen koordinaatistotuote.

Skenaarion scenarios/realtime-frame-eop.toml yksi ajo tiivistyy seuraavasti: realtime-frame-eop | taulukko 1: jälkikäsitelty 0,27 m (0,0096 ms UT1) ↔ reaaliaikainen 14,4 m (0,514 ms UT1) | taulukko 2: lopullinen lattia 0,0171 ms → 3 vrk 1,6644 ms | budjetti yhteensä 20,1 m (67,0 ns) | L19-vipuvarsi + L18 todellinen data (validoitu), OD-kov. (mallinnettu)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: 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

Esimerkki scenarios/realtime-frame-eop.toml asettaa muun muassa:

Aja se#

kshana scenarios/realtime-frame-eop.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tuloksen nimike (moottorin oma): Reaaliaikaisen kuukoordinaatiston / Maan orientaation ennustebudjetti. VALIDATED suljettu muoto: L19-vipuvarsi (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ ristiintarkistettu CIO-Maan pyörimiskulmaa vasten. VALIDATED todellinen data: L18 UT1- ja napaliikkeen ennustevirhekäyrät luettuna suoraan todellisesta IERS finals200

Todisteet#

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

• VALIDATED Yksi taulukko raportoi UT1-ennustevirheen, napaliikkeen napavirheen ja niiden neliöllisen yhdistelmän Kuussa IDENTTISELLÄ epookkijoukolla horisonttia kohti ja tuottaa epookit, joissa kukin komponentti mitattiin. Testit: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Tyypin realtime-frame-eop ajonaikainen oletus on kirjaston oma sisäänrakennettu kopio sanatarkasta IERS finals2000A -otteesta (tools/finals2000A_20260930.txt: 174 peräkkäistä päivittäistä riviä, MJD 61224-61397, leikattu tiedostosta finals2000A.all päivältä 2026-09-30) kantaa Testit: operational_eop_predictor_reference.rs.
• MODELLED Pienimmän neliösumman vakio-plus-kulmakerroin-sovitus loppupään ikkunan yli sekä pääasialliset jaksolliset termit — vuosittainen, puolivuosittainen ja kaksi pääasiallista tsonaalista vuorovettä UT1:lle; Chandler, vuosittainen ja puolivuosittainen navalle — ekstrapoloituna viimeisellä ikkunan sisäisellä Testit: operational_eop_predictor_reference.rs.

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

• 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
• VALIDATED Yksi taulukko raportoi UT1-ennustevirheen, napaliikkeen napavirheen ja niiden neliöllisen yhdistelmän Kuussa IDENTTISELLÄ epookkijoukolla horisonttia kohti, tuottaen. Oraakkeli (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) lukien IERS finals2000A -tuotteen omalla Bulletin-B-muuten-A-säännöllään, ja pyerfa 2.0.1.5 (SOFA) täydet taivaalliset–maanpäälliset rotaatiot (c2i06a, sp00, pom00, c2tcio; Maan pyörimiskulma IERS 2010 yhtälön 5,15 mukaan tarkassa aritmetiikassa), ajettuina erillisinä ohjelmina jäädytetyn 2026-09-30 finals2000A.all -tiedoston sanatarkoilla riveillä; ennakkorekisteröity (455b8fb5) muutoksin A1 ja A2, jotka kiinnittävät vain
• VALIDATED Tyypin realtime-frame-eop ajonaikainen oletus on kirjaston oma sisäänrakennettu kopio sanatarkasta IERS finals2000A -otteesta (tools/finals2000A_20260930.txt: 174 peräkkäi. Oraakkeli (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), lukien samat tavut omalla lukijallaan, ja IERS Bulletin A Vol. XXXIX No. 039 -taulukko, kopioituna luku luvulta; ennakkorekisteröity (6fdae01b) kuudella täsmällisellä kriteerillä ennen astropyn ajoa. Kaikki kuusi pätevät: 30 lopullista, 54 nopeaa ja 90 ennustettua riviä yhtäläisin MJD-listoin, jokaisella ennustetulla rivillä lippu P, oletusajon laskenta yhtäläinen ja ennusteet yhtä kuin Bullet
• MODELLED Pienimmän neliösumman vakio-plus-kulmakerroin-sovitus loppupään ikkunan yli sekä pääasialliset jaksolliset termit — vuosittainen, puolivuosittainen ja kaksi pääasiallista tsonaalista vuorovettä UT1:lle; Cha. Oraakkeli (ReferenceImpl): Kolme riippumatonta reittiä, joista mikään ei ole julkaistu ennustetarkkuusluku. (1) Analyyttinen signaali tunnetuin kertoimin — ainoa tapa harjoittaa jaksollista koneistoa, koska mikään sidottu sarja ei ole riittävän pitkä vuosittaisen termin sallimiseksi. (2) Oppikirjan suljetun muodon pienimmän neliösumman ratkaisu, eri algebra kuin testattavan matriisiratkaisun, todellisilla riveillä. (3) Aidot arkistoidut Bulletin A -ennusterivit, jotka

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• Reaaliaikaisen kuukoordinaatiston / Maan orientaation ennustebudjetti. VALIDATED suljettu muoto: L19-vipuvarsi (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ ristiintarkistettu CIO-Maan pyörimiskulmaa vasten. VALIDATED todellinen data: L18 UT1- ja napaliikkeen ennustevirhekäyrät luettuna suoraan todellisesta IERS finals2000A -sarjasta (Bulletin A nopea vs. Bulletin B lopullinen, ja usean päivän pysyvyys todellisten päiväriveiden yli). JOHDETTU: koordinaatisto (tulos label)
• VALIDATED suljettu muoto (L19-vipuvarsi, ω⊕ ristiintarkistettu CIO-Maan pyörimiskulmaa vasten) ja VALIDATED todellinen data (L18-käyrä todellisilta finals2000A-riveiltä); MODELLED ovat kuun releiden radanmäärityksen kovarianssien suuruudet ja koordinaatiston toteutuslattia (edustavat osuudet) sekä pysyvyysennustin (ei IERSin operatiivinen Bulletin A -algoritmi). (tyyppiluettelo (kshana kinds --json))
• Rehellisyys: VALIDATED suljettu muoto (L19-vipuvarsi, omega_earth ristiintarkistettuna CIO:n Maan pyörimiskulmaa vastaan) ja VALIDATED oikea data (L18:n UT1- ja napaliikekäyrät oikeilta finals2000A-riveiltä). JOHDETTU koordinaatiston realisaation lattia (Helmert-sovituksen jälkeinen residuaali). MODELLED ovat kuunreleen OD-kovarianssien suuruusluokat (0,27 m jälkikäsiteltynä, ~14,4 m reaaliaikaisena tunnin viiveellä — pyöristetty, ei takaisinlaskettu, kaikki (skenaariotiedoston kommentti, rivit 27–32)
• 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))
• Operatiivisen tyyppisen Maan orientaation ennusteen virhe, mitattuna ennuste vastaan lopullinen, on MODELLED, ei validoitu: tarkistettu erillistä toteutusta vastaan samassa koodikannassa, joka on riippumaton testattavasta yksiköstä mutta ei ulkoisesti auktoritatiivinen. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: GNSS-mittaukset, paikannus ja eheys
• Kaikki lajit: KINDS.md
• Aihesivu: integrations.md