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

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/optical-atmosphere.md

optical-atmosphere (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Optical PNT. Hinweis (beratend): Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine typzugelassene Navigationsausrüstung und kein Safety-of-Life-Dienst. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Szenarioart ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung erworben wird: der Abschnitt Evidence der README).

Was es tut#

MODELLED optische PNT durch die Atmosphäre: Für eine optische Strecke und eine Menge von Bodenstandorten mit angegebenem Wolkenklima gibt sie den wellenlängen- und elevationsabhängigen Klarluftverlust (Kim-Sichtweitengesetz plus Rayleigh), den Hufnagel-Valley-Turbulenzzustand (Rytov-Varianz, Szintillationsindex, Gamma-Gamma-Parameter, Aperturmittelung), die wetterbedingte Verfügbarkeit gegen die Streckenreserve (optische Wolkentiefe aus einem lognormalen Flüssigwasser-Klima, geometrisch-optische Extinktion, unabhängiger Turbulenzschwund), die für Zielverfügbarkeiten nötige Streckenreserve, die Verteilung der Ausfalldauer, das Anwachsen des Zeitgebungs- und Entfernungsmessfehlers pro Ausfall über das Uhren-Holdover-Modell, die entfernungskorrelierte Standortdiversitäts-Verfügbarkeit und Was-wäre-wenn-Gewinne für Verbesserungstechniken (Wellenlänge, Empfangsapertur, Szintillationsreduktion durch adaptive Optik, zusätzliche Reserve) aus. VALIDATED als Implementierung der angegebenen Formeln gegen ein unabhängiges mpmath-Referenz: Rytov-Varianz, Szintillationsindex, Gamma-Gamma-Schwundwahrscheinlichkeit, Aperturmittelungsfaktor, optische Tiefe von Wolken und Klarluft. MODELLED: jede Wetter-, Technik- und Uhren-Eingabe sowie die Unabhängigkeits- und Copula-Annahmen; es wurde kein gemessener Verfügbarkeitsnachweis verglichen. Beratende Analyse, kein zertifiziertes Verfügbarkeits- oder Navigationsprodukt.

Ein Lauf von scenarios/optical-atmosphere-network.toml fasst sich zusammen als: optical-atmosphere: 1550 nm bei 30 deg Elevation, Reserve 19,2 dB vor der Atmosphäre; bester Standort südlich 74,66 %; 3-Standort-Netz 92,72 % unabhängig / 91,62 % korreliert Wetter (MODELLED, beratend)

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: wavelength_nm, elevation_deg, availability_targets_pct, link, atmosphere, site, network, technique, clock, timeseries

Das Beispiel scenarios/optical-atmosphere-network.toml setzt unter anderem:

Feld Wert Einheit
atmosphere.aerosol_scale_height_m 1200 m
atmosphere.cloud_effective_radius_um 10 nicht angegeben
atmosphere.direction downlink Text
atmosphere.hv_ground_cn2 1.7000e-14 nicht angegeben
atmosphere.hv_wind_ms 21 ms
atmosphere.path_eff_km 10 km
atmosphere.top_km 30 km
atmosphere.visibility_km 23 km
atmosphere.wave plane Text
availability_targets_pct [40, 50, 60, 70] %
clock.classes [ocxo, rafs, dsac] nicht angegeben
clock.threshold_ns 100 ns

Ausführen#

kshana scenarios/optical-atmosphere-network.toml

2 mitgelieferte Szenarien verwenden diese Art; die anderen sind in scenarios/.

Was es liefert#

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

Ergebnis Wert Einheit
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
inputs.correlation_length_km 500 km
inputs.direction downlink Text
inputs.elevation_deg 30 deg
inputs.wave plane Text
inputs.wavelength_nm 1550 nm
inputs.zenith_deg 60 deg
link.footprint_m 15.5 m

Ergebnisbezeichnung (die der Engine): MODELLED — optische PNT durch die Atmosphäre: Klarluftextinktion (Kim-Sichtweitengesetz + Rayleigh), optische Wolkentiefe aus einem angegebenen Flüssigwasser-Klima (P.840-Menge, geometrisch-optische Extinktion), Hufnagel-Valley-Turbulenz mit Gamma-Gamma-Schwund und Aperturmittelung, Verfügbarkeit gegen die

Das Diagramm, das die Engine für scenarios/optical-atmosphere-network.toml schreibt, Szenarioart optical-atmosphere

Nachweise#

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

  • MODELLED Hufnagel-Valley-Cn2, entlang eines Schrägpfads integriert, für die Rytov-Varianz bei ebener und sphärischer Welle (Uplink und Downlink), den Szintillationsindex nach Andrews-Phillips und die Gamma-Gamma-Parameter, die Gamma-Gamma-Schwundwahrscheinlichkeit und die Schwundreserve, Tests: optical_atmosphere_reference.rs.
  • MODELLED Verfügbarkeit einer optischen Strecke gegen eine angegebene Streckenreserve aus einem lognormalen Wolken-Flüssigwasser-Klima (ITU-R-P.840-Menge, geometrisch-optische Extinktion) und dem unabhängigen Gamma-Gamma-Turbulenzschwund, die für Ziel- Tests: optical_atmosphere_identities.rs.
  • MODELLED Die Verteilung der Ausfalldauer eines optischen Standorts, gekoppelt an die geschlossene Auslaufvarianz des Uhren-Holdover-Modells: Zeitgebungs- und Entfernungsmessfehler bei angegebenen Ausfall-Quantilen, das Holdover bis zu einer Zeitgebungsschwelle, der Anteil der Ausfälle und Tests: optical_atmosphere_identities.rs.
  • MODELLED Eine optionale Tabelle [timeseries] (Dauer, Schritt, Seed) lässt die Szenarioart optical-atmosphere zusätzlich pro Standort eine mit Seed erzeugte Realisierung des angegebenen Standortmodells über die Zeit schreiben: Wolkenepisoden (klare Phasen exponentiell, Wolkenausfälle lognormal Tests: optical_atmosphere_timeseries.rs.

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 Hufnagel-Valley-Cn2, entlang eines Schrägpfads integriert, für die Rytov-Varianz bei ebener und sphärischer Welle (Uplink und Downlink), den Szintillationsindex nach Andrews-Phillips und die. Unabhängige Referenz (ExternalDataset): Die Numerik wird mit einem unabhängigen Programm verglichen (xval/optical-atmosphere/oracle.py, mpmath 1.4.1 bei 30 Stellen, Tanh-Sinh-Quadratur über die ursprüngliche Höhenvariable und Bessel-K-Gamma-Gamma-Dichten), das keinen Code mit Kshana teilt, unter Zielwerten, die festgelegt wurden, bevor irgendeine Implementierung existierte (xval/optical-atmosphere/PREREGISTRATION.md). WARUM MODELLED: Diese Referenz wertet dieselben veröffentlichten Formeln aus, es prüft also die Im
  • MODELLED Verfügbarkeit einer optischen Strecke gegen eine angegebene Streckenreserve aus einem lognormalen Wolken-Flüssigwasser-Klima (ITU-R-P.840-Menge, geometrisch-optische Extinktion) und. Unabhängige Referenz (InternalConsistency): Interne Konsistenz: geschlossene Grenzwerte und Monotonie des Diversitätsmodells, die geschlossene Form der Wolkenobergrenze und die lognormalen Ausfallidentitäten. KEINE externe unabhängige Referenz wird beansprucht, und keine wurde verglichen: Es wird kein gemessener Nachweis zur Verfügbarkeit optischer Bodenstationen oder zur wolkenfreien Sichtlinie verwendet. WARUM MODELLED: das Wolkenklima (Wolkenwahrscheinlichkeit, Median und Streuung der Flüssigwassersäule, Ausfalldauern),
  • MODELLED Die Verteilung der Ausfalldauer eines optischen Standorts, gekoppelt an die geschlossene Auslaufvarianz des Uhren-Holdover-Modells: Zeitgebungs- und Entfernungsmessfehler bei angegebenen Aus. Unabhängige Referenz (InternalConsistency): Interne Konsistenz mit dem Holdover-Modul, Bit für Bit; KEINE externe unabhängige Referenz wird beansprucht. Die Klassen-PSDs sind die synthetisierten Langzeit-Untergrenzen, die das Holdover-Modul bereits trägt, sodass die Zahlen dessen angegebenen Vorbehalt erben, dass das Holdover bis zu einer engen Schwelle vom angenommenen Rotrausch-Boden bestimmt wird und nicht von der zitierten Allan-Abweichung. Die Ausfalldauern sind ein lognormales Modell mit angegebenen Parametern, kein gemessenes c

Einschränkungen#

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

  • MODELLED — optische PNT durch die Atmosphäre: Klarluftextinktion (Kim-Sichtweitengesetz + Rayleigh), optische Wolkentiefe aus einem angegebenen Flüssigwasser-Klima (P.840-Menge, geometrisch-optische Extinktion), Hufnagel-Valley-Turbulenz mit Gamma-Gamma-Schwund und Aperturmittelung, Verfügbarkeit gegen die Streckenreserve, an Uhren-Holdover gekoppelte Ausfalldauern und entfernungskorrelierte Standortdiversität. Die Numerik wird geprüft (Ergebnis label)
  • MODELLED optische PNT durch die Atmosphäre: Für eine optische Strecke und eine Menge von Bodenstandorten mit angegebenem Wolkenklima gibt sie den wellenlängen- und elevationsabhängigen Klarluftverlust (Kim-Sichtweitengesetz plus Rayleigh), den Hufnagel-Valley-Turbulenzzustand (Rytov-Varianz, Szintillationsindex, Gamma-Gamma-Parameter, Aperturmittelung), die wetterbedingte Verfügbarkeit gegen die Streckenreserve (optische Wolkentiefe aus (Szenarioarten-Katalog (kshana kinds --json))
  • MODELLED: jede Wetter-, Technik- und Uhren-Eingabe sowie die Unabhängigkeits- und Copula-Annahmen; es wurde kein gemessener Verfügbarkeitsnachweis verglichen. (Szenarioarten-Katalog (kshana kinds --json))
  • Optische PNT durch die Atmosphäre: drei ILLUSTRATIVE Bodenstandorte (ein bewölkterer nördlicher Standort, ein mittlerer zentraler Standort und ein klarerer südlicher Standort), die ein optisches LEO-Terminal unter 30 Grad Elevation bei 1550 nm betrachten. Die Wolkenklimata sind angegebene Eingaben, keine Messungen oder Werte irgendeines Datensatzes, sodass jede unten genannte Verfügbarkeit MODELLED ist. Der Lauf gibt pro Standort den Klarluftverlust, den Hufnagel-Valley-Turbulenzzustand, t (Kommentar der Szenariodatei, Zeilen 1 bis 8)
  • Eine mit Seed erzeugte Realisierung der Strecke jedes Standorts über die Zeit (MODELLED; eine Ziehung aus dem obigen Modell, nicht das Klima). Fehlt sie, wird keine Reihe geschrieben, und das Ergebnis ist das Dokument 0,37. (Kommentar der Szenariodatei, Zeilen 78 bis 79)
  • 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))
  • Numerik der optischen Schrägpfad-Atmosphäre: Rytov-Varianz, Szintillation, Gamma-Gamma-Schwundwahrscheinlichkeit, Aperturmittelung, optische Tiefe von Wolken und Klarluft ist MODELLED, nicht validiert: Eine Teilaussage wird extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, sodass die Fähigkeit modelliert bleibt. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Wettergetriebene Verfügbarkeit optischer Bodenstandorte und entfernungskorrelierte Standortdiversität ist MODELLED, nicht validiert: geprüft gegen ihre eigene geschlossene / analytische Identität — fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#