tracking-loop (scenariotyp)

Scenariotyp i motorn v0.40.0, familj Jamming, spoofing och spektrum. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en tjänst för skydd av människoliv. Varje etikett här är motorns eller verifieringsmatrisens; en kind är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidence i README).

Vad den gör#

Tracking-slingans förlust av låsning: C/N0 -> lås/olås MED HYSTERES, tiden det tar att förlora låsningen, och spoof-indragning som funktion av HASTIGHETEN i kod- och bärvågsförskjutning. Motorns befintliga kriterier för spärrning och infångning är förhållanden mellan mottagna effekter (en jammer spärrar vid J/S = 30 dB, en spoofer fångar in vid 3 dB); verklig förlust av låsning är inte ett effektförhållande, den uppstår där en slingas jitter plus dynamiska belastning lämnar dess budget för spårningströskel. Redovisar (1) 1-sigma termisk jitter för bärvåg (Costas) och kod (icke-koherent early/late) mot C/N0, inklusive kvadreringsförlust, mot de angivna reglerna 3sigma_PLL + theta_e <= 45 deg (15-gradersregeln i tre-sigma-form) och 3sigma_DLL + ramplag <= d/2 chip; (2) trösklarna för C/N0 vid tappad låsning och återlåsning med den bindande slingan angiven, där återlåsningströskeln HÄRLEDD från den bredare bandbredd som en mottagare återfångar med snarare än att påstås, så att hysteresbredden måste ligga mellan 5log10(ratio) och 10log10(ratio) dB; (3) den deklarerade tiden till förlorad låsning från en låsdetektor med två trösklar och bekräftelsetider, driven över en C/N0-ramp, redovisad separat från den fysiska fasflyktstiden (Viterbis medeltid mellan cykelslip, i log10 s eftersom den sträcker sig över hundratals tiopotenser); (4) gränser för spoof-indragning — den största kodglidning och bärvågs-Doppler-hastighet som en måls slingor kan följa, med en karta över båda axlarna, eftersom en spoofer som glider snabbare än så inte fångar in slingan, den springer ifrån den; och (5) den DENIAL-RADIE som slingdynamiken innebär, redovisad TILLSAMMANS MED den befintliga effektförhållanderadien, aldrig i stället för den, med deras teckenbehäftade skillnad som ett eget namngivet fält (denial_radius_delta_km) och en definition bredvid. Varje utsänt numeriskt fält bär en enhet och en ursprungsklass. VALIDATED slutna former: uttrycken för bärvågs- och kodjitter, slingfilterreduktionen sqrt(2B_nT) och första ordningens ramplag kontrolleras mot motorns egen sdr-korrelator stegad framåt på seedad syntetisk IF — en annan väg till samma tal — till 0,6 %, 3,7 % respektive 0,17 %, och den modifierade Bessel-funktionen I0 bakom cykelslip-tiden mot vanliga tabellvärden till 1e-7. Den nedre giltighetsgränsen hävdas, inte bara anges: under ~32 dB-Hz vid 1 ms mättas den verkliga atan-diskriminatorn mot sitt område +-pi/2 och mäter mindre jitter än någon linjär teori. MODELLED: slingbandbredderna, integrationstiden, korrelatoravståndet, förhållandet för indragningsbandbredd, bekräftelsetiderna, jammer-effekten och antennförstärkningarna är representativa bandvärden, inte ett datablad. INTE modellerade: oscillatorjitter (Allan-deviation) och vibrationsjitter, begränsning av frontändens bandbredd, flervägsutbredning, AGC-dynamik, förlust vid databitsövergångar, externt stöd och varje halvcykelskorrektion av Costas formel för cykelslip. Under slingdynamik har spoof-infångning ingen radie alls — den bindande begränsningen är förskjutningshastigheten, inte effekten — så det fältet är null med en motivering i stället för ett påhittat tal. Inte en certifierad produkt för mottagarprestanda.

En körning av scenarios/tracking-loop.toml sammanfattas som: tracking-loop: B_pll 10,0 Hz / B_dll 1,0 Hz, T 1 ms, d 0,50 chip -> drop 25,4744 dB-Hz (bärvågen binder), relock 27,4413 dB-Hz, hysteres 1,9669 dB | förlorad låsning deklarerad 39,101 s in i rampen | denial-radie tröskel(J/S 30 dB) 127,413 km mot slingdynamik 53,1694 km, delta -74.2438 km | spoof-indragning <= 0,966 chip/s kod och 41,45 Hz/s bärvåg (MODELLED slinga, VALIDATED slutna former)

Indata#

Från schemat (kshana kinds --json):

• Obligatoriska fält: inga
• Valfria fält: pll_bandwidth_hz, dll_bandwidth_hz, predetection_integration_s, correlator_spacing_chips, carrier_allowance_deg, code_allowance_chips, pullin_bandwidth_ratio, drop_confirm_epochs, relock_confirm_epochs, doppler_rate_hz_per_s, code_slew_chips_per_s, cn0_high_dbhz, cn0_low_dbhz, ramp_duration_s, jitter_table_cn0_dbhz, jammer_power_dbw, jammer_gain_dbi, rx_gain_toward_jammer_db, rx_gain_toward_sat_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, jammer_type, q_override, denial_js_threshold_db, capture_js_threshold_db, spoof_code_slew_chips_per_s, spoof_doppler_rate_hz_per_s

Exemplet scenarios/tracking-loop.toml anger bland annat:

Kör den#

kshana scenarios/tracking-loop.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultatetikett (motorns egen): MIXED — VALIDATED slutna former för slingan, MODELLED slingkonfiguration. Uttrycken för termisk jitter hos bärvåg och kod, slingfilterreduktionen sqrt(2B_nT) och första ordningens ramplag kontrolleras mot motorns egen sdr-korrelator stegad framåt på seedad syntetisk IF (en annan väg

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

• MODELLED Rapporten lunar-jamming vilar inte längre med sin nekandekontur på en enda skalär.
• MODELLED Förlust av låsning beräknad ur slingdynamik i stället för ett effektförhållande: 1σ termisk jitter för bärvåg (Costas) och kod (icke-koherent early/late) mot C/N₀ med kvadreringsförlusten, mot de angivna reglerna 3σ_PLL + θ_e ≤ 45° och 3σ_DLL + ramplag

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

• MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
• PARTNER Tillhandahålls inte — Kshana modellerar signalprestanda, inte nyttolast- eller antennhårdvara. Oberoende referens (NoneKind): ingen: en disciplin som ägs av partner, utan modul och utan test av utformning
• MODELLED Förlust av låsning beräknad ur slingdynamik i stället för ett effektförhållande: 1σ termisk jitter för bärvåg (Costas) och kod (icke-koherent early/late) mot C/N₀ med kv. Oberoende referens (ReferenceImpl): Motorns egen sdr-korrelator (sdr::correlate / synth_if / CaCode) stegad framåt på seedad syntetisk IF vid ett kalibrerat C/N₀ — en separat kodväg som når samma tal genom numerisk korrelation av samplad IQ snarare än genom ett algebraiskt jitteruttryck, så den är en annan väg och inte en omformulering — plus vanliga tabellerade värden för den modifierade Bessel-funktionen I₀ för cykelslip-termen. Slingteori enligt Kaplan & Hegar

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

• MIXED — VALIDATED slutna former för slingan, MODELLED slingkonfiguration. Uttrycken för termisk jitter hos bärvåg och kod, slingfilterreduktionen sqrt(2B_nT) och första ordningens ramplag kontrolleras mot motorns egen sdr-korrelator stegad framåt på seedad syntetisk IF (en annan väg till samma tal), och den modifierade Bessel-funktionen I0 mot vanliga tabellvärden. MODELLED: slingbandbredderna, integr (resultat label)
• MODELLED: slingbandbredderna, integrationstiden, korrelatoravståndet, förhållandet för indragningsbandbredd, bekräftelsetiderna, jammer-effekten och antennförstärkningarna är representativa bandvärden, inte ett datablad. (typkatalog (kshana kinds --json))
• INTE modellerade: oscillatorjitter (Allan-deviation) och vibrationsjitter, begränsning av frontändens bandbredd, flervägsutbredning, AGC-dynamik, förlust vid databitsövergångar, externt stöd och varje halvcykelskorrektion av Costas formel för cykelslip. (typkatalog (kshana kinds --json))
• Varje slingparameter nedan är ett MODELLED representativt bandvärde, inte ett datablad. (kommentar i scenariofilen, rad 22)
• --- slinggeometri ----------------------------------------------------------------- En Costas-bärvågsslinga på 10 Hz och en bärvågsstödd kodslinga på 1 Hz, 1 ms koherent integration (en C/A-kodperiod, så ingen databitssynkronisering antas), smal korrelator på 0,5 chip. (kommentar i scenariofilen, rad 25 till 28)
• Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• Tracking-slingans förlust av låsning och spoof-indragning under störning är MODELLED, inte validerad: kontrollerad mot en separat implementation i samma kodbas — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#

• Familjesida: Jamming, spoofing och spektrum
• Alla typer: KINDS.md