tracking-loop (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Segamine, spuufimine ja spekter. 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 jaotis Evidence).

Mida see teeb#

Jälgimissilmuse lukustuse kadu: C/N0 -> lukustus/lukustuse vabastus HÜSTEREESIGA, lukustuse kaotamise aeg ning spuufimise sissetõmme koodi ja kandelaine nihke KIIRUSE funktsioonina. Mootori olemasolevad keelamise ja haaramise kriteeriumid on vastuvõetud võimsuse suhted (segaja keelab juures J/S = 30 dB, spuufer haarab juures 3 dB); tegelik lukustuse kadu ei ole võimsuse suhe, see on koht, kus silmuse värin pluss dünaamiline koormus väljub selle jälgimislävendi eelarvest. Annab aru (1) kandelaine (Costas) ja koodi (mittekoherentne varajane/hiline) 1-sigma termilisest värinast versus C/N0, ruutimiskadu kaasa arvatud, nimetatud reeglite 3sigma_PLL + theta_e <= 45 deg (15-kraadine reegel kolme sigma kujul) ja 3sigma_DLL + kaldviivitus <= d/2 chipi vastu; (2) väljalangemise ja taaslukustumise C/N0 läved koos piirava silmuse nimetamisega, taaslukustumise lävi TULETATUD laiemast ribalaiusest, millega vastuvõtja uuesti sisse tõmbub, mitte väidetud, nii et hüstereesi laius peab jääma vahemikku 5log10(suhe) kuni 10log10(suhe) dB; (3) kuulutatud lukustuse kaotamise aeg kahe lävega lukustusdetektorist kinnitusviibimistega, käivitatuna üle C/N0 kallaku, esitatuna eraldi füüsilisest faasipõgenemise ajast (Viterbi keskmine aeg tsüklihüpete vahel, log10 s-ides, sest see ulatub üle sadade dekaadide); (4) spuufimise sissetõmbe piirid — suurim koodi libisemine ja kandelaine Doppleri kiirus, mida ohvri silmused suudavad järgida, koos kaardiga mõlema telje kohta, sest spuufer, mis libiseb neist kiiremini, ei haara silmust, vaid jookseb sellest ette; ning (5) silmuse dünaamikast tulenev KEELAMISRADIUS esitatud olemasoleva võimsussuhte raadiuse KÕRVAL, mitte kunagi selle asemel, nende märgiga vahe omaette nimetatud väljana (denial_radius_delta_km) ja definitsioon selle kõrval. Iga väljastatud arvuväli kannab ühikut ja päritoluklassi. VALIDATED kinnised kujud: kandelaine ja koodi värina avaldised, silmusefiltri taandus sqrt(2B_nT) ja esimese järgu kaldviivitus on ristkontrollitud mootori enda sdr korrelaatori vastu, mida sammutatakse edasi algväärtustatud sünteetilisel IF-il — erinev tee samade arvudeni — vastavalt täpsusega 0,6 %, 3,7 % ja 0,17 %, ning tsüklihüppe aja taga olev modifitseeritud Besseli I0 tavaliste tabelväärtuste vastu täpsusega 1e-7. Alumine kehtivuspiir on kinnitatud, mitte ainult nimetatud: alla ~32 dB-Hz juures 1 ms küllastub tegelik atan-diskriminaator oma +-pi/2 vahemiku vastu ja mõõdab väiksemat värinat kui ükski lineaarne teooria. MODELLED: silmuse ribalaiused, integreerimisaeg, korrelaatori vahe, sissetõmbe ribalaiuse suhe, kinnitusviibimised, segaja võimsus ja antennivõimendused on esindusliku riba arvud, mitte andmeleht. EI modelleerita: ostsillaatori (Alani hälbe) ja vibratsiooni värinat, sisendotsa ribalaiuse piiramist, mitmeteeleviivet, AGC dünaamikat, andmebiti ülemineku kadu, välist toetamist ega Costase tsüklihüppe valemi mis tahes poolsüklilist korrektsiooni. Silmuse dünaamika korral ei ole spuufimise haaramisel üldse raadiust — piirav tingimus on nihke kiirus, mitte võimsus — seega on see väli null koos põhjendusega, mitte väljamõeldud arv. Mitte sertifitseeritud vastuvõtja toimivuse toode.

Ühe scenarios/tracking-loop.toml käivituse kokkuvõte: tracking-loop: B_pll 10,0 Hz / B_dll 1,0 Hz, T 1 ms, d 0,50 chipi -> väljalangemine 25,4744 dB-Hz (kandelaine piirab), taaslukustumine 27,4413 dB-Hz, hüsterees 1,9669 dB | lukustuse kadu kuulutatud 39,101 s kallakusse | keelamisraadius lävi(J/S 30 dB) 127,413 km vs silmuse dünaamika 53,1694 km, vahe -74.2438 km | spuufimise sissetõmme <= 0,966 chipi/s koodi ja 41,45 Hz/s kandelaine (MODELLED silmus, VALIDATED kinnised kujud)

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: 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

Näide scenarios/tracking-loop.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/tracking-loop.toml

Mida see annab#

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

Tulemuse silt (mootori oma): MIXED — VALIDATED silmuse kinnised kujud, MODELLED silmuse konfiguratsioon. Kandelaine ja koodi termilise värina avaldised, silmusefiltri taandus sqrt(2B_nT) ja esimese järgu kaldviivitus on ristkontrollitud mootori enda sdr korrelaatori vastu, mida sammutatakse edasi algväärtustatud sünteetilisel IF-il (erinev tee

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

• MODELLED Aruanne lunar-jamming ei toetu enam oma keelukontuuris ühele skalaarile.
• MODELLED Lukustuse kadu arvutatud silmuse dünaamikast võimsussuhte asemel: kandelaine (Costas) ja koodi (mittekoherentne varajane/hiline) 1σ termiline värin versus C/N₀ ruutimiskaoga, nimetatud reeglite 3σ_PLL + θ_e ≤ 45° ja 3σ_DLL + kaldviivitus vastu

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
• PARTNER Ei paku — Kshana modelleerib signaali toimivust, mitte kasulikkoormuse/antenni riistvara. Sõltumatu etalon (NoneKind): puudub: partneri vastutusala, kujundatud nii, et mooduli ega testi ei ole
• MODELLED Lukustuse kadu arvutatud silmuse dünaamikast võimsussuhte asemel: kandelaine (Costas) ja koodi (mittekoherentne varajane/hiline) 1σ termiline värin versus C/N₀ ruutimiskaoga,. Sõltumatu etalon (viiteteostus; ReferenceImpl): mootori enda sdr korrelaator (sdr::correlate / synth_if / CaCode), mida sammutatakse edasi algväärtustatud sünteetilisel IF-il kalibreeritud C/N₀ juures — eraldi koodirada, mis jõuab samade arvudeni valimiga IQ arvulise korrelatsiooni, mitte algebralise värinaavaldise kaudu, seega on see erinev tee, mitte ümbersõnastus — pluss tavalised tabelväärtustega modifitseeritud Besseli I₀ väärtused tsüklihüppe liikme jaoks. Silmuseteooria Kaplani ja Hegar järgi

Piirangud#

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

• MIXED — VALIDATED silmuse kinnised kujud, MODELLED silmuse konfiguratsioon. Kandelaine ja koodi termilise värina avaldised, silmusefiltri taandus sqrt(2B_nT) ja esimese järgu kaldviivitus on ristkontrollitud mootori enda sdr korrelaatori vastu, mida sammutatakse edasi algväärtustatud sünteetilisel IF-il (erinev tee samade arvudeni), ning modifitseeritud Besseli I0 tavaliste tabelväärtuste vastu. MODELLED: silmuse ribalaiused, integ (tulemus label)
• MODELLED: silmuse ribalaiused, integreerimisaeg, korrelaatori vahe, sissetõmbe ribalaiuse suhe, kinnitusviibimised, segaja võimsus ja antennivõimendused on esindusliku riba arvud, mitte andmeleht. (liikide kataloog (kshana kinds --json))
• EI modelleerita: ostsillaatori (Alani hälbe) ja vibratsiooni värinat, sisendotsa ribalaiuse piiramist, mitmeteeleviivet, AGC dünaamikat, andmebiti ülemineku kadu, välist toetamist ega Costase tsüklihüppe valemi mis tahes poolsüklilist korrektsiooni. (liikide kataloog (kshana kinds --json))
• Iga allolev silmuse parameeter on MODELLED esindusliku riba arv, mitte andmeleht. (stsenaariumifaili kommentaar, rida 22)
• --- silmuse geomeetria ----------------------------------------------------------------- 10 Hz Costase kandelaine silmus ja 1 Hz kandelainega toetatud koodisilmus, 1 ms koherentne integreerimine (üks C/A koodiperiood, seega ei eeldata andmebitiga sünkroniseerimist), kitsas 0,5 chipi korrelaator. (stsenaariumifaili kommentaar, read 25–28)
• Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Jälgimissilmuse lukustuse kadu ja spuufimise sissetõmme häire korral on MODELLED, mitte valideeritud: kontrollitud sama koodibaasi eraldi teostuse vastu — kontrollitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#

• Perekonna leht: Segamine, spuufimine ja spekter
• Kõik liigid: KINDS.md