lunar-surface (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Księżyc i przestrzeń 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 z silnika lub z macierzy weryfikacji; rodzaj ma status MODELLED, chyba że macierz stanowi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

MODELLED: dostępność pozycjonowania i czasu na powierzchni według miejsca i pory roku dla miejsc przy biegunie południowym klasy Artemis. Dla każdego miejsca i pory roku (epoka i okno po niej) podaje pozycjonowanie przekaźnikami (cztery lub więcej przekaźników konstelacji klasy LCNS ILLUSTRATIVE w zasięgu i PDOP poniżej progu, z tych samych funkcji co moonlight-service-volume oraz, z sekcją terenu, horyzont terenu lunar-station-coverage śledzony promieniem), czy Ziemia i Słońce są nad horyzontem miejsca (analityczne Słońce, Księżyc i orientacja księżycowa, z libracją, co zmienia się z porą roku) oraz dostępność czasu (przekaźnik lub Ziemia w zasięgu) z najdłuższym odcinkiem, na którym nie ma żadnego z nich, czyli holdover, który zegar powierzchniowy musi przetrwać. Wynik dla jednego miejsca równa się wynikowi moonlight-service-volume co do bitu. MODELLED: ilustracyjny keplerowski zestaw przekaźników na Księżycu o średniej rotacji; wartość dla przekaźników nie zmienia się z porą roku; teren to wycinek LOLA 1200 m. Bez poparcia agencji; oprogramowanie wyłącznie doradcze, nie jest to certyfikowany sprzęt nawigacyjny.

Jeden przebieg scenarios/lunar-surface.toml daje podsumowanie: lunar-surface | 4 miejsca x 4 pory roku | pozycjonowanie 41% do 41% | najgorsza dostępność czasu 100,0% | najdłuższa przerwa czasu 0,0 h (MODELLED)

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

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

Uruchom#

kshana scenarios/lunar-surface.toml

2 dołączone scenariusze używają tego rodzaju; 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 Rodzaj i faza lunar-surface: dostępność przekaźników i PDOP, widoczność Ziemi i Słońca oraz zdyscyplinowany zegar powierzchniowy dla każdego miejsca i pory roku, z horyzontem terenu z moonlight-service-volume; przebieg dla jednego miejsca równa się temu rodzaju

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 i faza lunar-surface: dostępność przekaźników i PDOP, widoczność Ziemi i Słońca oraz zdyscyplinowany zegar powierzchniowy dla każdego miejsca i pory roku, z terenem. Wyrocznia (ReferenceImpl): Dokładna równość z istniejącym rodzajem dla jednego miejsca oraz kontrole monotoniczności w testach. Zestaw przekaźników jest ILLUSTRATIVE i nie porównuje się żadnego pomiaru z powierzchni

Ograniczenia#

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

• MODELLED (wynik label)
• MODELLED: dostępność pozycjonowania i czasu na powierzchni według miejsca i pory roku dla miejsc przy biegunie południowym klasy Artemis. (katalog rodzajów (kshana kinds --json))
• MODELLED: ilustracyjny keplerowski zestaw przekaźników na Księżycu o średniej rotacji; wartość dla przekaźników nie zmienia się z porą roku; teren to wycinek LOLA 1200 m. (katalog rodzajów (kshana kinds --json))
• UCZCIWOŚĆ: MODELLED. Zestaw przekaźników jest ilustracyjny i keplerowski, a Księżyc obraca się ze średnią prędkością dla przekaźników (bez libracji) jak w moonlight-service-volume; Ziemia i Słońce używają orientacji analitycznej, więc oba układy różnią się przez to pominięcie. Wartość pozycjonowania przekaźnikami nie zmienia się w tym modelu z porą roku; wartości dla Ziemi i Słońca się zmieniają. Nie twierdzi się, że wynik pokrywa się z jakąkolwiek rzeczywistą usługą ani miejscem. Wył (komentarz pliku scenariusza, wiersze 11 do 15)
• 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))
• Dostępność pozycjonowania i czasu na powierzchni według miejsca i pory roku na biegunach Księżyca (lunar-surface) jest MODELLED, a nie sprawdzona względem niezależnego wzorca: sprawdzana względem osobnej implementacji w tej samej bazie kodu — niezależnej od testowanej jednostki, ale nie zewnętrznie miarodajnej. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#

• Strona rodziny: Księżyc i przestrzeń cislunarna
• Wszystkie rodzaje: KINDS.md
• Strona tematu: MISSION-THREAD-LUNAR.md
• Strona tematu: MISSION-THREAD.md