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

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

orbit (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Satelliidikonstellatsioonid, katvus ja geomeetria. 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 jaotis Evidence).

Mida see teeb#

GNSS-i kättesaadavus + DOP orbitaalsest konstellatsioonist (Walker / TLE / RINEX).

Ühe scenarios/orbit-rinex.toml käivituse kokkuvõte: scenario bffc887db977 | 77/361 valimit GNSS-nominaalne | parim PDOP 2,53 pos 2.53m | kvant holdover 0s p95 6.49e-5ns terviklikkus 1,000 turvalisus n/a (rünnakut pole) | klassikaline holdover 0s p95 25.0ns terviklikkus 1,000 turvalisus n/a (rünnakut pole)

Sisendid#

Skeemist (kshana kinds --json):

  • Kohustuslikud väljad: seed, threshold_ns, mask_deg, time, user|user_site, constellation, clock_quantum, clock_classical
  • Valikulised väljad: sigma_uere_m, constellations, epoch, export_sp3, export_omm, export_oem, skyline

Näide scenarios/orbit-rinex.toml määrab muu hulgas:

Väli Väärtus Ühik
clock_classical.id csac-sa45s tekst
clock_classical.provenance Microchip SA.45s / SA65 kiibimõõtmeline aatomkell, sigma_y(1s) tekst
clock_classical.q_rw 1.0000e-28 1/s
clock_classical.q_wf 9.0000e-20 s^2/s
clock_classical.y0 1.0000e-11 1
clock_quantum.id optical-sr-lattice tekst
clock_quantum.provenance Strontsiumi optiline võrekell, kosmosele suunatud eesmärk sigma_y tekst
clock_quantum.q_rw 1.0000e-40 1/s
clock_quantum.q_wf 1.0000e-30 s^2/s
clock_quantum.y0 1.0000e-15 1
constellation.rinex 3,04 N: GNSS NAV DATA G: GPS tekst
kind orbit tekst

Käivitamine#

kshana scenarios/orbit-rinex.toml

7 kaasasolevat stsenaariumi kasutavad seda liiki; ülejäänud on kataloogis scenarios/.

Mida see annab#

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

Tulemus Väärtus Ühik
classical.filter_health.consistent true lipp
classical.filter_health.nees_chi2_lower_95 1.540167 1
classical.filter_health.nees_chi2_upper_95 2.518928 1
classical.filter_health.nees_mean 1.963599 1
classical.filter_health.nis_chi2_lower_95 0.975649 1
classical.filter_health.nis_chi2_upper_95 1.024647 1
classical.filter_health.nis_mean 1.000119 1
classical.fom.availability 0.645429 1
classical.fom.holdover_s 0 s
classical.fom.integrity 1 1
Diagramm, mille mootor kirjutab failile scenarios/orbit-rinex.toml, liik orbit

Tõendid#

MODELLED 4 · VALIDATED 4: selle liigi nimetavad kontrollimaatriksi read.

  • VALIDATED Maa pöörlemine kaheosalisest UT1 Juliuse kuupäevast orbiidi rajal, nii et Maaga seotud positsioon säilitab mikrosekundi, mille ühe f64 kuupäev kaotab (umbes 3e-9 rad ümber aasta 2020): jd2::gmst82 (IAU 1982 GMST, TEME konventsioon, kahel osal), cio:
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP nähtavusjoone geomeetriast valemiga Q=(HᵀH)⁻¹ koos kohaliku ENU lahutusega Testid: dop_reference.rs.
  • MODELLED dop_error_mc::run_geometry ja check: mootori enda iteratiivse vähimruutude määrangu (pvt::solve_spp, ühikkaalud, lahendatud tegelikust asukohast) algväärtustatud Monte Carlo (N = 20 000 epohhi geomeetria kohta, sigma = 1,5 m, ChaCha8 algväärtus 36 + i) Testid: uere_dop_monte_carlo.rs.
  • VALIDATED skyline + frames::look_angles + geometry::sky_geometry: satelliidi geodeetiline (WGS-84) asimuut ja tõusunurk maapealsest jaamast, asimuudis lineaarselt interpoleeritud asimuudi/tõusunurga maskitabel murdega 360 kraadi juures, nähtavate hulk el Testid: skyline_orekit_oracle.rs.
  • ja veel 4 maatriksis.

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

  • VALIDATED Alani / modifitseeritud / Hadamardi hälve + astmeseaduse müra tuvastus χ² usaldusvahemikega. Sõltumatu etalon (ExternalDataset): NIST SP 1065 (Riley) / Stable32 etalonhälbed NBS14
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP vaatejoone geomeetriast kaudu Q=(HᵀH)⁻¹ kohaliku ENU lahutusega. Sõltumatu etalon (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — sõltumatu teek, ühtib 1e-6 suhtelise täpsusega
  • MODELLED Suletud kujul libisemisvea kasv + holdover läveni; kvantkellade klassid. Sõltumatu etalon (ReferenceImpl): Mitmeastmeline clock_state kovariatsioonirekursioon (sama koodibaasi ristkontroll); aluseks olev libisemisdispersiooni ja holdover-i inversiooni tuum on väliselt valideeritud scipy vastu (vt „Clock-holdover coast-variance & threshold inversion“). Klassipõhised punase müra põranda holdover-i arvud jäävad MODELLED
  • MODELLED 3-olekuline (faas/sagedus/triiv) van-Loani Kalmani kell, Joseph-stabiliseeritud. Sõltumatu etalon (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), F funktsiooniga scipy.linalg.expm ja Q Van-Loani 1978 plokkmaatriksiga — sõltumatu etalonteostus, mis reprodutseerib kshana täieliku filtri trajektoori. Teostustevaheline kooskõla: kella füüsikat / Alani kalibreerimist ei ole väliselt valideeritud, seega jääb see MODELLED. 0,30 väline võrdlus, tulemus (jääb MODELLED): IGS-i lõplikel 30 s kelladel 11 GPS Blo
  • MODELLED Kellaga toetatud χ², RAIM, AGC, SQM ühendatud epohhikaupa turvalisuse FoM. Sõltumatu etalon (ExternalDataset): TEXBAT-i stsenaariumi parameetrid (Humphreys 2012) — iseloomustus, mitte fikseeritud vektorid. 0,30 väline võrdlus, tulemus (jääb MODELLED): JammerTest 2024 (Bleik; GPL-3.0 andmed) ei tõstnud vaatlustaseme monitorid (kellaga toetatud hii-ruut, RAIM, lahenduse ebaõnnestumine) alarmi 10 s jooksul ühegi 8 hinnatava avaldatud spuufimise alguse suhtes (kus alguseelne aken oli puhas, tuli esimene alarm 10,2 kuni 39 s pärast pu

Piirangud#

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

  • GNSS-ita kella holdover on MODELLED, mitte valideeritud: kontrollitud eraldi teostuse vastu samas koodibaasis — testitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Pardakella oleku hindamine on MODELLED, mitte valideeritud: kontrollitud eraldi teostuse vastu samas koodibaasis — testitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Spuufimise tuvastamine 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))
  • 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))

Vt ka#