leo-signal (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#

LEO-PNT signaalikavandid: parameetriseeritud madala Maa orbiidi (LEO) positsioneerimise, navigatsiooni ja aja (PNT) signaalid mis tahes süsteemi, sagedusala ja struktuuri jaoks. SIGNAAL on sagedusala (keskmine sagedus, edastusribalaius, ITU jaotus RNSS/RDSS/MSS/EESS/non-RNSS/other) ja komponendid (omandamine, andmed, piloot; mis tahes alamhulk), igaühel modulatsioon (BPSK(n) murdarvulise n-ga, BOC(m,n), MBOC(6 1,p) või lame OFDM-laadne riba), võimsuse osa, valikulised FDMA alamkandja nihked, koodipikkus ja andmekiirus. Signaalid tulevad kompileeritud avalikest eelseadefailidest (xona-pulsar, iridium-stl, starlink-soo, centispace, generic-c-band, generic-bands; igaühel oma allika URL ja iga avaldamata väärtus märgitud REPRESENTATIVE) või kirjutatakse sisemiselt. SIGNAALI KOHTA: ribapiiratud võimsusspektri tihedus ja iga komponendi võimsuse osa, mille edastusriba läbi laseb (BPSK suletud kuju numbrilise väärtuse kõrval), RMS (Gabor) ribalaius, viivitussilmuse koodijälgimise soojusmüra värin C/N0 ja varajase-hilise vahe suhtes ribapiiratud koherentsest (või mittekoherentsest) varajase-hilise valemist Betz & Kolodziejski 2009 koos selle piiramata riba õpikuvormi ja kaduva vahega Gabori piiriga, ulatuse täpsus meetrites, omandamise otsinguruum (Doppleri korvid orbiidi maksimaalsest Dopplerist pluss ostsillaatori ja kasutaja liikmed, korrutatud koodikorvidega), ruutseaduse tuvastamise tõenäosus ning keskmine järjestikune ja koodiparalleelne omandamisaeg, signaali spektraalse eraldatuse koefitsient GPS L1 C/A, Galileo E1, GPS L5, Galileo E5a, E5b ja E5 AltBOC suhtes ning kõigi nende signaali suhtes koos C/N0 halvenemisega, ja CW, lairiba ja sobitatud J/S, mida jälgitav komponent talub, spektri liigi enda SSC masinavärgist. SAGEDUSALA KOMPROMISS: esimest järku ionosfääriline viivitus (40,3 TEC/f^2), vabaruumi kadu, ulatuse täpsus võrdsel C/N0 korral ja võrdsel EIRP korral ning segaja taluvus. Valikulised KUJUKONTROLLID võrdlevad kavandi spektrit kirjeldatud mõõtmisega (MODELLED kooskõla). VALIDATED: BPSK võimsus ribas (90,3 % peasagaras) ja Gabori ribalaiuse suletud kujud, ribapiiratud värin, mis taandub õpikupõhisele koherentsele varajase-hilise kujule ja selle Gabori piirile, nihutatud BPSK spektraalse eraldatuse koefitsient selle Parsevali suletud kuju vastu, AltBOC spektri ühikpindala ja maksimaalne LEO Doppler avaldatud Xona Pulsari (32-34 kHz) ja Iridiumi (36 kHz) arvude vastu. MODELLED: iga kavand, võimsusjaotus, C/N0 ja segaja tase; EFQPSK, CSK ja OFDM spektrid on ligikaudsed.

Ühe scenarios/leo-band-trade.toml käivituse kokkuvõte: stsenaarium leo-signal | 5 signaali | mürapõhi -202.0 dBW/Hz | täpseim ulatuse mõõtmine generic-c-wide 0,022 m juures 45,0 dB-Hz

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: presets, signals, receiver, acquisition, compatibility, trade, shape_checks, psd_points

Näide scenarios/leo-band-trade.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/leo-band-trade.toml

3 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

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

Tulemuse silt (mootori oma): MODELLED: parameetriseeritud madala Maa orbiidi (LEO) positsioneerimise, navigatsiooni ja aja (PNT) signaalikavandid, ribapiiratud oma edastusribalaiusega. Aluseks olevad suletud kujud on VALIDATED (BPSK võimsus ribas ja Gabori ribalaius, ribapiiratud varajase-hilise koodijälgimise värin, mis taandub õpiku

Tõendid#

MODELLED 2 · VALIDATED 2: kontrollimaatriksi read, mis nimetavad seda liiki.

• VALIDATED navsignal: siinusintegraal (sine_integral), BPSK-R võimsuse osa kahepoolses ribas suletud kujul (bpsk_power_in_band_closed_form), ribapiiratud BPSK Gabori ribalaius suletud kujul (bpsk_gabor_bandwidth_closed_form_hz
• VALIDATED leo_signal::max_doppler_hz: suurim satelliidi Doppler pea kohalt läbilennul elevatsioonimaskil ringorbiidi jaoks, v R_E cos(el) / (R_E + h) korda f / c, iga eelseade oma kandjast ja orbiidi kõrgusest; liik leo-signal lisab o
• MODELLED Liik leo-signal: parameetriseeritud signaalikavandid (sagedusala, edastusribalaius, ITU jaotus; omandamise-, andme- ja pilootkomponendid BPSK(n), BOC(m,n), MBOC või lamedate spektritega, võimsusosad, FDMA alamkandjad, koodipikkused ja andmekiirused Testid: leo_signal_reference.rs.
• MODELLED Liik spectrum laiendatud üle L-riba: sagedusalad, mis on antud eelseadistatud signaalikavandina (joonistatud iga komponendiga, ribapiiratud edastusribalaiusele, C/N0 ja J/S viidatud jälgitavale komponendile) või kohandatud kandja ja modulatsioonina Testid: leo_signal_reference.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
• VALIDATED leo_signal::max_doppler_hz: suurim satelliidi Doppler pea kohalt läbilennul elevatsioonimaskil ringorbiidi jaoks, v R_E cos(el) / (R_E + h) korda f / c,. Sõltumatu etalon (ExternalDataset): Avaldatud arvud: Xona Pulsar X1 maksimaalne Doppler 32 kuni 34 kHz (Leclère, Marathe & Reid, ION GNSS+ 2025, https://arxiv.org/abs/2509.19551); Iridiumi Doppler kuni +/-36 kHz (Resilient Navigation and Timing Foundation, Recent PNT Improvements and Test Results Based on Low Earth Orbit Satellites). Maa pöörlemine on välja jäetud, mis nihutab arvu kuni umbes 2,3 kHz võrra; mõlemad avaldatud arvud täidetakse ilma selleta.
• 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

Piirangud#

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

• täiustatud Feheri QPSK, koodinihkega modulatsiooni ja OFDM täpsed spektrid: asemele astub ristkülikukiibiga BPSK ümbris või lame riba, nagu iga eelseade ütleb (tulemus not_modelled[0])
• laotuskoodi joonestruktuur ja koodide vaheline hulgipääsu ristkorrelatsioon (tulemus not_modelled[1])
• edastus- ja vastuvõtufiltrid peale ideaalse telliskivimüüri edastusribalaiusel: ei ole ribavälist kiirgust, ei ole filtri rühmaviivitust (tulemus not_modelled[2])
• mitmeteelevi, vastuvõtja kvantimine ja automaatne võimenduse reguleerimine (tulemus not_modelled[3])
• Maa pöörlemine Doppleri piiris (kuni umbes 0,46 km/s vahemaa muutumiskiirust ekvaatoril) (tulemus not_modelled[4])
• ionosfääriline viivitus üle esimese järgu ja elektronsisalduse jaotus LEO satelliidi kohal ja all: kaldne TEC on sisend (tulemus not_modelled[5])
• atmosfääri-, vihma- ja polarisatsioonikaod: võrreldakse ainult vabaruumi kadu (vihm loeb C-sagedusalas) (tulemus not_modelled[6])
• omandamine üle ühe viibe valehäire karistusega: ei ole mitme viibega kontrolli loogikat, ühtlane koodifaasi eelinfo, halvim juhtum (tulemus not_modelled[7])

Vt ka#

• Perekonna leht: Madala Maa orbiidi navigatsioon
• Kõik liigid: KINDS.md
• Teemaleht: LEO-PNT.md
• Teemaleht: LEO-PASS.md