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

mars-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#

Głębokokosmiczny Mars PNT: symulowana konstelacja przekaźników MARCONI (przekaźniki areostacjonarne + nachylone nadające jednokierunkowo + przekazujące dwukierunkowo do stacji w głębokim kosmosie) nawiguje użytkownika referencyjnego (transfer | lmo | surface) przez wspólny estymator fuzji radiometrycznej jedno- i dwukierunkowej. Podaje geometrię/widoczność na epokę, osiągnięty RMS względem prawdy i formalną kowariancję (pozycja 1σ / 3σ) — uczciwy symulowany wskaźnik jakości, NIE certyfikowany poziom ochrony.

Jeden przebieg scenarios/mars-pnt-lmo.toml podsumowuje się tak: mars-pnt 5aad87fcc94a | użytkownik lmo, zegar uso | 5 przekaźników (średnio 3,1 w widoku) | zbieżny RMS pozycji 0,25 m, formalne 1σ 0,31 m (3σ 0,93 m — wskaźnik jakości kowariancji, nie certyfikowany PL) | σ częstotliwości zegara 3.71e-13 | cov-PD true

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

Przykład scenarios/mars-pnt-lmo.toml ustawia między innymi:

Pole Wartość Jednostka
clock_class uso tekst
doppler_sigma_mps 1.0000e-4 m/s
duration_s 7200 s
dynamic_tightness 0.1 nie podano
kind mars-pnt tekst
nmax 4 nie podano
range_sigma_m 1 m
seed 331514052 nie podano
step_s 60 s
two_way_period_s 1800 s
user lmo tekst

Uruchom#

kshana scenarios/mars-pnt-lmo.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:

Wynik Wartość Jednostka
areostationary_radius_m 2.0428e7 m
clock_class uso tekst
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.converged_pos_3sigma_m 0.927387 m
fom.converged_pos_rms_m 0.245604 m
fom.converged_pos_sigma_m 0.309129 m
fom.covariance_pd_throughout true flaga
fom.epochs 120 liczba
Wykres, który silnik zapisuje dla scenarios/mars-pnt-lmo.toml, rodzaj mars-pnt

Dowody#

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

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

  • VALIDATED Odzyskanie stanu epoki [r,v] z odległości od stacji naziemnych za pomocą wsadowego korektora różnicowego Gaussa–Newtona i filtra sekwencyjnego, w modelu sił dwóch ciał+J2. Wyrocznia (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) BatchLSEstimator (Levenberg–Marquardt) + KalmanEstimator (EKF) — niezależna zewnętrzna biblioteka estymacji na dopasowanym modelu sił; odzyskany stan epoki i RMS reszt po dopasowaniu zgadzają się do <1e-3 m bez szumu i <3 m przy poziomie szumu 5 m
  • MODELLED Zegar Kalmana van Loana o 3 stanach (faza/częstotliwość/dryf), stabilizowany metodą Josepha. Wyrocznia (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), z F przez scipy.linalg.expm i Q przez macierz blokową Van Loana 1978 — niezależna implementacja referencyjna odtwarzająca pełną trajektorię filtra kshana. Spójność między implementacjami: fizyka zegara / kalibracja Allana nie są sprawdzone zewnętrznie, więc pozostaje to MODELLED. 0,30 porównanie zewnętrzne, ustalenie (pozostaje MODELLED): na zegarach IGS final 30 s z 11 GPS Blo
  • 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:

  • Estymacja stanu zegara pokładowego jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: sprawdzona względem osobnej implementacji w tej samej bazie kodu — niezależnej od testowanego elementu, ale nie autorytatywnej zewnętrznie. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • 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ż#