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/terrain-nav.md

terrain-nav (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Alternatywne PNT bez GPS. 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#

Nawigacja odniesiona do terenu bez GPS (TERCOM/SITAN): wysokościomierz radarowy/barometryczny dopasowuje profil wysokości terenu do NMT w stylu SRTM, aby odzyskać dryf INS.

Jeden przebieg scenarios/terrain-nav.toml podsumowuje się tak: terrain-nav | dryf swobodnego INS 70659 m | dopasowany do terenu 53 m (spadek 1342x) | sigma dopasowania 17,0 m

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg
  • Pola opcjonalne: refine_stages, refine_factor, noise_seed

Przykład scenarios/terrain-nav.toml ustawia między innymi:

Pole Wartość Jednostka
altimeter_sigma_m 8 m
dem_seed 1 nie podano
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
kind terrain-nav tekst
map_sigma_m 15 m
noise_seed 1 nie podano
refine_factor 8 nie podano
refine_stages 3 nie podano
search_half_deg 0.8 deg
search_step_deg 0.08 deg
start_lat_deg 12.05 deg

Uruchom#

kshana scenarios/terrain-nav.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
free_inertial_drift_m 70658.643788 m
matched_error_m 52.665375 m
measurement_sigma_m 17 m
Wykres zapisany przez silnik dla scenarios/terrain-nav.toml, rodzaj terrain-nav

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 Dopasowanie do map grawitacyjnych, nawigacja odniesiona do terenu (TERCOM/SITAN), anomalia magnetyczna. Wyrocznia (InternalConsistency): Współczynniki IGRF-14; CRLB filtra dopasowanego z pierwszych zasad. Pole benchmarku grawitacyjnego w rzeczywistym polu jest sprawdzone zewnętrznie (wiersz 'Gravity-anomaly synthesis from a spherical-harmonic model'), ale jego wynik nawigacyjny nie ma zewnętrznej wyroczni
  • 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

Ograniczenia#

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

  • Alternatywne / uzupełniające PNT jest MODELLED, nie jest sprawdzone względem niezależnego wzorca: sprawdzone względem własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • 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ż#