lunar-vlbi-fim (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#

Kowariancja współrzędnych stacji księżycowego VLBI: cząstkowe pochodne opóźnienia obserwabli lunar-vlbi zsumowane po jawnym HARMONOGRAMIE (bazy x epoki) do macierzy informacyjnej Fishera, odwrócone i podane jako kowariancja współrzędnych stacji oraz sigma stacji na współrzędną — obliczone wyjście silnika, a nie skalarna precyzja opóźnienia przepuszczona przez założony izotropowy współczynnik ekwipartycji g = 3. Stan niesie współrzędne stacji STAŁE względem Ziemi (ITRS), więc jakobian jest pochodną inercjalną obróconą macierzą GCRS->ITRS każdej epoki: to obrót Ziemi czyni te współrzędne obserwowalnymi, a raport MIERZY przemiatanie linii widzenia stałej względem Ziemi i deklinację latarni, zamiast je zakładać. Jedna obserwacja to jedna para (baza, epoka) z OBIEMA stacjami nad maską elewacji, ważona 1/delay_sigma_s^2. Podaje rząd, defekt układu odniesienia, uwarunkowanie, pełne widmo informacji, macierz kowariancji, sigma 3-D i na oś dla każdej stacji oraz przestrzeń zerową sieci swobodnej w każdym przebiegu; przy niedoborze rzędu główna sigma jest publikowana jako NULL ze statusem, nigdy nie odczytywana z niemal osobliwej odwrotności. Wartość ekwipartycji cdelay_sigma_ssqrt(g/N) dla TEGO SAMEGO harmonogramu jest emitowana obok wartości obliczonej wraz ze stosunkiem, razem z izotropową granicą śladu sqrt(p/trace(M)), którą AM-HM czyni twardą dolną granicą — więc stosunek jest anizotropią, którą założenie odrzuciło. Domknięcie opóźnienia tau_ik = tau_ij + tau_jk sprawia, że tylko n-1 z n(n-1)/2 baz jest geometrycznie niezależnych; raport podaje obie liczby. MODELLED: efemerydy środka Księżyca, zegary stacji, troposfera i parametry orientacji Ziemi są STAŁE, a obserwacje traktuje się jako niezależne, więc kowariancja jest granicą Craméra-Rao dla zredukowanego zbioru parametrów, a nie przewidywanym wynikiem sesji; sigma opóźnienia, współrzędne stacji i harmonogram są danymi wejściowymi. Pochodną cząstkową, której jakobian opóźnienia geometrycznego nie uwzględnia (różnicowany składnik Shapiro), mierzy się różnicą skończoną i podaje. Nie jest to produkt geodezyjny.

Jeden przebieg scenarios/lunar-vlbi-fim.toml podsumowuje się tak: lunar-vlbi-fim | 3 stacje / 3 bazy x 49 epok = 16 obs (maska 10,0 deg) | układ odniesienia anchor-first-station | rząd 6/6 cond 2.209e4 | sigma stacji 0,0926 m wobec ekwipartycji g=3 0,0013 m (stosunek 71,360)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

Przykład scenarios/lunar-vlbi-fim.toml ustawia między innymi:

Uruchom#

kshana scenarios/lunar-vlbi-fim.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Etykieta wyniku (silnika): MODELLED kowariancja współrzędnych stacji księżycowego VLBI. Kowariancja jest sumowana z własnych analitycznych pochodnych cząstkowych opóźnienia silnika po jawnym harmonogramie baz i epok i odwracana; NIE jest przeliczana ze skalarnej precyzji opóźnienia za pomocą założonego współczynnika geometrii. Sigma opóźnienia na obserwację

Dowody#

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

• VALIDATED Pochodne cząstkowe opóźnienia zsumowane po harmonogramie baz × epok do macierzy informacyjnej Fishera, odwrócone do kowariancji współrzędnych stacji i sigma stacji na współrzędną, zastępujące założone izotropowe powiązanie ekwipartycji z
• MODELLED Trzeci wybór układu odniesienia, all-stations-fixed, który utrzymuje wszystkie stacje ziemskie i szacuje samodzielnie współrzędne LATARNI związane z ciałem Księżyca — konfiguracja, dla której faktycznie podaje się niepewność punktu na powierzchni Księżyca, ponieważ współrzędne stacji ziemskich
• VALIDATED Kowariancja latarni przy wszystkich stacjach stałych w scenariuszu lunar-vlbi-fim (wszystkie stacje ziemskie utrzymane, współrzędne latarni związane z ciałem Księżyca szacowane samodzielnie) z latarnią umieszczoną na Księżycu JPL DE440 odczytanym własnym czytnikiem jąder silnika
• MODELLED Siedmioparametrowy układ odniesienia Helmerta propagowany z SYMULOWANEJ KAMPANII OBSERWACYJNEJ zamiast odzyskiwany z wprowadzonej transformacji.
• 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 Pochodne cząstkowe opóźnienia zsumowane po harmonogramie baz × epok do macierzy informacyjnej Fishera, odwrócone do kowariancji współrzędnych stacji i sigma stacji na współrzędną, zastępujące założone izotropowe powiązanie ekwipartycji z. Wyrocznia (ExternalDataset): niezależna droga w repozytorium. Każdy wiersz jakobianu jest wyprowadzany na nowo przez centralną różnicę skończoną lunar_vlbi::vlbi_delay_s obliczoną ze współrzędnych stałych względem Ziemi i względem ciała Księżyca samego stanu, obróconych w przód przez łańcuch układów odniesienia — ścieżką, która nie oblicza żadnej pochodnej i nie dzieli żadnego wyrażenia z pochodnymi analitycznymi — a macierze informacyjne zbudowane obiema drogami zgadzają się z dokładnością < 1e-6 największego elementu przekątnej.
• MODELLED Trzeci wybór układu odniesienia, all-stations-fixed, który utrzymuje wszystkie stacje ziemskie i szacuje samodzielnie współrzędne LATARNI związane z ciałem Księżyca — konfiguracja, dla której księż. Wyrocznia (ReferenceImpl): tożsamości w postaci zamkniętej, bez deklarowania ani dostępności zewnętrznej wyroczni. Ramię dźwigni sprawdzono względem ρ/B, a dwie postaci ekwipartycji względem siebie do 1e-15 — tożsamości algebraiczne, więc wychwytują błąd okablowania i nic więcej, i tak je oznaczono. Istotny wynik jest MEASURED, a nie zakładany: opóźnienie z ustalonej bazy ogranicza KIERUNEK latarni, więc składowa wzdłuż linii widzenia rea

Ograniczenia#

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

• MODELLED kowariancja współrzędnych stacji księżycowego VLBI. Kowariancja jest sumowana z własnych analitycznych pochodnych cząstkowych opóźnienia silnika po jawnym harmonogramie baz i epok i odwracana; NIE jest przeliczana ze skalarnej precyzji opóźnienia za pomocą założonego współczynnika geometrii. Sigma opóźnienia na obserwację, współrzędne stacji, miejsce latarni i harmonogram są danymi wejściowymi. Efemerydy środka Księżyca, zegary stacji (wynik label)
• Kowariancja współrzędnych stacji księżycowego VLBI: cząstkowe pochodne opóźnienia obserwabli lunar-vlbi zsumowane po jawnym HARMONOGRAMIE (bazy x epoki) do macierzy informacyjnej Fishera, odwrócone i podane jako kowariancja współrzędnych stacji oraz sigma stacji na współrzędną — obliczone wyjście silnika, a nie skalarna precyzja opóźnienia przepuszczona przez założony izotropowy współczynnik ekwipartycji g = 3. (katalog rodzajów (kshana kinds --json))
• Stan niesie współrzędne stacji STAŁE względem Ziemi (ITRS), więc jakobian jest pochodną inercjalną obróconą macierzą GCRS->ITRS każdej epoki: to obrót Ziemi czyni te współrzędne obserwowalnymi, a raport MIERZY przemiatanie linii widzenia stałej względem Ziemi i deklinację latarni, zamiast je zakładać. (katalog rodzajów (kshana kinds --json))
• Wartość ekwipartycji cdelay_sigma_ssqrt(g/N) dla TEGO SAMEGO harmonogramu jest emitowana obok wartości obliczonej wraz ze stosunkiem, razem z izotropową granicą śladu sqrt(p/trace(M)), którą AM-HM czyni twardą dolną granicą — więc stosunek jest anizotropią, którą założenie odrzuciło. (katalog rodzajów (kshana kinds --json))
• MODELLED: efemerydy środka Księżyca, zegary stacji, troposfera i parametry orientacji Ziemi są STAŁE, a obserwacje traktuje się jako niezależne, więc kowariancja jest granicą Craméra-Rao dla zredukowanego zbioru parametrów, a nie przewidywanym wynikiem sesji; sigma opóźnienia, współrzędne stacji i harmonogram są danymi wejściowymi. (katalog rodzajów (kshana kinds --json))
• Opublikowany łańcuch D3 przechodzi od precyzji opóźnienia na obserwację do niepewności współrzędnych stacji przez założony IZOTROPOWY współczynnik ekwipartycji g = 3. Ten krok praca w swoim własnym streszczeniu nazywa modelowanym, a nie zmierzonym. Ten scenariusz go usuwa: cząstkowe pochodne opóźnienia księżycowego VLBI są sumowane po rzeczywistym harmonogramie par (baza x epoka) do macierzy informacyjnej Fishera, odwracane i podawane jako (komentarz w pliku scenariusza, wiersze 3 do 8)
• Stan niesie współrzędne STAŁE względem Ziemi (ITRS), więc jakobian jest pochodną inercjalną obróconą macierzą GCRS->ITRS każdej epoki: to obrót Ziemi w ogóle czyni te współrzędne obserwowalnymi, a raport MIERZY przemiatanie linii widzenia stałej względem Ziemi i deklinację latarni, zamiast je zakładać. Jedna obserwacja to jedna para (baza, epoka) z OBIEMA stacjami nad maską elewacji, ważona 1/delay (komentarz w pliku scenariusza, wiersze 10 do 14)
• Co czytać w raporcie * sigma 3-D i na oś dla każdej stacji — obliczona odpowiedź; * wartość ekwipartycji cdelay_sigma_ssqrt(g/N) dla TEGO SAMEGO harmonogramu, wydrukowana obok niej ze stosunkiem. Ten stosunek JEST anizotropią, którą założenie odrzuciło, a izotropowa granica śladu sqrt(p/trace(M)) czyni AM-HM twardą dolną granicą, więc założenie może jedynie zaniżać; * rząd, defekt układu odniesienia, uwarunkowanie, pełne wid (komentarz w pliku scenariusza, wiersze 16 do 26)

Zobacz też#

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