lunar-interop-export (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 eksport interoperacyjności księżycowej: emituje księżycowy układ odniesienia, księżycową skalę czasu i księżycowe efemerydy w formach wymiany wyrównanych do LunaNet/IOAG, opartych na CCSDS, z obiegiem w obie strony / dopasowaniem pól do specyfikacji. WYKORZYSTUJE emiter i parser CCSDS OEM 2,0 z crate (crate::oem) oznaczone na nowo dla kontekstu księżycowego — REF_FRAME w OEM niesie księżycowy układ ciała IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM księżycową skalę czasu (LTC / TCL / UTC), CENTER_NAME = MOON — dla przykładowych ilustracyjnych efemeryd klasy LCNS (pozycje z crate::lunar_service, prędkość przez różnicę skończoną). Emituje także deskryptor czasu księżycowego wyrównany do LunaNet/IOAG (identyfikator skali, tempo wtórne µs/dobę z crate::lunar_time, opublikowane pasmo, powierzchnia odniesienia), który wykonuje obieg w obie strony przez serde_json, i opakowuje artefakty w istniejącą kopertę KIF (crate::interchange) z etykietą rzetelności MODELLED. Podaje liczbę wyemitowanych artefaktów, liczbę wierszy OEM, dopasowanie pól do specyfikacji — zaliczenie + listę pól obecnych/brakujących, obieg OEM ok, obieg metadanych czasu ok oraz rozmiar KIF w bajtach. MODELLED — wyrocznią jest deterministyczny obieg w obie strony + dopasowanie nazw pól do opublikowanego CCSDS OEM + semantyki pól LunaNet/IOAG; NIE jest to certyfikowany test zgodności (conformance) interoperacyjności; ilustracyjne efemerydy ze źródeł publicznych, bez powiązań z ESA; bez TRL, dorobku ani poparcia agencji.

Jeden przebieg scenarios/lunar-interop-export.toml podsumowuje się tak: lunar-interop-export | REF_FRAME MOON_ME / TIME_SYSTEM LTC | 9 stanów, OEM 23 wierszy | dopasowanie do specyfikacji PASS (9 obecnych / 0 brakujących) | obieg OEM w obie strony ok | obieg metadanych czasu w obie strony ok | KIF 1640 bajtów | MODELLED

Wejścia#

Ze schematu (kshana kinds --json):

• Pola wymagane: brak
• Pola opcjonalne: frame, time_system, n_states, epoch, step_min, object

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

Uruchom#

kshana scenarios/lunar-interop-export.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
• MODELLED Eksport księżycowego układu odniesienia + czasu + efemeryd wyrównany do LunaNet/IOAG (CCSDS OEM + KIF) z obiegiem w obie strony. Wyrocznia (InternalConsistency): księżycowy eksport OEM z kshana przeanalizowany ponownie przez niezależną zewnętrzną bibliotekę oem (R. J. Anderson): znaczniki układu/czasu i stan w każdej epoce zgadzają się z dokładnością zapisu (1 mm / 1e-9 km/s), a eksport bez TIME_SYSTEM jest odrzucany — strukturalny obieg wymiany w obie strony; fizyczna semantyka księżycowego układu/czasu jest sprawdzona w jej własnych wierszach, więc ten pozostaje MODELLED. 0,30 porównanie zewnętrzne, ustalenie (pozostaje MODELLED): a se

Ograniczenia#

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

• MODELLED (wynik honesty)
• Emituje także deskryptor czasu księżycowego wyrównany do LunaNet/IOAG (identyfikator skali, tempo wtórne µs/dobę z crate::lunar_time, opublikowane pasmo, powierzchnia odniesienia), który wykonuje obieg w obie strony przez serde_json, i opakowuje artefakty w istniejącą kopertę KIF (crate::interchange) z etykietą rzetelności MODELLED. (katalog rodzajów (kshana kinds --json))
• MODELLED — wyrocznią jest deterministyczny obieg w obie strony + dopasowanie nazw pól do opublikowanego CCSDS OEM + semantyki pól LunaNet/IOAG; NIE jest to certyfikowany test zgodności (conformance) interoperacyjności; ilustracyjne efemerydy ze źródeł publicznych, bez powiązań z ESA; bez TRL, dorobku ani poparcia agencji. (katalog rodzajów (kshana kinds --json))
• CO ROBI src/lunar_interop.rs: * export_lunar_oem — WYKORZYSTUJE emiter CCSDS OEM 2,0 z crate (crate::oem), oznaczony na nowo dla kontekstu księżycowego: REF_FRAME = księżycowy układ ciała IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM = księżycowa skala czasu (LTC / TCL / UTC), CENTER_NAME = MOON, dla przykładowych ILLUSTRATIVE efemeryd klasy LCNS (pozycje z crate::lunar_service, prędkość przez centralną różnicę skończoną). * export_ (komentarz w pliku scenariusza, wiersze 6 do 19)
• RZETELNOŚĆ: MODELLED. NAZWY pól i jednostki są wyrównane do standardów PUBLIC (CCSDS 502.0-B OEM, księżycowe układy IAU WGCCRE 2015, specyfikacja interoperacyjności LunaNet / architektura księżycowa IOAG). Wyrocznią są deterministyczny obieg w obie strony i dopasowanie nazw pól. To NIE jest certyfikowany test zgodności (conformance) interoperacyjności. Efemerydy są ilustracyjne, ze źródeł publicznych, BEZ powiązań z ESA, i nie sugerują żadnego TRL (komentarz w pliku scenariusza, wiersze 21 do 26)
• 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 eksport interoperacyjności 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))

Zobacz też#

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