integrity (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á#
Snímkové RAIM / RAIM s oddělováním řešení / ARAIM s HPL/VPL a Stanfordským diagramem.
Jeden běh scenarios/integrity-raim.toml se shrnuje takto: 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
Vstupy#
Ze schématu (kshana kinds --json):
- Povinná pole:
mask_deg,sigma_uere_m,p_fa,p_md,al_h_m,al_v_m,time,user|user_site,constellation - Volitelná pole:
sigma_ura_m,b_nom_m,constellations,seed,araim_dual,p_hmi,skyline
Příklad scenarios/integrity-raim.toml mimo jiné nastavuje:
| Pole | Hodnota | Jednotka |
|---|---|---|
al_h_m |
40 | m |
al_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 |
kind |
integrity | text |
mask_deg |
5 | deg |
p_fa |
1.0000e-5 | neuvedeno |
p_md |
0.001 | neuvedeno |
seed |
7 | neuvedeno |
Spusťte jej#
kshana scenarios/integrity-raim.tomlTento druh používají 3 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 |
|---|---|---|
al_h_m |
40 | m |
al_v_m |
50 | m |
evidence.id_rule |
stabilní id řádku matice (ID | text |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | text |
evidence.tier |
MODELLED | text |
samples_available |
344 | počet |
samples_total |
361 | počet |
stanford.alert_limit_m |
50 | m |
Důkazy#
MODELLED 6 · VALIDATED 4: řádky verifikační matice, které tento druh uvádějí.
- MODELLED Volitelný oddíl [integrity] druhu clock (clock_integrity::run): z uvedeného stanoviště a předvoleb konstelace (geometry::sky_geometry) v každé epoše integrity, dokud časová osa GNSS není odepřena, snapshot RAIM (raim::snapshot_ Testy: clock_integrity.rs.
- VALIDATED Skalární časové TPL s oddělováním řešení přes heterogenní zdroje; PL řízená šumem nejhorší vyloučené podmnožiny + biasem UTC(k)
- MODELLED PL(τ)=max(TPL_handover,HPL(τ)); zdola polospojitá PL(0+)≥PL(0−); K(IR/2) klouzavé maximum; fázové exponenty τ/τ³/τ⁵
- VALIDATED Obálka klouzavého maxima nadhodnocující (bez protnutí nuly) skutečnou metrologickou řadu při každém testovaném zpoždění tau>=90d na disjunktním úseku; krátké tau (<=30d) je zveřejněná hranice úrovně vypočtené z modelu. Testy: cti_holdover_coverage_reference.rs.
- a 6 dalších v matici.
Řá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 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é#
- Stránka rodiny: Měření GNSS, určování polohy a integrita
- Všechny druhy: KINDS.md
- Tematická stránka: CAMPAIGNS.md
- Tematická stránka: INTEGRITY.md