lunar-descent (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: budżet rozrzutu lądowania z napędem w miejscu przy biegunie południowym (klasa Artemis). Na każdą oś poziomą pięciostanowy model błędu inercjalnego (pozycja, prędkość, bias akcelerometru, przechył położenia, bias żyroskopu) jest sterowany siłą właściwą lądowania; filtr sekwencyjny przyjmuje pozycje z włączonych wspomagań: pozycję AFS z widocznych przekaźników konstelacji klasy LCNS ILLUSTRATIVE (samodzielną albo różnicową z użyciem reszty łącza korekcji z lunar-differential-pnt, ze wspomaganiem zegara, gdy widoczne są tylko trzy przekaźniki) oraz pozycję względem terenu (dopasowanie TERCOM/SITAN biblioteki na syntetycznej rzeźbie albo ograniczenie Craméra-Rao dopasowania okna wysokości rzeczywistego DEM LOLA okolic bieguna południowego). Czas księżycowy wchodzi przez zegar pojazdu w momentach pozycji (przesunięcie LTC-TT z lunar-time-offset albo niepewność jego opublikowanego pasma) oraz jako błąd znacznika czasu wzdłuż toru. Podaje elipsę lądowania 3-sigma, R95, zamknięte źródła inercjalne, wkład każdego wspomagania, ablację każdej kombinacji wspomagań, kalibrację elipsy metodą Monte Carlo oraz przekazywaną kowariancję. MODELLED: ilustracyjna klasa IMU, zestaw przekaźników, profil lądowania i człon prowadzenia; terrain-nav używa syntetycznej rzeźby w ziemskiej skali metra; dostępność AFS to jedna epoka na płaskiej masce. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

Jeden przebieg scenarios/lunar-descent.toml daje podsumowanie: lunar-descent | -89.50 deg | tylko inercja 517/517 m (E/N) | ze wspomaganiami 7.6/4.8 m | rozrzut R95 51 m | elipsa 3-sigma 64 x 62 m | 99,1% wewnątrz (oczekiwane 98,9%) (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

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

Uruchom#

kshana scenarios/lunar-descent.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-descent: pięciostanowy model błędu inercjalnego na oś (pozycja, prędkość, bias akcelerometru, przechył, bias żyroskopu) w trakcie lądowania z napędem, wspomagany pozycjami AFS (samodzielnymi lub różnicowymi, z przypadkiem trzech przekaźników wspomaganych zegarem

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-descent: pięciostanowy model błędu inercjalnego na oś (pozycja, prędkość, bias akcelerometru, przechył, bias żyroskopu) w trakcie lądowania z napędem,. Wyrocznia (InternalConsistency): Zamknięty dryf inercjalny, własne wyniki użytych ponownie rodzajów i kalibracja elipsy 3-sigma (część wewnątrz zgadza się z oczekiwaniem) w testach. Nie porównuje się żadnego odbytego ani przetestowanego lądowania

Ograniczenia#

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

• MODELLED (wynik label)
• MODELLED: budżet rozrzutu lądowania z napędem w miejscu przy biegunie południowym (klasa Artemis). (katalog rodzajów (kshana kinds --json))
• MODELLED: ilustracyjna klasa IMU, zestaw przekaźników, profil lądowania i człon prowadzenia; terrain-nav używa syntetycznej rzeźby w ziemskiej skali metra; dostępność AFS to jedna epoka na płaskiej masce. (katalog rodzajów (kshana kinds --json))
• UCZCIWOŚĆ: MODELLED. Klasa IMU, profil lądowania, zestaw przekaźników, błąd sygnału w przestrzeni i człon prowadzenia są wejściami ILLUSTRATIVE, a nie pomiarami. Tryb terrain-nav używa samodzielnej syntetycznej rzeźby i ziemskiej skali metra, więc człon terenowy jest tu zachowaniem dopasowania na zastępniku, a nie stwierdzeniem o rzeźbie okolic bieguna południowego: wariant lola-crlb (lunar-descent-lola.toml) używa rzeczywistego (komentarz pliku scenariusza, wiersze 14 do 20)
• 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))
• Budżet rozrzutu lądowania w miejscu przy biegunie Księżyca (lunar-descent) jest MODELLED, a nie sprawdzony względem niezależnego wzorca: sprawdzany 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))

Zobacz też#

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