Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/leo-pnt-chain.md

leo-pnt-chain (skenaariotyyppi)

Moottorin v0.40.0 skenaariotyyppi, perhe Matalan Maan kiertoradan navigointi. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; tyyppi on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Yksi LEO-PNT-järjestelmä (paikannus, navigointi ja ajanmääritys matalalta Maan kiertoradalta) päästä päähän, mille tahansa tähdistölle ja signaalille: signal_design-kentän nimeämä leo-signal-suunnitelma (julkinen esiasetus tai sisäinen [signal]-suunnitelma) asettaa [pass]-kaistan keskitaajuuden, kaistanleveyden, sirunopeuden ja EIRP-jaon, leo-pass-linkkibudjetti antaa seuratun C/N0:n ja kaistarajoitetun koodijitterin ohituksen yli, C/N0-suora sin(korkeuskulma):n funktiona ja [navmsg]-viestin lähetetty SISRE (sovitettuna ohituksen satelliitin korkeudelle) syöttävät jokaisen [fusion] leo-pvt -yhteisratkaisun LEO-järjestelmän ja valinnaisesti [ppp] leo-ppp -tapaukset; jokainen luovutus listataan arvoineen ja yksikköineen. MODELLED.

Yksi tiedoston scenarios/leo-pnt-end-to-end.toml ajo tiivistyy seuraavasti: LEO-PNT päästä päähän, yleinen 1080 km tähdistö signaali generic-l (https://www.itu.int/pub/R-REG-RR), seurattu pilotti nopeudella 10,230 Mchip/s, C/N0-siirtymä -2.57 dB ohitus LEO-1 1080 km: seurattu C/N0 huippu 58,2 dB-Hz, koodijitterin mediaani 0,050 m; C/N0-suora 35,6 + 24,3 sin(el) dB-Hz viesti kepler-rac 300 s sovitus / 300 s päivitys: esitys-SISRE 0,907 mm RMS (rata 0,005 mm), radanmäärityksellä 0,250 m: 0,250 m luovutettu eteenpäin yhdistetty ratkaisu: vain GNSS PDOP 1,47 RMS 3D 1,60 m -> GNSS + LEO PDOP 1,06 RMS 3D 0,43 m PPP-konvergenssi: vain GNSS 11,5 min, 240 LEO 7,5 min 11 arvoa luovutettu vaiheiden välillä. MODELLED.

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: signal_design, pass, fusion
  • Valinnaiset kentät: name, description, seed, signal, navmsg, od_sisre_m, ppp

Esimerkki scenarios/leo-pnt-end-to-end.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
fusion.duration_s 1800 s
fusion.joint.max_leo_sweep 8 ei ilmoitettu
fusion.mode joint teksti
fusion.step_s 30 s
fusion.system[0].cn0_dbhz [38, 48] dB-Hz
fusion.system[0].name GPS teksti
fusion.system[0].preset gps-baseline teksti
fusion.system[0].sisre_m 0.6 m
fusion.system[1].cn0_dbhz [38, 48] dB-Hz
fusion.system[1].isb_ns 12 ns
fusion.system[1].name Galileo teksti
fusion.system[1].preset galileo teksti

Aja se#

kshana scenarios/leo-pnt-end-to-end.toml

3 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat kohdassa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
fusion.fraction_epochs_with_leo 1 1
fusion.fused.availability 1 1
fusion.fused.median_pdop 1.064778 1
fusion.fused.median_sigma_3d_m 0.433791 m
fusion.fused.rms_error_3d_m 0.434888 m
fusion.gnss.availability 1 1
fusion.gnss.median_pdop 1.47453 1

Tuloksen nimike (moottorin oma): MODELLED — ketju luovuttaa kunkin vaiheen tuloksen seuraavalle; vaiheet säilyttävät omat nimikkeensä (varmennusmatriisin leo-signal-, leo-pass-, leo-navmsg-, leo-pvt- ja leo-ppp-rivit).

Kaavio, jonka moottori kirjoittaa tiedostolle scenarios/leo-pnt-end-to-end.toml, tyyppi leo-pnt-chain

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • MODELLED Tyyppi leo-pnt-chain: leo-signal-suunnitelma (julkinen esiasetus tai sisäinen) asettaa leo-pass-kaistan keskitaajuuden, kaistanleveyden, sirunopeuden ja EIRP-jaon; ohitus antaa seuratun komponentin C/N0:n ja kaistarajoitetun koodijitterin epookkia kohden; pienimmän neliösumman C/ Testit: leo_pnt_chain.rs.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • VALIDATED navsignal: sini-integraali (sine_integral), BPSK-R:n tehon osuus kaksipuolisen kaistan sisällä suljetussa muodossa (bpsk_power_in_band_closed_form), kaistarajoitettu. Oraakkeli (ExternalDataset): Ulkoisesti lukittu: 90,3 prosenttia pääkeilan tehosta, koherentti early-late-jitter ilmoitetussa toimintapisteessä, sini-integraalin taulukka-arvot ja BPSK:n itse-spektrierotuskerroin 2/(3 R_c) nollasiirtymällä. Vain sisäisiä ristiintarkistuksia, ei ulkoista validointia: kaistarajoitetun BPSK:n Gabor-kaistanleveyden suljettu muoto ja sen asymptootti sekä siirretyn BPSK:n spektrierotuskerroin nollasta poikkeavilla siirtymillä, molemmat
  • MODELLED Tyyppi leo-signal: parametrisoidut signaalisuunnitelmat (kaista, lähetyskaistanleveys, ITU-allokaatio; hankinta-, data- ja pilottikomponentit BPSK(n)-, BOC(m,n)-, MB. Oraakkeli (InternalConsistency): Yllä olevien kahden rivin validoidut suljetut muodot, neliölaki-väärän hälytyksen identiteetti P_d(snr = 0) = P_fa ja Holmesin keskimääräinen hankinta-aika sekä palautuminen spectrum-tyypin omaan SSC-ketjuun (sama Jammer::ssc-koodi). Suunnitelmat itse ovat syötteitä: esiasetukset, jotka on merkitty REPRESENTATIVE tai WORKSHOP, eivät ole julkaistuja spesifikaatioita, parannettu Feher-QPSK, code shift keying ja OFDM-spektrit approksimoidaan, ja muoto
  • VALIDATED ITU-R P.618-14 section 2.4.1 vaiheet 3 – 9 (vertailusigma N_wet-arvosta, tehollinen polun pituus, antennin keskiarvoistuskerroin, häipymäsyvyys ajalle 0,01 % – 50 % ajasta. Oraakkeli (ExternalDataset): ITU-R Study Group 3 -validointiesimerkit (CG-3M3J-13-ValEx-Rev8.3.0) P.618-14-tuikelle, kunkin paikan P.453-14 N_wet samoista esimerkeistä; tallennettuina tiedostoon tests/fixtures/leo_link/p618_14_scintillation.csv URL-osoitteineen ja noutopäivineen. Tämä rivi ei kata lämpötilasta ja kosteudesta johdettua märkärefraktiivisuuden lauseketta
  • VALIDATED Ryhmäviive 40,3 STEC/f^2 kaistaa kohden; ionosfääristä vapaat kertoimet f1^2/(f1^2 - f2^2) ja -f2^2/(f1^2 - f2^2) ja kohinan vahvistus sqrt(a1^2 s1^2 + a2^. Oraakkeli (ExternalDataset): IS-GPS-200 section 20.3.3.3.3.2, joka ilmoittaa L1/L2-ryhmäviiveen suhteen gamma = (77/60)^2, joka seuraa ensimmäisen kertaluvun 1/f^2 -skaalauksesta, sekä Friisin lähetyskaava (Proc. IRE, 1946). Validoi skaalauslait, ei vinoa TEC:tä

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • Paikannusvaihe mallintaa C/N0:n suorana viivana korkeuskulman sinin funktiona maskin ja zeniitin välillä; ketju sovittaa tuon suoran ohituksen seuratulle C/N0:lle, joten ohituskohtainen muoto (isoflux-tasanne, keilan reuna) supistuu kahteen lukuun. (tulos limitations[0])
  • Paikannusvaiheille luovutettu SISRE on navigointiviestin esitysvirhe Kshanan integroimaa tosi rataa vastaan, plus skenaarion ilmoittama od_sisre_m neliösumman neliöjuurena; viestivaihe itse ei mallinna radanmääritystä eikä ennustetta. (tulos limitations[1])
  • Paikannusvaihe laskee oman viivelukitun silmukan jitterinsä eteenpäin luovutetusta C/N0:sta rajoittamattoman kaistanleveyden kaavalla; ohitus raportoi sen rinnalla varsinaisen suunnitelman kaistarajoitetun jitterin. (tulos limitations[2])
  • Tarkan pistepaikannuksen vaihe ottaa viestin SISRE-arvon LEO:n rata- ja kellovirheeksi; sen koodi- ja vaihekohina pysyvät vaiheen omina syötteinä. (tulos limitations[3])
  • Yksi satelliitti, ensimmäinen, jonka kaista kantaa suunnitelman, edustaa koko LEO-järjestelmää ohitus- ja viestivaiheissa. (tulos limitations[4])
  • MODELLED — ketju luovuttaa kunkin vaiheen tuloksen seuraavalle; vaiheet säilyttävät omat nimikkeensä (varmennusmatriisin leo-signal-, leo-pass-, leo-navmsg-, leo-pvt- ja leo-ppp-rivit). (tulos label)
  • MODELLED. (lajiluettelo (kshana kinds --json))
  • MODELLED: jokainen vaihe säilyttää oman nimikkeensä; ketju ei lisää fysiikkaa. (skenaariotiedoston kommentti, rivi 25)

Katso myös#