Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/space-weather.md

space-weather (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Měření GNSS, určování polohy a integrita. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Model prostředí kosmického počasí: indexy sluneční (F10.7/F10.7a) a geomagnetické (Kp, s definiční tabulkou Kp↔ap) aktivity, jimi řízená exosférická teplota podle Jacchii-1971 (ověřená proti publikovaným hodnotám pro sluneční minimum/průměr/maximum) a termosférická neutrální hustota podle Jacchii-1971 při denně středované exosférické teplotě oproti statickému profilu bez vlivu aktivity ve sadě výšek — závislost hustoty na slunečním cyklu, kterou statická atmosféra vynechává. MODELLED: hustota souhlasí s hustotami odvozenými z akcelerometrů (TOLEOS CHAMP a GRACE) v rozmezí faktoru 2 při slunečním maximu, ale je asi 1.7x příliš hustá v slunečním minimu v roce 2008.

Jeden běh scenarios/space-weather.toml se shrnuje takto: space-weather: F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K; hustota x1.49 ve 300 km (MODELLED)

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: žádná
  • Volitelná pole: f107, f107a, kp, altitudes_km

Příklad scenarios/space-weather.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
altitudes_km [300, 400, 500, 600, 800] km
f107 180 sfu
f107a 165 sfu
kind space-weather text
kp 4 1

Spusťte jej#

kshana scenarios/space-weather.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
ap 27 2 nT
evidence.id_rule stabilní id řádku matice (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

Popisek výsledku (z enginu): MODELLED — sluneční/geomagnetické indexy, exosférická teplota Jacchia-71 a statická hustota Jacchia-71 při denně středované teplotě

Graf, který engine zapisuje pro scenarios/space-weather.toml, druh space-weather

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Sluneční/geomagnetické indexy (definiční tabulka Kp↔ap), exosférická teplota Jacchia-1971 a termosférická hustota Jacchia 1971 (SAO Special Report 332: statické difuzní profily reprodukující jeho tabulku 7, s denní, geomagne

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • MODELLED Sluneční/geomagnetické indexy (definiční tabulka Kp↔ap), exosférická teplota Jacchia-1971 a termosférická hustota Jacchia 1971 (SAO Special Report 33. Orákulum (ExternalDataset): Definiční tabulka Kp↔ap + exosférická teplota Jacchia-1971 v uzavřeném tvaru (shoda na <1 K proti publikovaným kotvám, tests/space_weather_reference.rs); hustota je charakterizována proti pymsis NRLMSISE-00 (nezávislý model NRL): kolísání ve výšce 800 km v rámci slunečního cyklu je 10.4x oproti 13.6x u NRLMSISE-00. Revize 0,30: kalibrovaný aktivitní faktor prvního řádu byl nahrazen Jacchiou 1971 (hustota výchozího scénáře při 40

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • MODELLED — sluneční/geomagnetické indexy, exosférická teplota Jacchia-71 a statická hustota Jacchia-71 při denně středované teplotě (výsledek label)
  • MODELLED: hustota souhlasí s hustotami odvozenými z akcelerometrů (TOLEOS CHAMP a GRACE) v rozmezí faktoru 2 při slunečním maximu, ale je asi 1.7x příliš hustá v slunečním minimu v roce 2008. (katalog druhů (kshana kinds --json))
  • ČESTNÝ ROZSAH: MODELLED. Převod Kp<->ap je definiční tabulka IAGA a exosférická teplota je ověřena proti publikovaným hodnotám pro sluneční minimum/průměr/maximum, ale korekce hustoty je KALIBROVANÁ vazba výškové stupnice PRVNÍHO ŘÁDU — zachycuje správné znaménko, monotónnost a řád velikosti, NIKOLI absolutní přesnost atmosféry ověřené na datech (NRLMSISE-00). Spuštění: kshana scenarios/space-weath (komentář v souboru scénáře, řádky 10 až 15)
  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Prostředí kosmického počasí a termosférická hustota řízená aktivitou jsou MODELLED, nikoli ověřené: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá dohromady modelované části, takže schopnost zůstává v kategorii vypočtené z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#