realtime-frame-eop (scenarietype)

Scenarietype i motoren v0.40.0, familie GNSS-målinger, positionsbestemmelse og integritet. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Budget for forudsigelse af månens referencesystem og jordens orientering i realtid: P4 Tabel 1 (kontrollen af konsistens for referencesystemets fejl — efterbehandlet ~0,27 m ↔ ~0,010 ms og realtid ~15 m ↔ ~0,5 ms, hver position i referencesystemet udtrykt som dens tilsvarende UT1-fejl via momentarmen L19 Δr = D_EM·ω⊕·ΔUT1) og Tabel 2 (målt UT1-forudsigelsesfejl mod horisont — kurven L18 aflæst direkte fra den reelle IERS finals2000A-serie: det endelige gulv Bulletin A − Bulletin B og fejlen for prædiktoren med persistens over flere dage, hver afbildet på en position i månens referencesystem ved L19), plus det kvadratisk summerede (root-sum-square) fejlbudget L21 for referencesystemet i realtid (EOP + efemeride + gulv for realisering). VALIDATED lukket form (momentarmen L19, ω⊕ krydskontrolleret mod CIO-jordrotationsvinklen) og VALIDATED reelle data (kurven L18 aflæst fra de reelle rækker i finals2000A); MODELLED er størrelserne på kovariansen for banebestemmelse (OD) af månerelæet og gulvet for realisering af referencesystemet (repræsentative tildelinger) og prædiktoren med persistens (ikke IERS' operationelle algoritme for Bulletin A). Ikke et certificeret produkt til referencesystem i realtid.

Én kørsel af scenarios/realtime-frame-eop.toml opsummeres som: realtime-frame-eop | Tabel 1: efterbehandlet 0,27 m (0,0096 ms UT1) ↔ realtid 14,4 m (0,514 ms UT1) | Tabel 2: endeligt gulv 0,0171 ms → 3 dage 1,6644 ms | samlet budget 20,1 m (67,0 ns) | momentarm L19 + reelle data L18 (valideret), OD-kovarians (modelleret)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

Eksemplet scenarios/realtime-frame-eop.toml angiver blandt andet:

Kør den#

kshana scenarios/realtime-frame-eop.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatetiket (motorens egen): Budget for forudsigelse af månens referencesystem og jordens orientering i realtid. VALIDATED lukket form: momentarmen L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ krydskontrolleret mod CIO-jordrotationsvinklen. VALIDATED reelle data: kurverne L18 for forudsigelsesfejl i UT1 og polbevægelse aflæst direkte fra den reelle IERS finals200

Evidens#

MODELLED 1 · VALIDATED 2: rækkerne i verifikationsmatrixen, som nævner denne type.

• VALIDATED Én tabel rapporterer UT1-forudsigelsesfejlen, polfejlen ved polbevægelsen og deres kvadratiske kombination ved månen over et IDENTISK epokesæt pr. horisont og udsender de epoker, hver komponent blev målt ved. Tests: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Standarden for realtime-frame-eop i køretiden er bibliotekets egen indlejrede kopi af et ordret udtræk fra IERS finals2000A (tools/finals2000A_20260930.txt: 174 på hinanden følgende daglige rækker, MJD 61224-61397, skåret ud af finals2000A.all fra 2026-09-30) bærer Tests: operational_eop_predictor_reference.rs.
• MODELLED En tilpasning med mindste kvadrater af bias plus rate over et bagudgående vindue plus de vigtigste periodiske led — årlig, halvårlig og de to vigtigste zonale tidevand for UT1; Chandler, årlig og halvårlig for polen — ekstrapoleret med den sidste i vindue Tests: operational_eop_predictor_reference.rs.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• VALIDATED Én tabel rapporterer UT1-forudsigelsesfejlen, polfejlen ved polbevægelsen og deres kvadratiske kombination ved månen over et IDENTISK epokesæt pr. horisont, udsend. Uafhængig reference (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) læser IERS-produktet finals2000A med sin egen regel Bulletin B ellers A, og pyerfa 2.0.1.5 (SOFA) fulde rotationer fra himmelsk til terrestrisk (c2i06a, sp00, pom00, c2tcio; jordrotationsvinklen efter IERS 2010 ligning 5,15 i eksakt aritmetik), kørt som separate programmer på ordrette rækker fra den frosne finals2000A.all fra 2026-09-30; præregistreret (455b8fb5) med ændringerne A1 og A2, der kun fastlægger
• VALIDATED Standarden for realtime-frame-eop i køretiden er bibliotekets egen indlejrede kopi af et ordret udtræk fra IERS finals2000A (tools/finals2000A_20260930.txt: 174 på hinanden følgende. Uafhængig reference (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), der læser de samme bytes med sin egen læser, og tabellen i IERS Bulletin A Vol. XXXIX nr. 039, kopieret tal for tal; præregistreret (6fdae01b) med seks eksakte kriterier, før astropy blev kørt. Alle seks gælder: 30 endelige, 54 hurtige og 90 forudsagte rækker med lige MJD-lister, hver forudsagt række med flag P, optællingen af standardkørslen ens, og forudsigelserne ens med Bullet
• MODELLED En tilpasning med mindste kvadrater af bias plus rate over et bagudgående vindue plus de vigtigste periodiske led — årlig, halvårlig og de to vigtigste zonale tidevand for UT1; Cha. Uafhængig reference (ReferenceImpl): tre uafhængige veje, ingen af dem et offentliggjort tal for forudsigelsesnøjagtighed. (1) Et analytisk signal med kendte koefficienter — den eneste måde at afprøve det periodiske maskineri på, da ingen indsendt serie er lang nok til at tillade et årligt led. (2) Lærebogens løsning med mindste kvadrater i lukket form, anden algebra end den matrixløsning, der afprøves, på reelle rækker. (3) De ægte arkiverede forudsigelsesrækker fra Bulletin A, som

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• Budget for forudsigelse af månens referencesystem og jordens orientering i realtid. VALIDATED lukket form: momentarmen L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ krydskontrolleret mod CIO-jordrotationsvinklen. VALIDATED reelle data: kurverne L18 for forudsigelsesfejl i UT1 og polbevægelse aflæst direkte fra den reelle IERS finals2000A-serie (Bulletin A hurtig mod Bulletin B endelig og persistens over flere dage på de reelle daglige rækker). AFLEDT: referencesystemet (resultat label)
• VALIDATED lukket form (momentarmen L19, ω⊕ krydskontrolleret mod CIO-jordrotationsvinklen) og VALIDATED reelle data (kurven L18 aflæst fra de reelle rækker i finals2000A); MODELLED er størrelserne på kovariansen for banebestemmelse (OD) af månerelæet og gulvet for realisering af referencesystemet (repræsentative tildelinger) og prædiktoren med persistens (ikke IERS' operationelle algoritme for Bulletin A). (typekatalog (kshana kinds --json))
• Ærlighed: VALIDATED lukket form (momentarmen L19, omega_earth krydskontrolleret mod CIO-jordrotationsvinklen) og VALIDATED reelle data (kurverne L18 for UT1 og polbevægelse aflæst fra de reelle rækker i finals2000A). AFLEDT gulv for realisering af referencesystemet (Helmert-residualet efter tilpasning). MODELLED er størrelserne på kovariansen for banebestemmelse (OD) af månerelæet (0,27 m efterbehandlet, ~14,4 m i realtid ved én times latens — en rund, ikke tilbageregnet, tildeling (kommentar i scenariefilen, linje 27 til 32)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Fejl i operationel forudsigelse af jordens orientering, målt forudsagt mod endelig, er MODELLED, ikke valideret: kontrolleret mod en separat implementering i den samme kodebase — uafhængig af den enhed, der afprøves, men ikke eksternt autoritativ. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: GNSS-målinger, positionsbestemmelse og integritet
• Alle typer: KINDS.md
• Emneside: integrations.md