Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/moonlight-service-volume.md

moonlight-service-volume (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#

Obliczona na podstawie modelu analiza lunarnego obszaru usługi nawigacyjnej dla ILLUSTRATIVE, opartej na źródłach publicznych konstelacji na orbicie okołoksiężycowej klasy Moonlight/LCNS (bez powiązania z ESA): przegląda siatkę szerokości i długości selenograficznych w danym horyzoncie czasowym i podaje DOP, pokrycie i dostępność (≥4 satelitów ORAZ PDOP poniżej progu) oraz uogólnioną obwiednię poziomów ochrony lunarnego ARAIM (HPL/VPL) nad tym obszarem. Geometria DOP PONOWNIE WYKORZYSTUJE jądro VALIDATED względem gnss_lib_py (crate::orbit::dop); poziom ochrony PONOWNIE WYKORZYSTUJE mechanizm lunarnego ARAIM LunaNet LNIS (crate::lunar, σ_URE≈30 m) i jako przypadek szczególny sprowadza się do istniejącego poziomu ochrony dla bieguna południowego. Kompozycja MODELLED: zestaw przekaźników na orbitach keplerowskich kołowych lub eliptycznych (nie rzeczywiste efemerydy LCNS/NRHO z korekcją różnicową), Księżyc z rotacją średnią (bez libracji i precesji bieguna). Deterministyczna (czysta geometria). Bez TRL, dziedzictwa lotniczego ani poparcia agencji.

Jeden przebieg scenarios/moonlight-service-volume.toml podsumowuje się tak: moonlight-service-volume | 8 satelitów (ilustracyjne, klasy LCNS, bez powiązania) | 24 punktów × 12 epok | pokrycie 37,8% (PDOP<6,0) | satelity 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | dostępność PL 0,0% | MODELLED

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

Przykład scenarios/moonlight-service-volume.toml ustawia między innymi:

Pole Wartość Jednostka
alert_limit_m 50 m
argp_deg 90 deg
eccentricity 0.6 nie podano
elev_mask_deg 5 deg
horizon_hours 12 h
inc_deg 57.7 deg
kind moonlight-service-volume tekst
lat_max_deg -60 deg
lat_min_deg -90 deg
lat_step_deg 10 deg
lon_max_deg 180 deg
lon_min_deg -180 deg

Uruchom#

kshana scenarios/moonlight-service-volume.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
alert_limit_m 50 m
coverage_pct 37.847222 %
elev_mask_deg 5 deg
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
hpl_max_m 4176.665443 m
hpl_min_m 138.725726 m
max_sats 7 liczba
min_sats 4 liczba
Wykres zapisany przez silnik dla scenarios/moonlight-service-volume.toml, rodzaj moonlight-service-volume

Dowody#

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

  • MODELLED Rodzaj i faza lunar-surface: dostępność przekaźników i PDOP, widoczność Ziemi i Słońca oraz zdyscyplinowany zegar powierzchniowy dla każdego miejsca i pory roku, z horyzontem terenu z moonlight-service-volume; przebieg dla jednego miejsca równa się temu rodzaju

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 Lunarny DOP, pokrycie i dostępność klasy Moonlight oraz uogólnione lunarne poziomy ochrony ARAIM nad obszarem usługi. Wyrocznia (ExternalDataset): niezależny propagator keplerowski ANISE 0.10.2 astro::Orbit od zewnętrznego autora (Nyx Space, MPL-2.0) — równonocnikowa ścieżka kodu dwóch ciał, odmienna od metody Newtona-Raphsona użytej w kshana do równania Keplera; położenie każdego satelity w układzie MCI zgadza się z dokładnością do <1e-3 m, a wyprowadzona liczba i zbiór widocznych satelitów w każdym punkcie siatki są identyczne. Jądro DOP jest sprawdzone względem gnss_lib_py; integralność korzysta z opublikowanych parametrów LunaNet/LCNS
  • VALIDATED Topocentryczne kąty widzenia poszczególnych satelitów (azymut liczony zgodnie z ruchem wskazówek zegara od północy, elewacja) i odległość ukośna w nazwanym miejscu selenograficznym, przy satelicie podanym w układzie miejsca. Wyrocznia (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, uruchamiany jako narzędzie z xval/anise-service-geometry, binarka lunar-look-angles-xval, która nie wywołuje żadnego kodu Kshana): własna procedura ANISE do azymutu, elewacji i odległości (azimuth_elevation_range_sez) dla miejsc zbudowanych jej konstruktorem szerokość-długość-wysokość na Księżycu pck00011 (sfera 1737,4 km), z satelitami obróconymi do MOON_PA_DE440 przez moon_pa_de440_200625.bpc. 768 próbek o

Ograniczenia#

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

  • Kompozycja MODELLED: zestaw przekaźników na orbitach keplerowskich kołowych lub eliptycznych (nie rzeczywiste efemerydy LCNS/NRHO z korekcją różnicową), Księżyc z rotacją średnią (bez libracji i precesji bieguna). (katalog rodzajów (kshana kinds --json))
  • RZETELNOŚĆ: kompozycja MODELLED. Geometria DOP jest sprawdzona PRZEZ PONOWNE UŻYCIE sprawdzonego jądra; kompozycja pokrycia, dostępności i integralności jest MODELLED — zestaw przekaźników na orbitach keplerowskich kołowych lub eliptycznych (nie efemerydy LCNS / NRHO 9:2 z korekcją różnicową), Księżyc z rotacją średnią (bez fizycznej libracji i precesji bieguna) oraz opublikowane parametry integralności LunaNet LNIS. To pokazuje lunarny obszar usługi M (komentarz w pliku scenariusza, wiersze 27 do 32)
  • 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))

Zobacz też#