aperture-duty-cycle (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Missionsanalyse, Links und Raumfahrtbetrieb. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Aperture-Duty-Cycle: die Aufteilung der Zeit zwischen Navigation und Kommunikation, die ein Kontaktplan für einen Pool lenkbarer Aperturen impliziert. Nimmt einen Kontaktplan (eine Liste von Fenstern [[contacts]] aos_s/los_s, die jeweils Navigation oder Kommunikation anfordern — dasselbe aos_s/los_s-Vokabular, das der Prädiktor passes ausgibt), eine Aperturanzahl und eine ARBITRIERUNGSREGEL (standardmäßig Navigationspriorität, oder Kommunikationspriorität, oder nicht verdrängendes First-come-first-served) und meldet die Navigationsauslastung, die Kommunikationsauslastung, die Leerlaufauslastung und den Ausfall je Sitzung — die Kontaktzeit, die eine Sitzung angefordert hat und die keine Apertur bedient hat. Ein exakter Intervall-Sweep über die Fenstergrenzen, sodass sich berührende Fenster nie konkurrieren und keine Aperturssekunde doppelt gezählt wird; Navigations-, Kommunikations- und Leerlauf-Aperturssekunden werden unabhängig akkumuliert und schließen gegen apertures*horizon_s. Der Bericht nennt die aufgelöste Regel, ihre vollständige Definition und die Definitionen von Auslastung und Ausfall, weil eine Auslastungszahl ohne ihre Arbitrierungsregel nicht reproduzierbar ist. MODELLED Planungsarithmetik: Es wird keine Schwenk-, Umstimm- oder Wechselzeit berechnet, wenn eine Apertur Dienst oder Sitzung wechselt, und weder Datenvolumen, Pufferzustand, Energiebudget noch Linkschluss gehen in die Entscheidung ein, und die Kontaktfenster sind Eingaben — ihre Geometrie ist, was sie erzeugt hat. Kein Planungsprodukt für das Bodensegment.

Ein Lauf von scenarios/aperture-duty-cycle.toml fasst sich so zusammen: 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)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

Das Beispiel scenarios/aperture-duty-cycle.toml setzt unter anderem:

Ausführen#

kshana scenarios/aperture-duty-cycle.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnisbezeichnung (die der Engine): MODELLED — Aperturplanungsarithmetik über einem gelieferten Kontaktplan: ein exakter Intervall-Sweep der Zeitaufteilung zwischen Navigation und Kommunikation und des Konfliktverlusts je Sitzung unter einer benannten Arbitrierungsregel. Es wird keine Schwenk-, Umstimm- oder Wechselzeit berechnet, wenn eine Apertur Dienst oder Sitzung wechselt,

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

• MODELLED Ein Lauf nimmt einen Kontaktplan (eine Liste von aos_s/los_s-Fenstern, die jeweils von der Apertur Navigation oder Kommunikation anfordern — dasselbe Fenstervokabular, das passes::predict_passes ausgibt, umgewandelt von aperture_duty::windows_from_passes), eine Apert

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• MODELLED Ein Lauf nimmt einen Kontaktplan (eine Liste von aos_s/los_s-Fenstern, die jeweils von der Apertur Navigation oder Kommunikation anfordern — dasselbe Fenstervokabular, das `passes::pre. Unabhängige Referenz (InternalConsistency): Interne Konsistenz, aus drei Größen, die in demselben Sweep durch verschiedene Ausdrücke berechnet und dann zum Schließen verlangt werden. Navigations-Aperturssekunden, Kommunikations-Aperturssekunden und Leerlauf-Aperturssekunden werden getrennt akkumuliert — Leerlauf aus (apertures − |served|) je Elementarintervall, nie als Rest — und ihre Summe wird gegen apertures × horizon_s geprüft, was eine falsch geklammerte Grenze, ein doppelt gezähltes

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• MODELLED — Aperturplanungsarithmetik über einem gelieferten Kontaktplan: ein exakter Intervall-Sweep der Zeitaufteilung zwischen Navigation und Kommunikation und des Konfliktverlusts je Sitzung unter einer benannten Arbitrierungsregel. Es wird keine Schwenk-, Umstimm- oder Wechselzeit berechnet, wenn eine Apertur Dienst oder Sitzung wechselt, weder Datenvolumen, Pufferzustand, Energiebudget noch Linkschluss gehen in die Entscheidung ein, und die Kontaktfenster sind Eingaben — ihre (Ergebnis label)
• MODELLED Planungsarithmetik: Es wird keine Schwenk-, Umstimm- oder Wechselzeit berechnet, wenn eine Apertur Dienst oder Sitzung wechselt, und weder Datenvolumen, Pufferzustand, Energiebudget noch Linkschluss gehen in die Entscheidung ein, und die Kontaktfenster sind Eingaben — ihre Geometrie ist, was sie erzeugt hat. (Artenkatalog (kshana kinds --json))
• EHRLICHER GELTUNGSBEREICH: MODELLED Planungsarithmetik über den gelieferten Fenstern. Es wird keine Schwenk-, Umstimm- oder Wechselzeit berechnet, wenn eine Apertur Dienst oder Sitzung wechselt; weder Datenvolumen, Pufferzustand, Energiebudget noch Linkschluss gehen in die Entscheidung ein; und die Kontaktfenster sind Eingaben -- ihre Geometrie ist, was sie erzeugt hat (das Szenario passes gibt dasselbe aos_s-/los_s-Vokabular aus). Kein Planungs (Kommentar der Szenariodatei, Zeilen 18 bis 24)
• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Der Navigations-gegenüber-Kommunikations-Duty-Cycle einer Apertur ist MODELLED, nicht validiert: gegen die eigene geschlossene bzw. analytische Identität geprüft — fängt Transkriptions- und Koeffizientenfehler ab, ist aber keine unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Missionsanalyse, Links und Raumfahrtbetrieb
• Alle Arten: KINDS.md