passes (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#

Prognozowanie przelotów nad stacją naziemną: przeloty widoczności w dziedzinie czasu (AOS/TCA/LOS, maksymalna elewacja pozorna, czas trwania) orbity kołowej, jako średnie elementy SGP4 na początku okna, nad stacją powyżej maski elewacji w oknie czasowym, z łącznym czasem dostępu. Propagacja SGP4/SDP4 w ziemskim układzie związanym z Ziemią IAU 2006/2000A (opcjonalnie UT1 - UTC i ruch bieguna), refrakcja troposferyczna wg ITU-R P.834-9 i czas propagacji światła na łączu w dół (obie domyślnie włączone), przecięcia rozwiązywane z dokładnością 1e-7 s, a kulminacja wyszukiwaniem metodą złotego podziału. Geometria przelotu jest VALIDATED względem Orekit 13.1.8 dla stacji na poziomie morza; orbita i stacja w scenariuszu są wejściami ilustracyjnymi.

Jeden przebieg scenarios/passes.toml podsumowuje się tak: passes: 5 przelotów orbity 550 km / 97,6° nad (52,2°, 4,4°) > 10° w ciągu 24 h; 1659 s łącznego dostępu (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

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

Uruchom#

kshana scenarios/passes.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Etykieta wyniku (silnika): MODELLED — prognozowanie przelotów nad stacją naziemną w dziedzinie czasu; propagacja SGP4/SDP4, ziemski układ związany z Ziemią IAU 2006/2000A (UT1 = UTC, bez ruchu bieguna, chyba że podano parametry orientacji Ziemi), elewacja pozorna z refrakcją ITU-R P.834-9 i czasem propagacji światła po włączeniu, przecięcia i kulminacja dopracowane

Dowody#

MODELLED 2 · VALIDATED 2: wiersze macierzy weryfikacji dotyczące tego rodzaju.

• VALIDATED Przeloty widoczności w dziedzinie czasu (AOS/TCA/LOS, maks. elewacja, czas trwania) propagatora silnika nad stacją powyżej maski elewacji, z interpolowanymi przecięciami wschodu i zachodu oraz łącznym dostępem: passes::predict_passes, geometryczny harmonogram (bez Testy: ground_station_pass_prediction_reference.rs.
• VALIDATED Przeloty widoczności (AOS, TCA, LOS, maksymalna elewacja pozorna, czas trwania) zestawu elementów SGP4 nad stacją WGS-84 na sprawdzonej ścieżce orbity okołoziemskiej (IAU 2006/2000A, opcjonalnie parametry orientacji Ziemi), z troposferyczną wg ITU-R P.834-9 Testy: pass_predictor_on_path_orekit_oracle.rs.
• MODELLED Es/N0 łącza w dół wzdłuż każdego przejścia jednego satelity nad jedną stacją (EIRP, strata w wolnej przestrzeni, strata atmosferyczna według prawa cosecansa, inne straty, G/T, stała Boltzmanna, szybkość symboli), najefektywniejszy MODCOD DVB-S2, który spełnia swój próg ETSI EN 302 307-
• MODELLED Jeden przebieg przyjmuje plan kontaktów (listę okien aos_s/los_s, każde żądające od apertury nawigacji lub łączności — to samo słownictwo okien, które emituje passes::predict_passes, przekształcone przez aperture_duty::windows_from_passes), liczbę apert

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
• VALIDATED Przeloty widoczności w dziedzinie czasu (AOS/TCA/LOS, maks. elewacja, czas trwania) propagatora silnika nad stacją powyżej maski elewacji, z interpolowanymi wschodami i zachodami . Wyrocznia (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) + Hipparchus 3,1 — niezależna biblioteka dynamiki lotu: ElevationDetector (szukanie pierwiastków metodą Brenta) + EventsLogger na efemerydach ITRF, stacja jako TopocentricFrame WGS-84. AOS/LOS/maks. elewacja/liczba przelotów/łączny dostęp zgodne dla identycznej orbity, stacji, maski i okna (zatwierdzony zestaw testowy; sterownik xval/orekit-passes)

Ograniczenia#

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

• MODELLED — prognozowanie przelotów nad stacją naziemną w dziedzinie czasu; propagacja SGP4/SDP4, ziemski układ związany z Ziemią IAU 2006/2000A (UT1 = UTC, bez ruchu bieguna, chyba że podano parametry orientacji Ziemi), elewacja pozorna z refrakcją ITU-R P.834-9 i czasem propagacji światła po włączeniu, przecięcia i kulminacja dopracowane poniżej kroku (wynik label)
• 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ż#

• Strona rodziny: Konstelacje, pokrycie i geometria
• Wszystkie rodzaje: KINDS.md
• Strona tematu: CONTACT-SCHEDULING.md