contact-schedule (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Analýza misí, spoje a kosmické operace. 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ý zdejší štítek je štítkem enginu nebo verifikační matice; druh je MODELLED, pokud matice neříká jinak (jak se štítek získává: oddíl Evidence v README).

Co dělá#

Plánování pozemních kontaktů pro více družic nad více stanicemi: zdánlivá okna přístupu (SGP4, zemská pevná soustava IAU 2006/2000A, refrakce podle ITU-R P.834, světelný čas), datový objem DVB-S2 ACM každého přeletu (prahy z ETSI EN 302 307-1, Table 13) a bezkonfliktní rozvrh (jedna družice na anténu s přípravnou dobou, jedna stanice na družici, doručení vážené prioritou omezené každým nevyřízeným objemem) pomocí hladového algoritmu s mezní hodnotou, základního postupu podle pořadí příchodu a přesného větvení a mezí na malých množinách, s mezerou optimality hladového algoritmu. MODELLED.

Jeden běh scenarios/contact-schedule.toml se shrnuje takto: contact-schedule: 3 družice x 3 stanice za 12 h -> 31 kandidátních kontaktů, 22 naplánováno; 797266 z 860000 Mbit doručeno (MODELLED)

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

Příklad scenarios/contact-schedule.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/contact-schedule.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Označení výsledku (z enginu): MODELLED -- plán kontaktů s více družicemi a více stanicemi: zdánlivá okna přístupu (SGP4, IAU 2006/2000A, refrakce podle ITU-R P.834, světelný čas), datový objem DVB-S2 ACM na přelet z rozpočtu spoje za jasné oblohy (prahy z ETSI EN 302 307-1, Table 13) a řešení konfliktů (jedna družice na anténu s

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

• MODELLED Es/N0 downlinku podél každého přeletu jedné družice nad jednou stanicí (EIRP, ztráta ve volném prostoru, atmosférická ztráta podle kosekantového zákona, ostatní ztráty, G/T, Boltzmannova konstanta, symbolová rychlost), nejúčinnější MODCOD DVB-S2, který splňuje svůj ETSI EN 302 307-
• MODELLED Kandidátní kontakty z každého přeletu družice nad stanicí s jeho datovým objemem ACM; konflikty, kdy by jedna anténa obsluhovala dvě družice během své přípravné doby nebo by jedna družice vysílala sestupně ke dvěma stanicím najednou; doručení vážené prioritou

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• VALIDATED Přelety viditelnosti (AOS, TCA, LOS, maximální zdánlivá elevace, trvání) sady prvků SGP4 nad stanicí WGS-84 na ověřené cestě pro oběžné dráhy kolem Země (IAU 2006. Orákulum (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) s Hipparchus 4.0.3: TLEPropagator na týchž sadách prvků v TEME, kterou Orekit sestavuje podle uvedené definice (jeho IERS 2010 TOD otočené o GAST - GMST), ElevationDetector a ElevationExtremumDetector s ITURP834AtmosphericRefraction i bez ní a AngularAzEl s AngularRadioRefractionModifier pro případ světelného času, průsečíky a maximum řešené Hipparchus; 60 případů (f
• MODELLED Es/N0 downlinku podél každého přeletu jedné družice nad jednou stanicí (EIRP, ztráta ve volném prostoru, atmosférická ztráta podle kosekantového zákona, ostatní ztráty, G/T, Boltzmannova konstanta,. Orákulum (InternalConsistency): vnitřní konzistence: spektrální účinnost vypočtená v uzavřeném tvaru z K_bch tabulky 5a a délek rámců se shoduje s účinnostmi, které tiskne tabulka 13 (kontrola přepisu tabulky prahů); části bilance spoje se shodují se svými uzavřenými tvary; volba je monotónní v Es/N0 a respektuje rezervu; ACM přenese alespoň objem při konstantním kódování. Geometrie přeletu pochází z odděleně VALIDATED a
• MODELLED Kandidátní kontakty z každého přeletu družice nad stanicí s jeho datovým objemem ACM; konflikty, kdy by jedna anténa obsluhovala dvě družice během své přípravné doby nebo by. Oracle (InternalConsistency): Vnitřní konzistence: přesné větvení a meze souhlasí s úplným výčtem na malých náhodných množinách, každý plán je zkontrolován jako proveditelný proti pravidlům konfliktů a hladový algoritmus nikdy nepřekoná přesné optimum. CO NENÍ: nebyl porovnán žádný externí plánovač ani provozní plán; kontakty se berou celé (bez dělení), nevyřízený objem je pevný na začátku okna, doba přesměrování nad rámec pevné přípravné doby a palubní s

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• MODELLED -- plán kontaktů s více družicemi a více stanicemi: zdánlivá okna přístupu (SGP4, IAU 2006/2000A, refrakce podle ITU-R P.834, světelný čas), datový objem DVB-S2 ACM na přelet z rozpočtu spoje za jasné oblohy (prahy z ETSI EN 302 307-1, Table 13) a řešení konfliktů (jedna družice na anténu s přípravnou dobou, jedna stanice na družici) pomocí hladového algoritmu s mezní hodnotou zkontrolovaného proti přesnému větvení a mezím; žádný déšť, (výsledek label)
• MODELLED. (katalog druhů (kshana kinds --json))
• Každé číslo níže je ILLUSTRATIVE: žádné dráhy, stanice ani rozpočet spoje žádného provozovatele. MODELLED: plánovač je kontrolován proti vlastnímu přesnému řešiči, nikoli proti externímu nástroji. (komentář v souboru scénáře, řádky 11 až 12)
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Adaptivní kódování a modulace DVB-S2 podél přeletu downlinku LEO je MODELLED, nikoli ověřeno nezávislou referencí: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to externí orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Plánování pozemních kontaktů s více družicemi a více stanicemi s řešením konfliktů je MODELLED, nikoli ověřeno proti nezávislé vnější referenci: kontroluje se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Analýza misí, spoje a kosmické operace
• Všechny druhy: KINDS.md
• Stránka tématu: CONTACT-SCHEDULING.md