aperture-duty-cycle (scenarietype)

Scenarietype i motoren v0.40.0, familien Missionsanalyse, forbindelser og rumoperationer. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke typegodkendt navigationsudstyr og ikke en tjeneste til beskyttelse af menneskeliv. Hver etiket her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en etiket optjenes: afsnittet Evidence i README'en).

Hvad det gør#

Aperturens driftscyklus: den tidsfordeling mellem navigation og kommunikation, som en kontaktplan medfører for en pulje af styrbare aperturer. Tager en kontaktplan (en liste af aos_s/los_s-vinduer i [[contacts]], der hver beder om navigation eller kommunikation — det samme aos_s/los_s-ordforråd, som prædiktoren passes udsender), et antal aperturer og en ARBITRERINGSPOLITIK (navigationsprioritet som standard, eller kommunikationsprioritet, eller ikke-præemptiv først til mølle), og rapporterer navigationsdriften, kommunikationsdriften, tomgangsdriften og udfaldet pr. session — den kontakttid, en session bad om, og som ingen apertur dækkede. Et præcist intervalsweep over vinduesgrænserne, så vinduer, der blot berører hinanden, aldrig konkurrerer, og ingen aperturssekunder tælles dobbelt; navigations-, kommunikations- og tomgangsaperturssekunder akkumuleres uafhængigt og lukker mod apertures*horizon_s. Rapporten angiver den opløste politik, dens fulde definition samt definitionerne af drift og udfald, fordi et driftstal, der angives uden sin arbiteringspolitik, ikke kan reproduceres. MODELLED planlægningsaritmetik: der regnes ingen tid for slew / omstilling / skift, når en apertur skifter tjeneste eller session, intet datavolumen, ingen bufferstatus, intet energibudget og ingen linklukning indgår i beslutningen, og kontaktvinduerne er input — deres geometri er det, der frembragte dem. Ikke et planlægningsprodukt til jordsegmentet.

Én kørsel af scenarios/aperture-duty-cycle.toml opsummeres som: aperture-duty-cycle: 6 session(er) på 2 apertur(er) under navigationsprioritet -> navigationsdrift 0,1167, kommunikationsdrift 0,2667, tomgang 0,6167; 0 s af 6900 s anmodet tabt til konkurrence (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

Eksemplet scenarios/aperture-duty-cycle.toml angiver blandt andet:

Kør den#

kshana scenarios/aperture-duty-cycle.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatmærkat (motorens egen): MODELLED — aperturplanlægningsaritmetik over en leveret kontaktplan: et præcist intervalsweep af tidsfordelingen mellem navigation og kommunikation og af konkurrencetabet pr. session under en navngiven arbiteringspolitik. Der regnes ingen tid for slew / omstilling / skift, når en apertur skifter tjeneste eller session,

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED Én kørsel tager en kontaktplan (en liste af aos_s/los_s-vinduer, der hver beder aperturen om navigation eller kommunikation — det samme vinduesordforråd, som passes::predict_passes udsender, konverteret af aperture_duty::windows_from_passes), en apert

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED Én kørsel tager en kontaktplan (en liste af aos_s/los_s-vinduer, der hver beder aperturen om navigation eller kommunikation — det samme vinduesordforråd som `passes::pre. Uafhængig reference (InternalConsistency): Intern konsistens, ud fra tre størrelser beregnet med forskellige udtryk i det samme sweep og derefter krævet at lukke. Navigationsaperturssekunder, kommunikationsaperturssekunder og tomgangsaperturssekunder akkumuleres hver for sig — tomgang ud fra (apertures − |served|) pr. elementært interval, aldrig som en rest — og deres sum kontrolleres mod apertures × horizon_s, hvilket en forkert afgrænset grænse, en dobbelt-c

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED — aperturplanlægningsaritmetik over en leveret kontaktplan: et præcist intervalsweep af tidsfordelingen mellem navigation og kommunikation og af konkurrencetabet pr. session under en navngiven arbiteringspolitik. Der regnes ingen tid for slew / omstilling / skift, når en apertur skifter tjeneste eller session, intet datavolumen, ingen bufferstatus, intet energibudget og ingen linklukning indgår i beslutningen, og kontaktvinduerne er input — th (resultat label)
• MODELLED planlægningsaritmetik: der regnes ingen tid for slew / omstilling / skift, når en apertur skifter tjeneste eller session, intet datavolumen, ingen bufferstatus, intet energibudget og ingen linklukning indgår i beslutningen, og kontaktvinduerne er input — deres geometri er det, der frembragte dem. (typekatalog (kshana kinds --json))
• ÆRLIG AFGRÆNSNING: MODELLED planlægningsaritmetik over de leverede vinduer. Der regnes ingen tid for slew / omstilling / skift, når en apertur skifter tjeneste eller session; intet datavolumen, ingen bufferstatus, intet energibudget og ingen linklukning indgår i beslutningen; og kontaktvinduerne er input -- deres geometri er det, der frembragte dem (scenariet passes udsender det samme aos_s / los_s-ordforråd). Ikke en planlægning af jordsegmentet (kommentar i scenariefilen, linje 18 til 24)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Aperturens driftscyklus mellem navigation og kommunikation er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Missionsanalyse, links og rumoperationer
• Alle typer: KINDS.md