Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/acm-link.md

acm-link (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#

Ein Satellit über einer Station: Schrägentfernung, Elevation und Es/N0 jedes Überflugs entlang des Überflugs, der bei jedem Schritt gewählte DVB-S2-MODCOD (Schwellen nach ETSI EN 302 307-1 Tabelle 13 plus eine Implementierungsmarge) und das Datenvolumen, das ACM gegenüber der Basislinie mit konstanter Kodierung bewegt, die an der Maske schließt. MODELLED.

Ein Lauf von scenarios/acm-link.toml fasst sich so zusammen: acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

Das Beispiel scenarios/acm-link.toml setzt unter anderem:

Feld Wert Einheit
duration_hours 12 h
epoch [2024, 1, 1, 0, 0, 0] nicht angegeben
kind acm-link Text
light_time true Flag
link.acm_step_s 10 s
link.eirp_dbw 7 dBW
link.frequency_ghz 8.2 GHz
link.implementation_margin_db 1 dB
link.other_losses_db 2 dB
link.symbol_rate_msps 20 Msymbol/s
link.zenith_atm_loss_db 0.3 dB
refraction true Flag

Ausführen#

kshana scenarios/acm-link.toml

Was es liefert#

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

Ergebnis Wert Einheit
acm_gain 1.587588 1
acm_volume_mbit 92866.013644 Mbit
altitude_km 550 km
ccm_es_n0_at_mask_db 9.550995 dB
ccm_modcod 8PSK 3/4 Text
ccm_volume_mbit 58495.039442 Mbit
duration_hours 12 h
eirp_dbw 7 dBW
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text

Ergebnisbezeichnung (die der Engine): MODELLED — adaptive Kodierung und Modulation nach DVB-S2 über die Überflüge eines Satelliten an einer Station: Es/N0 bei klarem Himmel entlang jedes scheinbaren Überflugs, der effizienteste MODCOD, der seine Schwelle nach ETSI EN 302 307-1 Tabelle 13 plus eine Marge erfüllt, gegenüber dem MODCOD mit konstanter Kodierung, der an der Maske schließt; kein Regen

Das Diagramm, das die Engine für scenarios/acm-link.toml schreibt, Art acm-link

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-

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

Einschränkungen#

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

  • MODELLED — adaptive Kodierung und Modulation nach DVB-S2 über die Überflüge eines Satelliten an einer Station: Es/N0 bei klarem Himmel entlang jedes scheinbaren Überflugs, der effizienteste MODCOD, der seine Schwelle nach ETSI EN 302 307-1 Tabelle 13 plus eine Marge erfüllt, gegenüber dem MODCOD mit konstanter Kodierung, der an der Maske schließt; kein Regenschwund und kein Zeigeverlust entlang des Überflugs (Ergebnis label)
  • MODELLED. (Artenkatalog (kshana kinds --json))
  • Jede Zahl unten ist ILLUSTRATIVE: weder Bahn, Station noch Link-Budget eines Betreibers. MODELLED. (Kommentar der Szenariodatei, Zeile 8)
  • 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))

Siehe auch#