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/combined-altpnt.md

combined-altpnt (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#

Połączony nawigator grawitacyjny + magnetyczny + terenowy bez GPS: trzy skalarne kanały pól łączone w każdym punkcie trasy dla ostrzejszego (o niższym CRLB) wskazania dryfu niż w przypadku pojedynczego pola.

Jeden przebieg scenarios/combined-altpnt.toml podsumowuje się tak: combined-altpnt | dryf swobodny inercjalny 70659 m | grawitacyjny 464 m magnetyczny 782 m terenowy 368 m | POŁĄCZONY 365 m

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
  • Pola opcjonalne: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

Przykład scenarios/combined-altpnt.toml ustawia m.in.:

Pole Wartość Jednostka
coeffs[0].cbar 6.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 3.0000e-6 nie podano
coeffs[1].m 1 nie podano
coeffs[1].n 3 nie podano
coeffs[1].sbar 2.0000e-6 nie podano
dem_seed 1 nie podano
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
gravity_sigma_mgal 3 mGal

Uruchom#

kshana scenarios/combined-altpnt.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
combined_m 364.881333 m
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
gravity_only_m 464.136358 m
magnetic_only_m 782.430009 m
terrain_only_m 367.623242 m
Wykres zapisywany przez silnik dla scenarios/combined-altpnt.toml, rodzaj combined-altpnt

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