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/body-pnt.md

body-pnt (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#

Pozycjonowanie wokół dowolnego ciała Układu Słonecznego: orbiter lub lądownik powierzchniowy wokół ciała centralnego wybranego po nazwie (Mars, Księżyc, Europa, Ganimedes, Tytan i reszta katalogu Układu Słonecznego), nawigujący na podstawie jednokierunkowych pseudoodległości z małej konstelacji nawigacyjnej Walkera wokół ciała (orbity dwóch ciał z sekularnym dryfem J2 własnym dla ciała, nieznany zegar użytkownika) i opcjonalnie bezzegarowego dwukierunkowego pomiaru odległości w głębokim kosmosie z Ziemi, której kierunek i odległość pochodzą z analitycznych efemeryd Układu Słonecznego w każdej epoce. Linie widzenia są blokowane przez średnią sferę ciała, a użytkownik na powierzchni potrzebuje też maski elewacji. W każdej epoce: widoczne przekaźniki, czy Ziemia jest ponad limbem, GDOP i PDOP samej konstelacji (współczynniki rozmycia dokładności: geometryczny i pozycji), formalna niepewność pozycji jednosigmowa z wierszem Ziemi i bez niego oraz błąd rozwiązania metodą najmniejszych kwadratów Gaussa-Newtona z ziarnem w każdym z tych wariantów; w całym przebiegu: dostępność, widoczność Ziemi, mediana PDOP, błąd RMS i mediana formalnej sigmy, a także czas świetlny Ziemia–ciało, czas pełnej drogi, opóźnienie Shapiro i odległość kątowa od Słońca w danej epoce. MODELLED: orbity przekaźników, poziomy szumu i chwilowy model pomiaru są wyborami modelowymi, niesprawdzonymi względem danych nawigacyjnych żadnej misji; stałe ciała to opublikowane wartości przywołane w body.rs, a geometria Ziemi dziedziczy etykiety efemeryd Układu Słonecznego.

Jeden przebieg scenarios/mars-orbit-pnt.toml podsumowuje się tak: Pozycjonowanie wokół Marsa — użytkownik na orbiterze, 12 przekaźników na 10000 km, 296 epok Czas świetlny Ziemi 338,3 s w jedną stronę, 676,6 s pełna droga; kąt Słońce–Ziemia–ciało 175,4 deg dostępność: 1,000 sama konstelacja, 1,000 z pomiarem odległości do Ziemi (Ziemia w zasięgu widzenia 0,811) mediana PDOP 1,375 ; błąd RMS 1,883 m sama konstelacja, 1,629 m z pomiarem odległości do Ziemi mediana formalnej sigmy 1,375 m sama konstelacja, 1,304 m z pomiarem odległości do Ziemi

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

Przykład scenarios/mars-orbit-pnt.toml ustawia m.in.:

Pole Wartość Jednostka
body Mars tekst
constellation.altitude_km 10000 km
constellation.inclination_deg 60 deg
constellation.planes 3 nie podano
constellation.sats_per_plane 4 nie podano
constellation.sigma_range_m 1 m
duration_s 88775 s
earth_link.enabled true flaga
earth_link.sigma_range_m 1 m
epoch 2027-02-19T00:00:00 tekst
kind body-pnt tekst
seed 7 nie podano

Uruchom#

kshana scenarios/mars-orbit-pnt.toml

Tego rodzaju używa 2 dołączonych scenariuszy; pozostałe są w scenarios/.

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
body.gm_m3_s2 4.2828e13 m^3/s^2
body.j2 0.00196 1
body.j2_reference_radius_m 3396200 m
body.name Mars tekst
body.radius_mean_m 3389500 m
body.sidereal_rotation_period_h 24.622962 h
earth_link_used true flaga
earth_to_body.from Mars tekst
earth_to_body.geometric_distance_m 1.0142e11 m
earth_to_body.one_way_light_time_s 338.316188 s

Etykieta wyniku (silnika): MODELLED: orbity przekaźników dwóch ciał z sekularnym dryfem J2, widoczność geometryczna, gaussowski szum odległości i chwilowy model pomiaru wokół ciała z opublikowanych stałych; niesprawdzone względem danych nawigacyjnych żadnej misji. Geometria Ziemia–ciało dziedziczy etykietę efemeryd Układu Słonecznego

Wykres zapisywany przez silnik dla scenarios/mars-orbit-pnt.toml, rodzaj body-pnt

Dowody#

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

  • VALIDATED Newtonowski jednokierunkowy czas świetlny z dowolnego ciała do dowolnego innego, odbierany w danej epoce, rozwiązywany radiometrycznym solwerem czasu świetlnego z punktem stałym (radiometric::light_time_solution, nadajnik w swoim położeniu opóźnionym) przez solar_system::link_o Testy: solar_system_light_time_preregistered.rs.
  • MODELLED Rodzaj body-pnt: orbiter lub lądownik powierzchniowy wokół ciała wybranego po nazwie nawiguje na podstawie jednokierunkowych pseudoodległości z konstelacji nawigacyjnej Walkera wokół ciała (orbity dwóch ciał z sekularnym dryfem J2 ciała, nieznany zegar użytkownika

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 Rodzaj body-pnt: orbiter lub lądownik powierzchniowy wokół ciała wybranego po nazwie nawiguje na podstawie jednokierunkowych pseudoodległości z konstelacji nawigacyjnej Walkera wokół. Wyrocznia (InternalConsistency): Postacie zamknięte i samospójność: trzecie prawo Keplera dla okresu przekaźnika, promień orbity i promień powierzchni utrzymane w całym przebiegu, dodanie pomiaru nigdy nie zwiększające formalnej niepewności oraz błędy z ziarnem zgodne z kowariancją. Orbity przekaźników pomijają trzecie ciała (przyciąganie Jowisza na przekaźniki wokół Europy nie jest modelowane), szum jest gaussowski na podanych poziomach, a model pomiaru jest chwilow

Ograniczenia#

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

  • MODELLED: orbity przekaźników dwóch ciał z sekularnym dryfem J2, widoczność geometryczna, gaussowski szum odległości i chwilowy model pomiaru wokół ciała z opublikowanych stałych; niesprawdzone względem danych nawigacyjnych żadnej misji. Geometria Ziemia–ciało dziedziczy etykiety efemeryd Układu Słonecznego. (wynik label)
  • MODELLED: orbity przekaźników, poziomy szumu i chwilowy model pomiaru są wyborami modelowymi, niesprawdzonymi względem danych nawigacyjnych żadnej misji; stałe ciała to opublikowane wartości przywołane w body.rs, a geometria Ziemi dziedziczy etykiety efemeryd Układu Słonecznego. (katalog rodzajów (kshana kinds --json))
  • MODELLED. Orbity przekaźników, szum odległości 1 m i chwilowy model pomiaru są wyborami modelowymi; nic tutaj nie jest sprawdzone względem danych nawigacyjnych żadnej misji. Stałe Marsa to opublikowane wartości przywołane w src/body.rs. (komentarz w pliku scenariusza, wiersze 20 do 22)
  • 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))
  • Pozycjonowanie wokół dowolnego ciała Układu Słonecznego z lokalną konstelacją i łączem w głębokim kosmosie z Ziemi 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ż#