GNSS-mittaukset, paikannus ja eheys (skenaariolajiperhe)

6 skenaariolajia, moottorin v0.40.0. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva tunniste on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten tunniste ansaitaan: READMEn Evidence-osio).

Aihesivut: INTEGRITY, POSITIONING, ARAIM_REFERENCE, OSNMA. Aja yksi: kshana scenarios/integrity-raim.toml. Kaikki perheet: KINDS.md.

integrity#

Snapshot-, ratkaisuerottelu- ja ARAIM-RAIM HPL/VPL-arvoilla ja Stanford-diagrammilla.

Pakolliset kentät: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation. Valinnaiset: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline.

Kirjanpito: MODELLED 6 · VALIDATED 4. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: integrity.

kshana scenarios/integrity-raim.toml

gnss-sim#

Mittausalueen pseudoetäisyyssimulaatio (Klobuchar-ionosfääri, Saastamoinen/Niell-troposfääri) + RAIM.

Pakolliset kentät: seed, time, receiver, constellation. Valinnaiset: 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.

Kirjanpito: VALIDATED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: gnss-sim.

kshana scenarios/gnss-sim-raim.toml

pvt#

Todellisen havainnon yksipistepaikannus: ratkaise vastaanottimen paikka RINEX 3 -havaintotiedostosta ja yleislähetetystä navigointitiedostosta (koodipseudoetäisyydet, yleislähetetty efemeridi, Klobuchar-ionosfääri, Saastamoinen/Niell-troposfääri), valinnaisesti validoituna mitattua koordinaattia vasten.

Pakolliset kentät: obs_rinex, nav_rinex. Valinnaiset: truth_ecef, apriori_ecef, mask_deg, dual_frequency.

Kirjanpito: MODELLED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: pvt.

kshana scenarios/pvt-abmf.toml

araim-reference-check#

Julkaistut ARAIM-viitevektorit: moottorin ARAIM-vaaka- ja pystysuuntaiset suojaustasot ajettuna WG-C ARAIM Technical Subgroupin OMIA lasketuja esimerkkejä vastaan toleranssilla (TOL_PL = 5e-2 m), jonka nämä asiakirjat itse ilmoittavat. Kaksi vektoria on kiinnitetty testikiinnitteiksi, kukin mukanaan noutoosoite, noutopäivä, lähdetiedoston SHA-256 ja sivu: Reference Airborne Algorithm Description Document v3.1 (2019) Appendix D — sisäisesti johdonmukainen ja hyväksymisvektori — sekä Milestone 3 Report (2016) Annex A, osa A.IX, väite, johon tutkimusbibliografiat viittaavat. Jokainen julkaistu syöte (10 satelliitin 2 satelliittitähdistön geometriamatriisi, C_int- ja C_acc-varianssidiagonaalit, b_nom, P_sat, P_const ja LPV-200-vakiojoukko) ja jokainen julkaistu tulos (VPL, HPL, EMT, sigma_v_acc, K_fa_3 sekä kahden tähdistövikatilan sigma_3, sigma_ss_3 ja b_3) raportoidaan moottorin oman lukunsa vieressä ja niiden absoluuttisen eron kanssa. Suojaustasoyhtälöä EI ratkaista tässä uudelleen: viitteen tilalista annetaan moottorin olemassa oleville funktioille raim::araim_protection_level / araim_integrity_risk, joten testattavana oleva puolitus ja Gaussin hännän algebra ovat moottorin omia; vain geometria, aliratkaisut, havaitsemiskynnykset ja julkaistu budjettijako rakennetaan sitä varten. ULKOISESTI TARKISTETTU 2019 -vektoria vastaan: VPL 18,2926 m vs 18,3 m julkaistu, 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, ja kaikki kuusi julkaistua välitulosta puolen yksikön tarkkuudella viimeisessä painetussa desimaalissa. Vektorissa 2016 on kaksi sisäistä virhettä, jotka raportti toteaa eikä piilota — etumerkkivirhe matriisin G rivillä 3 ja K_fa_3, joka on laskettu 57 vikatilalle, vaikka asiakirja ilmoittaa N_fault_max = 1 (12 tilaa) — joten sen geometrian välitulokset toistuvat täsmälleen, mutta sen suojaustasot raportoidaan mitattuina poikkeamina ja jätetään pois hyväksymisluvusta; toleranssia ei koskaan laajenneta niiden absorboimiseksi. Jokainen tuotettu numeerinen kenttä sisältää yksikön ja alkuperäluokan, ja jäljennetty luku nimetään published, jotta sitä ei koskaan voi sekoittaa lasketun kanssa. RAJAUS: vain N_fault_max = 1 (yhden satelliitin ja yhden satelliittitähdistön vikatilat) on toteutettu, ja tapaus, jonka priorit vaativat samanaikaisia monitapahtumavikajoukkoja, on REFUSED eikä sitä typistetä hiljaa; vian havaitseminen, poissulkeminen, khiin neliö -johdonmukaisuustarkistus ja viitealgoritmin kaksoislaskennan uudelleenjakovaihe ovat soveltamisalan ulkopuolella. Tämä toistaa julkaistun viitealgoritmin lasketun esimerkin — se ei ole sertifiointi, lentokelpoisuusasiakirja eikä hyväksyntä.

Pakolliset kentät: ei yhtään. Valinnaiset: vector.

Kirjanpito: VALIDATED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: araim-reference-check.

kshana scenarios/araim-reference-check.toml

space-weather#

Avaruussään ympäristömalli: aurinko- (F10.7/F10.7a) ja geomagneettiset (Kp, määritelmällisellä Kp↔ap-taulukolla) aktiivisuusindeksit, niiden ohjaama Jacchia-1971-eksosfäärilämpötila (validoitu julkaistuja aurinkominimiä/keskiarvoa/maksimia vastaan) sekä Jacchia-1971-termosfäärin neutraalitiheys päivittäisessä keskimääräisessä eksosfäärilämpötilassa verrattuna aktiivisuudesta riippumattomaan staattiseen profiiliin usealla korkeudella — aurinkosyklin tiheysriippuvuus, jonka staattinen ilmakehä jättää pois. MODELLED: tiheys vastaa kiihtyvyysmittareista johdettuja tiheyksiä (TOLEOS CHAMP ja GRACE) kertoimen 2 sisällä aurinkomaksimissa, mutta on noin 1.7x liian tiheä vuoden 2008 aurinkominimissä.

Pakolliset kentät: ei yhtään. Valinnaiset: f107, f107a, kp, altitudes_km.

Kirjanpito: MODELLED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: space-weather.

kshana scenarios/space-weather.toml

realtime-frame-eop#

Reaaliaikaisen kuukoordinaatiston / Maan orientaation ennustebudjetti: P4 taulukko 1 (koordinaatistovirheen johdonmukaisuustarkistus — jälkikäsitelty ~0,27 m ↔ ~0,010 ms ja reaaliaikainen ~15 m ↔ ~0,5 ms, kukin koordinaatiston paikka ilmaistuna vastaavana UT1-virheenä L19-vipuvarren Δr = D_EM·ω⊕·ΔUT1 kautta) ja taulukko 2 (mitattu UT1-ennustevirhe vs. horisontti — L18-käyrä luettuna suoraan todellisesta IERS finals2000A -sarjasta: Bulletin A − Bulletin B -lopullinen lattia ja usean päivän pysyvyysennustimen virhe, kumpikin kuvattuna Kuun koordinaatiston paikaksi L19:llä), sekä L21 neliösummattu reaaliaikainen koordinaatistovirhebudjetti (EOP + efemeridi + toteutuslattia). VALIDATED suljettu muoto (L19-vipuvarsi, ω⊕ ristiintarkistettu CIO-Maan pyörimiskulmaa vasten) ja VALIDATED todellinen data (L18-käyrä todellisilta finals2000A-riveiltä); MODELLED ovat kuun releiden radanmäärityksen kovarianssien suuruudet ja koordinaatiston toteutuslattia (edustavat osuudet) sekä pysyvyysennustin (ei IERSin operatiivinen Bulletin A -algoritmi). Ei sertifioitu reaaliaikainen koordinaatistotuote.

Pakolliset kentät: ei yhtään. Valinnaiset: 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.

Kirjanpito: MODELLED 1 · VALIDATED 2. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: realtime-frame-eop.

kshana scenarios/realtime-frame-eop.toml