Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/pvt.md

pvt (scenariotyp)

Scenariotyp i motor v0.40.0, familj GNSS-mätningar, positionering och integritet. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Enkel punktpositionering med verkliga observationer: lös en mottagares position från en RINEX 3-observationsfil och en sändningsnavigeringsfil (kodpseudoavstånd, sänd efemerid, Klobuchar-jonosfär, Saastamoinen/Niell-troposfär), valfritt validerad mot en inmätt koordinat.

En körning av scenarios/pvt-abmf.toml sammanfattas som: pvt 55bdd18628e1 | 11 sat nav | 2/3 epochs solved | mean 9,0 sats, PDOP 1,8 | 3D error RMS 5,74 m (max 7,12 m)

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: obs_rinex, nav_rinex
  • Valfria fält: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Exemplet scenarios/pvt-abmf.toml anger bland annat:

Fält Värde Enhet
dual_frequency true flagga
kind pvt text
mask_deg 5 deg
nav_rinex 3,03 N: GNSS NAV DATA M: MIXED text
obs_rinex 3,02 OBSERVATION DATA M text
truth_ecef [2.9198e6, -5.3837e6, 1.7746e6] inte angivet

Kör den#

kshana scenarios/pvt-abmf.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
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 motorn skriver för scenarios/pvt-abmf.toml, typ pvt

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

  • MODELLED Divergensfritt Hatch-filter (jonosfärsfri kod buren av den jonosfärsfria bärvågen, fönster N epoker, omstart vid förlorad låsning, geometrifritt hopp eller lucka) i sammansättningen för precis enkel punktpositionering
  • MODELLED dop_error_mc::run_geometry och check: en Monte Carlo med slumpfrö (N = 20 000 epoker per geometri, sigma = 1,5 m, ChaCha8-frö 36 + i) av motorns egen iterativa minsta kvadrat-positionsbestämning (pvt::solve_spp, enhetsvikter, löst från den sanna positionen) på Tester: uere_dop_monte_carlo.rs.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • VALIDATED IS-GPS-200 / Galileo-OS / BeiDou-OS Kepler-satellitposition från sänd efemerid → ECEF från en tolkad RINEX-3-navigeringspost. Oberoende referens (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos() kompilerad från C-källkod (T. Takasu, BSD-2-Clause) — en oberoende implementation av IS-GPS-200/SIS-ICD, matad med identiska RINEX-3-navposter; satellitens ECEF-position stämde till ~62 nm. (Interpolation av SP3-precisionsefemerid är validerad separat — se 'SP3 precise-ephemeris interpolation')
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#