contact-schedule (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#

Bodenkontaktplanung für mehrere Satelliten über mehreren Stationen: scheinbare Zugriffsfenster (SGP4, erdfestes Bezugssystem IAU 2006/2000A, Refraktion nach ITU-R P.834, Lichtlaufzeit), das DVB-S2-ACM-Datenvolumen jedes Überflugs (Schwellen nach ETSI EN 302 307-1 Tabelle 13) und ein konfliktfreier Zeitplan (ein Satellit je Antenne mit einer Wendezeit, eine Station je Satellit, prioritätsgewichtete Lieferung, begrenzt auf jeden Rückstand) durch einen Greedy-Algorithmus nach Grenznutzen, eine Basislinie nach dem Prinzip „wer zuerst kommt“ und ein exaktes Branch-and-Bound bei kleinen Mengen, mit der Optimalitätslücke des Greedy-Algorithmus. MODELLED.

Ein Lauf von scenarios/contact-schedule.toml fasst sich so zusammen: contact-schedule: 3 satellites x 3 stations over 12 h -> 31 candidate contacts, 22 scheduled; 797266 of 860000 Mbit delivered (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

Das Beispiel scenarios/contact-schedule.toml setzt unter anderem:

Ausführen#

kshana scenarios/contact-schedule.toml

Was es liefert#

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

Ergebnisbezeichnung (die der Engine): MODELLED — Kontaktplan für mehrere Satelliten und mehrere Stationen: scheinbare Zugriffsfenster (SGP4, IAU 2006/2000A, Refraktion nach ITU-R P.834, Lichtlaufzeit), DVB-S2-ACM-Datenvolumen je Überflug aus einem Link-Budget bei klarem Himmel (Schwellen nach ETSI EN 302 307-1 Tabelle 13) und Konfliktauflösung (ein Satellit je Antenne mit Wen

Nachweise#

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

• MODELLED Downlink-Es/N0 entlang jedes Überflugs eines Satelliten über einer Station (EIRP, Freiraumdämpfung, atmosphärische Dämpfung nach dem Kosekansgesetz, übrige Verluste, G/T, Boltzmann-Konstante, Symbolrate), der effizienteste DVB-S2-MODCOD, der seine ETSI EN 302 307-
• MODELLED Kandidatenkontakte aus jedem Überflug Satellit-Station mit seinem ACM-Datenvolumen; Konflikte, bei denen eine Antenne innerhalb ihrer Wendezeit zwei Satelliten bedienen würde oder ein Satellit gleichzeitig zu zwei Stationen herunterladen würde; eine prioritätsgewichtete Lieferung

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
• VALIDATED Sichtbarkeitsüberflüge (AOS, TCA, LOS, maximale scheinbare Elevation, Dauer) eines SGP4-Elementsatzes über einer WGS-84-Station auf dem validierten Erdbahnpfad (IAU 2006. Unabhängige Referenz (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) mit Hipparchus 4.0.3: TLEPropagator auf denselben Elementsätzen in einem TEME, das Orekit nach der angegebenen Definition baut (sein IERS-2010-TOD, gedreht um GAST - GMST), ElevationDetector und ElevationExtremumDetector mit und ohne ITURP834AtmosphericRefraction sowie AngularAzEl mit AngularRadioRefractionModifier für den Lichtlaufzeitfall, Durchgänge und Maximum von Hipparchus gelöst; 60 Fälle (f
• MODELLED Downlink-Es/N0 entlang jedes Überflugs eines Satelliten über einer Station (EIRP, Freiraumdämpfung, atmosphärische Dämpfung nach dem Kosekansgesetz, übrige Verluste, G/T, Boltzmann-Konstante,. Unabhängige Referenz (InternalConsistency): Interne Konsistenz: Die in geschlossener Form aus Tabelle 5a K_bch und den Rahmenlängen berechnete spektrale Effizienz stimmt mit den Effizienzen überein, die Tabelle 13 ausgibt (eine Transkriptionsprüfung der Schwellentabelle); die Teile des Link-Budgets stimmen mit ihren geschlossenen Formen überein; die Auswahl ist monoton in Es/N0 und hält die Marge ein; ACM bewegt mindestens das Volumen mit konstanter Kodierung. Die Überflugsgeometrie stammt aus dem separat VALIDATED a
• MODELLED Kandidatenkontakte aus jedem Überflug Satellit-Station mit seinem ACM-Datenvolumen; Konflikte, bei denen eine Antenne innerhalb ihrer Wendezeit zwei Satelliten bedienen würde oder. Unabhängige Referenz (InternalConsistency): Interne Konsistenz: Das exakte Branch-and-Bound stimmt mit der Brute-Force-Aufzählung bei kleinen Zufallsmengen überein, jeder Plan wird gegen die Konfliktregeln auf Machbarkeit geprüft, und der Greedy-Algorithmus schlägt das exakte Optimum nie. WAS NICHT: Es wurde kein externer Planer und kein Betriebsplan verglichen; Kontakte werden ganz genommen (keine Aufteilung), der Rückstand ist am Fensterbeginn festgelegt, Schwenkzeit über die feste Wendezeit hinaus und an Bord

Einschränkungen#

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

• MODELLED — Kontaktplan für mehrere Satelliten und mehrere Stationen: scheinbare Zugriffsfenster (SGP4, IAU 2006/2000A, Refraktion nach ITU-R P.834, Lichtlaufzeit), DVB-S2-ACM-Datenvolumen je Überflug aus einem Link-Budget bei klarem Himmel (Schwellen nach ETSI EN 302 307-1 Tabelle 13) und Konfliktauflösung (ein Satellit je Antenne mit Wendezeit, eine Station je Satellit) durch einen Greedy-Algorithmus nach Grenznutzen, gegen ein exaktes Branch-and-Bound geprüft; kein Regenschwund, (Ergebnis label)
• MODELLED. (Artenkatalog (kshana kinds --json))
• Jede Zahl unten ist ILLUSTRATIVE: weder Bahnen, Stationen noch Link-Budget eines Betreibers. MODELLED: Der Planer wird gegen seinen eigenen exakten Löser geprüft, nicht gegen ein externes Werkzeug. (Kommentar der Szenariodatei, Zeilen 11 bis 12)
• 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))
• Adaptive Kodierung und Modulation nach DVB-S2 entlang eines LEO-Downlink-Überflugs 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))
• Die Bodenkontaktplanung für mehrere Satelliten und mehrere Stationen mit Konfliktauflösung 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
• Themenseite: CONTACT-SCHEDULING.md