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/gravity-map.md

gravity-map (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 z dopasowaniem do mapy grawitacyjnej bez GPS: grawimetr na zimnych atomach odtwarza stały dryf INS z ciągu anomalii grawitacyjnych, przez który przelatuje.

Jeden przebieg scenarios/gravity-map-nav.toml podsumowuje się tak: gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Wejścia#

Ze schematu (kshana kinds --json):

  • Wymagane pola: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
  • Pola opcjonalne: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

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

Pole Wartość Jednostka
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 nie podano
coeffs[0].m 0 nie podano
coeffs[0].n 2 nie podano
coeffs[0].sbar 0 nie podano
coeffs[1].cbar 2.0000e-6 nie podano
coeffs[1].m 1 nie podano
coeffs[1].n 3 nie podano
coeffs[1].sbar 1.0000e-6 nie podano
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 nie podano

Uruchom#

kshana scenarios/gravity-map-nav.toml

Tego rodzaju używają 4 dołączone scenariusze; pozostałe są w scenarios/.

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 78301.878584 m
map_matched_error_m 1881.790568 m
measurement_sigma_mgal 2 mGal
Wykres zapisany przez silnik dla scenarios/gravity-map-nav.toml, rodzaj gravity-map

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):

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