Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/space-weather.md

space-weather (scenariosoort)

Scenariokind van de engine v0.40.0, familie GNSS-metingen, positiebepaling en integriteit. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Ruimteweermodel van de omgeving: zonne- (F10.7/F10.7a) en geomagnetische (Kp, met de definitionele tabel Kp↔ap) activiteitsindices, de exosferische temperatuur volgens Jacchia-1971 die zij aansturen (getoetst tegen gepubliceerde waarden voor zonneminimum/gemiddelde/zonnemaximum), en de neutrale thermosferische dichtheid volgens Jacchia-1971 bij de dagelijks gemiddelde exosferische temperatuur tegenover het activiteitsvrije statische profiel op een reeks hoogten — de afhankelijkheid van de dichtheid van de zonnecyclus die de statische atmosfeer weglaat. MODELLED: de dichtheid komt overeen met uit accelerometers afgeleide dichtheden (TOLEOS CHAMP en GRACE) binnen een factor 2 bij zonnemaximum, maar is ongeveer 1.7x te dicht in het zonneminimum van 2008.

Eén run van scenarios/space-weather.toml vat samen als: space-weather: F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K; dichtheid x1.49 op 300 km (MODELLED)

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: f107, f107a, kp, altitudes_km

Het voorbeeld scenarios/space-weather.toml stelt onder meer in:

Veld Waarde Eenheid
altitudes_km [300, 400, 500, 600, 800] km
f107 180 sfu
f107a 165 sfu
kind space-weather tekst
kp 4 1

Uitvoeren#

kshana scenarios/space-weather.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
ap 27 2 nT
evidence.id_rule de stabiele id van de matrixrij (de ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
exospheric_temperature_k 1046.737945 K
f107 180 sfu
f107a 165 sfu
kp 4 1
mean_exospheric_temperature_k 1186.737445 K

Resultaatlabel (van de engine): MODELLED — zonne-/geomagnetische indices, exosferische temperatuur volgens Jacchia-71 en statische dichtheid volgens Jacchia-71 bij de dagelijks gemiddelde temperatuur

De grafiek die de engine schrijft voor scenarios/space-weather.toml, soort space-weather

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

  • MODELLED Zonne-/geomagnetische indices (definitionele tabel Kp↔ap), de exosferische temperatuur volgens Jacchia-1971 en de thermosferische dichtheid volgens Jacchia 1971 (SAO Special Report 332: statische diffusieprofielen die de Tabel 7 ervan reproduceren, met de dagelijkse, geomagne

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • MODELLED Zonne-/geomagnetische indices (definitionele tabel Kp↔ap), de exosferische temperatuur volgens Jacchia-1971 en de thermosferische dichtheid volgens Jacchia 1971 (SAO Special Report 33. Onafhankelijke referentie (ExternalDataset): definitionele tabel Kp↔ap + gesloten vorm van de exosferische temperatuur volgens Jacchia-1971 (overeenkomend tot <1 K met de gepubliceerde ankerwaarden, tests/space_weather_reference.rs); de dichtheid is gekarakteriseerd tegen pymsis NRLMSISE-00 (een onafhankelijk NRL-model): de zonnecyclusschommeling op 800 km is 10.4x tegenover 13.6x bij NRLMSISE-00. Herziening 0,30: de gekalibreerde activiteitsfactor van de eerste orde is vervangen door Jacchia 1971 (dichtheid van het standaardscenario op 40

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • MODELLED — zonne-/geomagnetische indices, exosferische temperatuur volgens Jacchia-71 en statische dichtheid volgens Jacchia-71 bij de dagelijks gemiddelde temperatuur (resultaat label)
  • MODELLED: de dichtheid komt overeen met uit accelerometers afgeleide dichtheden (TOLEOS CHAMP en GRACE) binnen een factor 2 bij zonnemaximum, maar is ongeveer 1.7x te dicht in het zonneminimum van 2008. (soortencatalogus (kshana kinds --json))
  • EERLIJKE REIKWIJDTE: MODELLED. De omrekening Kp<->ap is de definitionele IAGA-tabel en de exosferische temperatuur is getoetst aan gepubliceerde groottes voor zonneminimum/gemiddelde/zonnemaximum, maar de dichtheidscorrectie is een GEKALIBREERDE koppeling van de EERSTE ORDE met de schaalhoogte — zij geeft het juiste teken, de juiste monotoniciteit en de juiste orde van grootte, NIET de absolute nauwkeurigheid van een met data getoetste atmosfeer (NRLMSISE-00). Run: kshana scenarios/space-weath (opmerking in het scenariobestand, regels 10 tot 15)
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • De ruimteweeromgeving en de door activiteit gestuurde thermosferische dichtheid zijn MODELLED, niet getoetst: een deelclaim is extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#