Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/aperture-duty-cycle.md

aperture-duty-cycle (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á#

Aperture duty cycle: časové rozdělení mezi navigaci a komunikaci, které vyplývá z plánu kontaktů pro skupinu řiditelných apertur. Vstupem je plán kontaktů (seznam oken [[contacts]] aos_s/los_s, z nichž každé požaduje navigaci nebo komunikaci, tedy stejný slovník aos_s/los_s, jaký vydává prediktor passes), počet apertur a ARBITRÁŽNÍ POLITIKA (ve výchozím nastavení s prioritou navigace, nebo s prioritou komunikace, nebo nepreemptivní podle pořadí příchodu); výstupem je vytížení navigací, vytížení komunikací, nevyužitý čas a výpadek na relaci, tedy doba kontaktu, kterou relace požadovala a žádná apertura ji neobsloužila. Jde o přesný průchod intervaly přes hranice oken, takže se přilehlá okna nikdy nepřetahují a žádná sekunda apertury se nezapočítá dvakrát; sekundy apertur věnované navigaci, komunikaci a nečinnosti se sčítají nezávisle a uzavírají se proti apertures*horizon_s. Zpráva uvádí použitou politiku, její úplnou definici a definice vytížení a výpadku, protože údaj o vytížení uvedený bez arbitrážní politiky není reprodukovatelný. MODELLED plánovací aritmetika: při změně služby nebo relace apertury se neúčtuje žádný čas na přesměrování, přeladění ani přepnutí, do rozhodování nevstupuje žádný objem dat, stav vyrovnávací paměti, energetický rozpočet ani uzavření spoje a okna kontaktů jsou vstupy: jejich geometrie je taková, jakou vytvořil jejich zdroj. Nejde o produkt pro plánování pozemního segmentu.

Jeden běh scenarios/aperture-duty-cycle.toml se shrnuje takto: aperture-duty-cycle: 6 relací na 2 aperturách při prioritě navigace -> vytížení navigací 0,1167, vytížení komunikací 0,2667, nevyužito 0,6167; 0 s z 6900 s požadovaných se ztratilo kvůli souběhu požadavků (MODELLED)

Vstupy#

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

  • Povinná pole: žádná
  • Volitelná pole: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

Příklad scenarios/aperture-duty-cycle.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
apertures 2 počet
arbitration navigation-priority text
contacts[0].aos_s 0 s
contacts[0].los_s 600 s
contacts[0].name nav-1 text
contacts[0].service navigace text
contacts[1].aos_s 300 s
contacts[1].los_s 1500 s
contacts[1].name comms-1 text
contacts[1].service komunikace text
contacts[2].aos_s 3600 s
contacts[2].los_s 4500 s

Spusťte jej#

kshana scenarios/aperture-duty-cycle.toml

Co poskytuje#

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

Výsledek Hodnota Jednotka
aperture_seconds_available 18000 aperture*s
apertures 2 počet
arbitration_policy navigation-priority text
arbitration_policy_default navigation-priority text
communications_duty 0.266667 podíl (bezrozměrný)
communications_served_aperture_s 4800 aperture*s
contention_s 0 s
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text

Označení výsledku (z enginu): MODELLED: aritmetika plánování apertur nad dodaným plánem kontaktů: přesný průchod intervaly, který určuje časové rozdělení mezi navigaci a komunikaci a ztrátu na jednu relaci vlivem souběhu při pojmenované arbitrážní politice. Při změně služby nebo relace apertury se neúčtuje žádný čas na přesměrování, přeladění ani přepnutí,

Graf, který engine zapisuje pro scenarios/aperture-duty-cycle.toml, druh aperture-duty-cycle

Důkazy#

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

  • MODELLED Jeden běh převezme plán kontaktů (seznam oken aos_s/los_s, z nichž každé požaduje po apertuře navigaci nebo komunikaci, tedy stejný slovník oken, jaký vydává passes::predict_passes, převedený funkcí aperture_duty::windows_from_passes), počet apert

Řá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
  • MODELLED Jeden běh převezme plán kontaktů (seznam oken aos_s/los_s, z nichž každé požaduje po apertuře navigaci nebo komunikaci, tedy stejný slovník oken, jaký vydává `passes::pre. Oracle (InternalConsistency): Vnitřní konzistence ze tří veličin vypočtených různými výrazy ve stejném průchodu, které se pak musí uzavřít. Sekundy apertur věnované navigaci, komunikaci a nečinnosti se sčítají odděleně, nečinnost z (apertures − |served|) na každý elementární interval, nikdy ne jako zbytek, a jejich součet se ověřuje proti apertures × horizon_s, což chybně vymezená hranice, dvojí

Omezení#

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

  • MODELLED: aritmetika plánování apertur nad dodaným plánem kontaktů: přesný průchod intervaly, který určuje časové rozdělení mezi navigaci a komunikaci a ztrátu na jednu relaci vlivem souběhu při pojmenované arbitrážní politice. Při změně služby nebo relace apertury se neúčtuje žádný čas na přesměrování, přeladění ani přepnutí, do rozhodování nevstupuje žádný objem dat, stav vyrovnávací paměti, energetický rozpočet ani uzavření spoje a okna kontaktů jsou vstupy: jejich (výsledek label)
  • MODELLED plánovací aritmetika: při změně služby nebo relace apertury se neúčtuje žádný čas na přesměrování, přeladění ani přepnutí, do rozhodování nevstupuje žádný objem dat, stav vyrovnávací paměti, energetický rozpočet ani uzavření spoje a okna kontaktů jsou vstupy: jejich geometrie je taková, jakou vytvořil jejich zdroj. (katalog druhů (kshana kinds --json))
  • ČESTNÝ ROZSAH: MODELLED plánovací aritmetika nad dodanými okny. Při změně služby nebo relace apertury se neúčtuje žádný čas na přesměrování, přeladění ani přepnutí; do rozhodování nevstupuje žádný objem dat, stav vyrovnávací paměti, energetický rozpočet ani uzavření spoje; a okna kontaktů jsou vstupy -- jejich geometrie je taková, jakou vytvořil jejich zdroj (scénář passes vydává stejný slovník aos_s / los_s). Není to plánování pozemního segmentu (komentář v souboru scénáře, řádky 18 až 24)
  • 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))
  • Navigační a komunikační vytížení apertur 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é#