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

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

RAIM migawkowy / z separacją rozwiązań / ARAIM z HPL/VPL i diagramem Stanforda.

Jeden przebieg scenarios/integrity-raim.toml podsumowuje się tak: integrity | 24 satellites | 344/361 epochs available (95,3%) | HAL 40 m VAL 50 m | sigma 1,0 m | Stanford(V): 0 integrity events, 0 HMI

Wejścia#

Ze schematu (kshana kinds --json):

  • Wymagane pola: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
  • Pola opcjonalne: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

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

Pole Wartość Jednostka
al_h_m 40 m
al_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
kind integrity tekst
mask_deg 5 deg
p_fa 1.0000e-5 nie podano
p_md 0.001 nie podano
seed 7 nie podano

Uruchom#

kshana scenarios/integrity-raim.toml

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

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
al_h_m 40 m
al_v_m 50 m
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
samples_available 344 liczba
samples_total 361 liczba
stanford.alert_limit_m 50 m
Wykres zapisany przez silnik dla scenarios/integrity-raim.toml, rodzaj integrity

Dowody#

MODELLED 6 · VALIDATED 4: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

  • MODELLED Opcjonalna sekcja [integrity] rodzaju clock (clock_integrity::run): ze wskazanego miejsca i ustawień wstępnych konstelacji (geometry::sky_geometry), w każdej epoce integralności, dopóki GNSS nie jest w stanie odmowy dostępu na osi czasu, migawka RAIM (raim::snapshot_ Testy: clock_integrity.rs.
  • VALIDATED TPL z separacją rozwiązań dla czasu skalarnego na niejednorodnych źródłach; PL wyznaczany przez szum podzbioru najgorszego wykluczenia + bias UTC(k)
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)); dolnie półciągły PL(0+)≥PL(0−); K(IR/2) running-max; wykładniki fazowe τ/τ³/τ⁵
  • VALIDATED Obwiednia running-max z naddatkiem pokrywa (bez przebić zera) rzeczywisty szereg metrologiczny przy każdym testowanym opóźnieniu tau>=90d na rozłącznym odcinku; krótkie tau (<=30d) jest jawnie podaną granicą opartą na modelu Testy: cti_holdover_coverage_reference.rs.
  • oraz 6 kolejnych w macierzy.

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