GNSS-metingen, positiebepaling en integriteit (familie van scenariosoorten)

6 scenariosoorten van de engine v0.40.0. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidsdienst voor mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een soort is MODELLED tenzij de matrix anders aangeeft (hoe een label wordt verdiend: het onderdeel Bewijs van de README).

Themapagina's: INTEGRITY, POSITIONING, ARAIM_REFERENCE, OSNMA. Voer er een uit: kshana scenarios/integrity-raim.toml. Alle families: KINDS.md.

integrity#

Snapshot-/oplossingsscheidings-/ARAIM-RAIM met HPL/VPL en een Stanford-diagram.

Verplichte velden: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation. Optioneel: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline.

Register: MODELLED 6 · VALIDATED 4. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: integrity.

kshana scenarios/integrity-raim.toml

gnss-sim#

Pseudorangesimulatie in het meetdomein (Klobuchar-iono, Saastamoinen/Niell-tropo) + RAIM.

Verplichte velden: seed, time, receiver, constellation. Optioneel: 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.

Register: VALIDATED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: gnss-sim.

kshana scenarios/gnss-sim-raim.toml

pvt#

Enkelpunts-positiebepaling met echte waarnemingen: bepaal de positie van een ontvanger uit een RINEX 3-waarnemingsbestand en een broadcast-navigatiebestand (codepseudoafstanden, broadcast-efemeride, Klobuchar-ionosfeer, Saastamoinen/Niell-troposfeer), eventueel getoetst aan een opgemeten coördinaat.

Verplichte velden: obs_rinex, nav_rinex. Optioneel: truth_ecef, apriori_ecef, mask_deg, dual_frequency.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: pvt.

kshana scenarios/pvt-abmf.toml

araim-reference-check#

Gepubliceerde ARAIM-certificeringsreferentievectoren: de ARAIM-horizontale en -verticale beschermingsniveaus van de engine, uitgevoerd tegen de EIGEN uitgewerkte numerieke voorbeelden van de WG-C ARAIM Technical Subgroup, met de tolerantie (TOL_PL = 5e-2 m) die die documenten zelf vermelden. Twee vectoren zijn als fixtures vastgelegd, elk met zijn ophaal-URL, ophaaldatum, SHA-256 van het bronbestand en pagina: de Reference Airborne Algorithm Description Document v3.1 (2019) Appendix D — zelfconsistent, en de acceptatievector — en het Milestone 3 Report (2016) Annex A section A.IX, de verklaring die de onderzoeksbibliografieën citeren. Elke gepubliceerde invoer (de geometriematrix van 10 satellieten en 2 constellaties, de variantiediagonalen C_int en C_acc, b_nom, P_sat, P_const en de constantenset van LPV-200) en elke gepubliceerde uitvoer (VPL, HPL, EMT, sigma_v_acc, K_fa_3 en sigma_3, sigma_ss_3 en b_3 van de twee constellatiefoutmodi) wordt naast het eigen getal van de engine en hun absolute verschil gerapporteerd. De vergelijking voor het beschermingsniveau wordt hier NIET opnieuw opgelost: de modelijst van de referentie wordt overgedragen aan de bestaande raim::araim_protection_level / araim_integrity_risk van de engine, zodat de bisectie en de gaussiaanse-staartalgebra die worden getest die van de engine zelf zijn; alleen de geometrie, de deeloplossingen, de detectiedrempels en de gepubliceerde budgetverdeling worden ervoor opgebouwd. EXTERN GECONTROLEERD tegen de vector van 2019: VPL 18,2926 m tegenover 18,3 m gepubliceerd, HPL 13,4063 m tegenover 13,45 m, EMT 7,2997 m tegenover 7,2998 m, sigma_v_acc 1,3694 m tegenover 1,3694 m, en alle zes gepubliceerde tussenwaarden tot op een halve eenheid in hun laatste afgedrukte decimaal. De vector van 2016 bevat twee interne gebreken die het rapport vermeldt in plaats van verbergt — een tekenfout in rij 3 van G, en een K_fa_3 die is geëvalueerd bij 57 foutmodi terwijl het document N_fault_max = 1 (12 modi) vermeldt — zodat de geometrische tussenwaarden exact worden gereproduceerd terwijl de beschermingsniveaus worden gerapporteerd als gemeten afwijkingen en buiten het acceptatiecijfer blijven; de tolerantie wordt nooit verruimd om ze op te vangen. Elk uitgegeven numeriek veld draagt een eenheid en een herkomstklasse, en een overgenomen cijfer wordt gelabeld published zodat het nooit voor een berekend cijfer kan worden aangezien. REIKWIJDTE: alleen N_fault_max = 1 (foutmodi van één satelliet en van één constellatie) is geïmplementeerd, en een geval waarvan de priors gelijktijdige multi-eventfoutdeelverzamelingen vereisen wordt REFUSED in plaats van stilzwijgend afgekapt; foutdetectie, uitsluiting, de chikwadraatconsistentiecontrole en de herallocatiestap tegen dubbeltelling van het referentiealgoritme vallen buiten de reikwijdte. Dit reproduceert het uitgewerkte voorbeeld van een gepubliceerd referentiealgoritme — het is geen certificering, geen luchtwaardigheidsartefact en geen goedkeuring.

Verplichte velden: geen. Optioneel: vector.

Register: VALIDATED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: araim-reference-check.

kshana scenarios/araim-reference-check.toml

space-weather#

Ruimteweermodel van de omgeving: zonne- (F10.7/F10.7a) en geomagnetische (Kp, met de definitionele tabel Kp↔ap) activiteitsindices, de exosferische temperatuur volgens Jacchia-1971 die zij aansturen (getoetst tegen gepubliceerde waarden voor zonneminimum/gemiddelde/zonnemaximum), en de neutrale thermosferische dichtheid volgens Jacchia-1971 bij de dagelijks gemiddelde exosferische temperatuur tegenover het activiteitsvrije statische profiel op een reeks hoogten — de afhankelijkheid van de dichtheid van de zonnecyclus die de statische atmosfeer weglaat. MODELLED: de dichtheid komt overeen met uit accelerometers afgeleide dichtheden (TOLEOS CHAMP en GRACE) binnen een factor 2 bij zonnemaximum, maar is ongeveer 1.7x te dicht in het zonneminimum van 2008.

Verplichte velden: geen. Optioneel: f107, f107a, kp, altitudes_km.

Register: MODELLED. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: space-weather.

kshana scenarios/space-weather.toml

realtime-frame-eop#

Budget voor de voorspelling van het lunaire referentiestelsel / de aardoriëntatie in realtime: P4 Tabel 1 (de consistentiecontrole van de referentiestelselfout — nabewerkt ~0,27 m ↔ ~0,010 ms en realtime ~15 m ↔ ~0,5 ms, elke positie in het referentiestelsel uitgedrukt als de equivalente UT1-fout via de hefboomarm L19 Δr = D_EM·ω⊕·ΔUT1) en Tabel 2 (gemeten UT1-voorspelfout tegenover horizon — de L18-curve rechtstreeks afgelezen uit de echte IERS finals2000A-reeks: de eindondergrens Bulletin A − Bulletin B en de voorspelfout van de persistentievoorspeller over meerdere dagen, elk via L19 afgebeeld op een positie in het Maanstelsel), plus het kwadratische-sombudget L21 voor de realtime referentiestelselfout (EOP + efemeride + realisatieondergrens). VALIDATED gesloten vorm (de hefboomarm L19, ω⊕ gecontroleerd tegen de CIO-aardrotatiehoek) en VALIDATED echte data (de L18-curve uit de echte rijen van finals2000A); MODELLED zijn de groottes van de covariantie van baanbepaling voor het lunaire relais en de realisatieondergrens van het referentiestelsel (representatieve toewijzingen) en de persistentievoorspeller (niet het operationele Bulletin A-algoritme van de IERS). Geen gecertificeerd realtime referentiestelselproduct.

Verplichte velden: geen. Optioneel: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual.

Register: MODELLED 1 · VALIDATED 2. Volledige pagina, met de invoer, resultaten, bewijs en beperkingen: realtime-frame-eop.

kshana scenarios/realtime-frame-eop.toml