Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/pvt.md

pvt (scenariosoort)

Scenariokind van de engine v0.40.0, familie GNSS-metingen, positiebepaling en integriteit. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Enkelpunts-positiebepaling met echte waarnemingen: bepaal de positie van een ontvanger uit een RINEX 3-waarnemingsbestand en een broadcast-navigatiebestand (codepseudoafstanden, broadcast-efemeride, Klobuchar-ionosfeer, Saastamoinen/Niell-troposfeer), eventueel getoetst aan een opgemeten coördinaat.

Eén run van scenarios/pvt-abmf.toml vat samen als: pvt 55bdd18628e1 | 11 sat nav | 2/3 epochs opgelost | gemiddeld 9,0 sats, PDOP 1,8 | 3D-fout RMS 5,74 m (max 7,12 m)

Invoer#

Uit het schema (kshana kinds --json):

  • Verplichte velden: obs_rinex, nav_rinex
  • Optionele velden: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Het voorbeeld scenarios/pvt-abmf.toml stelt onder meer in:

Veld Waarde Eenheid
dual_frequency true vlag
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] niet vermeld

Uitvoeren#

kshana scenarios/pvt-abmf.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
evidence.id_rule de stabiele id van de matrixrij (de ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.epochs_solved 2 aantal
fom.epochs_total 3 aantal
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 aantal
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
De grafiek die de engine schrijft voor scenarios/pvt-abmf.toml, soort pvt

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

  • MODELLED Divergentievrij Hatch-filter (ionosfeervrije code gedragen door de ionosfeervrije draaggolf, venster van N epochs, herstart bij verlies van lock, geometrievrije sprong of onderbreking) in de precieze enkelpunts-positiebepaling
  • MODELLED dop_error_mc::run_geometry en check: een Monte Carlo met seed (N = 20.000 epochs per geometrie, sigma = 1,5 m, ChaCha8-seed 36 + i) van de eigen iteratieve kleinstekwadratenpositiebepaling van de engine (pvt::solve_spp, eenheidsgewichten, opgelost vanuit de ware positie) op Tests: uere_dop_monte_carlo.rs.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • VALIDATED IS-GPS-200 / Galileo-OS / BeiDou-OS broadcast-efemeride Kepler → ECEF-satellietpositie uit een geparsed RINEX-3-navigatierecord. Onafhankelijke referentie (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos(), gecompileerd uit C-broncode (T. Takasu, BSD-2-Clause) — een onafhankelijke IS-GPS-200/SIS-ICD-implementatie, gevoed met dezelfde RINEX-3-navigatierecords; de ECEF-satellietpositie kwam overeen tot ~62 nm. (Interpolatie van de precieze SP3-efemeride wordt apart getoetst — zie 'SP3 precise-ephemeris interpolation')
  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#