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/lunar-integrity.md

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

Przejście poziomów ochrony ARAIM na biegunie południowym Księżyca względem reprezentatywnego zestawu przekaźników LunaNet. sigma_ure_m ujawnia dokładność wyznaczania odległości sygnału w przestrzeni (poziomy ochrony skalują się z nią liniowo, więc przegląd tej wartości odpowiada na pytanie, jakiej dokładności wyznaczania odległości wymaga limit alarmowy). Domyślnie historyczny przypadek bieguna południowego klasy LNIS.

Jeden przebieg scenarios/lunanet-araim.toml podsumowuje się tak: lunar-integrity | biegun południowy | 0/24 epok dostępnych (0,0%) | AL 50 m | σ_URE 30 m | HPL 263–452 m

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

Przykład scenarios/lunanet-araim.toml ustawia między innymi:

Pole Wartość Jednostka
alert_limit_m 50 m
duration_s 86400 s
kind lunar-integrity tekst
p_hmi 1.0000e-4 nie podano
step_s 3600 s

Uruchom#

kshana scenarios/lunanet-araim.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
alert_limit_m 50 m
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
max_hpl_m 452.18433 m
min_hpl_m 263.02565 m
samples_available 0 liczba
samples_total 24 liczba
sigma_ure_m 30 m
Wykres, który silnik zapisuje dla scenarios/lunanet-araim.toml, rodzaj lunar-integrity

Dowody#

Żaden wiersz macierzy nie wymienia tego rodzaju po nazwie; etykieta na jego wyniku jest własną etykietą silnika, powyżej.

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

  • VALIDATED Rozwiązanie ARAIM z separacją rozwiązań dla wielu hipotez wg ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels i add_v42_protecti. Wyrocznia (ExternalDataset): trzy niezależne narzędzia, zarejestrowane z góry (0123cee1) zanim powstał jakikolwiek wzorzec lub wynik wyroczni, tolerancje ustalone wtedy. (1) ARAIM: Stanford MAAST for ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, uruchamiany jako osobny program w GNU Octave 8,4 z nakładką zgodności unique() po stronie sterownika (ujawnioną, bez zmiany algorytmu), przy ADD TOL_PL równym 0,05 m: kod w Rust odtwarza implementację odniesienia ADD na
  • 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 Krok od geometrii do kowariancji dla księżycowego poziomu ochrony — (GᵀG)⁻¹ po wszystkich widocznych i każdej pojedynczo uszkodzonej podgeometrii, rzutowane na lokalną pionową a. Wyrocznia (ExternalDataset): złożenie dwóch uznanych implementacji zewnętrznych, obu uruchamianych offline, z oprzyrządowaniem testowym wygenerowanym ponownie od początku do końca i sprawdzonym jako identyczne bajtowo. RTKLIB 2.4.2-p13 (T. Takasu, BSD-2-Clause), commit 71db0ff, src/rtkcmn.c skompilowany ze źródła C z -ULAPACK: lsq() → matinv() → ludcmp()/lubksb() odwraca macierz normalną rozkładem LU Crouta z częściowym wyborem elementu głównego, algorytmem niezwiązanym z ręcznie napisanym odwracaniem Gaussa–Jordana invert4() w kshana

Ograniczenia#

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

  • 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ż#