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

Modelowana księżycowa geodezyjna obserwabla opóźnienia VLBI: baza ziemska (dwie stacje naziemne, GCRS) obserwuje jednokierunkowy sygnał z latarni klasy NovaMoon na powierzchni Księżyca. Emituje opóźnienie bliskiego pola jako różnicę dwóch odległości, jego tempo i poprawkę na krzywiznę czoła fali w bliskim polu podczas przelotu — sprawdzone krzyżowo względem obserwabli Δ-DOR fali płaskiej z tej samej bazy kodu w granicy dalekiego pola, z pochodnymi cząstkowymi zweryfikowanymi różnicą skończoną. Domyślna ścieżka analityczna ma poziom MODELLED i niesie zastrzeżenia dotyczące spójności układów odniesienia, ruchu bieguna xp=yp=0 oraz fali płaskiej względem bliskiego pola. Ustawienie planetary_kernel_path, earth_orientation_kernel_path i moon_orientation_kernel_path uruchamia zamiast niej ścieżkę jądrową (DE440, MOON_PA_DE440, ITRF93; zbieżne barycentryczne czasy przelotu światła; dodaje pochodne cząstkowe latarni i stacji dla epoki), której newtonowskie opóźnienie i pochodne cząstkowe zgadzają się ze zbieżnymi czasami przelotu światła NAIF SPICE do 0,06 ps i 7.4e-9. Nie sprawdzono niezależnie względem rzeczywistych danych VLBI.

Jeden przebieg scenarios/lunar-vlbi.toml podsumowuje się tak: lunar-vlbi | baza 10727 km | odległość latarni 402900 km | opóźnienie -10049.126 µs (tempo 1.312e-6 s/s) | bliskie pole 58,9 µs | 13 próbek w ciągu 6,0 h

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

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

Uruchom#

kshana scenarios/lunar-vlbi.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Dowody#

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

• MODELLED Opóźnienie VLBI w bliskim polu dla bazy ziemskiej obserwującej księżycową latarnię + pochodne cząstkowe
• VALIDATED Opóźnienie VLBI w bliskim polu dla bazy ziemskiej obserwującej księżycową latarnię, z pochodnymi cząstkowymi latarni i stacji, na ścieżce jądrowej (lunar_vlbi::KernelGeometry): Ziemia i Księżyc z DE440, główne osie księżycowe z DE440, orientacja Ziemi ITRF93 z UT1 i Testy: naif_kernel_reader_check.rs.
• 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
• oraz 2 więcej 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
• MODELLED Opóźnienie VLBI w bliskim polu dla bazy ziemskiej obserwującej księżycową latarnię + pochodne cząstkowe. Wyrocznia (ReferenceImpl): delta_dor fali płaskiej (ta sama baza kodu) w granicy dalekiego pola; pochodne cząstkowe różnicą skończoną. 0,30 porównanie zewnętrzne, ustalenie (pozostaje MODELLED): względem zbieżnych czasów przelotu światła ANISE 0,10 przez DE440 (75 opóźnień z 2024-01-01 na trzech bazach DSN, wygenerowanych przez xval/anise-lunar-od bez kodu Kshana) żadne opóźnienie nie mieści się w tolerancji 1 ps. Największa różnica to 24 µs, z analitycznego środka Księżyca (około 200 km od DE

Ograniczenia#

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

• Domyślna ścieżka analityczna ma poziom MODELLED i niesie zastrzeżenia dotyczące spójności układów odniesienia, ruchu bieguna xp=yp=0 oraz fali płaskiej względem bliskiego pola. (katalog rodzajów (kshana kinds --json))
• Rzetelność: MODELLED, NIE sprawdzone niezależnie względem rzeczywistych danych VLBI. Ruch bieguna jest pominięty (xp = yp = 0), więc inercjalne pozycje stacji niosą błąd układu odniesienia rzędu kilku metrów; latarnia łączy szereg Księżyca w średnim równiku daty z przesunięciem związanym z ciałem w ICRF (jd_tdb ~ jd_tt), niespójność układów odniesienia poniżej wierności modelu; bez iteracji czasu przelotu światła, ośrodków ani aberracji poza różnicowanym członem Shapiro. Bez TRL, dorobku lotniczego ani poparcia agencji (komentarz w pliku scenariusza, wiersze 17 do 21)
• 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ężycowe geodezyjne VLBI ma poziom MODELLED, nie jest niezależnie sprawdzone względem wzorca zewnętrznego: sprawdzono je 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