lunar-joint-od-clock (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Przestrzeń księżycowa i cislunarna. 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#

Modelowany wspólny wielotechnikowy księżycowy estymator wsadowy OD + zegara na SYMULOWANEJ sieci: dopasowanie migawkowe metodą Gaussa–Newtona, które łączy geodezyjne opóźnienia VLBI na bazach ziemskich, księżycowo-lokalne odległości stacja↔satelita i odległości międzysatelitarne, aby odzyskać razem pozycję 3-D księżycowej stacji powierzchniowej, pozycje małej konstelacji i przesunięcie zegara każdego obiektu względem wprowadzonej prawdy. Główny uczciwy wynik — VLBI czyni pełną pozycję 3-D stacji obserwowalną tam, gdzie samo księżycowo-lokalne wyznaczanie odległości pozostawia słabo obserwowany kierunek — podano jako kontrast błędu stacji z VLBI i bez VLBI. MODELLED symulowane odzyskanie w pętli zamkniętej (prawda dzieli model obserwacji), deterministyczne (z ziarnem), NIE sprawdzone na danych rzeczywistych; bez propagacji modelu sił wewnątrz solwera; bez TRL, dorobku ani poparcia agencji.

Jeden przebieg scenarios/lunar-joint-od-clock.toml podsumowuje się tak: lunar-joint-od-clock | 3 sats, 6 stacji ziemskich | błąd 3-D stacji z VLBI 3,54 m wobec samych odległości 2184,02 m (617,5× ostrzej) | sat pos RMS 2,20 m | błąd zegara stacji 2.87e-10 s | obs 40/16 params

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day

Przykład scenarios/lunar-joint-od-clock.toml ustawia między innymi:

Uruchom#

kshana scenarios/lunar-joint-od-clock.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Dowody#

Żaden wiersz macierzy nie wymienia tego rodzaju po nazwie; etykieta na jego wyniku jest własną etykietą silnika, powyżej.

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 Wsadowa fuzja VLBI + księżycowo-lokalnej odległości + odległości międzysatelitarnej do odzyskania pozycji i zegarów stacji i konstelacji. Wyrocznia (ExternalDataset): P2: numpy 2.4.6 (numpy.linalg.lstsq z LAPACK gelsd, numpy.linalg.inv; BSD-3) oblicza ponownie każdy krok Gaussa–Newtona, zbieżne rozwiązanie ważonych najmniejszych kwadratów, formalne sigma i błąd stacji na zatwierdzonych jakobianach i obserwacjach sześciu symulowanych sieci, z wstępną rejestracją (5094bc31) przy względnym max(1e-8, 100 kappa eps). Pierwszy przebieg nie zaliczył sieci bez VLBI (6.1e-7 wobec 1e-8, równanie normalne
• VALIDATED Informacja Fishera M=HᵀWH, dolna granica Craméra–Rao, rząd obserwowalności / przestrzeń zerowa defektu układu odniesienia (pseudoodwrotność Moore'a–Penrose'a) oraz optymalne wg D/A/E/T projektowanie eksperymentu. Wyrocznia (ExternalDataset): NumPy 2.4.1 (numpy.linalg.eigh / .inv; BSD-3-Clause, oparty na LAPACK) — niezależny zewnętrzny autorytet obliczający te same jednoznacznie określone wartości własne, kowariancję Craméra–Rao σ²(XᵀX)⁻¹ i współczynniki rozmycia dokładności GNSS innym algorytmem (dziel i zwyciężaj w LAPACK + LU) niż cykliczne przemiatanie Jacobiego i widmowa pseudoodwrotność w Kshana; zgodność do 1e-9. Ta sama klasa zewnętrznej biblioteki już sprawdza D
• MODELLED Obserwowalność informacji Fishera wspólnego rozwiązania księżycowego: bez baz ziemskich układ odniesienia absolutny leży w przestrzeni zerowej HᵀWH (pozycja stacji nie. Wyrocznia (InternalConsistency): analityczna struktura defektu układu odniesienia — nieobserwowalny tryb układu absolutnego leży w przestrzeni zerowej informacji Fishera (postać zamknięta), próg rzędu zgadza się z opublikowanym uzasadnieniem projektu 3-stacyjnego, a estymator osiąga wynikającą stąd CRLB w Monte Carlo. Sama geometria księżycowa jest siecią reprezentatywną (nie lataną efemerydą), więc wiersz pozostaje MODELLED; leżący u podstaw silnik FIM/CRLB sprawdzono względem

Ograniczenia#

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

• MODELLED symulowane odzyskanie w pętli zamkniętej (prawda dzieli model obserwacji), deterministyczne (z ziarnem), NIE sprawdzone na danych rzeczywistych; bez propagacji modelu sił wewnątrz solwera; bez TRL, dorobku ani poparcia agencji. (katalog rodzajów (kshana kinds --json))
• Rzetelność: MODELLED symulowane odzyskanie w pętli zamkniętej. Wprowadzona prawda jest odwzorowywana na syntetyczne obserwable przez TEN SAM model geometrii, który odwraca solwer, dodawany jest szum gaussowski z zadanym ziarnem, a estymator odzyskuje wprowadzoną prawdę w granicach szumu. Wyrocznią jest spójność wewnętrzna (odzyskanie prawdy + realizm kowariancji NEES), a NIE walidacja na danych rzeczywistych. Wewnątrz solwera nie ma propagacji modelu sił — satelita (komentarz w pliku scenariusza, wiersze 24 do 29)
• 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))
• Księżycowa obserwowalność stacji absolutnej (defekt układu odniesienia) ma poziom MODELLED, nie jest niezależnie sprawdzona względem wzorca zewnętrznego: sprawdzono ją względem jej 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ż#

• Strona rodziny: Przestrzeń księżycowa i cislunarna
• Wszystkie rodzaje: KINDS.md