Kampaně (rodina druhů scénářů)

1 druh scénáře enginu v0.40.0. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází od enginu nebo z verifikační matice; druh je MODELLED, pokud matice neříká jinak (jak se označení získává: část Evidence v README).

Tematické stránky: CAMPAIGNS. Spusťte jednu: kshana scenarios/campaign-jam-spoof-holdover-integrity.toml. Všechny rodiny: KINDS.md.

campaign#

Campaign: existující druhy scénářů složené do jednoho běhu, přičemž každé číslo je načteno ze skutečného běhu pojmenovaného druhu. Čtyři oddíly v libovolné kombinaci. FÁZE: řetězená mise na jedné sdílené časové ose -- každá fáze spouští jeden nebo více scénářů (například rušení, poté spoofing, poté hodiny v holdoveru s inerciálním navigačním systémem, který letí vedle nich, poté alarm integrity, poté zotavení), jejich výstupy se načítají do pojmenovaných kanálů (časová chyba hodin proti jejich ochranné mezi, poměr nosné k hustotě šumu proti prahu sledování, ochranná úroveň proti mezi výstrahy, chyba polohy, sledované družice, příznaky alarmu) předvolbou pro daný druh nebo explicitními cestami k výsledkům a převzorkují se na společnou mřížku podržením nultého řádu, s hranicemi fází a událostmi; stav se předává pomocí carry (kanál pokračuje od koncové hodnoty předchozí fáze), handoff (číslo z předchozí fáze zapsané do scénáře této fáze) a end_at (fáze končí v čase, který vypočetl nějaký běh, například v čase detekce monitoru spoofingu). SWEEP: mřížka přes jeden až tři klíče scénáře zapsané s tečkami, libovolného druhu (celočíselný segment indexuje pole tabulek, jako v system.2.sisre_m), s metrikami načítanými podle cesty k výsledku a, pokud je počet běhů větší než jedna, s Monte Carlo souborem se seedem v každém uzlu. MONTE_CARLO: realizace k běží se seedem base_seed + k; každá metrika uvádí průměr, směrodatnou odchylku, percentily 5., 50. a 95. podle nejbližší pořadové hodnoty a bootstrapový 95% interval spolehlivosti průměru s pevným seedem. COMPOSE: několik scénářů se sdílenými hodnotami (výkon a poloha jednoho rušiče zapsané do námořního a silničního přijímače) s kombinovaným souhrnem nejlepšího a nejhoršího případu. Výsledek nese hash kampaně, souhrn přes všechny výsledky členů a záznam jednotek pro každé emitované číslo; exporty pro interoperabilitu zapisují každý členský scénář, který má geometrii, jako vlastní sadu souborů. Identity skládání jsou testovány: jednofázová kampaň reprodukuje samostatný běh bit po bitu, soubor s pevným seedem je bajtově stabilní a u hodin se šumem bílé frekvence leží průměr souboru uvnitř uvedeného intervalu a rozptyl odpovídá sqrt(q_wf * tau). MODELLED: aditivní carry a podržení nultého řádu jsou modelové volby a každá fáze nese označení druhu, který ji spustil.

Povinná pole: žádná. Volitelná: title, seed, timeline, phases, sweep, monte_carlo, compose.

Registr: MODELLED. Celá stránka se vstupy, výsledky, důkazy a omezeními: campaign.

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