realtime-frame-eop (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Pomiary GNSS, pozycjonowanie i integralność. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi od silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, o ile macierz nie mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Budżet prognozy lunarnego układu odniesienia i orientacji Ziemi w czasie rzeczywistym: Tabela 1 z P4 (kontrola spójności błędu układu odniesienia — po przetworzeniu ~0,27 m ↔ ~0,010 ms oraz w czasie rzeczywistym ~15 m ↔ ~0,5 ms, każda pozycja układu wyrażona jako równoważny błąd UT1 przez ramię dźwigni L19 Δr = D_EM·ω⊕·ΔUT1) i Tabela 2 (zmierzony błąd prognozy UT1 w funkcji horyzontu — krzywa L18 odczytana wprost z rzeczywistego szeregu IERS finals2000A: końcowa podłoga Bulletin A − Bulletin B i błąd wieloniowego predyktora persystencji, każdy odwzorowany na pozycję w układzie Księżyca przez L19), plus budżet błędu układu odniesienia w czasie rzeczywistym L21 jako pierwiastek sumy kwadratów (EOP + efemerydy + podłoga realizacji). Postać zamknięta VALIDATED (ramię dźwigni L19, ω⊕ skontrolowane krzyżowo względem kąta obrotu Ziemi CIO) oraz rzeczywiste dane VALIDATED (krzywa L18 z rzeczywistych wierszy finals2000A); MODELLED są wielkości kowariancji OD przekaźnika lunarnego i podłoga realizacji układu (alokacje reprezentatywne) oraz predyktor persystencji (nie jest to operacyjny algorytm Bulletin A organizacji IERS). Nie jest to produkt układu odniesienia czasu rzeczywistego objęty certyfikacją.

Jeden przebieg scenarios/realtime-frame-eop.toml podsumowuje się tak: realtime-frame-eop | Tabela 1: po przetworzeniu 0,27 m (0,0096 ms UT1) ↔ w czasie rzeczywistym 14,4 m (0,514 ms UT1) | Tabela 2: podłoga końcowa 0,0171 ms → 3 dni 1,6644 ms | budżet łączny 20,1 m (67,0 ns) | ramię dźwigni L19 + rzeczywiste dane L18 (sprawdzone względem niezależnego wzorca zewnętrznego), kowariancja OD (obliczona na podstawie modelu)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: 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

Przykład scenarios/realtime-frame-eop.toml ustawia między innymi:

Uruchom#

kshana scenarios/realtime-frame-eop.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Etykieta wyniku (silnika): budżet prognozy lunarnego układu odniesienia i orientacji Ziemi w czasie rzeczywistym. Postać zamknięta VALIDATED: ramię dźwigni L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ skontrolowane krzyżowo względem kąta obrotu Ziemi CIO. Rzeczywiste dane VALIDATED: krzywe błędu prognozy UT1 i ruchu bieguna L18 odczytane wprost z rzeczywistego IERS finals200

Dowody#

MODELLED 1 · VALIDATED 2: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

• VALIDATED Jedna tabela podaje błąd prognozy UT1, błąd bieguna ruchu bieguna i ich złożenie kwadraturowe na Księżycu dla IDENTYCZNEGO zbioru epok na każdy horyzont, emitując epoki, w których zmierzono każdy składnik. Testy: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED Domyślna wartość wykonawcza realtime-frame-eop to własna osadzona w bibliotece kopia dosłownego wyciągu IERS finals2000A (tools/finals2000A_20260930.txt: 174 kolejnych wierszy dziennych, MJD 61224-61397, wycięte z finals2000A.all z 2026-09-30) niosą Testy: operational_eop_predictor_reference.rs.
• MODELLED Dopasowanie najmniejszych kwadratów biasu i tempa w oknie wstecznym plus główne składniki okresowe — roczny, półroczny i dwa główne pływy zonalne dla UT1; Chandlera, roczny i półroczny dla bieguna — ekstrapolowane z ostatnią wartością w oknie Testy: operational_eop_predictor_reference.rs.

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

• MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
• VALIDATED Jedna tabela podaje błąd prognozy UT1, błąd bieguna ruchu bieguna i ich złożenie kwadraturowe na Księżycu dla IDENTYCZNEGO zbioru epok na każdy horyzont, em. Wyrocznia (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) odczytujące produkt IERS finals2000A własną regułą Bulletin-B-w-przeciwnym-razie-A oraz pyerfa 2.0.1.5 (SOFA) z pełnymi obrotami niebieski-do-ziemskiego (c2i06a, sp00, pom00, c2tcio; kąt obrotu Ziemi wg IERS 2010, wzór 5,15 w arytmetyce dokładnej), uruchamiane jako oddzielne programy na dosłownych wierszach zamrożonego finals2000A.all z 2026-09-30; wstępnie zarejestrowane (455b8fb5) z poprawkami A1 i A2 ustalającymi tylko
• VALIDATED Domyślna wartość wykonawcza realtime-frame-eop to własna osadzona w bibliotece kopia dosłownego wyciągu IERS finals2000A (tools/finals2000A_20260930.txt: 174 kolejnych. Wyrocznia (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), czytające te same bajty własnym czytnikiem, oraz tabela IERS Bulletin A Vol. XXXIX No. 039, przepisana liczba po liczbie; wstępnie zarejestrowane (6fdae01b) z sześcioma dokładnymi kryteriami przed uruchomieniem astropy. Spełnione są wszystkie sześć: 30 wierszy końcowych, 54 szybkich i 90 prognozowanych o równych listach MJD, każdy wiersz prognozowany z flagą P, równy spis w przebiegu domyślnym oraz prognozy równe Bullet
• MODELLED Dopasowanie najmniejszych kwadratów biasu i tempa w oknie wstecznym plus główne składniki okresowe — roczny, półroczny i dwa główne pływy zonalne dla UT1; Cha. Wyrocznia (ReferenceImpl): trzy niezależne drogi, żadna z nich nie jest opublikowaną wartością dokładności prognozy. (1) Sygnał analityczny o znanych współczynnikach — jedyny sposób na przećwiczenie mechanizmu okresowego, ponieważ żaden zatwierdzony szereg nie jest dość długi, by dopuścić składnik roczny. (2) Podręcznikowe rozwiązanie najmniejszych kwadratów w postaci zamkniętej, inna algebra niż rozwiązanie macierzowe pod testem, na rzeczywistych wierszach. (3) Prawdziwe zarchiwizowane wiersze prognoz Bulletin A, które

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

• Budżet prognozy lunarnego układu odniesienia i orientacji Ziemi w czasie rzeczywistym. Postać zamknięta VALIDATED: ramię dźwigni L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ skontrolowane krzyżowo względem kąta obrotu Ziemi CIO. Rzeczywiste dane VALIDATED: krzywe błędu prognozy UT1 i ruchu bieguna L18 odczytane wprost z rzeczywistego szeregu IERS finals2000A (Bulletin A szybki wobec Bulletin B końcowego oraz wieloniowa persystencja na rzeczywistych wierszach dziennych). WYPROWADZONE: układ odniesienia (wynik label)
• Postać zamknięta VALIDATED (ramię dźwigni L19, ω⊕ skontrolowane krzyżowo względem kąta obrotu Ziemi CIO) oraz rzeczywiste dane VALIDATED (krzywa L18 z rzeczywistych wierszy finals2000A); MODELLED są wielkości kowariancji OD przekaźnika lunarnego i podłoga realizacji układu (alokacje reprezentatywne) oraz predyktor persystencji (nie jest to operacyjny algorytm Bulletin A organizacji IERS). (katalog rodzajów (kshana kinds --json))
• Rzetelność: postać zamknięta VALIDATED (ramię dźwigni L19, omega_earth skontrolowane krzyżowo względem kąta obrotu Ziemi CIO) i rzeczywiste dane VALIDATED (krzywe UT1 i ruchu bieguna L18 z rzeczywistych wierszy finals2000A). WYPROWADZONA podłoga realizacji układu odniesienia (rezydua po dopasowaniu Helmerta). MODELLED są wielkości kowariancji OD przekaźnika lunarnego (0,27 m po przetworzeniu, ~14,4 m w czasie rzeczywistym przy opóźnieniu jednej godziny — wartość zaokrąglona, a nie wyliczona wstecznie, all (komentarz w pliku scenariusza, wiersze 27 do 32)
• Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
• Błąd prognozy orientacji Ziemi w stylu operacyjnym, mierzony jako prognoza wobec wartości końcowej, jest MODELLED, nie sprawdzony względem niezależnego wzorca zewnętrznego: sprawdzony względem osobnej implementacji w tej samej bazie kodu — niezależnej od testowanej jednostki, ale bez autorytetu zewnętrznego. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#

• Strona rodziny: Pomiary GNSS, pozycjonowanie i integralność
• Wszystkie rodzaje: KINDS.md
• Strona tematu: integrations.md