lunar-orbit-rendezvous (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Księżyc i przestrzeń 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 z silnika lub z macierzy weryfikacji; rodzaj ma status MODELLED, chyba że macierz stanowi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

MODELLED: nawigacja względna do połączenia w stylu Orion–lądownik na niskiej orbicie księżycowej albo eliptycznej orbicie polarnej (klasa Artemis). Statek goniący i cel lecą po tej samej orbicie w modelu sił księżycowych biblioteki; wspólne wsadowe oszacowanie Gaussa-Newtona z 21 parametrami na łuku (dwa stany pojazdów i trwałe odchylenia sygnału w przestrzeni) łączy pozycję bezwzględną każdego pojazdu z zestawu przekaźników klasy LCNS ILLUSTRATIVE (przekaźniki za Księżycem odrzucone, potrzebne cztery, błąd sygnału w przestrzeni wspólny dla obu pojazdów znosi się między nimi) oraz odległość międzypojazdową, z precyzją pomiaru odległości wynikającą z granicy śledzenia kodu pilotowego LunaNet AFS. Podaje formalny i Monte Carlo błąd położenia i prędkości względnej w osiach LVLH celu, dostępność pozycji, średni znormalizowany kwadrat błędu oszacowania wobec jego wartości oczekiwanej oraz każdą próbę, której iteracja nie zbiegła, dryf wynikający z pominięcia harmonicznych grawitacji i pełną przekazywaną kowariancję 6x6. Dla przypadku kołowego obowiązuje kontrola w postaci zamkniętej Hilla/Clohessy'ego-Wiltshire'a. MODELLED: ilustracyjny zestaw przekaźników, budżet błędów i rozkłady a priori; prawda i estymator współdzielą jeden model sił, więc NEES sprawdza samozgodność, a nie błąd modelu. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

Jeden przebieg scenarios/lunar-orbit-rendezvous.toml daje podsumowanie: lunar-orbit-rendezvous | llo 100x100 km | odl. 2000 m | pozycje 74% | poz. wzgl. 1-sigma R/A/C 0.03/0.06/0.04 m | średnie NEES 6,51 (oczekiwane 6) | zbieżność po 2000 s (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree

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

Uruchom#

kshana scenarios/lunar-orbit-rendezvous.toml

2 dołączone scenariusze używają tego rodzaju; pozostałe są w scenarios/.

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Etykieta wyniku (silnika): MODELLED

Dowody#

MODELLED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

• MODELLED Rodzaj i faza lunar-orbit-rendezvous: wspólne wsadowe oszacowanie Gaussa-Newtona dwóch pojazdów na łuku (dwadzieścia jeden parametrów: oba stany oraz trwałe odchylenia pozycji sygnału w przestrzeni, wspólne i niezależne), rozbudowywane na ćwierć, poło Testy: mission_thread_lunar_oracles.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
• MODELLED Rodzaj i faza lunar-orbit-rendezvous: wspólne wsadowe oszacowanie Gaussa-Newtona dwóch pojazdów na łuku (dwadzieścia jeden parametrów: oba stany oraz trwałe odchylenia sygnału. Wyrocznia (InternalConsistency): Samozgodność w ramach wstępnej rejestracji (xval/mission-thread-lunar/PREREGISTRATION.md, wyniki i historia estymatora w RESULTS.md): średnie NEES stanu względnego wynosi od 5,85 do 5,93 wobec pasma od 5,2 do 6,8 w czterech konfiguracjach, MET przy czwartym projekcie estymatora po tym, jak trzy projekty filtra sekwencyjnego nie osiągnęły progu; prawda i estymator współdzielą jeden model sił, więc nic to nie mówi o błędzie modelu. Propag
• MODELLED Propagator wspólny dla rodzajów księżycowych (GRAIL GL0660B stopnia i rzędu 150, Ziemia i Słońce jako ciała trzecie, relatywistyka, orientacja Księżyca z DE440) porównany z publ. Wyrocznia (ExternalDataset): Efemerydy statków kosmicznych JPL Horizons dla LRO i CAPSTONE, względem progów zarejestrowanych wstępnie w xval/mission-thread-lunar/PREREGISTRATION.md (poprawki 1 do 6). LRO: MET, największa różnica 3-D 33 m i 2,4 m RMS promieniowo wobec 500 m i 60 m. CAPSTONE: NOT MET, różnica pozycji końcowej 136,8 km wobec 25 km i różnica perycentrum 28,4 km wobec 10 km, przyczyny nie zostały wyizolowane. Wiersz jest obliczony z modelu, ponieważ próg CAPSTONE nie został osiągnięty, a

Ograniczenia#

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

• MODELLED (wynik label)
• MODELLED: nawigacja względna do połączenia w stylu Orion–lądownik na niskiej orbicie księżycowej albo eliptycznej orbicie polarnej (klasa Artemis). (katalog rodzajów (kshana kinds --json))
• MODELLED: ilustracyjny zestaw przekaźników, budżet błędów i rozkłady a priori; prawda i estymator współdzielą jeden model sił, więc NEES sprawdza samozgodność, a nie błąd modelu. (katalog rodzajów (kshana kinds --json))
• UCZCIWOŚĆ: MODELLED. Zestaw przekaźników, błąd sygnału w przestrzeni, część wspólna i rozkłady a priori są wejściami ILLUSTRATIVE, a nie pomiarami; prawda i estymator współdzielą model sił (wbudowany człon centralny, J2 i C22). Kontrola spójności B1 zarejestrowana wstępnie (średnie NEES w [5,2, 6,8]) jest osiągnięta we wszystkich czterech konfiguracjach przy projekcie wsadowym: zob. xval/mission-thread-lunar/RESULTS.md. Nie twierdzi się, że wynik pokrywa się z jakimkolwiek rzecz (komentarz pliku scenariusza, wiersze 10 do 14)
• 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))
• Nawigacja względna do połączenia na orbicie księżycowej (lunar-orbit-rendezvous) jest MODELLED, a nie sprawdzona względem niezależnego wzorca: sprawdzana względem własnej tożsamości w postaci zamkniętej / analitycznej — wychwytuje błędy transkrypcji i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
• Propagacja księżycowego modelu sił względem publicznych odtworzonych trajektorii orbiterów księżycowych i cislunarnych jest MODELLED, a nie sprawdzona: podtwierdzenie jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych z modelu, więc możliwość pozostaje obliczona z modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#

• Strona rodziny: Księżyc i przestrzeń cislunarna
• Wszystkie rodzaje: KINDS.md
• Strona tematu: MISSION-THREAD-LUNAR.md
• Strona tematu: MISSION-THREAD.md