Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/space-weather.md

space-weather (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Pomiary GNSS, pozycjonowanie i integralność. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi od silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, o ile macierz nie mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Model środowiska pogody kosmicznej: wskaźniki aktywności słonecznej (F10.7/F10.7a) i geomagnetycznej (Kp, z definicyjną tabelą Kp↔ap), temperatura egzosferyczna Jacchia-1971, którą one napędzają (sprawdzona względem niezależnego wzorca zewnętrznego dla opublikowanych wartości w minimum, średniej i maksimum słonecznym), oraz gęstość neutralna termosfery Jacchia-1971 przy średniodobowej temperaturze egzosferycznej wobec statycznego profilu niezależnego od aktywności na zbiorze wysokości — zależność gęstości od cyklu słonecznego, której atmosfera statyczna nie uwzględnia. MODELLED: gęstość zgadza się z gęstościami wyprowadzonymi z akcelerometrów (TOLEOS CHAMP i GRACE) w granicach czynnika 2 w maksimum słonecznym, lecz jest około 1.7x zbyt gęsta w minimum słonecznym z 2008.

Jeden przebieg scenarios/space-weather.toml podsumowuje się tak: space-weather: F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K; gęstość x1.49 na 300 km (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: f107, f107a, kp, altitudes_km

Przykład scenarios/space-weather.toml ustawia między innymi:

Pole Wartość Jednostka
altitudes_km [300, 400, 500, 600, 800] km
f107 180 sfu
f107a 165 sfu
kind space-weather tekst
kp 4 1

Uruchom#

kshana scenarios/space-weather.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
ap 27 2 nT
evidence.id_rule stabilny identyfikator wiersza macierzy (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

Etykieta wyniku (silnika): MODELLED — wskaźniki słoneczne i geomagnetyczne, temperatura egzosferyczna Jacchia-71 i gęstość statyczna Jacchia-71 przy średniodobowej temperaturze

Wykres zapisany przez silnik dla scenarios/space-weather.toml, rodzaj space-weather

Dowody#

MODELLED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

  • MODELLED Wskaźniki słoneczne i geomagnetyczne (definicyjna tabela Kp↔ap), temperatura egzosferyczna Jacchia-1971 oraz gęstość termosfery Jacchia 1971 (SAO Special Report 332: statyczne profile dyfuzyjne odtwarzające jego Tabelę 7, z dobowym, geomagne

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

  • MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
  • MODELLED Wskaźniki słoneczne i geomagnetyczne (definicyjna tabela Kp↔ap), temperatura egzosferyczna Jacchia-1971 oraz gęstość termosfery Jacchia 1971 (SAO Special Report 33. Wyrocznia (ExternalDataset): definicyjna tabela Kp↔ap + postać zamknięta temperatury egzosferycznej Jacchia-1971 (zgodna do <1 K z opublikowanymi punktami odniesienia, tests/space_weather_reference.rs); gęstość jest scharakteryzowana względem pymsis NRLMSISE-00 (niezależny model NRL): zmiana w cyklu słonecznym na 800 km wynosi 10.4x wobec 13.6x w NRLMSISE-00. Rewizja 0,30: skalibrowany czynnik aktywności pierwszego rzędu zastąpiono modelem Jacchia 1971 (gęstość scenariusza domyślnego na 40

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

  • MODELLED — wskaźniki słoneczne i geomagnetyczne, temperatura egzosferyczna Jacchia-71 i gęstość statyczna Jacchia-71 przy średniodobowej temperaturze (wynik label)
  • MODELLED: gęstość zgadza się z gęstościami wyprowadzonymi z akcelerometrów (TOLEOS CHAMP i GRACE) w granicach czynnika 2 w maksimum słonecznym, lecz jest około 1.7x zbyt gęsta w minimum słonecznym z 2008. (katalog rodzajów (kshana kinds --json))
  • RZETELNY ZAKRES: MODELLED. Konwersja Kp<->ap to definicyjna tabela IAGA, a temperatura egzosferyczna jest sprawdzona względem niezależnego wzorca zewnętrznego dla opublikowanych wielkości w minimum, średniej i maksimum słonecznym, ale poprawka gęstości to SKALIBROWANE sprzężenie PIERWSZEGO RZĘDU wysokości skali — oddaje właściwy znak, monotoniczność i rząd wielkości, NIE bezwzględną dokładność atmosfery sprawdzonej na danych (NRLMSISE-00). Uruchomienie: kshana scenarios/space-weath (komentarz w pliku scenariusza, wiersze 10 do 15)
  • Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Środowisko pogody kosmicznej i gęstość termosfery zależna od aktywności jest MODELLED, nie sprawdzona względem niezależnego wzorca zewnętrznego: podtwierdzenie jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#