leo-pnt-chain (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Nawigacja z niskiej orbity okołoziemskiej. 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 jest MODELLED, chyba że macierz stanowi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Jeden system LEO-PNT (pozycjonowanie, nawigacja i czas z niskiej orbity okołoziemskiej) od początku do końca, dla dowolnej konstelacji i sygnału: projekt leo-signal nazwany w signal_design (publiczne ustawienie wstępne lub wbudowany projekt [signal]) ustala środek, szerokość pasma, tempo chipów i podział EIRP pasma [pass], bilans łącza leo-pass daje śledzone C/N0 i ograniczone pasmem drżenie kodu w trakcie przelotu, a linia C/N0 względem sin(elewacja) oraz rozgłaszany SISRE komunikatu [navmsg] (dopasowany na wysokości satelity przelotu) zasilają każdy system LEO w łącznym rozwiązaniu leo-pvt z [fusion] i opcjonalnie przypadki leo-ppp z [ppp]; każde przekazanie jest wymienione z wartością i jednostką. MODELLED.

Jeden przebieg scenarios/leo-pnt-end-to-end.toml podsumowuje się tak: LEO-PNT end to end, generic 1080 km constellation signal generic-l (https://www.itu.int/pub/R-REG-RR), tracked pilot at 10,230 Mchip/s, C/N0 offset -2.57 dB pass LEO-1 1080 km: tracked C/N0 peak 58,2 dB-Hz, code jitter median 0,050 m; C/N0 line 35,6 + 24,3 sin(el) dB-Hz message kepler-rac 300 s fit / 300 s update: representation SISRE 0,907 mm RMS (orbit 0,005 mm), with 0,250 m orbit determination: 0,250 m handed on fused fix: GNSS only PDOP 1,47 RMS 3D 1,60 m -> GNSS + LEO PDOP 1,06 RMS 3D 0,43 m PPP convergence: GNSS only 11,5 min, 240 LEO 7,5 min 11 values handed between stages. MODELLED.

Wejścia#

Ze schematu (kshana kinds --json):

• Wymagane pola: signal_design, pass, fusion
• Pola opcjonalne: name, description, seed, signal, navmsg, od_sisre_m, ppp

Przykład scenarios/leo-pnt-end-to-end.toml ustawia między innymi:

Uruchom#

kshana scenarios/leo-pnt-end-to-end.toml

Tego rodzaju używają 3 dołączone scenariusze; pozostałe są w scenarios/.

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Etykieta wyniku (silnika): MODELLED — łańcuch przekazuje wynik każdego etapu następnemu; etapy zachowują własne etykiety (wiersze leo-signal, leo-pass, leo-navmsg, leo-pvt i leo-ppp macierzy weryfikacji).

Dowody#

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

• MODELLED Rodzaj leo-pnt-chain: projekt leo-signal (ustawienie publiczne lub wbudowane) ustala środek, szerokość pasma, tempo chipów i podział EIRP pasma leo-pass; przelot daje C/N0 składowej śledzonej i ograniczone pasmem drżenie kodu dla każdej epoki; metodą najmniejszych kwadratów C/ Testy: leo_pnt_chain.rs.

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 navsignal: całka sinusowa (sine_integral), ułamek mocy BPSK-R wewnątrz pasma dwustronnego w postaci zamkniętej (bpsk_power_in_band_closed_form), ograniczone pasmem. Wyrocznia (ExternalDataset): przypięte zewnętrznie: 90,3 procent mocy płata głównego, spójne drżenie early-late w podanym punkcie pracy, wartości tabeli całki sinusowej oraz współczynnik separacji widmowej własnej BPSK 2/(3 R_c) przy zerowym przesunięciu. Tylko kontrole wewnętrzne, nie walidacja zewnętrzna: wzór zamknięty na szerokość pasma Gabora ograniczonego pasmem BPSK i jego asymptota oraz współczynnik separacji widmowej BPSK z przesunięciem przy niezerowych przesunięciach, oba
• MODELLED Rodzaj leo-signal: parametryzowane projekty sygnałów (pasmo, szerokość pasma nadawania, przydział ITU; składowe akwizycyjne, danych i pilotowe z BPSK(n), BOC(m,n), MB. Wyrocznia (InternalConsistency): wzory zamknięte sprawdzone względem niezależnego wzorca z dwóch wierszy powyżej, tożsamość fałszywego alarmu detektora kwadratowego P_d(snr = 0) = P_fa i średni czas akwizycji Holmesa oraz redukcja do własnego łańcucha SSC rodzaju widmowego (ten sam kod Jammer::ssc). Same projekty są danymi wejściowymi: ustawienia oznaczone REPRESENTATIVE lub WORKSHOP nie są opublikowanymi specyfikacjami, widma enhanced Feher QPSK, code shift keying i OFDM są przybliżane, a kształt
• VALIDATED ITU-R P.618-14 sekcja 2.4.1 kroki od 3 do 9 (sigma odniesienia z N_wet, efektywna długość drogi, współczynnik uśredniania anteny, głębokość zaniku dla 0,01 % do 50 % czasu. Wyrocznia (ExternalDataset): przykłady walidacyjne ITU-R Study Group 3 (CG-3M3J-13-ValEx-Rev8.3.0) dla scyntylacji P.618-14, z N_wet P.453-14 dla każdego miejsca z tych samych przykładów; zatwierdzone w tests/fixtures/leo_link/p618_14_scintillation.csv z adresami URL i datą pobrania. Wyrażenie na refrakcyjność wilgotną z temperatury i wilgotności nie jest objęte tym wierszem
• VALIDATED Opóźnienie grupowe 40,3 STEC/f^2 dla każdego pasma; współczynniki wolne od jonosfery f1^2/(f1^2 - f2^2) i -f2^2/(f1^2 - f2^2) oraz wzmocnienie szumu sqrt(a1^2 s1^2 + a2^. Wyrocznia (ExternalDataset): IS-GPS-200 sekcja 20.3.3.3.3.2, która podaje stosunek opóźnień grupowych L1/L2 gamma = (77/60)^2 wynikający ze skalowania pierwszego rzędu 1/f^2, oraz wzór Friisa na transmisję (Proc. IRE, 1946). Waliduje prawa skalowania, nie ukośny TEC

Ograniczenia#

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

• Etap pozycjonowania modeluje C/N0 jako linię prostą względem sinusa elewacji między maską a zenitem; łańcuch dopasowuje tę linię do śledzonego C/N0 przelotu, więc kształt właściwy dla przelotu (plateau izofluksowe, brzeg wiązki) sprowadza się do dwóch liczb. (wynik limitations[0])
• SISRE przekazywany do etapów pozycjonowania jest błędem reprezentacji komunikatu nawigacyjnego względem orbity prawdziwej całkowanej przez Kshana, plus podany w scenariuszu od_sisre_m jako pierwiastek z sumy kwadratów; sam etap komunikatu nie modeluje wyznaczania ani predykcji orbity. (wynik limitations[1])
• Etap pozycjonowania oblicza własne drżenie pętli synchronizacji opóźnienia z przekazanego C/N0 wzorem dla nieograniczonej szerokości pasma; przelot podaje obok ograniczone pasmem drżenie rzeczywistego projektu. (wynik limitations[2])
• Etap precyzyjnego pozycjonowania punktowego przyjmuje SISRE komunikatu jako błąd orbity i zegara LEO; jego szum kodu i fazy pozostają własnymi danymi wejściowymi etapu. (wynik limitations[3])
• Jeden satelita, pierwszy, którego pasmo niesie projekt, reprezentuje cały system LEO w etapach przelotu i komunikatu. (wynik limitations[4])
• MODELLED — łańcuch przekazuje wynik każdego etapu następnemu; etapy zachowują własne etykiety (wiersze leo-signal, leo-pass, leo-navmsg, leo-pvt i leo-ppp macierzy weryfikacji). (wynik label)
• MODELLED. (katalog rodzajów (kshana kinds --json))
• MODELLED: każdy etap zachowuje własną etykietę; łańcuch nie dodaje żadnej fizyki. (komentarz w pliku scenariusza, wiersz 25)

Zobacz też#

• Strona rodziny: Nawigacja z niskiej orbity okołoziemskiej
• Wszystkie rodzaje: KINDS.md
• Strona tematu: LEO-PNT.md
• Strona tematu: LEO-PASS.md