realtime-frame-eop (scenariotype)

Scenariotype i motoren v0.40.0, familie GNSS-målinger, posisjonsbestemmelse og integritet. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Budsjett for sanntidsprediksjon av månens referansesystem og jordorientering: P4 tabell 1 (konsistenskontrollen av rammefeil: etterbehandlet ~0,27 m ↔ ~0,010 ms og sanntid ~15 m ↔ ~0,5 ms, der hver rammeposisjon uttrykkes som sin tilsvarende UT1-feil via L19-vektarmen Δr = D_EM·ω⊕·ΔUT1) og tabell 2 (målt UT1-prediksjonsfeil mot horisont: L18-kurven lest rett av den virkelige IERS finals2000A-serien, det endelige gulvet Bulletin A − Bulletin B og persistensprediktorens feil over flere dager, hver avbildet til en posisjon i månens ramme med L19), pluss L21-budsjettet for rammefeil i sanntid som kvadratroten av kvadratsummen (EOP + efemeride + realiseringsgulv). VALIDATED lukket form (L19-vektarmen, ω⊕ kontrollert mot CIO-rotasjonsvinkelen for jorden) og VALIDATED virkelige data (L18-kurven rett av de virkelige radene i finals2000A); MODELLED er størrelsene på OD-kovariansen for månereléet og gulvet for realisering av rammen (representative tildelinger) og persistensprediktoren (ikke IERS' operative Bulletin A-algoritme). Ikke et sertifisert sanntidsprodukt for referansesystem.

En kjøring av scenarios/realtime-frame-eop.toml oppsummeres slik: realtime-frame-eop | Table 1: post-proc 0,27 m (0,0096 ms UT1) ↔ real-time 14,4 m (0,514 ms UT1) | Table 2: final floor 0,0171 ms → 3-day 1,6644 ms | budget total 20,1 m (67,0 ns) | L19 lever arm + L18 real-data (Validated), OD cov (Modelled)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: 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

Eksempelet scenarios/realtime-frame-eop.toml angir blant annet:

Kjør den#

kshana scenarios/realtime-frame-eop.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens): budsjett for sanntidsprediksjon av månens referansesystem og jordorientering. VALIDATED lukket form: L19-vektarmen (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ kontrollert mot CIO-rotasjonsvinkelen for jorden. VALIDATED virkelige data: L18-kurvene for UT1- og polbevegelsesprediksjonsfeil lest rett av den virkelige IERS finals200

Evidens#

MODELLED 1 · VALIDATED 2: radene i verifikasjonsmatrisen som nevner denne typen.

• VALIDATED Én tabell rapporterer UT1-prediksjonsfeilen, polfeilen fra polbevegelsen og deres kvadratiske kombinasjon ved Månen over et IDENTISK epokesett per horisont, og sender ut epokene hver komponent ble målt ved. Tester: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Standardverdien i kjøretid for realtime-frame-eop er bibliotekets egen innebygde kopi av et ordrett IERS finals2000A-utdrag (tools/finals2000A_20260930.txt: 174 sammenhengende daglige rader, MJD 61224-61397, klippet fra finals2000A.all fra 2026-09-30) som bærer Tester: operational_eop_predictor_reference.rs.
• MODELLED En tilpasning med minste kvadrater av skjevhet pluss rate over et etterfølgende vindu pluss de viktigste periodiske leddene (årlig, halvårlig og de to viktigste sonale tidevannene for UT1; Chandler, årlig og halvårlig for polen), ekstrapolert med det siste i vinduet Tester: operational_eop_predictor_reference.rs.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• VALIDATED Én tabell rapporterer UT1-prediksjonsfeilen, polfeilen fra polbevegelsen og deres kvadratiske kombinasjon ved Månen over et IDENTISK epokesett per horisont, sender. Uavhengig referanse (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) som leser IERS-produktet finals2000A med sin egen regel Bulletin-B-ellers-A, og pyerfa 2.0.1.5 (SOFA) fulle rotasjoner fra himmelsk til terrestrisk (c2i06a, sp00, pom00, c2tcio; jordrotasjonsvinkelen etter IERS 2010 lign. 5,15 i eksakt aritmetikk), kjørt som separate programmer på ordrette rader av den frosne finals2000A.all fra 2026-09-30; forhåndsregistrert (455b8fb5) med endringene A1 og A2 som kun fastsatte
• VALIDATED Standardverdien i kjøretid for realtime-frame-eop er bibliotekets egen innebygde kopi av et ordrett IERS finals2000A-utdrag (tools/finals2000A_20260930.txt: 174 sammenhengende. Uavhengig referanse (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), som leser de samme bytene med sin egen leser, og tabellen i IERS Bulletin A bd. XXXIX nr. 039, kopiert tall for tall; forhåndsregistrert (6fdae01b) med seks eksakte kriterier før astropy ble kjørt. Alle seks holder: 30 endelige, 54 raske og 90 predikerte rader med like MJD-lister, hver predikert rad med flagg P, folketellingen for standardkjøringen lik, og prediksjonene lik Bullet
• MODELLED En tilpasning med minste kvadrater av skjevhet pluss rate over et etterfølgende vindu pluss de viktigste periodiske leddene (årlig, halvårlig og de to viktigste sonale tidevannene for UT1; Cha. Uavhengig referanse (ReferenceImpl): tre uavhengige veier, ingen av dem et publisert tall for prediksjonsnøyaktighet. (1) Et analytisk signal med kjente koeffisienter, den eneste måten å prøve ut maskineriet for periodiske ledd, siden ingen innsjekket serie er lang nok til å romme et årlig ledd. (2) Lærebokens lukkede løsning med minste kvadrater, annen algebra enn matriseløsningen som testes, på virkelige rader. (3) De ekte arkiverte radene for Bulletin A-prediksjon som

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• Budsjett for sanntidsprediksjon av månens referansesystem og jordorientering. VALIDATED lukket form: L19-vektarmen (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ kontrollert mot CIO-rotasjonsvinkelen for jorden. VALIDATED virkelige data: L18-kurvene for UT1- og polbevegelsesprediksjonsfeil lest rett av den virkelige IERS finals2000A-serien (Bulletin A raske mot Bulletin B endelige, og persistens over flere dager på de virkelige daglige radene). AVLEDET: rammen (resultat label)
• VALIDATED lukket form (L19-vektarmen, ω⊕ kontrollert mot CIO-rotasjonsvinkelen for jorden) og VALIDATED virkelige data (L18-kurven rett av de virkelige radene i finals2000A); MODELLED er størrelsene på OD-kovariansen for månereléet og gulvet for realisering av rammen (representative tildelinger) og persistensprediktoren (ikke IERS' operative Bulletin A-algoritme). (typekatalog (kshana kinds --json))
• Ærlighet: VALIDATED lukket form (L19-vektarmen, omega_earth kontrollert mot CIO-rotasjonsvinkelen for jorden) og VALIDATED virkelige data (L18-kurvene for UT1 og polbevegelse rett av de virkelige radene i finals2000A). AVLEDET gulv for realisering av rammen (Helmert-restene etter tilpasning). MODELLED er størrelsene på OD-kovariansen for månereléet (0,27 m etterbehandlet, ~14,4 m i sanntid ved én times latens, et rundt tall, ikke tilbakeløst, alle (kommentar i scenariofilen, linje 27 til 32)
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Prediksjonsfeil for jordorientering i operativ stil, målt som predikert mot endelig, er MODELLED, ikke validert: kontrollert mot en separat implementasjon i den samme kodebasen, uavhengig av enheten som testes, men ikke ekstern autoritet. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

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