ARAIM-i viide — täiustatud RAIM-i kaitsetasemed Kshanas

See märkus dokumenteerib Kshana avatud teostust Advanced Receiver Autonomous Integrity Monitoring (ARAIM): algoritm, iga eeldus, terviklikkuse tugisõnum, mida see tarbib, ja valideerimise olek. Teostus asub failis src/raim.rs; see dokument on proosakaaslane, mida audiitor (või hankeülevaataja) saab koodi kõrval lugeda.

ARAIM on kahe konstellatsiooniga, mitme sagedusega klassikalise RAIM-i järglane, mille GPS (Global Positioning System)–Galileo Working Group C (WG-C) defineeris toetama horisontaalset ja vertikaalset juhendamist kuni LPV-200-ni (LPV: lokaliseerija toimivus vertikaaljuhendamisega). See vastab igal epohhil ühele küsimusele:

Kui suur peab olema asukohavea piir (kaitsetase), et ohtlikult eksitava teabe jääktõenäosus — viga, mis on suurem kui piir, samal ajal kui piir on veel häiriläve sees — jääks terviklikkuse riskieelarve P_HMI alla?

1. Terviklikkuse tugisõnum (ISM)#

ISM on konstellatsioonipõhine parameetrikomplekt, mida kasutaja rakendab. Seda modelleerib selgesõnaliselt IntegritySupportMessage:

IntegritySupportMessage::gps_galileo_reference() tagastab avaldatud WG-C etalonväärtused: σ_URA = 0,75 m, σ_URE = 0,67 m, b_nom = 0,75 m, P_sat = 1×10⁻⁵, P_const = 1×10⁻⁴ ekspositsiooniintervalli kohta. Neid väärtusi kasutatakse ARAIM-i kättesaadavuse mõõtmete määramiseks etalonkirjanduses; operatiivne ISM on edastatav/maapinnal koostatav ja seadistatav konstellatsiooni kaupa. Vahe σ_URA (terviklikkus) ja σ_URE (täpsus) vahel on tahtlik ja on ISM-kontseptsiooni määrav tunnus.

.fault_priors() ja .dual_fault_priors() annavad need otse kahele mootorile.

2. Rikkehüpoteesid#

ARAIM on mitme hüpoteesi lahenduse eraldamise (MHSS) meetod. Iga rikkehüpoteesi H_k jaoks moodustab see kogu nähtavate satelliitide lahendi ja alamlahendi, mis jätab rikkis hulga välja, ning piirab asukohavea selle hüpoteesi all:

• Fault-free H_0 (eeltõenäosus ≈ 1): täielik kogu nähtavate satelliitide vähimruutude lahend.
• Üksiksatelliidi rikked H_i (eeltõenäosus P_sat igaühel): iga ühe satelliidi väljajätmise alamlahend. See on klassikaline üksikrikke ARAIM-i lähtetase, araim_raim.
• Kogu konstellatsiooni rikked H_c (eeltõenäosus P_const igaühel): alamlahend, mis eemaldab korraga kõik ühe konstellatsiooni satelliidid, EL (Euroopa Liit) ARAIM TN (tehniline märkus) / DO-316 laiendus, mis on teostatud failis araim_dual_raim. Tingimusel P_const = 0 taandub see bait-baidilt variandile araim_raim.

3. Kaitsetasemed#

Iga telje (vertikaalne, horisontaalne) ja iga hüpoteesi jaoks ehitab mootor režiimi (p_fault, threshold, σ), kus lävi on lahenduse eraldamise tuvastuspiir valehäire kordaja K_fa = Φ⁻¹(1 − P_fa / 2N) juures (pidevuse eelarve Bonferroni jaotus N hüpoteesi vahel). Kaitsetase on väikseim piir PL, mille summeeritud terviklikkuse risk

Σ_k p_fault,k · Q( (PL − b_k − T_k) / σ_k )  ≤  P_HMI

Teostusmärkus. b_k = Σ_i |s_{axis,i}|·b_nom on ühepoolne nominaalnihke projektsioon teljele — satelliidipõhiste võimendusmoodulite halvima juhtumi summa (axis_bias_sum/horiz_bias_sum) —, mille allikaks on ISM-i b_nom_m. WG-C etalon-ISM kasutab b_nom = 0.75 m; tingimusel b_nom = 0 taandub piir nullnominaalnihkega MHSS-vormile. Käivitatav integrity stsenaarium eksponeerib sigma_ura_m (kaitsetaseme jaoks kasutatav terviklikkuse piir, piiratud tasemele ≥ sigma_uere_m ja vaikimisi sellega võrdne) ja b_nom_m (vaikimisi 0), nii et kaitsetaset mõõdetakse alati terviklikkuse piiriga σ_URA, mitte kunagi väiksema täpsuse σ_URE-ga. See jääb modelleeritud, sertifitseerimata ARAIM-i teostuseks — vt INTEGRITY.md.

vastab eraldatud eelarvele ([araim_protection_level] / araim_integrity_risk). VPL (vertikaalne kaitsetase) ja HPL (horisontaalne kaitsetase) on vertikaalne ja horisontaalne vastus. Tulemus teatab ka tegelikult saavutatud terviklikkuse riski (≤ eraldis) ja selle, kas mõni alamlahend eraldus üle oma läve.

See on selgesõnaline ARAIM-i leping — „kui suur peab piir olema?“ — mitte fikseeritud kordajaga klassikalise RAIM-i kaudne, geomeetriast sõltuv risk.

4. Stanfordi diagramm#

StanfordDiagram kogub epohhi kohta (error, PL) fikseeritud häiriläve (AL) vastu ja classify_stanford sorteerib iga kättesaadavaks, süsteemi kättesaamatuks (PL > AL, konservatiivne), eksitavaks teabeks (PL < error ≤ AL) või ohtlikult eksitavaks teabeks (error > AL ja > PL). stanford_svg renderdab klassikalise hajuvusdiagrammi — terviklikkuse piiri PL = error, häiriläve juhtjooned ja ühe värvikodeeritud markeri epohhi kohta — iseseisva SVG-na (Scalable Vector Graphics).

5. Kahe konstellatsiooni kasu#

Kaks efekti on demonstreeritud testis raim::tests::dual_constellation_improves_geometry_and_tolerates_a_constellation_fault:

1. Geomeetria / liiasus — teise konstellatsiooni satelliitide liitmine karmistab üksikrikke HPL-i: rohkem mõõtmisi ja suurem üksik-SV (SV: space vehicle ehk satelliit) alamlahendite hulk annavad rangelt väiksema piiri.
2. Konstellatsioonirikke tolerants — kui P_const on aktiivne, jääb kahe konstellatsiooni kasutaja kättesaadavaks, kui terve konstellatsioon võib rikki minna (teise konstellatsiooni satelliidid jäävad ellu), samas kui ühe konstellatsiooni kasutajat ei saa tõestatavalt kaitsta tema enda konstellatsiooni rikke vastu (araim_dual_raim tagastab None).

Nüanss, mida tasub ausalt väita: kuna konstellatsioonirikke hüpotees nõuab terve konstellatsiooni kaotuse üleelamist, on kahe konstellatsiooni hetktõmmise kaitsetase altpoolt piiratud ülejäänud ühe konstellatsiooni geomeetriaga — see ei ole automaatselt väiksem kui ainult GPS-i PL igal hetkel. Peamine EL ARAIM TN tulemus, et GPS+Galileo annab 15–25 % väiksema HPL-i, on kättesaadavuse tulemus, mis on kogutud realistlike konstellatsioonide ja kasutaja asukohtade peale, mitte hetktõmmisepõhine garantii.

6. Valideerimise olek#

• Hoidlas, automatiseeritud: MHSS-i algebra (P_const = 0 ⇒ bait-baidilt üksikrike; konstellatsioonirike laiendab PL-i; eelarvet ei ületata kunagi), ülaltoodud geomeetria ja konstellatsioonirikke kasud ning harjutamine päris IGS (International GNSS Service; GNSS = ülemaailmne satelliitnavigatsioonisüsteem) täppisorbiidi (SP3, Standard Product 3) geomeetrial (tests/igs_real_data.rs), mitte ainult sünteetilistel konstellatsioonidel.
• Väline sõltumatu etalon — avaldatud WG-C läbitöötatud näide: kaitsetasemeid kontrollitakse ARAIM Technical Subgroup'i enda numbrilise näite vastu failides src/araim_reference.rs, tests/araim_reference_vectors.rs ja sissekantud fikstuuris tests/fixtures/araim_reference/wgc_araim_reference_vectors.txt (iga vektor kannab oma hankimise URL-i (veebiaadress), hankimise kuupäeva, lähtefaili SHA-256 (SHA: Secure Hash Algorithm) ja lehekülge). Vastuvõtutolerants on etaloni enda TOL_PL = 5 × 10⁻² m. Reference Airborne Algorithm Description Document v3.1 (2019) Lisa D vastu: VPL 18,2926 m vs 18,3 m avaldatud (Δ 0,0074 m), HPL 13,4063 m vs 13,45 m (Δ 0,0437 m), EMT (efektiivne monitori lävi) 7,2997 m vs 7,2998 m, σ_v,acc 1,3694 m vs 1,3694 m ja kõik kuus avaldatud konstellatsioonirikke vahetulemust (σ₃⁽ᵏ⁾, σ_ss,3⁽ᵏ⁾, b₃⁽ᵏ⁾) poole ühiku täpsusega nende viimases trükitud kümnendkohas. 2016 Milestone 3 Report esitab sama näite, kuid kannab kahte sisemist viga — märgitrükiviga reas 3 väljal G ja K_fa,3, mis on hinnatud 57 rikkerežiimil, kuigi dokument väidab N_fault,max = 1 (12 režiimi) — seega selle geomeetria vahetulemused reprodutseeruvad täpselt, samas kui selle kaitsetasemed on registreeritud mõõdetud lahknevustena (VPL Δ 0,0171 m, HPL Δ 0,0842 m, EMT Δ 0,4806 m) ja vastuvõtunumbrist välja jäetud. Kontroll on kättesaadav stsenaariumi liigina araim-reference-check.
• Aus jääk (väline / ülevaatuse ootel): 15–25 % kättesaadavuse arv versioonilukustatud päris Celestraki TLE (kahereaelementide kogum) hetktõmmise vastu ja ARAIM-i testfikstuuride deponeerimine viidatava Zenodo kirjena. Ülaltoodud etalonkontroll katab ainult N_fault,max = 1 (üksiksatelliidi ja üksikkonstellatsiooni rikkerežiimid); samaaegsed mitme sündmuse rikkealamhulgad, rikke väljaarvamine, χ² kooskõlakontroll ja etalonalgoritmi topeltarvestuse ümberjaotamise samm ei ole teostatud ning juhtum, mille eeltõenäosused neid vajaksid, lükatakse tagasi, mitte ei kärbita.
• Stsenaariumifaili ulatus: integrity stsenaariumi liik käivitab araim_dual_raim igal epohhil, kui selle TOML (Tom's Obvious Minimal Language) fail seab araim_dual = true (valikuline p_hmi); kaasasolev scenarios/araim-gps-galileo.toml teeb seda ühendatud GPS + Galileo geomeetrial ja tests/araim_dual_real_data.rs käivitab sama mootori päris Celestraki GPS-i ja Galileo TLE-del, mis on propageeritud ühele ühisele epohhile. Ilma liputa kasutab käitaja klassikalist lahenduse eraldamise RAIM-i.

Viited#

• EU–U.S. Cooperation on Satellite Navigation, Working Group C, ARAIM Technical Subgroup, Milestone 3 Report, Final Version, 25 February 2016 — Annex A (reference user algorithm) ja §A.IX (numerical example). https://www.gps.gov/sites/default/files/2025-09/ARAIM-milestone-3-report.pdf
• EU–U.S. Cooperation on Satellite Navigation, Working Group C, ARAIM Technical Subgroup, Reference Airborne Algorithm Description Document, Version 3,1, 20 June 2019 — Appendix D (numerical example for LPV-200). https://web.stanford.edu/group/scpnt/gpslab/website_files/maast/ARAIM_TSG_Reference_ADD_v3.1.pdf
• EL–USA (Ameerika Ühendriigid) koostöö satelliitnavigatsioonis, ARAIM Technical Note.
• RTCA (varem Radio Technical Commission for Aeronautics) DO-316 / DO-229 MOPS (minimaalsed tööstandardid); DO-316 ARAIM MASPS (minimaalsed lennundussüsteemi toimivusstandardid) materjal.
• Blanch et al., Baseline Advanced RAIM User Algorithm and Possible Improvements, IEEE (Institute of Electrical and Electronics Engineers) TAES (Transactions on Aerospace and Electronic Systems) / ION (Institute of Navigation) ITM (International Technical Meeting).
• Walter, Enge, Blanch, Pervan, Worldwide Vertical Guidance of Aircraft Based on Modernized GPS and New Integrity Augmentations (Stanfordi diagrammi metoodika).