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

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

leo-ppp (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Madala Maa orbiidi navigatsioon. 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 peatükk Evidence).

Mida see teeb#

Täpse punktpositsioneerimise (PPP) koondumine ainult GNSS-iga ja LEO täiendusega: ujuv laiendatud Kalmani filter ionosfäärivabal koodil ja kandelaine faasil koos paiksete jaamakoordinaatidega, valge vastuvõtjakell, üks süsteemidevaheline nihe iga lisasüsteemi kohta, juhusliku kõnnaku seniidi märgviivitus, mis on kujutatud teguriga 1/sin(elevatsioon), ja ujuv mitmetähenduslikkus satelliidikaare kohta; täpne orbiidi ja kella viga on valge ning satelliidi koodile ja faasile ühine, nii et iga satelliit on üks korreleeritud kaherealine uuendus Josephi stabiliseeritud kujul. Mõõtmised simuleeritakse samast mudelist algväärtusega (seed) müraga mitme jaama ja algväärtuse (seed) korral ning iga juhtum (esimesena ainult GNSS, seejärel iga LEO süsteemide [[case]], mis tahes konstellatsioon või eelseade) esitab koondumisaja mediaani (esimene epohh, mille järel horisontaalne ja vertikaalne viga jäävad allapoole lävesid, vaikimisi 10 cm), koondunute osa, vea mediaankõverad ja filtri kooskõla (käivituste keskmine asukoha NEES kahepoolse 95% hii-ruut riba suhtes). Valikuliselt avaldatud Li et al. (2019, J. Geod. 93:749, doi 10.1007/s00190-018-1195-2) keskmiste laiuskraadide arvude kõrval: 9,6 min multi-GNSS-i puhul lüheneb väärtuseni 7,0, 3,2, 2,1 ja 1,3 min vastavalt 60, 96, 192 ja 288 LEO satelliidiga. MODELLED: trendi kooskõlavõrdlus, mitte selle uuringu konstellatsioonide, müra või jaamade reprodutseerimine; ei ole täisarvuliste mitmetähenduslikkuste lahendamist, tsüklihüppeid, faasi mähkumist, looteid ega ajas korreleeritud tooteveasid.

Ühe scenarios/leo-ppp-convergence.toml käivituse kokkuvõte: PPP koondumine väärtuseni 0,10 m horisontaalselt / 0,10 m vertikaalselt, 12 käivitust juhtumi kohta, 96 GNSS satelliiti ainult GNSS 0 LEO mediaan 7,4 min koondunud 100% NEES keskmine 3,13 60 LEO 60 LEO mediaan 4,8 min koondunud 100% NEES keskmine 3,08 96 LEO 96 LEO mediaan 3,2 min koondunud 100% NEES keskmine 2,74 192 LEO 192 LEO mediaan 2,7 min koondunud 100% NEES keskmine 2,65 288 LEO 288 LEO mediaan 2,3 min koondunud 100% NEES keskmine 3,06 Li et al. 2019 (avaldatud, min) vs modelleeritud: 0:9.6/7.4 60:7.0/4.8 96:3.2/3.2 192:2.1/2.7 288:1.3/2.3

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: seed, duration_s, step_s, runs, criterion_horizontal_m, criterion_vertical_m, compare_li_2019, noise, site, gnss, case

Näide scenarios/leo-ppp-convergence.toml määrab muu hulgas:

Väli Väärtus Ühik
case[0].name 60 LEO tekst
case[0].system[0].mask_deg 7 deg
case[0].system[0].name LEO-60 tekst
case[0].system[0].shell[0].altitude_km 1000 km
case[0].system[0].shell[0].inclination_deg 60 deg
case[0].system[0].shell[0].phasing 1 ei ole märgitud
case[0].system[0].shell[0].planes 6 ei ole märgitud
case[0].system[0].shell[0].total 60 ei ole märgitud
case[1].name 96 LEO tekst
case[1].system[0].mask_deg 7 deg
case[1].system[0].name LEO-96 tekst
case[1].system[0].shell[0].altitude_km 1000 km

Käivitamine#

kshana scenarios/leo-ppp-convergence.toml

Mida see annab#

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

Tulemus Väärtus Ühik
criterion_horizontal_m 0.1 m
criterion_vertical_m 0.1 m
duration_s 1800 s
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
n_gnss 96 arv
noise.amb0_sigma_m 30 m
noise.clock_sigma_m 1000 m
noise.isb0_sigma_m 10 m

Tulemuse silt (mootori oma): MODELLED ujuv PPP (ionosfäärivaba kood ja faas, valge kell, juhusliku kõnnaku märgviivitus, ujuvad mitmetähenduslikkused kaare kohta) samast mudelist simuleeritud mõõtmistel; Li et al. (2019) arvud on trendi võrdlus, mitte reprodutseerimine

Mootori joonistatud diagramm failile scenarios/leo-ppp-convergence.toml, liik leo-ppp

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Ujuv PPP laiendatud Kalmani filter ionosfäärivabal koodil ja faasil: paiksed koordinaadid, valge vastuvõtjakell, üks süsteemidevaheline nihe iga lisasüsteemi kohta, juhusliku kõnnaku seniidi märgviivitus, mis on kujutatud teguriga 1/sin(elevatsioon), ujuv mitmetähenduslikkus satelliidi kohta Testid: leo_fusion_scenarios.rs.

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

  • 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
  • MODELLED Ujuv PPP laiendatud Kalmani filter ionosfäärivabal koodil ja faasil: paiksed koordinaadid, valge vastuvõtjakell, üks süsteemidevaheline nihe iga lisasüsteemi kohta, juhusliku. Sõltumatu etalon (ExternalDataset): NEES hii-ruut test on sisemine kooskõlakontroll (tõde ja filter jagavad mudelit). Trenti võrreldakse Li et al., LEO constellation-augmented multi-GNSS for rapid PPP convergence, J. Geod. 93:749-764 (2019), doi 10.1007/s00190-018-1195-2: multi-GNSS 9,6 min lüheneb väärtuseni 7,0, 3,2, 2,1 ja 1,3 min vastavalt 60, 96, 192 ja 288 LEO satelliidiga. Kaasasolev stsenaarium annab 7,4, 4,8, 3,2, 2,7 ja 2,3 min koos i

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • MODELLED ujuv PPP (ionosfäärivaba kood ja faas, valge kell, juhusliku kõnnaku märgviivitus, ujuvad mitmetähenduslikkused kaare kohta) samast mudelist simuleeritud mõõtmistel; Li et al. (2019) arvud on trendi võrdlus, mitte reprodutseerimine (tulemus label)
  • MODELLED: trendi kooskõlavõrdlus, mitte selle uuringu konstellatsioonide, müra või jaamade reprodutseerimine; ei ole täisarvuliste mitmetähenduslikkuste lahendamist, tsüklihüppeid, faasi mähkumist, looteid ega ajas korreleeritud tooteveasid. (liikide kataloog (kshana kinds --json))
  • Siinsed neli LEO konstellatsiooni on esindavad Walkeri delta kihid kõrgusel 1000 km ja kaldega 60 kraadi 60, 96, 192 ja 288 satelliidiga; need EI OLE artikli kavandid ning müra, jaamad ja koondumise määratlus (horisontaalne ja vertikaalne viga alla 10 cm käivituse lõpuni) on selle mudeli omad. Võrdlus on seetõttu MODELLED kooskõlakontroll trendi suhtes: koondumine peab lühenema monotoonselt t (stsenaariumifaili kommentaar, read 10 kuni 14)
  • 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))
  • Täpse punktpositsioneerimise koondumine ainult GNSS-iga ja LEO täiendusega on MODELLED, mitte valideeritud: alamväidet kontrollitakse väliselt, kuid kogu võimekus koosneb modelleeritud osadest, nii et võimekus jääb modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#