tracking-loop (scenariosoort)

Scenariosoort van de engine v0.40.0, familie Jamming, spoofing en het spectrum. Adviserend: uitvoer van een analyse door een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen safety-of-life-dienst. Elk label hier is van de engine of van de verificatiematrix; een soort is MODELLED tenzij de matrix anders vermeldt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Verlies van vergrendeling van de tracking-lus: C/N0 -> vergrendeld/ontgrendeld inclusief HYSTERESE, de tijd die het kost om de vergrendeling te verliezen, en spoof-pull-in als functie van de SNELHEID van de code- en draaggolfoffset. De bestaande ontkennings- en overnamecriteria van de engine zijn verhoudingen op ontvangen vermogen (een jammer ontkent bij J/S = 30 dB, een spoofer neemt over bij 3 dB); echt verlies van vergrendeling is geen vermogensverhouding, maar het punt waar de jitter van een lus plus dynamische belasting het tracking-drempelbudget overschrijdt. Rapporteert (1) draaggolf- (Costas) en code-jitter (niet-coherent early/late) van 1 sigma thermisch versus C/N0, inclusief kwadrateringsverlies, tegen de opgegeven regels 3sigma_PLL + theta_e <= 45 deg (de 15-gradenregel in drie-sigmavorm) en 3sigma_DLL + ramp lag <= d/2 chips; (2) de drempels voor C/N0 bij wegvallen en herstel van de vergrendeling met de bepalende lus benoemd, waarbij de herstelvergrendelingsdrempel AFGELEID is uit de bredere bandbreedte waarmee een ontvanger opnieuw intrekt in plaats van beweerd, zodat de hysteresebreedte tussen 5log10(ratio) en 10log10(ratio) dB moet liggen; (3) de verklaarde tijd tot verlies van vergrendeling van een lock-detector met twee drempels en bevestigingsverblijftijden, aangestuurd over een C/N0-helling, afzonderlijk gerapporteerd van de fysieke faseontsnappingstijd (de gemiddelde Viterbi-tijd tussen cycle slips, in log10 s omdat die honderden decaden beslaat); (4) spoof-pull-in-limieten — de grootste codeverschuiving en Doppler-snelheid van de draaggolf die de lussen van een slachtoffer kunnen volgen, met een kaart over beide assen, omdat een spoofer die sneller verschuift dan deze de lus niet overneemt maar achter zich laat; en (5) de ONTKENNINGSSTRAAL die de luisdynamiek impliceert, gerapporteerd NAAST de bestaande vermogensverhoudingsstraal, nooit in plaats daarvan, met hun verschil met teken als eigen benoemd veld (denial_radius_delta_km) en een definitie ernaast. Elk uitgegeven numeriek veld heeft een eenheid en een herkomstklasse. VALIDATED gesloten vormen: de jitteruitdrukkingen voor draaggolf en code, de reductie van het lusfilter sqrt(2B_nT) en de eerste-orde ramp lag zijn gecontroleerd tegen de eigen sdr-correlator van de engine, voorwaarts gestapt op geseede synthetische IF — een andere route naar dezelfde getallen — tot respectievelijk 0,6 %, 3,7 % en 0,17 %, en de gewijzigde Bessel I0 achter de cycle-slip-tijd tegen standaard getabelleerde waarden tot 1e-7. De ondergrens van de geldigheid wordt afgedwongen, niet alleen vermeld: onder ~32 dB-Hz bij 1 ms verzadigt de echte atan-discriminator tegen zijn bereik van +-pi/2 en meet hij minder jitter dan enige lineaire theorie. MODELLED: de lusbandbreedtes, integratietijd, correlatorafstand, pull-in-bandbreedteverhouding, bevestigingsverblijftijden, jammervermogen en antenneversterkingen zijn representatieve bandwaarden, geen datasheet. NIET gemodelleerd: oscillator- (Allan-deviatie) en trillingsjitter, bandbreedtebeperking van de front-end, multipath, AGC-dynamiek, verlies door databittransities, externe ondersteuning en elke halve-cyclus-correctie op de Costas-cycle-slip-formule. Onder luisdynamiek heeft spoof-overname helemaal geen straal — de bepalende beperking is de offsetsnelheid, niet het vermogen — dus dat veld is null met een reden in plaats van een verzonnen getal. Geen gecertificeerd product voor ontvangerprestaties.

Eén run van scenarios/tracking-loop.toml vat samen als: tracking-loop: B_pll 10,0 Hz / B_dll 1,0 Hz, T 1 ms, d 0,50 chip -> drop 25,4744 dB-Hz (draaggolf bepaalt), relock 27,4413 dB-Hz, hysterese 1,9669 dB | verlies van vergrendeling vastgesteld 39,101 s in de helling | ontkenningsstraal drempel(J/S 30 dB) 127,413 km versus luisdynamiek 53,1694 km, delta -74.2438 km | spoof-pull-in <= 0,966 chip/s code en 41,45 Hz/s draaggolf (MODELLED lus, VALIDATED gesloten vormen)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

Het voorbeeld scenarios/tracking-loop.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/tracking-loop.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaatlabel (van de engine): MIXED — VALIDATED gesloten vormen van de lus, MODELLED lusconfiguratie. De thermische-jitteruitdrukkingen voor draaggolf en code, de reductie van het lusfilter sqrt(2B_nT) en de eerste-orde ramp lag zijn gecontroleerd tegen de eigen sdr-correlator van de engine, voorwaarts gestapt op geseede synthetische IF (een andere route

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

• MODELLED Het rapport lunar-jamming steunt zijn ontkenningscontour niet langer op één scalair.
• MODELLED Verlies van vergrendeling berekend uit luisdynamiek in plaats van een vermogensverhouding: draaggolf- (Costas) en code-jitter (niet-coherent early/late) van 1σ thermisch tegen C/N₀ met het kwadrateringsverlies, tegen de opgegeven regels 3σ_PLL + θ_e ≤ 45° en 3σ_DLL + ramp lag

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• PARTNER Niet geleverd — Kshana modelleert signaalprestaties, geen payload- of antennehardware. Onafhankelijke referentie (NoneKind): geen: een discipline die van de partner is, met opzet zonder module en zonder test
• MODELLED Verlies van vergrendeling berekend uit luisdynamiek in plaats van een vermogensverhouding: draaggolf- (Costas) en code-jitter (niet-coherent early/late) van 1σ thermisch tegen C/N₀ met het kwadrateringsverlies tegen de s. Onafhankelijke referentie (ReferenceImpl): De eigen sdr-correlator van de engine (sdr::correlate / synth_if / CaCode), voorwaarts gestapt op geseede synthetische IF bij een gekalibreerde C/N₀ — een apart codepad dat dezelfde getallen bereikt door numerieke correlatie van gesamplede IQ in plaats van door een algebraïsche jitteruitdrukking, dus een andere route en geen herhaling — plus standaard getabelleerde waarden van de gewijzigde Bessel I₀ voor de cycle-slip-term. Lustheorie volgens Kaplan & Hegar

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• MIXED — VALIDATED gesloten vormen van de lus, MODELLED lusconfiguratie. De thermische-jitteruitdrukkingen voor draaggolf en code, de reductie van het lusfilter sqrt(2B_nT) en de eerste-orde ramp lag zijn gecontroleerd tegen de eigen sdr-correlator van de engine, voorwaarts gestapt op geseede synthetische IF (een andere route naar dezelfde getallen), en de gewijzigde Bessel I0 tegen standaard getabelleerde waarden. MODELLED: de lusbandbreedtes, integ (resultaat label)
• MODELLED: de lusbandbreedtes, integratietijd, correlatorafstand, pull-in-bandbreedteverhouding, bevestigingsverblijftijden, jammervermogen en antenneversterkingen zijn representatieve bandwaarden, geen datasheet. (soortencatalogus (kshana kinds --json))
• NIET gemodelleerd: oscillator- (Allan-deviatie) en trillingsjitter, bandbreedtebeperking van de front-end, multipath, AGC-dynamiek, verlies door databittransities, externe ondersteuning en elke halve-cyclus-correctie op de Costas-cycle-slip-formule. (soortencatalogus (kshana kinds --json))
• Elke lusparameter hieronder is een MODELLED representatieve bandwaarde, geen datasheet. (opmerking in het scenariobestand, regel 22)
• --- lusgeometrie ----------------------------------------------------------------- Een Costas-draaggolflus van 10 Hz en een draaggolfondersteunde codelus van 1 Hz, 1 ms coherente integratie (één C/A-codeperiode, dus er wordt geen databitsynchronisatie aangenomen), smalle correlator van 0,5 chip. (opmerking in het scenariobestand, regels 25 tot 28)
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
• Verlies van vergrendeling van de tracking-lus en spoof-pull-in onder interferentie is MODELLED, niet getoetst aan een onafhankelijke externe referentie: gecontroleerd tegen een afzonderlijke implementatie in dezelfde codebase — onafhankelijk van de geteste eenheid, maar niet extern gezaghebbend. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Jamming, spoofing en het spectrum
• Alle kinds: KINDS.md