campaign (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kampaaniad. 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#

Kampaania: olemasolevad stsenaariumi liigid, mis on koondatud üheks jooksuks, kus iga arv on loetud nimetatud liigi tegelikust jooksust. Neli jaotist, mis tahes kombinatsioonis. PHASES: aheldatud missioon ühel jagatud ajateljel -- iga faas käivitab ühe või mitu stsenaariumi (näiteks segamine, siis spuufimine, siis kell holdover-is koos selle kõrval libiseva inertsiaalnavigatsioonisüsteemiga, siis terviklikkuse alarm, siis taastumine), nende väljundid loetakse nimetatud kanalitesse (kella ajaviga selle valvepiiri suhtes, kandja ja müra tiheduse suhe jälgimispõranda suhtes, kaitsetase häirepiiri suhtes, positsioonivea, jälgivad satelliidid, alarmilipud) liigipõhise eelseadistuse või selgesõnaliste tulemusteede abil ning diskreetimisel ühisele ruudustikule nulljärgu hoidega, koos faasipiiride ja sündmustega; olek antakse edasi carry abil (kanal jätkub eelmise faasi lõppväärtusest), handoff abil (eelmise faasi arv kirjutatakse selle faasi stsenaariumisse) ja end_at abil (faas lõpeb ajal, mille jooks arvutas, näiteks spuufimismonitori tuvastusaeg). SWEEP: ruudustik üle ühe kuni kolme punktidega stsenaariumivõtme mis tahes liigist (täisarvuline segment indekseerib tabelite massiivi, nagu system.2.sisre_m), mõõdikutega, mis loetakse tulemuseteega, ning üle ühe jooksu korral algväärtusega (seed) Monte Carlo ansambliga igas sõlmes. MONTE_CARLO: realisatsioon k jookseb algväärtusega base_seed + k; iga mõõdik annab keskmise, standardhälbe, lähima järgu 5./50./95. protsentiili ja fikseeritud algväärtusega (seed) bootstrap-i 95% usaldusvahemiku keskmisele. COMPOSE: mitu stsenaariumi jagatud väärtustega (ühe segaja võimsus ja asukoht kirjutatud mere- ja maanteevastuvõtjale), koos kombineeritud parima/halvima kokkuvõttega. Tulemus kannab kampaania räsi, kokkuvõtet üle iga liikme tulemuse ning iga väljastatud arvu ühikukirjet; koostalitlusvõime ekspordid kirjutavad iga geomeetriaga liikmestsenaariumi eraldi failikomplektina. Koosteidentiteete testitakse: ühefaasiline kampaania reprodutseerib eraldiseisva jooksu bitthaaval, fikseeritud algväärtusega (seed) ansambel on baitide tasemel stabiilne ning valge sageduse mürega kellal jääb ansambli keskmine teatatud vahemikku, hajuvus ühtib suurusega sqrt(q_wf * tau). MODELLED: aditiivne carry ja nulljärgu hoie on modelleerimisvalikud ning iga faas kannab seda käivitanud liigi silti.

Ühe scenarios/campaign-sweep-jammer-power.toml jooksu kokkuvõte: campaign 46aa07cb58fb | Segaja võimsuse pühkimine: kättesaadavus ja J/S saatevõimsuse suhtes | pühkimine jamming: 13 sõlme üle [jammer_power] | 13 liikme jooksu (MODELLED)

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: title, seed, timeline, phases, sweep, monte_carlo, compose

Näide scenarios/campaign-sweep-jammer-power.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/campaign-sweep-jammer-power.toml

22 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 olemasolevate stsenaariumi liikide koondamine. Iga arv on loetud nimetatud liigi tegelikust jooksust; aheldamine (kanali aditiivne carry üle faasipiiri, nulljärgu hoie ajatelje ruudustikule, arvutatud ajal lõppenud faas) on modelleerimisvalik ning iga faas kannab silti

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

• MODELLED iq::campaign::detect ja kampaaniajooksutaja: valikuline [monitors] tabel käivitab IQ-monitorid igal lahtril jooksutaja ühel läbimisel. Testid: iq_campaign.rs.
• MODELLED iq::campaign::detect (windows, roc) ja iq::campaign::report::rocs: monitoridega kampaania iga lahter hoiab alarmiliigi ja kanali kohta monitori enda testistatistiku maksimumi üle iga väljaöeldud sündmuseakna (positiivne) ja üle t
• MODELLED iq::labfit (campaign, cn0, iqfit, iqreport) ja [input] campaign käsul kshana iq labfit, Python kshana.iq_labfit ja MCP labfit tööriist (kampaaniakaustad ainult selle töökataloogis): loeb kausta kshana iq campaign väljundit selle Testid: iq_labfit_followup.rs.
• MODELLED Liigi campaign faasid: iga faas käivitab ühe või mitu olemasolevate liikide stsenaariumi funktsiooniga run_toml, loeb nende väljundid nimetatud kanalitesse (kella ajaviga ja valvepiir, keskmine efektiivne kandja ja müra tiheduse suhe ja jälgimispõrand, v Testid: campaign_composition_reference.rs.
• ja veel 4 maatriksis.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• MODELLED Geomeetriline J/S lingibilanss, segamisvastane C/N₀, satelliidi kaupa sünkroonsuse kadu. Sõltumatu etalon (InternalConsistency): Segamisvastase C/N₀ lingibilansi võrrand, mida on risttõendatud sõltumatu numpy uuestituletusega (jagab sama suletud kuju → InternalConsistency) pluss tegeliku JammerTest-2024 C/N₀ halvenemise iseloomustusega. 0,30 ring 2, blokeeritud (jääb MODELLED): mõõdetud JammerTest 2024 C/N0 langust lingibilansi ennustuse vastu (eelregistreeritud 6a66994b, 3 dB piires) ei jooksutatud, sest F8.1 antenni asukoht ja suunamine at
• 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 Liigi campaign pühkimine (üks kuni kolm punktidega võtit mis tahes liigist, üldise pühkimise telje väärtustel, soovi korral ansambel igas sõlmes) ja monte_carlo sec. Sõltumatu etalon (InternalConsistency): Faasi juhusliku ekslemise suletud kuju valge sageduse müra korral, dispersioon q_wf tau (NIST Technical Note 1337), statistikamasinavärgi jaoks ning baitide tasemel võrdsus eraldiseisvate jooksudega seemendamise (seeding) jaoks. See kontrollib ansambli aritmeetikat mootori enda kellamudelil, mitte välist andmestikku

Piirangud#

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

• MODELLED olemasolevate stsenaariumi liikide koondamine. Iga arv on loetud nimetatud liigi tegelikust jooksust; aheldamine (kanali aditiivne carry üle faasipiiri, nulljärgu hoie ajatelje ruudustikule, arvutatud ajal lõppenud faas) on modelleerimisvalik ning iga faas kannab seda tootnud liigi silti. (tulemus label)
• MODELLED: aditiivne carry ja nulljärgu hoie on modelleerimisvalikud ning iga faas kannab seda käivitanud liigi silti. (liikide kataloog (kshana kinds --json))
• MODELLED: nagu liik jamming on. (stsenaariumifaili kommentaar, rida 14)
• GNSS-ita segamisvastane vastupidavus on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• 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))
• Parameetripühkimised ja algväärtusega (seed) Monte Carlo ansamblid üle mis tahes stsenaariumi liigi on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#

• Perekonna leht: Kampaaniad
• Kõik liigid: KINDS.md
• Teemaleht: LEO-PNT.md
• Teemaleht: RESILIENCE-CROSSWALK.md