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/gnss-sim.md

gnss-sim (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Pomiary GNSS, pozycjonowanie i integralność. 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#

Symulacja pseudoodległości w dziedzinie pomiarów (jonosfera Klobuchara, troposfera Saastamoinena/Niella) + RAIM.

Jeden przebieg scenarios/gnss-sim-raim.toml podsumowuje się tak: scenario ab854d9d7886 | gnss-sim | mean iono 19.9m tropo 6.8m | RAIM avail 0,82 mean HPL 22.2m VPL 39.9m fault-rate 0,000

Wejścia#

Ze schematu (kshana kinds --json):

  • Wymagane pola: seed, time, receiver, constellation
  • Pola opcjonalne: iono, tropo, mask_deg, noise_sigma_m, multipath_m, sat_clock_rms_m, uere_m, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, skyline

Przykład scenarios/gnss-sim-raim.toml ustawia między innymi:

Pole Wartość Jednostka
alert_limit_h_m 40 m
alert_limit_v_m 50 m
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 nie podano
constellation.planes 6 nie podano
constellation.sats_per_plane 4 nie podano
iono.alpha [3.8200e-8, 1.4900e-8, -1.7900e-7, 0] nie podano
iono.beta [143000, 0, -328000, 113000] nie podano
iono.gps_seconds_of_day 50400 d
kind gnss-sim tekst
mask_deg 5 deg

Uruchom#

kshana scenarios/gnss-sim-raim.toml

Tego rodzaju używa 2 dołączonych scenariuszy; 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
fom.fault_rate 0 1
fom.mean_hpl_m 22.201883 m
fom.mean_iono_m 19.861204 m
fom.mean_tropo_m 6.762787 m
fom.mean_vpl_m 39.923459 m
fom.raim_availability 0.819672 1
seed 7 1
Wykres zapisany przez silnik dla scenarios/gnss-sim-raim.toml, rodzaj gnss-sim

Dowody#

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

  • VALIDATED Jednoczęstotliwościowe opóźnienie grupowe jonosferyczne L1 Klobuchara na ukośnej ścieżce z ośmiu rozgłaszanych współczynników α/β Testy: klobuchar_reference.rs.

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
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP z geometrii linii widzenia przez Q=(HᵀH)⁻¹ z lokalnym podziałem ENU. Wyrocznia (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — niezależna biblioteka, dopasowana do 1e-6 względnie
  • VALIDATED Jednoczęstotliwościowe opóźnienie grupowe jonosferyczne L1 Klobuchara na ukośnej ścieżce z ośmiu rozgłaszanych współczynników α/β. Wyrocznia (ExternalDataset): RTKLIB ionmodel (tomojitakasu/RTKLIB, src/rtkcmn.c) — niezależna implementacja odniesienia skompilowana ze źródeł; dopasowana do < 1e-4 m
  • VALIDATED Rdzeń rozkładowy, na którym opiera się każdy poziom ochrony: próg detekcji usterek w migawce χ²₁₋ₚfₐ(dof), parametr niecentralności niewykrytego zdarzenia pbias=√λ oraz . Wyrocznia (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — niezależna biblioteka (Cephes/Boost), inny algorytm niż szereg niepełnej gamma w Kshana; dopasowana do ≤1e-6 względnie. Tylko jądro. Alokacja budżetu P_HMI w ARAIM MHSS nie jest już pozbawiona opublikowanej wyroczni liczbowej — własny przykład roboczy podgrupy technicznej ARAIM WG-C wspiera teraz osobne 'ARAIM MHSS protection levels against published referen
  • 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:

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