Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/integrity.md

integrity (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond GNSS-i mõõtmised, positsioneerimine ja terviklikkus. 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).

Mida see teeb#

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

Ühe scenarios/integrity-raim.toml käivituse kokkuvõte: integrity | 24 satelliiti | 344/361 epohhi kättesaadav (95,3%) | HAL 40 m VAL 50 m | sigma 1,0 m | Stanford(V): 0 terviklikkuse sündmust, 0 HMI

Sisendid#

Skeemist (kshana kinds --json):

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

Näide scenarios/integrity-raim.toml määrab muu hulgas:

Väli Väärtus Ühik
al_h_m 40 m
al_v_m 50 m
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 ei ole märgitud
constellation.planes 6 ei ole märgitud
constellation.sats_per_plane 4 ei ole märgitud
kind integrity tekst
mask_deg 5 deg
p_fa 1.0000e-5 ei ole märgitud
p_md 0.001 ei ole märgitud
seed 7 ei ole märgitud

Käivitamine#

kshana scenarios/integrity-raim.toml

3 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
al_h_m 40 m
al_v_m 50 m
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
samples_available 344 arv
samples_total 361 arv
stanford.alert_limit_m 50 m
Mootori joonistatud diagramm failile scenarios/integrity-raim.toml, liik integrity

Tõendid#

MODELLED 6 · VALIDATED 4: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Kella liigi valikuline [integrity] jaotis (clock_integrity::run): väljaöeldud jaamast ja konstellatsiooni eelseadistustest (geometry::sky_geometry), igal terviklikkuse epohhil, kui GNSS-i ajajoon ei ole keelatud, hetktõmmis RAIM (raim::snapshot_ Testid: clock_integrity.rs.
  • VALIDATED Skalaarajaline lahenduste eraldamise TPL heterogeensete allikate üle; PL-i määrab halvima välistamise alamhulga müra + UTC(k) nihe
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)); alt poolpidev PL(0+)≥PL(0−); K(IR/2) jooksev maksimum; τ/τ³/τ⁵ faasieksponendid
  • VALIDATED Jooksva maksimumi ümbris ülepiirab (nullipiirangut läbimata) katvalt reaalset metroloogilist rida igal testitud viitel tau>=90d lahkuminevas lõigus; lühike tau (<=30d) on avalikustatud Modelled piir Testid: cti_holdover_coverage_reference.rs.
  • ja veel 6 maatriksis.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • VALIDATED ARAIM mitme hüpoteesi lahendite eraldatus vastavalt ARAIM Airborne Design Document (ADD) v4.2-le (araim_reference::add_v42_protection_levels ja add_v42_protecti. Sõltumatu etalon (ExternalDataset): Kolm sõltumatut tööriista, eelregistreeritud (0123cee1) enne mis tahes fikstuuri või sõltumatu etaloni väljundi olemasolu, tolerantsid fikseeritud siis. (1) ARAIM: Stanfordi MAAST for ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, jooksutatud eraldi programmina GNU Octave 8,4 all draiveripoolse unique() ühilduvuskihiga (avalikustatud, algoritmi muudatust ei ole), ADD TOL_PL juures 0,05 m: Rust reprodutseerib ADD etalonteostuse
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP vaatejoone geomeetriast kaudu Q=(HᵀH)⁻¹ kohaliku ENU lahutusega. Sõltumatu etalon (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — sõltumatu teek, ühtib 1e-6 suhtelise täpsusega
  • VALIDATED Jaotuslik tuum, millel iga kaitsetase põhineb: hetktõmmise rikke tuvastamise lävi χ²₁₋ₚfₐ(dof), tuvastamata jäänud sündmuse mittetsentraalsus pbias=√λ ja . Sõltumatu etalon (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — sõltumatu teek (Cephes/Boost), Kshana mittetäieliku gamma rea suhtes erinev algoritm; ühtib ≤1e-6 suhtelise täpsusega. Ainult tuum. ARAIM MHSS P_HMI eelarve jaotus ei ole enam ilma avaldatud arvulise sõltumatu etalonita — WG-C ARAIM-i tehnilise alamrühma enda läbitöötatud näide toetab nüüd eraldi rida „ARAIM MHSS protection levels against published referen
  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#