space-weather (scenariotyp)
Scenariotyp i motor v0.40.0, familj GNSS-mätningar, positionering och integritet. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).
Vad den gör#
Modell av rymdvädermiljön: indexen för sol- (F10.7/F10.7a) och geomagnetisk (Kp, med den definitionsmässiga tabellen Kp↔ap) aktivitet, den exosfäriska temperatur enligt Jacchia-1971 som de driver (validerad mot publicerade värden för solminimum/medel/maximum), och den termosfäriska neutraldensiteten enligt Jacchia-1971 vid den dygnsmedelvärdade exosfäriska temperaturen mot den aktivitetsfria statiska profilen vid en uppsättning höjder — solcykelberoendet i densiteten som den statiska atmosfären utelämnar. MODELLED: densiteten stämmer med accelerometerhärledda densiteter (TOLEOS CHAMP och GRACE) inom en faktor 2 vid solmaximum men är omkring 1.7x för tät vid solminimum 2008.
En körning av scenarios/space-weather.toml sammanfattas som: space-weather: F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K; densitet x1.49 vid 300 km (MODELLED)
Indata#
Från schemat (kshana kinds --json):
- Obligatoriska fält: inga
- Valfria fält:
f107,f107a,kp,altitudes_km
Exemplet scenarios/space-weather.toml anger bland annat:
| Fält | Värde | Enhet |
|---|---|---|
altitudes_km |
[300, 400, 500, 600, 800] | km |
f107 |
180 | sfu |
f107a |
165 | sfu |
kind |
space-weather | text |
kp |
4 | 1 |
Kör den#
kshana scenarios/space-weather.toml
Vad den ger#
De skalära resultaten av den körningen, med de enheter som motorn anger:
| Resultat | Värde | Enhet |
|---|---|---|
ap |
27 | 2 nT |
evidence.id_rule |
det stabila id:t för matrisraden (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 |
Resultatetikett (motorns egen): MODELLED — sol- och geomagnetiska index, exosfärtemperatur enligt Jacchia-71 och statisk densitet enligt Jacchia-71 vid dygnsmedeltemperaturen
Evidens#
MODELLED: raderna i verifieringsmatrisen som nämner den här typen.
- MODELLED Sol- och geomagnetiska index (definitionsmässig Kp↔ap-tabell), exosfärtemperaturen enligt Jacchia-1971 och den termosfäriska densiteten enligt Jacchia 1971 (SAO Special Report 332: statiska diffusionsprofiler som återger dess Tabell 7, med dygns-, geomagne
De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):
- MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
- MODELLED Sol- och geomagnetiska index (definitionsmässig Kp↔ap-tabell), exosfärtemperaturen enligt Jacchia-1971 och den termosfäriska densiteten enligt Jacchia 1971 (SAO Special Report 33. Oberoende referens (ExternalDataset): Definitionsmässig Kp↔ap-tabell + sluten form för exosfärtemperaturen enligt Jacchia-1971 (överensstämmer inom <1 K mot de publicerade ankarvärdena, tests/space_weather_reference.rs); densiteten karakteriseras mot pymsis NRLMSISE-00 (en oberoende NRL-modell): solcykelns svängning på 800 km är 10.4x mot 13.6x för NRLMSISE-00. Revision 0,30: den kalibrerade aktivitetsfaktorn av första ordningen ersattes av Jacchia 1971 (densitet i standardscenariot vid 40
Begränsningar#
Vad körningens egen rapport säger inte är modellerat eller inte validerat:
- MODELLED — sol- och geomagnetiska index, exosfärtemperatur enligt Jacchia-71 och statisk densitet enligt Jacchia-71 vid dygnsmedeltemperaturen (resultat
label) - MODELLED: densiteten stämmer med densiteter härledda ur accelerometrar (TOLEOS CHAMP och GRACE) inom en faktor 2 vid solmaximum men är ungefär 1.7x för tät under solminimet 2008. (typkatalog (
kshana kinds --json)) - ÄRLIG AVGRÄNSNING: MODELLED. Omvandlingen Kp<->ap är den definitionsmässiga IAGA-tabellen och exosfärtemperaturen är validerad mot publicerade storleksordningar för solminimum, medelvärde och solmaximum, men densitetskorrektionen är en KALIBRERAD KOPPLING AV FÖRSTA ORDNINGEN via skalhöjd — den fångar rätt tecken, monotoni och storleksordning, INTE den absoluta noggrannheten hos en datavaliderad atmosfär (NRLMSISE-00). Kör: kshana scenarios/space-weath (kommentar i scenariofilen, rad 10 till 15)
- Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
- Rymdvädermiljö och aktivitetsdriven termosfärisk densitet är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts samman av modellerade delar, så förmågan förblir modellerad. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
Se även#
- Familjesida: GNSS-mätningar, positionering och integritet
- Alla typer: KINDS.md