realtime-frame-eop (Szenarioart)

Szenarioart der Engine v0.40.0, Familie GNSS-Messungen, Positionierung und Integrität. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Echtzeit-Budget der Vorhersage von Mondbezugssystem / Erdorientierung: P4-Tabelle 1 (die Konsistenzprüfung des Bezugssystemfehlers — nachverarbeitet ~0,27 m ↔ ~0,010 ms und Echtzeit ~15 m ↔ ~0,5 ms, jede Bezugssystemposition ausgedrückt als ihr äquivalenter UT1-Fehler über den L19-Hebelarm Δr = D_EM·ω⊕·ΔUT1) und Tabelle 2 (gemessener UT1-Vorhersagefehler gegen den Horizont — die L18-Kurve, direkt aus der realen IERS-Reihe finals2000A abgelesen: die endgültige Untergrenze Bulletin A − Bulletin B und der Fehler des Persistenz-Prädiktors über mehrere Tage, jeweils durch L19 auf eine Position im Mondbezugssystem abgebildet), plus das L21-Echtzeit-Bezugssystemfehlerbudget als Wurzel aus der Quadratsumme (EOP + Ephemeride + Realisierungs-Untergrenze). VALIDATED: die geschlossene Form (der L19-Hebelarm, ω⊕ gegengeprüft gegen den CIO-Erdrotationswinkel) und VALIDATED: reale Daten (die L18-Kurve aus den realen finals2000A-Zeilen); MODELLED sind die Größenordnungen der Kovarianz der Bahnbestimmung des Mondrelais und die Untergrenze der Bezugssystemrealisierung (repräsentative Zuweisungen) sowie der Persistenz-Prädiktor (nicht der operative Bulletin-A-Algorithmus des IERS). Kein zertifiziertes Echtzeit-Bezugssystemprodukt.

Ein Lauf von scenarios/realtime-frame-eop.toml fasst sich zusammen als: realtime-frame-eop | Tabelle 1: nachverarbeitet 0,27 m (0,0096 ms UT1) ↔ Echtzeit 14,4 m (0,514 ms UT1) | Tabelle 2: endgültige Untergrenze 0,0171 ms → 3 Tage 1,6644 ms | Budget gesamt 20,1 m (67,0 ns) | L19-Hebelarm + L18-Realdaten (validiert), Bahnbestimmungs-Kov. (modelliert)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: 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

Das Beispiel scenarios/realtime-frame-eop.toml setzt unter anderem:

Ausführen#

kshana scenarios/realtime-frame-eop.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnisbezeichnung (die der Engine): Echtzeit-Budget der Vorhersage von Mondbezugssystem / Erdorientierung. VALIDATED geschlossene Form: der L19-Hebelarm (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ gegengeprüft gegen den CIO-Erdrotationswinkel. VALIDATED reale Daten: die L18-Vorhersagefehlerkurven für UT1 und Polbewegung, direkt aus den realen IERS-finals200

Nachweise#

MODELLED 1 · VALIDATED 2: die Zeilen der Verifikationsmatrix, die diesen Typ nennen.

• VALIDATED Eine Tabelle gibt den UT1-Vorhersagefehler, den Polfehler der Polbewegung und ihre quadratische Kombination am Mond über einen IDENTISCHEN Epochensatz pro Horizont aus und gibt die Epochen aus, an denen jede Komponente gemessen wurde. Tests: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Der Laufzeit-Standard von realtime-frame-eop ist die eigene eingebettete Kopie der Bibliothek eines wortgetreuen IERS-finals2000A-Auszugs (tools/finals2000A_20260930.txt: 174 aufeinanderfolgende Tageszeilen, MJD 61224-61397, ausgeschnitten aus der finals2000A.all vom 2026-09-30) trägt Tests: operational_eop_predictor_reference.rs.
• MODELLED Eine Kleinste-Quadrate-Anpassung von Bias plus Rate über ein nachlaufendes Fenster plus die wichtigsten periodischen Terme — jährlich, halbjährlich und die zwei wichtigsten zonalen Gezeiten für UT1; Chandler, jährlich und halbjährlich für den Pol — extrapoliert mit dem letzten im Fenster liegenden Tests: operational_eop_predictor_reference.rs.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• VALIDATED Eine Tabelle gibt den UT1-Vorhersagefehler, den Polfehler der Polbewegung und ihre quadratische Kombination am Mond über einen IDENTISCHEN Epochensatz pro Horizont aus, gibt. Unabhängige Referenz (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3), das das IERS-Produkt finals2000A mit seiner eigenen Regel Bulletin B sonst A liest, und pyerfa 2.0.1.5 (SOFA) volle Rotationen vom Himmels- ins Erdsystem (c2i06a, sp00, pom00, c2tcio; der Erdrotationswinkel nach IERS 2010 Gl. 5,15 in exakter Arithmetik), als separate Programme auf wortgetreuen Zeilen der eingefrorenen finals2000A.all vom 2026-09-30 ausgeführt; vorregistriert (455b8fb5) mit den Änderungen A1 und A2, die nur
• VALIDATED Der Laufzeit-Standard von realtime-frame-eop ist die eigene eingebettete Kopie der Bibliothek eines wortgetreuen IERS-finals2000A-Auszugs (tools/finals2000A_20260930.txt: 174 aufeinanderfolgend. Unabhängige Referenz (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), das dieselben Bytes mit seinem eigenen Leser liest, und die Tabelle des IERS Bulletin A Vol. XXXIX No. 039, Zahl für Zahl kopiert; vorregistriert (6fdae01b) mit sechs exakten Kriterien, bevor astropy ausgeführt wurde. Alle sechs gelten: 30 endgültige, 54 schnelle und 90 vorhergesagte Zeilen mit gleichen MJD-Listen, jede vorhergesagte Zeile mit Flag P, die Zählung im Standardlauf gleich, und die Vorhersagen gleich Bullet
• MODELLED Eine Kleinste-Quadrate-Anpassung von Bias plus Rate über ein nachlaufendes Fenster plus die wichtigsten periodischen Terme — jährlich, halbjährlich und die zwei wichtigsten zonalen Gezeiten für UT1; Cha. Unabhängige Referenz (ReferenceImpl): Drei unabhängige Wege, keiner davon eine veröffentlichte Angabe zur Vorhersagegenauigkeit. (1) Ein analytisches Signal mit bekannten Koeffizienten — der einzige Weg, die periodische Maschinerie zu prüfen, da keine eingecheckte Reihe lang genug ist, um einen Jahresterm zuzulassen. (2) Die Lehrbuch-Lösung der kleinsten Quadrate in geschlossener Form, andere Algebra als die geprüfte Matrixlösung, auf realen Zeilen. (3) Die echten archivierten Vorhersagezeilen von Bulletin A, die

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• Echtzeit-Budget der Vorhersage von Mondbezugssystem / Erdorientierung. VALIDATED geschlossene Form: der L19-Hebelarm (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ gegengeprüft gegen den CIO-Erdrotationswinkel. VALIDATED reale Daten: die L18-Vorhersagefehlerkurven für UT1 und Polbewegung, direkt aus der realen IERS-Reihe finals2000A abgelesen (Bulletin A schnell gegen Bulletin B endgültig und Persistenz über mehrere Tage auf den realen Tageszeilen). DERIVED: das Bezugssystem (Ergebnis label)
• VALIDATED geschlossene Form (der L19-Hebelarm, ω⊕ gegengeprüft gegen den CIO-Erdrotationswinkel) und VALIDATED reale Daten (die L18-Kurve aus den realen finals2000A-Zeilen); MODELLED sind die Größenordnungen der Kovarianz der Bahnbestimmung des Mondrelais und die Untergrenze der Bezugssystemrealisierung (repräsentative Zuweisungen) sowie der Persistenz-Prädiktor (nicht der operative Bulletin-A-Algorithmus des IERS). (Szenarioarten-Katalog (kshana kinds --json))
• Ehrlichkeit: Die geschlossene Form (der Hebelarm L19, omega_earth gegengeprüft am CIO-Erdrotationswinkel) ist VALIDATED, und reale Daten (die UT1- und Polbewegungskurven L18 aus den realen finals2000A-Zeilen) sind VALIDATED. DERIVED ist die Untergrenze der Realisierung des Bezugssystems (das Post-Fit-Residuum der Helmert-Transformation). MODELLED sind die Größenordnungen der Kovarianz der Bahnbestimmung des Mondrelais (0,27 m nachverarbeitet, ~14,4 m in Echtzeit bei einer Stunde Latenz — gerundet, nicht rückgerechnet, alle (Kommentar der Szenariodatei, Zeilen 27 bis 32)
• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Der Vorhersagefehler einer betriebsnahen Erdorientierungsvorhersage, gemessen als Vorhersage gegenüber Endwert, ist MODELLED, nicht validiert: geprüft gegen eine separate Implementierung in derselben Codebasis — unabhängig von der geprüften Einheit, aber nicht extern maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: GNSS-Messungen, Positionierung und Integrität
• Alle Arten: KINDS.md
• Themenseite: integrations.md