Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/integrity.md

integrity (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe GNSS-mittaukset, paikannus ja eheys. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

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

Yksi tiedoston scenarios/integrity-raim.toml ajo tiivistyy seuraavasti: integrity | 24 satelliittia | 344/361 epookkia saatavilla (95,3%) | HAL 40 m VAL 50 m | sigma 1,0 m | Stanford(V): 0 eheystapahtumaa, 0 HMI

Syötteet#

Skeemasta (kshana kinds --json):

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

Esimerkki scenarios/integrity-raim.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
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 ilmoitettu
constellation.planes 6 ei ilmoitettu
constellation.sats_per_plane 4 ei ilmoitettu
kind integrity teksti
mask_deg 5 deg
p_fa 1.0000e-5 ei ilmoitettu
p_md 0.001 ei ilmoitettu
seed 7 ei ilmoitettu

Aja se#

kshana scenarios/integrity-raim.toml

3 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat kohdassa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
al_h_m 40 m
al_v_m 50 m
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
samples_available 344 lukumäärä
samples_total 361 lukumäärä
stanford.alert_limit_m 50 m
Kaavio, jonka moottori kirjoittaa tiedostolle scenarios/integrity-raim.toml, tyyppi integrity

Todisteet#

MODELLED 6 · VALIDATED 4: tämän tyypin mainitsevat varmennusmatriisin rivit.

  • MODELLED Kellotyypin valinnainen [integrity]-osio (clock_integrity::run): annetusta paikasta ja tähdistöesiasetuksista (geometry::sky_geometry), jokaisella eheysepookilla, kun GNSS-aikajana ei ole estetty, hetkellinen RAIM (raim::snapshot_ Testit: clock_integrity.rs.
  • VALIDATED Skalaariaikainen ratkaisuerottelu-TPL heterogeenisten lähteiden yli; suojaustasoa (PL) ohjaa huonoimman poissulkemisen osajoukon kohina + UTC(k)-harha
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)); alhaalta puolijatkuva PL(0+)≥PL(0−); K(IR/2) juokseva maksimi; τ/τ³/τ⁵ vaihe-eksponentit
  • VALIDATED Juoksevan maksimin verhokäyrä peittää ylärajana (nollaa lävistämättä) todellisen metrologisen sarjan jokaisella testatulla viiveellä tau>=90d erillisellä aineistojaksolla; lyhyt tau (<=30d) on ilmoitettu mallinnettu raja Testit: cti_holdover_coverage_reference.rs.
  • ja 6 muuta matriisissa.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • VALIDATED ARAIM-monihypoteesinen ratkaisuerotus ARAIM Airborne Design Documentin (ADD) v4.2 mukaan (araim_reference::add_v42_protection_levels ja add_v42_protecti. Oraakkeli (ExternalDataset): Kolme riippumatonta työkalua, ennakkorekisteröity (0123cee1) ennen kuin mitään fixturea tai oraakkelin tulostetta oli olemassa, toleranssit kiinnitetty silloin. (1) ARAIM: Stanford MAAST for ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, ajettu erillisenä ohjelmana ympäristössä GNU Octave 8,4 ajurin puoleisella unique()-yhteensopivuuskerroksella (ilmoitettu, ei algoritmimuutosta), ADD:n TOL_PL-arvolla 0,05 m: Rust toistaa ADD-viitetoteutuksen on
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP näkölinjageometriasta Q=(HᵀH)⁻¹ paikallisella ENU-jaolla. Oraakkeli (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — riippumaton kirjasto, täsmäytetty 1e-6 suhteelliseen tarkkuuteen
  • VALIDATED Jakaumaydin, jonka varassa jokainen suojaustaso on: hetkellinen vikailmaisukynnys χ²₁₋ₚfₐ(dof), havaitsematta jäämisen epäkeskisyysparametri pbias=√λ ja . Oraakkeli (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — riippumaton kirjasto (Cephes/Boost), eri algoritmi kuin Kshana-ohjelman epätäydellisen gammafunktion sarja; täsmäytetty ≤1e-6 suht. Vain ydin. ARAIM MHSS P_HMI -budjetin allokaatiolla ei ole enää ilman julkaistua numeerista oraakkelia — WG-C ARAIM Technical Subgroupin oma työstetty esimerkki tukee nyt erillistä riviä 'ARAIM MHSS protection levels against published referen
  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#