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/acm-link.md

acm-link (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Analiza misji, łącza i operacje kosmiczne. 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 z silnika lub z macierzy weryfikacji; rodzaj ma status MODELLED, chyba że macierz mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Jeden satelita nad jedną stacją: dla każdego przejścia odległość ukośna, elewacja i Es/N0 wzdłuż przejścia, MODCOD DVB-S2 wybrany w każdym kroku (progi ETSI EN 302 307-1 Table 13 plus margines implementacyjny) oraz wolumen danych, który ACM przenosi względem punktu odniesienia ze stałym kodowaniem, który zamyka się na masce. MODELLED.

Jeden przebieg scenarios/acm-link.toml daje podsumowanie: acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

Przykład scenarios/acm-link.toml ustawia między innymi:

Pole Wartość Jednostka
duration_hours 12 h
epoch [2024, 1, 1, 0, 0, 0] nie podano
kind acm-link tekst
light_time true flaga
link.acm_step_s 10 s
link.eirp_dbw 7 dBW
link.frequency_ghz 8.2 GHz
link.implementation_margin_db 1 dB
link.other_losses_db 2 dB
link.symbol_rate_msps 20 Msymbol/s
link.zenith_atm_loss_db 0.3 dB
refraction true flaga

Uruchom#

kshana scenarios/acm-link.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
acm_gain 1.587588 1
acm_volume_mbit 92866.013644 Mbit
altitude_km 550 km
ccm_es_n0_at_mask_db 9.550995 dB
ccm_modcod 8PSK 3/4 tekst
ccm_volume_mbit 58495.039442 Mbit
duration_hours 12 h
eirp_dbw 7 dBW
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst

Etykieta wyniku (silnika): MODELLED: adaptacyjne kodowanie i modulacja DVB-S2 na przejściach jednego satelity nad jedną stacją: Es/N0 przy czystym niebie wzdłuż każdego widocznego przejścia, najefektywniejszy MODCOD spełniający swój próg ETSI EN 302 307-1 Table 13 plus margines, wobec MODCOD o stałym kodowaniu, który zamyka się na masce; bez zaniku opad

Wykres, który silnik zapisuje dla scenarios/acm-link.toml, rodzaj acm-link

Dowody#

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

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

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 Przejścia widoczności (AOS, TCA, LOS, maksymalna widoczna elewacja, czas trwania) zestawu elementów SGP4 nad stacją w WGS-84 na ścieżce sprawdzonej względem niezależnego wzorca orbity okołoziemskiej (IAU 2006. Wyrocznia (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) z Hipparchus 4.0.3: TLEPropagator na tych samych zestawach elementów w TEME budowanym przez Orekit według podanej definicji (jego IERS 2010 TOD obrócony o GAST - GMST), ElevationDetector i ElevationExtremumDetector z ITURP834AtmosphericRefraction i bez niej oraz AngularAzEl z AngularRadioRefractionModifier dla przypadku z opóźnieniem świetlnym, przecięcia i maksimum rozwiązywane przez Hipparchus; 60 przypadków (f
  • MODELLED Es/N0 łącza w dół wzdłuż każdego przejścia jednego satelity nad jedną stacją (EIRP, tłumienie w wolnej przestrzeni, tłumienie atmosferyczne według prawa cosecansa, pozostałe straty, G/T, stała Boltzmanna,. Wyrocznia (InternalConsistency): Spójność wewnętrzna: sprawność widmowa obliczona w postaci zamkniętej z K_bch z tabeli 5a i długości ramek zgadza się ze sprawnościami podanymi w tabeli 13 (kontrola poprawności przepisania tabeli progów); składniki bilansu łącza zgadzają się ze swoimi postaciami zamkniętymi; wybór jest monotoniczny względem Es/N0 i uwzględnia margines; ACM przenosi co najmniej tyle danych, ile kodowanie stałe. Geometria przejścia pochodzi z osobno VALIDATED a

Ograniczenia#

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

  • MODELLED — adaptacyjne kodowanie i modulacja DVB-S2 na przejściach jednego satelity nad jedną stacją: Es/N0 przy czystym niebie wzdłuż każdego widocznego przejścia, najsprawniejszy MODCOD spełniający próg z tabeli 13 ETSI EN 302 307-1 plus margines, w porównaniu z MODCOD o stałym kodowaniu, który domyka się na masce; bez zaniku deszczowego i straty na celowaniu wzdłuż przejścia (wynik label)
  • MODELLED. (katalog rodzajów (kshana kinds --json))
  • Każda liczba poniżej jest ILLUSTRATIVE: nie jest to orbita, stacja ani bilans łącza żadnego operatora. MODELLED. (komentarz w pliku scenariusza, wiersz 8)
  • 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))
  • Adaptacyjne kodowanie i modulacja DVB-S2 wzdłuż przejścia łącza w dół z LEO jest MODELLED, nie jest sprawdzone względem niezależnego wzorca: sprawdzone względem własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#