Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/space-weather.md

space-weather (scenarietype)

Scenarietype i motoren v0.40.0, familie GNSS-målinger, positionsbestemmelse og integritet. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Model af rumvejrsmiljøet: indekser for solaktivitet (F10.7/F10.7a) og geomagnetisk aktivitet (Kp, med den definitoriske tabel Kp↔ap), den eksosfæriske temperatur efter Jacchia-1971, som de driver (valideret mod offentliggjort solminimum/middel/solmaksimum), og den termosfæriske neutrale tæthed efter Jacchia-1971 ved den eksosfæriske middeltemperatur over døgnet mod den aktivitetsfrie statiske profil ved et sæt højder — den afhængighed af solcyklussen i tætheden, som den statiske atmosfære udelader. MODELLED: tætheden stemmer med accelerometerafledte tætheder (TOLEOS CHAMP og GRACE) inden for en faktor 2 ved solmaksimum, men er omkring 1.7x for høj i solminimum 2008.

Én kørsel af scenarios/space-weather.toml opsummeres som: space-weather: F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K; tæthed x1.49 ved 300 km (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: ingen
  • Valgfrie felter: f107, f107a, kp, altitudes_km

Eksemplet scenarios/space-weather.toml angiver blandt andet:

Felt Værdi Enhed
altitudes_km [300, 400, 500, 600, 800] km
f107 180 sfu
f107a 165 sfu
kind space-weather tekst
kp 4 1

Kør den#

kshana scenarios/space-weather.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
ap 27 2 nT
evidence.id_rule det stabile id for matrixrækken (kolonnen 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

Resultatetiket (motorens egen): MODELLED — indekser for sol og geomagnetisme, eksosfærisk temperatur efter Jacchia-71 og statisk tæthed efter Jacchia-71 ved middeltemperaturen over døgnet

Diagrammet, som motoren skriver for scenarios/space-weather.toml, type space-weather

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

  • MODELLED Indekser for sol og geomagnetisme (definitorisk tabel Kp↔ap), den eksosfæriske temperatur efter Jacchia-1971 og den termosfæriske tæthed efter Jacchia 1971 (SAO Special Report 332: statiske diffusionsprofiler, der gengiver dens Table 7, med de døgnlige, geomagne

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
  • MODELLED Indekser for sol og geomagnetisme (definitorisk tabel Kp↔ap), den eksosfæriske temperatur efter Jacchia-1971 og den termosfæriske tæthed efter Jacchia 1971 (SAO Special Report 33. Uafhængig reference (ExternalDataset): definitorisk tabel Kp↔ap + lukket form for eksosfærisk temperatur efter Jacchia-1971 (afstemt til <1 K mod de offentliggjorte ankerpunkter, tests/space_weather_reference.rs); tætheden er karakteriseret mod pymsis NRLMSISE-00 (en uafhængig NRL-model): udsvinget over solcyklussen ved 800 km er 10.4x mod NRLMSISE-00 13.6x. Revision 0,30: den kalibrerede førsteordens aktivitetsfaktor blev erstattet af Jacchia 1971 (tæthed i standardscenariet ved 40

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • MODELLED — indekser for sol og geomagnetisme, eksosfærisk temperatur efter Jacchia-71 og statisk tæthed efter Jacchia-71 ved middeltemperaturen over døgnet (resultat label)
  • MODELLED: tætheden stemmer med accelerometerafledte tætheder (TOLEOS CHAMP og GRACE) inden for en faktor 2 ved solmaksimum, men er omkring 1.7x for høj i solminimum 2008. (typekatalog (kshana kinds --json))
  • ÆRLIG AFGRÆNSNING: MODELLED. Konverteringen Kp<->ap er den definitoriske IAGA-tabel, og den eksosfæriske temperatur er valideret mod offentliggjorte størrelser for solminimum/middel/solmaksimum, men tæthedskorrektionen er en KALIBRERET FØRSTEORDENS kobling af skalahøjden — den fanger det rigtige fortegn, den rigtige monotoni og den rigtige størrelsesorden, IKKE den absolutte nøjagtighed af en datavalideret (NRLMSISE-00) atmosfære. Kør: kshana scenarios/space-weath (kommentar i scenariefilen, linje 10 til 15)
  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Rumvejrsmiljø og aktivitetsdreven termosfærisk tæthed er MODELLED, ikke valideret: et delkrav er kontrolleret eksternt, men hele funktionen sammensætter modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#