Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/pvt.md

pvt (scenariotype)

Scenariotype i motoren v0.40.0, familie GNSS-målinger, posisjonsbestemmelse og integritet. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Enkeltpunktsposisjonering fra virkelige observasjoner: løs en mottakers posisjon fra en RINEX 3-observasjonsfil og en fil med kringkastet navigasjon (kodepseudoavstander, kringkastet efemeride, Klobuchar-ionosfære, Saastamoinen/Niell-troposfære), eventuelt validert mot en oppmålt koordinat.

En kjøring av scenarios/pvt-abmf.toml oppsummeres slik: 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)

Inndata#

Fra skjemaet (kshana kinds --json):

  • Obligatoriske felt: obs_rinex, nav_rinex
  • Valgfrie felt: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Eksempelet scenarios/pvt-abmf.toml angir blant annet:

Felt Verdi Enhet
dual_frequency true flagg
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 oppgitt

Kjør den#

kshana scenarios/pvt-abmf.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
evidence.id_rule den stabile id-en til matriseraden (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.epochs_solved 2 antall
fom.epochs_total 3 antall
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 antall
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
Diagrammet motoren skriver for scenarios/pvt-abmf.toml, type pvt

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

  • MODELLED Hatch-filter uten divergens (ionosfærefri kode båret av ionosfærefri bærebølge, vindu N epoker, omstart ved tap av lås, geometrifritt hopp eller gap) i sammenstillingen for presis enkeltpunktsposisjonering
  • MODELLED dop_error_mc::run_geometry og check: en Monte Carlo med seed (N = 20 000 epoker per geometri, sigma = 1,5 m, ChaCha8-seed 36 + i) av motorens egen iterative minste kvadraters posisjonsbestemmelse (pvt::solve_spp, enhetsvekter, løst fra den sanne posisjonen) på Tester: uere_dop_monte_carlo.rs.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • VALIDATED Satellittposisjon i ECEF fra Kepler-elementer i kringkastet efemeride etter IS-GPS-200 / Galileo-OS / BeiDou-OS, fra en tolket RINEX-3-navigasjonspost. Uavhengig referanse (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos() kompilert fra C-kilden (T. Takasu, BSD-2-Clause), en uavhengig implementasjon av IS-GPS-200/SIS-ICD, matet med de identiske RINEX-3-navigasjonspostene; satellittens ECEF-posisjon stemte til ~62 nm. (Interpolasjon av presis SP3-efemeride er validert separat, se «SP3 precise-ephemeris interpolation»)
  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#