Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/pvt.md

pvt (Szenarioart)

Szenarioart der Engine v0.40.0, Familie GNSS-Messungen, Positionierung und Integrität. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Einzelpunkt-Positionierung aus realen Beobachtungen: die Position eines Empfängers aus einer RINEX-3-Beobachtungsdatei und einer Broadcast-Navigationsdatei lösen (Code-Pseudoentfernungen, Broadcast-Ephemeride, Klobuchar-Ionosphäre, Saastamoinen/Niell-Troposphäre), optional gegen eine vermessene Koordinate validiert.

Ein Lauf von scenarios/pvt-abmf.toml fasst sich zusammen als: pvt 55bdd18628e1 | 11 Sat nav | 2/3 Epochen gelöst | im Mittel 9,0 Satelliten, PDOP 1,8 | 3D-Fehler RMS 5,74 m (max 7,12 m)

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Erforderliche Felder: obs_rinex, nav_rinex
  • Optionale Felder: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Das Beispiel scenarios/pvt-abmf.toml setzt unter anderem:

Feld Wert Einheit
dual_frequency true Flag
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] nicht angegeben

Ausführen#

kshana scenarios/pvt-abmf.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnis Wert Einheit
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
fom.epochs_solved 2 Anzahl
fom.epochs_total 3 Anzahl
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 Anzahl
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
Das Diagramm, das die Engine für scenarios/pvt-abmf.toml schreibt, Art pvt

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

  • MODELLED Divergenzfreier Hatch-Filter (ionosphärenfreier Code, getragen von der ionosphärenfreien Trägerphase, Fenster N Epochen, Neustart bei Lock-Verlust, geometriefreiem Sprung oder Lücke) in der Anordnung der präzisen Einzelpunkt-Positionierung
  • MODELLED dop_error_mc::run_geometry und check: eine Monte-Carlo-Simulation mit Seed (N = 20.000 Epochen pro Geometrie, sigma = 1,5 m, ChaCha8-Seed 36 + i) des iterierten Kleinste-Quadrate-Fixes der Engine (pvt::solve_spp, Einheitsgewichte, aus der wahren Position gelöst) auf Tests: uere_dop_monte_carlo.rs.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

  • VALIDATED Kepler-Broadcast-Ephemeride nach IS-GPS-200 / Galileo-OS / BeiDou-OS → ECEF-Satellitenposition aus einem geparsten RINEX-3-Navigationsdatensatz. Unabhängige Referenz (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos(), aus C-Quellcode kompiliert (T. Takasu, BSD-2-Clause) — eine unabhängige Implementierung von IS-GPS-200/SIS-ICD, gespeist mit denselben RINEX-3-Navigationsdatensätzen; die ECEF-Satellitenposition stimmt auf ~62 nm überein. (Die Interpolation präziser SP3-Ephemeriden ist gesondert validiert — siehe 'SP3 precise-ephemeris interpolation')
  • MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

  • Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#