Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/gnss-sim.md

gnss-sim (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Měření GNSS, určování polohy a integrita. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Simulace pseudovzdáleností v oblasti měření (Klobuchar iono, Saastamoinen/Niell tropo) + RAIM.

Jeden běh scenarios/gnss-sim-raim.toml se shrnuje takto: 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

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: seed, time, receiver, constellation
  • Volitelná pole: 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

Příklad scenarios/gnss-sim-raim.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
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 neuvedeno
constellation.planes 6 neuvedeno
constellation.sats_per_plane 4 neuvedeno
iono.alpha [3.8200e-8, 1.4900e-8, -1.7900e-7, 0] neuvedeno
iono.beta [143000, 0, -328000, 113000] neuvedeno
iono.gps_seconds_of_day 50400 d
kind gnss-sim text
mask_deg 5 deg

Spusťte jej#

kshana scenarios/gnss-sim-raim.toml

Tento druh používají 2 přibalené scénáře; ostatní jsou v scenarios/.

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
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
Graf, který engine zapisuje pro scenarios/gnss-sim-raim.toml, druh gnss-sim

Důkazy#

VALIDATED: řádky verifikační matice, které tento druh uvádějí.

  • VALIDATED Klobucharovo jednofrekvenční šikmé ionosférické skupinové zpoždění na L1 z osmi vysílaných koeficientů α/β. Testy: klobuchar_reference.rs.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • VALIDATED Řešení ARAIM s oddělováním řešení pro více hypotéz podle dokumentu ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels a add_v42_protecti. Orákulum (ExternalDataset): Tři nezávislé nástroje, předregistrované (0123cee1) dříve, než existoval jakýkoli fixture nebo výstup orákula, tolerance stanoveny tehdy. (1) ARAIM: Stanford MAAST pro ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, spuštěné jako samostatný program pod GNU Octave 8,4 s kompatibilní vrstvou unique() na straně ovladače (zveřejněno, bez změny algoritmu), při ADD TOL_PL 0,05 m: kód v Rustu reprodukuje referenční implementaci ADD na
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP z geometrie přímé viditelnosti přes Q=(HᵀH)⁻¹ s lokálním rozkladem ENU. Orákulum (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — nezávislá knihovna, shoda na 1e-6 relativně
  • VALIDATED Klobucharovo jednofrekvenční šikmé ionosférické skupinové zpoždění na L1 z osmi vysílaných koeficientů α/β. Orákulum (ExternalDataset): RTKLIB ionmodel (tomojitakasu/RTKLIB, src/rtkcmn.c) — nezávislá referenční implementace přeložená ze zdrojového kódu; shoda na < 1e-4 m
  • VALIDATED Distribuční jádro, na kterém stojí každá ochranná úroveň: práh detekce poruchy ve snímku χ²₁₋ₚfₐ(dof), necentralita nezachycené události pbias=√λ a . Orákulum (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — nezávislá knihovna (Cephes/Boost), jiný algoritmus než řada neúplné funkce gama v Kshaně; shoda na ≤1e-6 rel. Pouze jádro. Přidělení rozpočtu P_HMI v ARAIM MHSS už není bez publikovaného číselného orákula — vlastní řešený příklad Technické podskupiny ARAIM WG-C nyní podporuje samostatnou položku „ARAIM MHSS protection levels against published referen
  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#