lunar-station-coverage (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#

Modelowane pokrycie księżycowej stacji referencyjnej: przegląd Monte Carlo modelu księżycowego różnicowego PNT po siatce użytkowników na biegunie południowym i dobie epok. Różnicowa stacja referencyjna w znanym miejscu przy biegunie południowym koryguje wskazaną konstelację (ilustracyjną keplerowską lub tabelaryczne efemerydy) ze wskazanym błędem sygnału w przestrzeni, błędem pomiaru położenia, opóźnieniem poprawek i kwantyzacją łącza; dla każdego punktu i dla regionu podaje percentylowy błąd pozycji skorygowanej i nieskorygowanej (3-D, poziomy, pionowy), dostępność, pokrycie względem wskazanego progu, poziomy ochrony DO-229E, promień pokrycia na azymut oraz bilans łącza poprawek przy stacji i w najgorszym punkcie. Nie jest to stwierdzenie o parametrach żadnego rzeczywistego systemu; bez powiązań z żadną agencją ani jej poparcia. MODELLED.

Jeden przebieg scenarios/lunar-station-coverage.toml podsumowuje się tak: lunar-station-coverage | 346 punktów x 144 epok x 200 prób | dostępność 92,2 % | pokrycie 76,5 % (p95 <= 20 m) | skorygowany p95 3-D 15,592 m (nieskorygowany 1056,892 m) | HPL max 480,385 m | MODELLED; to nie jest stwierdzenie o żadnym rzeczywistym systemie

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

Przykład scenarios/lunar-station-coverage.toml ustawia między innymi:

Uruchom#

kshana scenarios/lunar-station-coverage.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

Dowody#

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

• MODELLED Przegląd Monte Carlo modelu księżycowego różnicowego PNT po siatce użytkowników na biegunie południowym i dobie epok (rodzaj lunar-station-coverage): dla różnicowej stacji referencyjnej w znanym miejscu przy biegunie południowym, dla każdego punktu i dla regionu, Testy: lunar_station_coverage_reference.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
• MODELLED Różnicowa stacja referencyjna klasy NovaMoon: znoszenie błędów wspólnych + reszta rosnąca z bazą + poziomy ochrony DGNSS. Wyrocznia (InternalConsistency): tożsamość znoszenia błędów różnicowych + ponowne użycie mechanizmu PL SBAS z DO-229E; rozwiązanie z różnicą pojedynczą + WLS sprawdzono dodatkowo względem lsq()/matinv() z RTKLIB (Takasu, BSD-2-Clause, skompilowany kod C) — niezależny kod solwera, ale ta sama algebra pierwszego rzędu różnicy LOS, więc nadal InternalConsistency
• MODELLED Trzy składniki, które poprawka różnicowa zbiera między epoką, w której ją obliczono, a epoką, w której ją użyto, każdy dotąd pozostawiony jako niezamodelowany zapas:. Wyrocznia (InternalConsistency): tożsamości w postaci zamkniętej i samospójność: wariancja kwantyzatora jednostajnego step²/12, dokładna propagacja kowariancji (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ sprowadzająca się do σ·PDOP dla równych σ, przeniesienie składnika pomiaru 1:1 jako konsekwencja û_user ≈ û_ref oraz domknięcie kwadraturowe przy wyłączaniu. Sprawdzenie PDOP względem orbit::dop dzieli macierz normalną [−û, 1], więc jest sprawdzeniem spójności i tak je oznaczono, a nie jako niezależne
• MODELLED Przegląd Monte Carlo modelu księżycowego różnicowego PNT po siatce użytkowników na biegunie południowym i dobie epok (rodzaj lunar-station-coverage): dla różnicowej stacji r. Wyrocznia (InternalConsistency): arytmetykę obliczono ponownie niezależnym skryptem numpy na wyeksportowanych przypadkach (scripts/gen_lunar_station_ref.py, numpy 2.5.4; wstępnie zarejestrowane w tests/fixtures/lunar_station/PREREGISTRATION.md, zatwierdzone samodzielnie w 9caedf97 przed pierwszym przebiegiem): w 20 przypadkach ze wszystkimi składnikami błędu włączonymi zbiory widocznych satelitów i status są identyczne, surowe błędy odległości zgadzają się do 1.4e-14 m, wektory i wielkości błędu pozycji do 1.4e-9 m wzgl

Ograniczenia#

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

• MODELLED (wynik label)
• MODELLED. (katalog rodzajów (kshana kinds --json))
• RZETELNOŚĆ: MODELLED. Przy podanych poniżej założeniach model daje te wartości. Nie jest to stwierdzenie o parametrach żadnego rzeczywistego systemu; bez powiązań z żadną agencją ani jej poparcia; bez deklaracji TRL ani dorobku. Pominięto: zasłanianie terenem i horyzontem na biegunie (pierwsze ograniczenie), wielodrogowość, sprzęt odbiornika. (komentarz w pliku scenariusza, wiersze 15 do 18)
• 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ężycowy różnicowy PNT ma poziom MODELLED, nie jest niezależnie sprawdzony względem wzorca zewnętrznego: sprawdzono go względem jego 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))
• Księżycowy różnicowy PNT — budżet reszt łącza poprawek ma poziom MODELLED, nie jest niezależnie sprawdzony względem wzorca zewnętrznego: sprawdzono go względem jego 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))
• Mapa pokrycia i dokładności księżycowej stacji referencyjnej 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
• Strona tematu: LUNAR-REFERENCE-STATION.md