Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/pvt.md

pvt (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Měření GNSS, určování polohy a integrita. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Jednobodové určení polohy z reálných pozorování: řešení polohy přijímače ze souboru pozorování RINEX 3 a souboru broadcast navigace (kódové pseudovzdálenosti, broadcast efemeridy, Klobucharova ionosféra, troposféra Saastamoinen/Niell), volitelně ověřené proti zaměřené souřadnici.

Jeden běh scenarios/pvt-abmf.toml se shrnuje takto: pvt 55bdd18628e1 | 11 sat nav | vyřešeno 2/3 epoch | průměr 9,0 sat, PDOP 1,8 | chyba 3D RMS 5,74 m (max. 7,12 m)

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: obs_rinex, nav_rinex
  • Volitelná pole: truth_ecef, apriori_ecef, mask_deg, dual_frequency

Příklad scenarios/pvt-abmf.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
dual_frequency true příznak
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] neuvedeno

Spusťte jej#

kshana scenarios/pvt-abmf.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
fom.epochs_solved 2 počet
fom.epochs_total 3 počet
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 počet
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
Graf, který engine zapisuje pro scenarios/pvt-abmf.toml, druh pvt

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Hatchův filtr bez divergence (kód bez vlivu ionosféry nesený nosnou bez vlivu ionosféry, okno N epoch, restart při ztrátě zámku, skoku geometricky volné kombinace nebo mezeře) v sestavě přesného jednobodového určování polohy
  • MODELLED dop_error_mc::run_geometry a check: Monte Carlo se seedem (N = 20 000 epoch na geometrii, sigma = 1,5 m, seed ChaCha8 36 + i) vlastního iterovaného řešení polohy enginu metodou nejmenších čtverců (pvt::solve_spp, jednotkové váhy, řešeno ze skutečné polohy) na Testy: uere_dop_monte_carlo.rs.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • VALIDATED Broadcast efemeridy IS-GPS-200 / Galileo-OS / BeiDou-OS, keplerovské → poloha družice v ECEF z analyzovaného navigačního záznamu RINEX-3. Orákulum (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos() přeložený ze zdrojového kódu v C (T. Takasu, BSD-2-Clause) — nezávislá implementace IS-GPS-200/SIS-ICD, napájená totožnými navigačními záznamy RINEX-3; poloha družice v ECEF se shodovala na ~62 nm. (Interpolace přesných efemerid SP3 je ověřena samostatně — viz 'SP3 precise-ephemeris interpolation')
  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#