Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/pvt.md

pvt (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Pomiary GNSS, pozycjonowanie i integralność. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi od silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, o ile macierz nie mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Pozycjonowanie jednopunktowe na rzeczywistych obserwacjach: wyznaczenie pozycji odbiornika z pliku obserwacji RINEX 3 i pliku nawigacyjnego z komunikatów rozgłoszeniowych (pseudoodległości kodowe, efemerydy rozgłoszeniowe, jonosfera Klobuchara, troposfera Saastamoinena/Niella), opcjonalnie sprawdzone względem współrzędnej pomierzonej geodezyjnie.

Jeden przebieg scenarios/pvt-abmf.toml podsumowuje się tak: pvt 55bdd18628e1 | nawigacja 11 satelitów | rozwiązano 2/3 epok | średnio 9,0 satelitów, PDOP 1,8 | błąd 3D RMS 5,74 m (maks. 7,12 m)

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: obs_rinex, nav_rinex
  • Pola opcjonalne: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Przykład scenarios/pvt-abmf.toml ustawia między innymi:

Pole Wartość Jednostka
dual_frequency true flaga
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] nie podano

Uruchom#

kshana scenarios/pvt-abmf.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.epochs_solved 2 liczba
fom.epochs_total 3 liczba
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 liczba
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
Wykres zapisany przez silnik dla scenarios/pvt-abmf.toml, rodzaj pvt

Dowody#

MODELLED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

  • MODELLED Filtr Hatcha bez dywergencji (kod bez wpływu jonosfery niesiony przez nośną bez wpływu jonosfery, okno N epok, restart przy utracie śledzenia, skoku geometry-free lub luce) w zestawie precyzyjnego pozycjonowania jednopunktowego
  • MODELLED dop_error_mc::run_geometry i check: Monte Carlo z ziarnem (N = 20 000 epok na geometrię, sigma = 1,5 m, ziarno ChaCha8 36 + i) iterowanego rozwiązania metodą najmniejszych kwadratów własnego silnika (pvt::solve_spp, wagi jednostkowe, rozwiązywane od pozycji prawdziwej) na Testy: uere_dop_monte_carlo.rs.

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

  • VALIDATED Pozycja satelity ECEF z elementów keplerowskich efemeryd rozgłoszeniowych IS-GPS-200 / Galileo-OS / BeiDou-OS, z przetworzonego rekordu nawigacyjnego RINEX-3. Wyrocznia (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos() skompilowane ze źródeł w C (T. Takasu, BSD-2-Clause) — niezależna implementacja IS-GPS-200/SIS-ICD, zasilana identycznymi rekordami nawigacyjnymi RINEX-3; pozycja satelity ECEF zgodna do ~62 nm. (Interpolacja precyzyjnych efemeryd SP3 jest sprawdzona osobno — zob. „Interpolacja precyzyjnych efemeryd SP3”)
  • MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

  • Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#