Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/gnss-sim.md

gnss-sim (scenario kind)

Scenariotyp i motor v0.40.0, familj GNSS-mätningar, positionering och integritet. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Pseudoavståndssimulering i mätdomänen (Klobuchar-jonosfär, Saastamoinen/Niell-troposfär) + RAIM.

En körning av scenarios/gnss-sim-raim.toml sammanfattas som: 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

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: seed, time, receiver, constellation
  • Valfria fält: 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

Exemplet scenarios/gnss-sim-raim.toml anger bland annat:

Fält Värde Enhet
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 inte angivet
constellation.planes 6 inte angivet
constellation.sats_per_plane 4 inte angivet
iono.alpha [3.8200e-8, 1.4900e-8, -1.7900e-7, 0] inte angivet
iono.beta [143000, 0, -328000, 113000] inte angivet
iono.gps_seconds_of_day 50400 d
kind gnss-sim text
mask_deg 5 deg

Kör den#

kshana scenarios/gnss-sim-raim.toml

2 medföljande scenarier använder den här typen; de övriga finns i scenarios/.

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
evidence.id_rule det stabila id:t för matrisraden (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
Diagrammet som motorn skriver för scenarios/gnss-sim-raim.toml, kind gnss-sim

Evidens#

VALIDATED: raderna i verifieringsmatrisen som nämner den här typen.

  • VALIDATED Klobuchars enfrekvens-L1-jonosfärsgruppfördröjning i snedriktning utifrån de åtta utsända α/β-koefficienterna Tests: klobuchar_reference.rs.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • VALIDATED ARAIM-lösning med multipla hypoteser och lösningsseparation enligt ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels och add_v42_protecti. Oracle (ExternalDataset): Tre oberoende verktyg, förhandsregistrerade (0123cee1) innan någon fixtur eller referensutdata fanns, toleranser fastställda då. (1) ARAIM: Stanford MAAST för ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, körd som separat program under GNU Octave 8,4 med ett kompatibilitetsskal för unique() på drivrutinssidan (redovisat, ingen algoritmändring), vid ADD TOL_PL på 0,05 m: Rust återskapar ADD-referensimplementationen på
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP från siktlinjegeometri via Q=(HᵀH)⁻¹ med en lokal ENU-uppdelning. Oracle (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — oberoende bibliotek, överensstämmande till 1e-6 relativt
  • VALIDATED Klobuchars enfrekvens-L1-jonosfärsgruppfördröjning i snedriktning utifrån de åtta utsända α/β-koefficienterna. Oracle (ExternalDataset): RTKLIB ionmodel (tomojitakasu/RTKLIB, src/rtkcmn.c) — oberoende referensimplementation kompilerad från källkod; överensstämmande till < 1e-4 m
  • VALIDATED Den fördelningsmässiga kärnan som varje skyddsnivå vilar på: tröskeln för felupptäckt i ögonblicksbilden χ²₁₋ₚfₐ(dof), den icke-centrala parametern för missad detektering pbias=√λ, och . Oracle (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — oberoende bibliotek (Cephes/Boost), en annan algoritm än Kshanas inkompletta gammaserie; överensstämmande till ≤1e-6 rel. Endast kärnan. ARAIM MHSS P_HMI-budgetens fördelning saknar inte längre ett publicerat numeriskt oberoende referensvärde — WG-C ARAIM Technical Subgroups eget räknade exempel stöder nu den separata raden 'ARAIM MHSS protection levels against published referen
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#