GNSS-i mõõtmised, positsioneerimine ja terviklikkus (stsenaariumi liikide perekond)

6 stsenaariumi liiki mootorist v0.40.0. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Teemalehed: INTEGRITY, POSITIONING, ARAIM_REFERENCE, OSNMA. Käivita üks: kshana scenarios/integrity-raim.toml. Kõik perekonnad: KINDS.md.

integrity#

Hetktõmmise / lahenduste eraldamise / ARAIM RAIM koos HPL/VPL-iga ja Stanfordi diagrammiga.

Kohustuslikud väljad: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation. Valikulised: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline.

Register (ledger): MODELLED 6 · VALIDATED 4. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: integrity.

kshana scenarios/integrity-raim.toml

gnss-sim#

Mõõtmispiirkonna pseudovahemaa simulatsioon (Klobuchari ionosfäär, Saastamoineni/Niell'i troposfäär) + RAIM.

Kohustuslikud väljad: seed, time, receiver, constellation. Valikulised: 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 (ledger): VALIDATED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: gnss-sim.

kshana scenarios/gnss-sim-raim.toml

pvt#

Reaalsete vaatluste ühepunktpositsioneerimine: vastuvõtja asukoha lahendamine RINEX 3 vaatlusfailist ja ringhäälestatud navigatsioonifailist (koodipseudovahemaad, ringhäälestatud efemeriid, Klobuchari ionosfäär, Saastamoineni/Niell'i troposfäär), soovi korral valideeritud mõõdistatud koordinaadi vastu.

Kohustuslikud väljad: obs_rinex, nav_rinex. Valikulised: truth_ecef, apriori_ecef, mask_deg, dual_frequency.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: pvt.

kshana scenarios/pvt-abmf.toml

araim-reference-check#

Avaldatud ARAIM-i sertifitseerimise etalonvektorid: mootori ARAIM-i horisontaalne ja vertikaalne kaitsetase käivitatud WG-C ARAIM-i tehnilise alamrühma ENDA läbitöötatud arvnäidete vastu, tolerantsiga (TOL_PL = 5e-2 m), mille need dokumendid ise väidavad. Kaks vektorit on kaasatud fikseeritud andmetena, millest kumbki kannab oma hankimise URL-i, hankimise kuupäeva, lähtefaili SHA-256 ja lehekülge: Reference Airborne Algorithm Description Document v3.1 (2019) lisa D — sisemiselt kooskõlaline ja vastuvõtuvektor — ning Milestone 3 Report (2016) lisa A jaotis A.IX, väide, mida uurimisbibliograafiad tsiteerivad. Iga avaldatud sisend (10 satelliidi ja 2 satelliidikonstellatsiooni geomeetriamaatriks, C_int ja C_acc dispersioonidiagonaalid, b_nom, P_sat, P_const ja LPV-200 konstantide komplekt) ja iga avaldatud väljund (VPL, HPL, EMT, sigma_v_acc, K_fa_3 ning kahe konstellatsiooniriketerežiimi sigma_3, sigma_ss_3 ja b_3) on esitatud mootori enda arvu ja nende absoluutse erinevuse kõrval. Kaitsetaseme võrrandit EI lahendata siin uuesti: etaloni režiimide loend antakse mootori olemasolevale funktsioonile raim::araim_protection_level / araim_integrity_risk, nii et katsetatav poolitamine ja Gaussi sabaalgebra on mootori enda; selle jaoks on ehitatud ainult geomeetria, alamlahendid, tuvastuslävendid ja avaldatud eelarvejaotus. VÄLISELT KONTROLLITUD 2019 vektori vastu: VPL 18,2926 m vs avaldatud 18,3 m, HPL 13,4063 m vs 13,45 m, EMT 7,2997 m vs 7,2998 m, sigma_v_acc 1,3694 m vs 1,3694 m ning kõik kuus avaldatud vahetulemust poole ühiku täpsusega viimases trükitud kümnendkohas. 2016 vektor sisaldab kaht sisemist viga, mida aruanne ütleb välja, mitte ei peida — märgitrükiviga G reas 3 ja K_fa_3, mis on hinnatud 57 rikkerežiimi juures, kuigi dokument ütleb N_fault_max = 1 (12 režiimi) — seega selle geomeetria vahetulemused taastuvad täpselt, kuid selle kaitsetasemed on esitatud mõõdetud lahknevustena ja jäetud vastuvõtunäitajast välja; tolerantsi ei laiendata kunagi neid neelamaks. Iga väljastatud arvväli kannab ühikut ja päritoluklassi ning ümberkirjutatud arv on märgitud published, et seda ei saaks kunagi arvutatuga segi ajada. ULATUS: realiseeritud on ainult N_fault_max = 1 (üksiksatelliidi ja üksikkonstellatsiooni rikkerežiimid) ning juhtum, mille eelhinnangud nõuavad üheaegseid mitmesündmuselisi rikkealamhulki, on REFUSED, mitte vaikselt kärbitud; rikke tuvastamine, välistamine, hii-ruut kooskõlakontroll ja etalonalgoritmi topeltarvestuse ümberjaotamise samm on ulatusest väljas. See reprodutseerib avaldatud etalonalgoritmi läbitöötatud näidet — see ei ole sertifikaat, lennukõlblikkuse artefakt ega kinnitus.

Kohustuslikud väljad: puuduvad. Valikulised: vector.

Register (ledger): VALIDATED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: araim-reference-check.

kshana scenarios/araim-reference-check.toml

space-weather#

Kosmoseilma keskkonnamudel: päikese (F10.7/F10.7a) ja geomagnetilise (Kp, koos definitsioonilise Kp↔ap tabeliga) aktiivsusindeksid, nende juhitav Jacchia-1971 eksosfääri temperatuur (valideeritud avaldatud päikese miinimumi/keskmise/maksimumi vastu) ning Jacchia-1971 termosfääri neutraaltihedus ööpäeva keskmise eksosfääri temperatuuri juures vs aktiivsusvaba staatiline profiil kõrguste hulgal — päikesetsükli tihedussõltuvus, mida staatiline atmosfäär ei sisalda. MODELLED: tihedus ühtib kiirendusmõõturitest tuletatud tihedustega (TOLEOS CHAMP ja GRACE) teguri 2 piires päikese maksimumil, kuid on 2008. aasta päikese miinimumil umbes 1.7x liiga tihe.

Kohustuslikud väljad: puuduvad. Valikulised: f107, f107a, kp, altitudes_km.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: space-weather.

kshana scenarios/space-weather.toml

realtime-frame-eop#

Reaalajas Kuu tugisüsteemi / Maa orientatsiooni ennustuse eelarve: P4 tabel 1 (tugisüsteemi vea kooskõlakontroll — järeltöödeldud ~0,27 m ↔ ~0,010 ms ja reaalajas ~15 m ↔ ~0,5 ms, iga tugisüsteemi asukoht väljendatud samaväärse UT1 veana L19 õlapikkuse Δr = D_EM·ω⊕·ΔUT1 kaudu) ja tabel 2 (mõõdetud UT1 ennustusviga vs horisont — L18 kõver loetud otse tegelikust IERS-i finals2000A reast: Bulletin A − Bulletin B lõplik põhjatase ja mitmepäevase püsivusennustaja viga, kumbki teisendatud Kuu tugisüsteemi asukohaks L19 abil), pluss L21 ruutude summa juurena reaalajas tugisüsteemi vea eelarve (EOP + efemeriid + realisatsiooni põhjatase). VALIDATED kinnine kuju (L19 õlapikkus, ω⊕ ristkontrollitud CIO Maa pöörlemisnurga vastu) ja VALIDATED reaalsed andmed (L18 kõver otse tegelikelt finals2000A ridadelt); MODELLED on tsislunaarse releesatelliidi OD kovariatsioonide suurused ja tugisüsteemi realisatsiooni põhjatase (esindusliku jaotusega eraldised) ning püsivusennustaja (mitte IERS-i operatiivne Bulletin A algoritm). Mitte sertifitseeritud reaalajas tugisüsteemi toode.

Kohustuslikud väljad: puuduvad. Valikulised: 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 (ledger): MODELLED 1 · VALIDATED 2. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: realtime-frame-eop.

kshana scenarios/realtime-frame-eop.toml