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

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/space-weather.md

space-weather (Szenariotyp)

Szenarioart der Engine v0.40.0, Familie GNSS-Messungen, Positionierung und Integrität. 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#

Weltraumwetter-Umgebungsmodell: solare (F10.7/F10.7a) und geomagnetische (Kp, mit der definitorischen Tabelle Kp↔ap) Aktivitätsindizes, die von ihnen getriebene exosphärische Temperatur nach Jacchia-1971 (validiert gegen veröffentlichte Werte für Sonnenminimum, -mittel und -maximum) und die thermosphärische Neutraldichte nach Jacchia-1971 bei der tagesgemittelten exosphärischen Temperatur gegenüber dem aktivitätsfreien statischen Profil in einer Reihe von Höhen — die Abhängigkeit der Dichte vom Sonnenzyklus, die die statische Atmosphäre auslässt. MODELLED: Die Dichte stimmt mit beschleunigungsmesserbasierten Dichten (TOLEOS CHAMP und GRACE) innerhalb eines Faktors 2 im Sonnenmaximum überein, ist aber im Sonnenminimum 2008 etwa 1.7x zu dicht.

Ein Lauf von scenarios/space-weather.toml fasst sich zusammen als: space-weather: F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K; Dichte x1.49 bei 300 km (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: f107, f107a, kp, altitudes_km

Das Beispiel scenarios/space-weather.toml setzt unter anderem:

Feld Wert Einheit
altitudes_km [300, 400, 500, 600, 800] km
f107 180 sfu
f107a 165 sfu
kind space-weather Text
kp 4 1

Ausführen#

kshana scenarios/space-weather.toml

Was es liefert#

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

Ergebnis Wert Einheit
ap 27 2 nT
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
exospheric_temperature_k 1046.737945 K
f107 180 sfu
f107a 165 sfu
kp 4 1
mean_exospheric_temperature_k 1186.737445 K

Ergebnisbezeichnung (die der Engine): MODELLED — solare/geomagnetische Indizes, exosphärische Temperatur nach Jacchia-71 und statische Dichte nach Jacchia-71 bei der tagesmittleren Temperatur

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

Nachweise#

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

  • MODELLED Solare/geomagnetische Indizes (definitorische Kp↔ap-Tabelle), die exosphärische Temperatur nach Jacchia-1971 und die thermosphärische Dichte nach Jacchia 1971 (SAO Special Report 332: statische Diffusionsprofile, die dessen Tabelle 7 reproduzieren, mit den tageszeitlichen, geomagne

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 Solare/geomagnetische Indizes (definitorische Kp↔ap-Tabelle), die exosphärische Temperatur nach Jacchia-1971 und die thermosphärische Dichte nach Jacchia 1971 (SAO Special Report 33. Unabhängige Referenz (ExternalDataset): Definitorische Kp↔ap-Tabelle + geschlossene Form der exosphärischen Temperatur nach Jacchia-1971 (auf <1 K gegen die veröffentlichten Ankerwerte abgeglichen, tests/space_weather_reference.rs); die Dichte wird gegen pymsis NRLMSISE-00 (ein unabhängiges NRL-Modell) charakterisiert: der Sonnenzyklus-Hub bei 800 km beträgt 10.4x gegen 13.6x bei NRLMSISE-00. 0,30-Revision: der kalibrierte Aktivitätsfaktor erster Ordnung wurde durch Jacchia 1971 ersetzt (Standardszenario-Dichte bei 40

Einschränkungen#

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

  • MODELLED — solare/geomagnetische Indizes, exosphärische Temperatur nach Jacchia-71 und statische Dichte nach Jacchia-71 bei der tagesmittleren Temperatur (Ergebnis label)
  • MODELLED: Die Dichte stimmt mit beschleunigungsmesserabgeleiteten Dichten (TOLEOS CHAMP und GRACE) im Sonnenmaximum innerhalb eines Faktors 2 überein, ist aber im Sonnenminimum 2008 etwa 1.7x zu dicht. (Szenarioarten-Katalog (kshana kinds --json))
  • EHRLICHER GELTUNGSBEREICH: MODELLED. Die Kp<->ap-Umrechnung ist die definitorische IAGA-Tabelle, und die exosphärische Temperatur ist gegen veröffentlichte Größenordnungen für Sonnenminimum/-mittel/-maximum validiert, aber die Dichtekorrektur ist eine KALIBRIERTE Skalenhöhenkopplung ERSTER ORDNUNG — sie erfasst das richtige Vorzeichen, die Monotonie und die Größenordnung, NICHT die absolute Genauigkeit einer datenvalidierten (NRLMSISE-00) Atmosphäre. Lauf: kshana scenarios/space-weath (Kommentar der Szenariodatei, Zeilen 10 bis 15)
  • 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))
  • Weltraumwetter-Umgebung & aktivitätsgetriebene thermosphärische Dichte 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))

Siehe auch#