lunar-ascent (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: wznoszenie z napędem z miejsca na powierzchni przy biegunie południowym na orbitę spotkania oraz kowariancja pozycji i prędkości, którą przenosi z powrotem na orbitę (klasa Artemis). Pięciostanowy model błędu inercjalnego na oś z lunar-descent (pozycja, prędkość, bias akcelerometru, przechył położenia, bias żyroskopu, sterowany siłą właściwą) działa na wszystkich trzech osiach miejsca ze stanu powierzchniowego, z którym faza się zaczyna; pozycja AFS z widocznych przekaźników konstelacji klasy LCNS ILLUSTRATIVE (samodzielna albo różnicowa z użyciem reszty łącza korekcji z lunar-differential-pnt, ze wspomaganiem zegara, gdy widoczne są tylko trzy przekaźniki) jest brana w podanym odstępie, przy czym czas księżycowy wchodzi przez zegar pojazdu i błąd znacznika czasu wzdłuż toru. Podaje zamknięte źródła inercjalne, wkład wspomagania, ablację, 1-sigmy nawigacji podczas wznoszenia, rozrzut przy wyłączeniu silnika obok wiedzy nawigacyjnej oraz pełną kowariancję 6x6 MCI przy wprowadzeniu z zachowaną korelacją pozycji i prędkości. MODELLED: ilustracyjna klasa IMU, siła właściwa, zestaw przekaźników i rozrzut przy wyłączeniu; błędy utrzymywane w osiach miejsca startu; nominalny stan wyjściowy jest zastępczy. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

Jeden przebieg scenarios/lunar-ascent.toml daje podsumowanie: lunar-ascent | -89.50 deg | tylko inercja 785 m / 3,49 m/s | z AFS 11,4 m / 0,071 m/s | rozrzut wprowadzenia 1,73 m/s (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

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

Uruchom#

kshana scenarios/lunar-ascent.toml

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-ascent: pięciostanowy model błędu inercjalnego na oś uruchomiony dla wznoszenia z napędem z siłą właściwą wzdłuż toru, wspomagany pozycjami AFS i czasem księżycowym, podający kowariancję pozycji i prędkości wprowadzenia przenoszoną

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-ascent: pięciostanowy model błędu inercjalnego na oś uruchomiony dla wznoszenia z napędem z siłą właściwą wzdłuż toru, wspomagany pozycjami AFS. Wyrocznia (InternalConsistency): Zamknięty dryf inercjalny i kontrole monotoniczności w testach. Nie porównuje się żadnego odbytego wznoszenia
• 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: wznoszenie z napędem z miejsca na powierzchni przy biegunie południowym na orbitę spotkania oraz kowariancja pozycji i prędkości, którą przenosi z powrotem na orbitę (klasa Artemis). (katalog rodzajów (kshana kinds --json))
• MODELLED: ilustracyjna klasa IMU, siła właściwa, zestaw przekaźników i rozrzut przy wyłączeniu; błędy utrzymywane w osiach miejsca startu; nominalny stan wyjściowy jest zastępczy. (katalog rodzajów (kshana kinds --json))
• UCZCIWOŚĆ: MODELLED. Klasa IMU, wyrównanie, siła właściwa i rozrzut przy wyłączeniu są wejściami ILLUSTRATIVE, a nie pomiarami. Błędy są utrzymywane w osiach wschód-północ-góra miejsca startu, bez krzywizny toru wzdłuż trasy, a nominalny stan wyjściowy jest zastępczy na lokalnej pionowej miejsca: wynikiem jest tylko kowariancja. Nie twierdzi się, że wynik pokrywa się z jakimkolwiek rzeczywistym pojazdem. Oprogramowanie wyłącznie doradcze, nie c (komentarz pliku scenariusza, wiersze 11 do 15)
• 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))
• Wznoszenie z napędem z miejsca przy biegunie Księżyca na orbitę wprowadzenia (lunar-ascent) jest MODELLED, a nie sprawdzone: sprawdzone 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