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/ephemeris.md

ephemeris (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Konstelacje, pokrycie i geometria. 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#

Efemerydy i ślad naziemny: propagacja jednego satelity (TLE→SGP4 lub orbita analityczna) i emisja jego stanu TEME/GCRS (położenie + prędkość), położenia ITRF/ECEF, szerokości/długości/wysokości podsatelitarnej w WGS-84 oraz, dla każdego kroku, azymutu/elewacji/odległości stacji i prędkości zmiany odległości (Doppler). Satelita pochodzi z tle albo z analitycznej orbit z jej epoch (tle ma pierwszeństwo, gdy podano oba); przy tle epoch nadpisuje własną epokę TLE jako t = 0.

Jeden przebieg scenarios/ephemeris.toml podsumowuje się tak: scenariusz 0d4dd01b3160 | sgp4 (TLE) | 559 próbek | wys. 419–434 km | |szer.| ≤ 51,8° | prędkość 7653–7661 m/s | maks. elew. 25,7° szczytowy Doppler 34,3 kHz

Wejścia#

Ze schematu (kshana kinds --json):

  • Wymagane pola: tle|orbit+epoch
  • Pola opcjonalne: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

Przykład scenarios/ephemeris.toml ustawia między innymi:

Pole Wartość Jednostka
duration_s 16740 s
dut1_s 0 s
kind ephemeris tekst
station.alt_m 144 m
station.lat_deg 49.8707 deg
station.lon_deg 8.6217 deg
step_s 30 s
tle 1 25544U 98067A 20045,18587073 .00000950 00000-0 25302- tekst
xp_arcsec 0 arcsec
yp_arcsec 0 arcsec

Uruchom#

kshana scenarios/ephemeris.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
alt_max_km 433.646 km
alt_min_km 419.45893 km
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
jd_utc0 2.4589e6 doba
lat_max_deg 51.799739 deg
lat_min_deg -51.799121 deg
max_elevation_deg 25.703587 deg
n_samples 559 liczba
Wykres zapisany przez silnik dla scenarios/ephemeris.toml, rodzaj ephemeris

Dowody#

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

  • VALIDATED Obrót Ziemi z dwuczęściowej daty juliańskiej UT1 na ścieżce orbity, tak aby położenie w układzie związanym z Ziemią zachowało mikrosekundę, którą traci pojedyncza data f64 (około 3e-9 rad w pobliżu 2020): jd2::gmst82 (IAU 1982 GMST, konwencja TEME, na obu częściach), cio:

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

  • VALIDATED SGP4/SDP4, Cowell 6-DOF z perturbacjami, wsadowe i sekwencyjne OD. Wyrocznia (ExternalDataset): wektory weryfikacyjne SGP4 z AIAA 2006-6753
  • VALIDATED Precesja i nutacja IAU 2006/2000A, CIO GCRS↔ITRS, skale czasu z sekundami przestępnymi. Wyrocznia (ExternalDataset): wektory odniesienia IAU SOFA / ERFA; Vallado AIAA 2006-6753 (0,1–4 mm)
  • 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

Ograniczenia#

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

  • 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))

Zobacz też#