leo-pnt-chain (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#
Üks LEO-PNT (positsioneerimine, navigatsioon ja aeg madalalt Maa orbiidilt) süsteem otsast lõpuni, mis tahes konstellatsiooni ja signaali jaoks: signal_design nimetatud leo-signal kavand (avalik eelseade või sisemine [signal] kavand) määrab [pass] sagedusala keskme, ribalaiuse, kiibisageduse ja EIRP jaotuse, leo-pass lingieelarve annab jälgitud C/N0 ja ribapiiratud koodi värina üle läbilennu, sin(elevatsioon) järgi C/N0 sirge ja [navmsg] sõnumi edastatud SISRE (sobitatud läbilennu satelliidi kõrgusel) toidavad iga LEO süsteemi [fusion] leo-pvt ühisfikseeringus ja valikuliselt [ppp] leo-ppp juhtumeid; iga üleandmine on loetletud oma väärtuse ja ühikuga. MODELLED.
Ühe scenarios/leo-pnt-end-to-end.toml käivituse kokkuvõte: LEO-PNT otsast lõpuni, üldine 1080 km konstellatsioon signaal generic-l (https://www.itu.int/pub/R-REG-RR), jälgitud piloot sagedusel 10,230 Mchip/s, C/N0 nihe -2.57 dB läbilend LEO-1 1080 km: jälgitud C/N0 tipp 58,2 dB-Hz, koodi värina mediaan 0,050 m; C/N0 sirge 35,6 + 24,3 sin(el) dB-Hz sõnum kepler-rac 300 s sobitus / 300 s uuendus: esitus SISRE 0,907 mm RMS (orbiit 0,005 mm), koos 0,250 m orbiidi määramisega: 0,250 m edasi antud ühendatud fikseering: ainult GNSS PDOP 1,47 RMS 3D 1,60 m -> GNSS + LEO PDOP 1,06 RMS 3D 0,43 m PPP koondumine: ainult GNSS 11,5 min, 240 LEO 7,5 min 11 väärtust antud edasi etappide vahel. MODELLED.
Sisendid#
Skeemist (kshana kinds --json):
- Kohustuslikud väljad:
signal_design,pass,fusion - Valikulised väljad:
name,description,seed,signal,navmsg,od_sisre_m,ppp
Näide scenarios/leo-pnt-end-to-end.toml määrab muu hulgas:
| Väli | Väärtus | Ühik |
|---|---|---|
fusion.duration_s |
1800 | s |
fusion.joint.max_leo_sweep |
8 | ei ole märgitud |
fusion.mode |
ühine | tekst |
fusion.step_s |
30 | s |
fusion.system[0].cn0_dbhz |
[38, 48] | dB-Hz |
fusion.system[0].name |
GPS | tekst |
fusion.system[0].preset |
gps-baseline | tekst |
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 | tekst |
fusion.system[1].preset |
galileo | tekst |
Käivitamine#
kshana scenarios/leo-pnt-end-to-end.toml
3 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.
Mida see annab#
Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:
| Tulemus | Väärtus | Ühik |
|---|---|---|
evidence.id_rule |
maatriksi rea stabiilne id (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
evidence.tier |
MODELLED | tekst |
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 |
Tulemuse silt (mootori oma): MODELLED — ahel annab iga etapi väljundi järgmisele; etapid säilitavad oma sildid (kontrollimaatriksi read leo-signal, leo-pass, leo-navmsg, leo-pvt ja leo-ppp).
Tõendid#
MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.
- MODELLED Liik
leo-pnt-chain: leo-signal kavand (avalik eelseade või sisemine) määrab leo-pass sagedusala keskme, ribalaiuse, kiibisageduse ja EIRP jaotuse; läbilend annab epohhi kohta jälgitud komponendi C/N0 ja ribapiiratud koodi värina; vähimruutude C/ Testid: leo_pnt_chain.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
- VALIDATED navsignal: siinusintegraal (sine_integral), BPSK-R võimsuse osa kahepoolses ribas suletud kujul (bpsk_power_in_band_closed_form), riba-. Sõltumatu etalon (ExternalDataset): Väliselt kinnitatud: 90,3 protsenti peasagara võimsust, koherentne varajase-hilise värin kindlaksmääratud tööpunktis, siinusintegraali tabeliväärtused ja BPSK enda spektraalse eraldatuse koefitsient 2/(3 R_c) nullnihkel. Ainult sisemised ristkontrollid, mitte väline valideerimine: ribapiiratud BPSK Gaboři ribalaiuse suletud kuju ja selle asümptoot ning nihutatud BPSK spektraalse eraldatuse koefitsient nullist erinevatel nihetel, mõlemad
- MODELLED Liik
leo-signal: parameetriseeritud signaalikavandid (sagedusala, edastusribalaius, ITU jaotus; omandamise-, andme- ja pilootkomponendid BPSK(n), BOC(m,n), MB. Sõltumatu etalon (InternalConsistency): Kahe ülaltoodud rea valideeritud suletud kujud, ruutseaduse valehäire samasus P_d(snr = 0) = P_fa ja Holmesi keskmine omandamisaeg ning taandamine spektri liigi enda SSC ahelale (sama Jammer::ssc kood). Kavandid ise on sisendid: eelseaded, mis on märgitud REPRESENTATIVE või WORKSHOP, ei ole avaldatud spetsifikatsioonid, täiustatud Feheri QPSK, koodinihkega modulatsiooni ja OFDM spektrid on ligikaudsed ning kuju - VALIDATED ITU-R P.618-14 section 2.4.1 sammud 3 kuni 9 (etalon-sigma suurusest N_wet, efektiivne teepikkus, antenni keskmistamistegur, signaalilanguse sügavus 0,01 % kuni 50 % ajast. Sõltumatu etalon (ExternalDataset): ITU-R Study Group 3 valideerimisnäited (CG-3M3J-13-ValEx-Rev8.3.0) P.618-14 sähvimise jaoks, iga asukoha P.453-14 N_wet samadest näidetest; kinnitatud failis tests/fixtures/leo_link/p618_14_scintillation.csv koos URL-ide ja noppimiskuupäevaga. Märja murdumisnäitaja avaldis temperatuurist ja niiskusest ei ole selle rea poolt kaetud
- VALIDATED Rühmaviivitus 40,3 STEC/f^2 sagedusala kohta; ionosfäärivabad koefitsiendid f1^2/(f1^2 - f2^2) ja -f2^2/(f1^2 - f2^2) ning müra võimendus sqrt(a1^2 s1^2 + a2^. Sõltumatu etalon (ExternalDataset): IS-GPS-200 section 20.3.3.3.3.2, mis esitab L1/L2 rühmaviivituse suhte gamma = (77/60)^2, mis tuleneb esimest järku 1/f^2 skaleerimisest, ja Friisi edastusvalem (Proc. IRE, 1946). Valideerib skaleerimisseadused, mitte kaldset TEC
Piirangud#
Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:
- Positsioneerimisetapp modelleerib C/N0 sirgena elevatsiooni siinuse suhtes maski ja seniidi vahel; ahel sobitab selle sirge läbilennu jälgitud C/N0-ga, nii et läbilennuspetsiifiline kuju (isovoo platoo, kiire serv) taandatakse kaheks arvuks. (tulemus
limitations[0]) - Positsioneerimisetappidele edasi antud SISRE on navigatsioonisõnumi esitusviga Kshana integreeritud tõeorbiidi suhtes pluss stsenaariumi kindlaksmääratud od_sisre_m ruutude summa ruutjuurena; sõnumietapp ise ei modelleeri orbiidi määramist ega ennustamist. (tulemus
limitations[1]) - Positsioneerimisetapp arvutab oma viivitussilmuse värina edasi antud C/N0-st piiramata ribalaiusega valemiga; läbilend esitab selle kõrval tegeliku kavandi ribapiiratud värina. (tulemus
limitations[2]) - Täpse punktpositsioneerimise etapp võtab sõnumi SISRE LEO orbiidi ja kella veana; selle kood- ja faasimüra jäävad etapi enda sisenditeks. (tulemus
limitations[3]) - Üks satelliit, esimene, mille sagedusala kannab kavandit, esindab kogu LEO süsteemi läbilennu ja sõnumi etappides. (tulemus
limitations[4]) - MODELLED — ahel annab iga etapi väljundi järgmisele; etapid säilitavad oma sildid (kontrollimaatriksi read leo-signal, leo-pass, leo-navmsg, leo-pvt ja leo-ppp). (tulemus
label) - MODELLED. (liikide kataloog (
kshana kinds --json)) - MODELLED: iga etapp säilitab oma sildi; ahel ei lisa füüsikat. (stsenaariumifaili kommentaar, rida 25)
Vt ka#
- Perekonna leht: Madala Maa orbiidi navigatsioon
- Kõik liigid: KINDS.md
- Teemaleht: LEO-PNT.md
- Teemaleht: LEO-PASS.md