lunar-frame-campaign (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Przestrzeń księżycowa i cislunarna. 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#

Siedmioparametrowy układ odniesienia Helmerta (podobieństwa) wynikający z SYMULOWANEJ KAMPANII OBSERWACYJNEJ, a nie z wprowadzonej transformacji. Sieć stacji ziemskich obserwuje katalog księżycowych latarni powierzchniowych według jawnego harmonogramu; cząstkowe pochodne opóźnienia księżycowego VLBI są sumowane po tym harmonogramie do macierzy informacyjnej Fishera współrzędnych latarni dokładnie tak jak w lunar-vlbi-fim; a ta informacja jest propagowana przez macierz projektu Helmerta A = [I3 | [p]_x | p] w punktach katalogu do kowariancji układu odniesienia H = A^T M_b A, diagnozowanej przez crate::fim::crlb. ŻADNA transformacja nie jest wprowadzana i nic nie jest odzyskiwane z podłożonej odpowiedzi, więc podana dokładność układu odniesienia wynika z programu obserwacji: dwukrotne zmniejszenie sigma opóźnienia zmniejsza ją dokładnie dwukrotnie, a wydłużenie łuku ją poprawia, ponieważ libracja, którą raport MIERZY (sub_earth_direction_sweep_deg), oddziela współrzędną latarni wzdłuż linii widzenia od współrzędnych w płaszczyźnie nieba. Rząd, defekt układu odniesienia, uwarunkowanie, całe widmo, niewidoczne kierunki W BAZIE SIEDMIU PARAMETRÓW, najsłabszy kierunek nawet przy pełnym rzędzie i udział każdego parametru w nim są podawane w każdym przebiegu; parametr, którego kampania nie ogranicza, jest publikowany jako NULL ze statusem, nigdy nie odczytywany z niemal osobliwej odwrotności. Korelacja błędów latarni jest mierzona, a nie zakładana: przy stałych stacjach żadna obserwacja nie dotyczy dwóch latarni, więc macierz informacyjna jest dokładnie blokowo-diagonalna (offblock_fraction 0), a przy szacowanych stacjach blok zmarginalizowany metodą Schura jest sprzężony, wywołana korelacja jest drukowana, a cała propagacja jest powtarzana z jej pominięciem, tak że cena założenia o niezależności jest liczbą. Ta sama propagacja przy izotropowym sigma na współrzędną oraz błąd odzyskania podawany przez scenariusz lunar-frame-realisation są tu uruchamiane i drukowane obok wartości kampanii wraz z ich stosunkami. MODELLED: katalog latarni ma źródło, ale KAMPANIA jest symulowana — sieć stacji i sigma opóźnienia są ilustracyjnymi danymi wejściowymi, pojedyncze obserwacje opóźnienia traktuje się jako niezależne, a efemerydy środka Księżyca, zegary stacji, troposfera i parametry orientacji Ziemi są STAŁE, więc kowariancja układu odniesienia jest granicą Craméra-Rao dla zredukowanego zbioru parametrów. Nie jest to produkt geodezyjny.

Jeden przebieg scenarios/lunar-frame-campaign.toml podsumowuje się tak: lunar-frame-campaign | 4 latarnie x 3 bazy x 49 epok = 64 obs (sigma opóźnienia 1.000e-11 s) | układ stacji stały | rząd Helmerta 7/7 cond 3.798e5 | sigma translacji układu 6,397500 m wobec błędu odzyskania wprowadzonej transformacji 0,3125 m (stosunek 0,049)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

Przykład scenarios/lunar-frame-campaign.toml ustawia między innymi:

Uruchom#

kshana scenarios/lunar-frame-campaign.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Etykieta wyniku (silnika): MODELLED księżycowy układ odniesienia wynikający z kampanii. Siedmioparametrowa kowariancja Helmerta jest propagowana z macierzy informacyjnej współrzędnych latarni, zsumowanej z własnych pochodnych cząstkowych opóźnienia księżycowego VLBI silnika po jawnym harmonogramie latarni, baz i epok; ŻADNA transformacja podobieństwa nie jest wprowadzana i

Dowody#

MODELLED 2 · VALIDATED 3: wiersze macierzy weryfikacji dotyczące tego rodzaju.

• MODELLED Siedmioparametrowy układ odniesienia Helmerta propagowany z SYMULOWANEJ KAMPANII OBSERWACYJNEJ zamiast odzyskiwany z wprowadzonej transformacji.
• VALIDATED Kowariancja siedmioparametrowego układu odniesienia Helmerta, w której dwa symulowane dane wejściowe zastąpiono zmierzonymi: harmonogram to epoki nadawania z Ziemi 337 zarchiwizowanych punktów normalnych księżycowego laserowego wyznaczania odległości ILRS (2015-04-08 do 2015-06-27, Grasse MeO 7 Testy: lunar_llr_real_data.rs.
• MODELLED Opcjonalne dane wejściowe extra_reflectors i extra_beacons w scenariuszu lunar-llr-datum dodają blok station_geodesy: pięciotablicową informację Helmerta z zarchiwizowanego wycinka księżycowego laserowego wyznaczania odległości plus informację, jaką wnosi dodany retroreflektor (ran Testy: lunar_station_geodesy.rs.
• VALIDATED Kowariancja siedmioparametrowego układu odniesienia Helmerta scenariusza lunar-frame-campaign przy szacowanych stacjach ziemskich (stacja 1 zakotwiczona), tak jak oblicza ją lunar_frame_campaign w binary64: wspólna informacja Fishera stacji i latarni, zsumowana Testy: lunar_frame_campaign_mpmath_oracle.rs.
• oraz 1 kolejny w macierzy.

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 Dopasowanie 7-parametrowego układu odniesienia Helmerta + powiązanie orientacji ICRF z sieci punktów. Wyrocznia (ExternalDataset): niezależny solver przekształcenia podobieństwa Umeyamy (Horna) ważonego w postaci zamkniętej (oparty na SVD numpy/scipy; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — inny algorytm niż iteracyjne dopasowanie Gaussa–Newtona w kshana, dochodzący do tego samego jednoznacznie określonego optimum ważonych najmniejszych kwadratów na identycznych bajtowo sieciach punktów
• MODELLED Siedmioparametrowy układ odniesienia Helmerta propagowany z SYMULOWANEJ KAMPANII OBSERWACYJNEJ zamiast odzyskiwany z wprowadzonej transformacji. Stacje ziemskie obserwują sourc. Wyrocznia (ReferenceImpl): tożsamości w postaci zamkniętej i niezależna droga w repozytorium, bez deklarowania zewnętrznej wyroczni. Macierz projektu Helmerta — jedyna nowa pochodna w module — wyprowadzono ponownie przez różnicę skończoną centralną z lunar_frame_realise::apply_helmert, ścieżką niemającą wspólnego wyrażenia z postacią analityczną. Sumowanie, które składa, jest sumowaniem lunar-vlbi-fim, którego jakobian jest różniczkowany różnicami skończonymi względem lunar_vlbi::vlbi_delay_s tam, i który

Ograniczenia#

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

• MODELLED księżycowy układ odniesienia wynikający z kampanii. Siedmioparametrowa kowariancja Helmerta jest propagowana z macierzy informacyjnej współrzędnych latarni, zsumowanej z własnych pochodnych cząstkowych opóźnienia księżycowego VLBI silnika po jawnym harmonogramie latarni, baz i epok; ŻADNA transformacja podobieństwa nie jest wprowadzana i nic nie jest odzyskiwane z podłożonej odpowiedzi. Katalog latarni to źródłowa tabela nazwanych miejsc crate, ale KAMPA (wynik label)
• Korelacja błędów latarni jest mierzona, a nie zakładana: przy stałych stacjach żadna obserwacja nie dotyczy dwóch latarni, więc macierz informacyjna jest dokładnie blokowo-diagonalna (offblock_fraction 0), a przy szacowanych stacjach blok zmarginalizowany metodą Schura jest sprzężony, wywołana korelacja jest drukowana, a cała propagacja jest powtarzana z jej pominięciem, tak że cena założenia o niezależności jest liczbą. (katalog rodzajów (kshana kinds --json))
• MODELLED: katalog latarni ma źródło, ale KAMPANIA jest symulowana — sieć stacji i sigma opóźnienia są ilustracyjnymi danymi wejściowymi, pojedyncze obserwacje opóźnienia traktuje się jako niezależne, a efemerydy środka Księżyca, zegary stacji, troposfera i parametry orientacji Ziemi są STAŁE, więc kowariancja układu odniesienia jest granicą Craméra-Rao dla zredukowanego zbioru parametrów. (katalog rodzajów (kshana kinds --json))
• Korelacja błędów latarni jest MEASURED, a nie zakładana. Przy stałych stacjach żadna obserwacja nie dotyczy dwóch latarni, więc macierz informacyjna jest dokładnie blokowo-diagonalna (offblock_fraction 0); przy szacowanych stacjach blok zmarginalizowany metodą Schura jest sprzężony, wywołana korelacja jest drukowana, a cała propagacja jest powtarzana z jej pominięciem, tak że cena założenia o niezależności jest liczbą, a nie c (komentarz w pliku scenariusza, wiersze 17 do 21)
• MODELLED: katalog latarni ma źródło, ale KAMPANIA jest symulowana — sieć stacji i sigma opóźnienia są ilustracyjnymi danymi wejściowymi, pojedyncze obserwacje opóźnienia traktuje się jako niezależne, a efemerydy środka Księżyca, zegary stacji, troposfera i parametry orientacji Ziemi są STAŁE. Nie jest to produkt geodezyjny. (komentarz w pliku scenariusza, wiersze 27 do 30)
• 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))
• Księżycowy układ odniesienia z kampanii obserwacyjnej ma poziom MODELLED, nie jest niezależnie sprawdzony względem wzorca zewnętrznego: sprawdzono go względem odrębnej implementacji w tej samej bazie kodu — niezależnej od testowanego elementu, ale nie będącej autorytetem zewnętrznym. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#

• Strona rodziny: Przestrzeń księżycowa i cislunarna
• Wszystkie rodzaje: KINDS.md