tracking-loop (skenaariolaji)

Moottorin v0.40.0 skenaariotyyppi, perhe Häirintä (jamming), harhautus (spoofing) ja spektri. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

Seurantasilmukan lukituksen menetys: C/N0 -> lukitus/lukituksen purkautuminen HYSTEREESILLÄ, aika lukituksen menetykseen sekä harhautuslähettimen sisäänveto koodin ja kantoaallon poikkeaman NOPEUDEN funktiona. Moottorin nykyiset estämis- ja kaappauskriteerit ovat suhteita vastaanotetulle teholle (häirintälähetin estää arvolla J/S = 30 dB, harhautuslähetin kaappaa arvolla 3 dB); todellinen lukituksen menetys ei ole tehosuhde, vaan se on kohta, jossa silmukan värinä ja dynaaminen rasitus ylittävät sen seurantakynnysbudjetin. Raportoi (1) kantoaallon (Costas) ja koodin (ei-koherentti early/late) 1-sigma-terminen värinä suhteessa C/N0:aan, neliöintihäviö mukaan lukien, ilmoitettuja sääntöjä 3sigma_PLL + theta_e <= 45 deg (15 asteen sääntö kolmen sigman muodossa) ja 3sigma_DLL + ramp lag <= d/2 chips vastaan; (2) pudotus- ja uudelleenlukitus-C/N0-kynnykset, joissa sitova silmukka nimetään, uudelleenlukituskynnys JOHDETTU leveämmästä kaistanleveydestä, jolla vastaanotin vetää sisään uudelleen, eikä väitetty, joten hystereesin leveyden on osuttava välille 5log10(ratio) ja 10log10(ratio) dB; (3) ilmoitettu aika lukituksen menetykseen kahden kynnyksen lukitusilmaisimesta, jossa on vahvistusviipymät ja jota ajetaan C/N0-ramppina, raportoituna erikseen fysikaalisesta vaiheen pakenemisajasta (Viterbin keskimääräinen aika syklihyppyjen välillä, log10 s:ssa, koska se kattaa satoja dekadeja); (4) harhautuksen sisäänvedon rajat — suurin koodin liukuma ja kantoaallon Doppler-nopeus, joita uhrin silmukat voivat seurata, kartalla molempien akselien yli, koska harhautuslähetin, joka liukuu näitä nopeammin, ei kaappaa silmukkaa vaan ohittaa sen; ja (5) silmukan dynamiikan implikoima ESTOSÄDE raportoituna OLEMASSA OLEVAN tehosuhdesäteen RINNALLA, ei koskaan sen tilalla, niiden etumerkillinen erotus omana nimettynä kenttänään (denial_radius_delta_km) ja määritelmä sen vieressä. Jokaisella emittoidulla numeerisella kentällä on yksikkö ja alkuperäluokka. VALIDATED suljetut muodot: kantoaallon ja koodin värinälausekkeet, silmukkasuodattimen pelkistys sqrt(2B_nT) ja ensimmäisen kertaluvun ramppiviive on ristiintarkistettu moottorin oman sdr-korrelaattorin kanssa, jota on askellettu eteenpäin siemenlukuun sidotulla synteettisellä IF:llä — eri reitti samoihin lukuihin — tarkkuuksilla 0,6 %, 3,7 % ja 0,17 % vastaavasti, ja syklihyppyaikaa taustalla oleva modifioitu Bessel I0 tavallisia taulukoituja arvoja vastaan tarkkuudella 1e-7. Alempi pätevyysraja on väitetty, ei vain ilmoitettu: alle ~32 dB-Hz arvolla 1 ms todellinen atan-diskriminaattori kyllästyy +-pi/2-alueeseensa ja mittaa vähemmän värinää kuin mikään lineaarinen teoria. MODELLED: silmukkakaistanleveydet, integrointiaika, korrelaattorin väli, sisäänvedon kaistanleveyssuhde, vahvistusviipymät, häirintälähettimen teho ja antennivahvistukset ovat edustavia kaistaluvuja, eivät tietolehti. EI mallinneta: oskillaattorin (Allanin poikkeama) ja tärinän värinä, etupään kaistanleveyden rajoitus, monitie-eteneminen, AGC:n dynamiikka, databittisiirtymän häviö, ulkoinen avustus sekä mikä tahansa puolisyklin korjaus Costas-syklihyppykaavaan. Silmukan dynamiikan alla harhautuksen kaappauksella ei ole lainkaan sädettä — sitova rajoite on poikkeaman nopeus, ei teho — joten se kenttä on null ja sille annetaan syy, eikä keksittyä lukua. Ei sertifioitu vastaanottimen suorituskykytuote.

Yksi ajo, jossa on scenarios/tracking-loop.toml, tiivistyy seuraavasti: tracking-loop: B_pll 10,0 Hz / B_dll 1,0 Hz, T 1 ms, d 0,50 chip -> drop 25,4744 dB-Hz (carrier binds), relock 27,4413 dB-Hz, hysteresis 1,9669 dB | loss of lock declared 39,101 s into the ramp | denial radius threshold(J/S 30 dB) 127,413 km vs loop dynamics 53,1694 km, delta -74.2438 km | spoof pull-in <= 0,966 chip/s code and 41,45 Hz/s carrier (MODELLED loop, VALIDATED closed forms)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: 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

Esimerkki scenarios/tracking-loop.toml asettaa muun muassa seuraavat:

Aja se#

kshana scenarios/tracking-loop.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tuloksen tunniste (moottorin oma): MIXED — VALIDATED silmukan suljetut muodot, MODELLED silmukan kokoonpano. Kantoaallon ja koodin termisen värinän lausekkeet, silmukkasuodattimen pelkistys sqrt(2B_nT) ja ensimmäisen kertaluvun ramppiviive on ristiintarkistettu moottorin oman sdr-korrelaattorin kanssa, jota on askellettu eteenpäin siemenlukuun sidotulla synteettisellä IF:llä (eri reitti

Todisteet#

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

• MODELLED Raportti lunar-jamming ei enää nojaa kieltokäyräänsä yhteen skalaariin.
• MODELLED Lukituksen menetys laskettuna silmukan dynamiikasta tehosuhteen sijaan: kantoaallon (Costas) ja koodin (ei-koherentti early/late) 1σ:n terminen värinä suhteessa C/N₀:aan neliöintihäviön kanssa, ilmoitettuja sääntöjä 3σ_PLL + θ_e ≤ 45° ja 3σ_DLL + ramp lag vastaan

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
• PARTNER Ei tarjota — Kshana mallintaa signaalin suorituskykyä, ei hyötykuorma- tai antennilaitteistoa. Oraakkeli (NoneKind): ei mitään: kumppanin omistama osa-alue, jolla ei ole moduulia eikä testiä tarkoituksella
• MODELLED Lukituksen menetys laskettuna silmukan dynamiikasta tehosuhteen sijaan: kantoaallon (Costas) ja koodin (ei-koherentti early/late) 1σ:n terminen värinä suhteessa C/N₀:aan s:n kanssa. Oraakkeli (ReferenceImpl): Moottorin oma sdr-korrelaattori (sdr::correlate / synth_if / CaCode), jota on askellettu eteenpäin siemenlukuun sidotulla synteettisellä IF:llä kalibroidulla C/N₀:lla — erillinen koodipolku, joka saavuttaa samat luvut näytteistetyn IQ:n numeerisella korrelaatiolla algebrallisen värinälausekkeen sijaan, joten se on eri reitti eikä uudelleenmuotoilu — sekä tavalliset taulukoidut modifioidun Besselin I₀:n arvot syklihyppytermille. Silmukkateoria lähteen Kaplan & Hegar mukaan

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• MIXED — VALIDATED silmukan suljetut muodot, MODELLED silmukan kokoonpano. Kantoaallon ja koodin termisen värinän lausekkeet, silmukkasuodattimen pelkistys sqrt(2B_nT) ja ensimmäisen kertaluvun ramppiviive on ristiintarkistettu moottorin oman sdr-korrelaattorin kanssa, jota on askellettu eteenpäin siemenlukuun sidotulla synteettisellä IF:llä (eri reitti samoihin lukuihin), ja modifioitu Bessel I0 tavallisia taulukoituja arvoja vastaan. MODELLED: silmukkakaistanleveydet, integ (tulos label)
• MODELLED: silmukkakaistanleveydet, integrointiaika, korrelaattorin väli, sisäänvedon kaistanleveyssuhde, vahvistusviipymät, häirintälähettimen teho ja antennivahvistukset ovat edustavia kaistaluvuja, eivät tietolehti. (lajiluettelo (kshana kinds --json))
• EI mallinneta: oskillaattorin (Allanin poikkeama) ja tärinän värinä, etupään kaistanleveyden rajoitus, monitie-eteneminen, AGC:n dynamiikka, databittisiirtymän häviö, ulkoinen avustus sekä mikä tahansa puolisyklin korjaus Costas-syklihyppykaavaan. (lajiluettelo (kshana kinds --json))
• Jokainen alla oleva silmukkaparametri on MODELLED edustava kaistaluku, ei tietolehti. (skenaariotiedoston kommentti, rivi 22)
• --- silmukan geometria ----------------------------------------------------------------- 10 Hz:n Costas-kantoaaltosilmukka ja 1 Hz:n kantoaaltoavusteinen koodisilmukka, 1 ms koherentti integrointi (yksi C/A-koodijakso, joten databittisynkronointia ei oleteta), kapea 0,5 chipin korrelaattori. (skenaariotiedoston kommentti, rivit 25–28)
• Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Seurantasilmukan lukituksen menetys ja harhautuksen sisäänveto häiriössä on MODELLED, ei validoitu: tarkistettu erillistä toteutusta vastaan samassa koodikannassa, joka on riippumaton testattavasta yksiköstä mutta ei ulkoisesti auktoritatiivinen. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: Häirintä (jamming), harhautus (spoofing) ja spektri
• Kaikki lajit: KINDS.md