aperture-duty-cycle (scenariotype)

Scenariotype i motoren v0.40.0, familien Oppdragsanalyse, linker og romoperasjoner. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en tjeneste der liv og sikkerhet står på spill. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

Apertur-driftssyklus: tidsfordelingen mellom navigasjon og kommunikasjon som en kontaktplan innebærer for en pool av styrbare aperturer. Tar en kontaktplan (en liste med [[contacts]] aos_s/los_s-vinduer, der hvert ber om navigasjon eller kommunikasjon — det samme aos_s/los_s-vokabularet som passes-prediktoren sender ut), et antall aperturer og en ARBITRERINGSPOLICY (navigasjonsprioritet som standard, eller kommunikasjonsprioritet, eller ikke-forkjøpende først-til-mølla), og rapporterer navigasjonsandelen, kommunikasjonsandelen, ledig andel og avbruddet per økt — kontakttiden en økt ba om og ingen apertur betjente. En nøyaktig intervallsveiping over vindusgrensene, slik at vinduer som tangerer hverandre aldri konkurrerer og ingen apertursekund telles to ganger; apertursekunder for navigasjon, kommunikasjon og ledighet akkumuleres uavhengig og lukkes mot apertures*horizon_s. Rapporten oppgir den løste policyen, dens fulle definisjon og definisjonene av andel og avbrudd, fordi en andel oppgitt uten sin arbitreringspolicy ikke er reproduserbar. MODELLED planleggingsaritmetikk: ingen sving-, omstillings- eller byttetid belastes når en apertur bytter tjeneste eller økt, og ingen datavolum, bufferstatus, energibudsjett eller linklukking inngår i avgjørelsen, og kontaktvinduene er inndata — geometrien deres er det som frembrakte dem. Ikke et planleggingsprodukt for bakkesegmentet.

Én kjøring av scenarios/aperture-duty-cycle.toml oppsummeres som: aperture-duty-cycle: 6 session(s) on 2 aperture(s) under navigation-priority -> navigation duty 0,1167, communications duty 0,2667, idle 0,6167; 0 s of 6900 s requested lost to contention (MODELLED)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

Eksempelet scenarios/aperture-duty-cycle.toml setter blant annet:

Kjør den#

kshana scenarios/aperture-duty-cycle.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens): MODELLED — aperture scheduling arithmetic over a supplied contact plan: an exact interval sweep of navigation-versus-communications time-share and per-session contention loss under a named arbitration policy. No slew / retune / changeover time is charged when an aperture changes service or session,

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED Én kjøring tar en kontaktplan (en liste med aos_s/los_s-vinduer, der hvert ber aperturen om navigasjon eller kommunikasjon — det samme vindusvokabularet som passes::predict_passes sender ut, konvertert av aperture_duty::windows_from_passes), et apert

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• MODELLED Én kjøring tar en kontaktplan (en liste med aos_s/los_s-vinduer, der hvert ber aperturen om navigasjon eller kommunikasjon — det samme vindusvokabularet som `passes::pre. Uavhengig referanse (InternalConsistency): Intern konsistens, fra tre størrelser beregnet med ulike uttrykk i samme sveip og deretter krevd å lukke. Apertursekunder for navigasjon, kommunikasjon og ledighet akkumuleres hver for seg — ledighet fra (apertures − |served|) per elementærintervall, aldri som en rest — og summen deres kontrolleres mot apertures × horizon_s, noe en feilplassert grense, en dobbelt-c

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• MODELLED — aperture scheduling arithmetic over a supplied contact plan: an exact interval sweep of navigation-versus-communications time-share and per-session contention loss under a named arbitration policy. No slew / retune / changeover time is charged when an aperture changes service or session, no data volume, buffer state, energy budget or link closure enters the decision, and the contact windows are inputs — th (resultat label)
• MODELLED planleggingsaritmetikk: ingen sving-, omstillings- eller byttetid belastes når en apertur bytter tjeneste eller økt, og ingen datavolum, bufferstatus, energibudsjett eller linklukking inngår i avgjørelsen, og kontaktvinduene er inndata — geometrien deres er det som frembrakte dem. (typekatalog (kshana kinds --json))
• HONEST SCOPE: MODELLED planleggingsaritmetikk over de oppgitte vinduene. Ingen sving-, omstillings- eller byttetid belastes når en apertur bytter tjeneste eller økt; ingen datavolum, bufferstatus, energibudsjett eller linklukking inngår i avgjørelsen; og kontaktvinduene er inndata -- geometrien deres er det som frembrakte dem (scenarioet passes sender ut det samme aos_s / los_s-vokabularet). Ikke et planleggingsprodukt for bakkesegmentet (kommentar i scenariofilen, linje 18 til 24)
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Apertur-driftssyklus for navigasjon mot kommunikasjon er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Oppdragsanalyse, linker og romoperasjoner
• Alle typer: KINDS.md