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

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

pvt (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#

Reaalsete vaatluste ühepunktpositsioneerimine: vastuvõtja asukoha lahendamine RINEX 3 vaatlusfailist ja ringhäälestatud navigatsioonifailist (koodipseudovahemaad, ringhäälestatud efemeriid, Klobuchari ionosfäär, Saastamoineni/Niell'i troposfäär), soovi korral valideeritud mõõdistatud koordinaadi vastu.

Ühe scenarios/pvt-abmf.toml käivituse kokkuvõte: pvt 55bdd18628e1 | 11 satelliiti nav | lahendatud 2/3 epohhi | keskmiselt 9,0 satelliiti, PDOP 1,8 | 3D viga RMS 5,74 m (maks 7,12 m)

Sisendid#

Skeemist (kshana kinds --json):

  • Kohustuslikud väljad: obs_rinex, nav_rinex
  • Valikulised väljad: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Näide scenarios/pvt-abmf.toml määrab muu hulgas:

Väli Väärtus Ühik
dual_frequency true lipp
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] ei ole märgitud

Käivitamine#

kshana scenarios/pvt-abmf.toml

Mida see annab#

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

Tulemus Väärtus Ühik
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.epochs_solved 2 arv
fom.epochs_total 3 arv
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 arv
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
Diagramm, mille mootor kirjutab failile scenarios/pvt-abmf.toml, liik pvt

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Lahknemisvaba Hatchi filter (ionosfäärivaba kood, mida kannab ionosfäärivaba kandelaine, aken N epohhi, taaskäivitus lukustuse kadumisel, geomeetriavaba hüppe või lünga korral) täpse ühepunktpositsioneerimise koostus
  • MODELLED dop_error_mc::run_geometry ja check: mootori enda iteratiivse vähimruutude määrangu (pvt::solve_spp, ühikkaalud, lahendatud tegelikust asukohast) algväärtustatud Monte Carlo (N = 20 000 epohhi geomeetria kohta, sigma = 1,5 m, ChaCha8 algväärtus 36 + i) Testid: uere_dop_monte_carlo.rs.

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

  • VALIDATED IS-GPS-200 / Galileo-OS / BeiDou-OS ringhäälestatud efemeriidi Kepleri → ECEF satelliidi asukoht parsitud RINEX-3 navigatsioonikirjest. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): RTKLIB v2.4.2-p13 eph2pos(), kompileeritud C lähtekoodist (T. Takasu, BSD-2-Clause) — sõltumatu IS-GPS-200/SIS-ICD teostus, mida söödeti identsete RINEX-3 nav kirjetega; satelliidi ECEF asukoht langes kokku täpsusega ~62 nm. (SP3 täpse efemeriidi interpolatsiooni valideeritakse eraldi — vt „SP3 täpse efemeriidi interpolatsioon“)
  • 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#