Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/pvt.md

pvt (scenarietype)

Scenarietype i motoren v0.40.0, familie GNSS-målinger, positionsbestemmelse og integritet. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Positionsbestemmelse med ét punkt ud fra reelle observationer: bestem en modtagers position ud fra en RINEX 3-observationsfil og en fil med broadcast-navigation (kodepseudoafstande, broadcast-efemeride, Klobuchar-ionosfære, Saastamoinen/Niell-troposfære), eventuelt valideret mod en opmålt koordinat.

Én kørsel af scenarios/pvt-abmf.toml opsummeres som: pvt 55bdd18628e1 | 11 sat. nav | 2/3 epoker løst | gennemsnit 9,0 sat., PDOP 1,8 | 3D-fejl RMS 5,74 m (maks. 7,12 m)

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: obs_rinex, nav_rinex
  • Valgfrie felter: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Eksemplet scenarios/pvt-abmf.toml angiver blandt andet:

Felt Værdi Enhed
dual_frequency true flag
kind pvt tekst
mask_deg 5 deg
nav_rinex 3,03 N: GNSS NAV DATA M: MIXED tekst
obs_rinex 3,02 OBSERVATION DATA M tekst
truth_ecef [2.9198e6, -5.3837e6, 1.7746e6] ikke angivet

Kør den#

kshana scenarios/pvt-abmf.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
evidence.id_rule det stabile id for matrixrækken (kolonnen ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.epochs_solved 2 antal
fom.epochs_total 3 antal
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 antal
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
Diagrammet, som motoren skriver for scenarios/pvt-abmf.toml, type pvt

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

  • MODELLED Divergensfrit Hatch-filter (ionosfærefri kode båret af den ionosfærefri bærebølge, vindue på N epoker, genstart ved tab af lås, geometrifrit spring eller hul) i den præcise samling til positionsbestemmelse med ét punkt
  • MODELLED dop_error_mc::run_geometry og check: en seedet Monte Carlo (N = 20.000 epoker pr. geometri, sigma = 1,5 m, ChaCha8-seed 36 + i) af motorens egen iterede mindste kvadraters positionsbestemmelse (pvt::solve_spp, enhedsvægte, løst ud fra den sande position) på Tests: uere_dop_monte_carlo.rs.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • VALIDATED Satellitposition i ECEF ud fra Kepler-elementer i broadcast-efemeriden for IS-GPS-200 / Galileo-OS / BeiDou-OS fra en indlæst RINEX-3-navigationspost. Uafhængig reference (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos() kompileret fra C-kildekode (T. Takasu, BSD-2-Clause) — en uafhængig implementering af IS-GPS-200/SIS-ICD, fodret med de samme RINEX-3-navigationsposter; satellitpositionen i ECEF stemte til ~62 nm. (Interpolation af den præcise SP3-efemeride valideres separat — se 'SP3 precise-ephemeris interpolation')
  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#