oem-interop (rodzaj scenariusza)
Rodzaj scenariusza silnika v0.40.0, rodzina Analiza misji, łącza i operacje kosmiczne. 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 mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).
Co robi#
Most interoperacyjności CCSDS OEM: import komunikatu efemeryd orbitalnych (Orbit Ephemeris Message) wytworzonego przez zewnętrzne narzędzie dynamiki lotu (GMAT, Orekit i STK emitują OEM) i raport o jego segmentach, obiektach, układach odniesienia i przedziale epok oraz kontrola spójności prędkości; bez danych wejściowych wykonuje obieg tam i z powrotem wygenerowanej orbity odniesienia i podaje wierność importu względem eksportu. Strukturalna i fizyczna kontrola wczytania MODELLED, NIE walidacja dokładności orbity źródła.
Jeden przebieg scenarios/oem-interop.toml podsumowuje się tak: oem-interop: obieg tam i z powrotem 2 segmentów, 12 stanów; maksymalny błąd obiegu 4.88e-7 km / 4.61e-10 km/s (interoperacyjność MODELLED)
Wejścia#
Ze schematu (kshana kinds --json):
- Pola wymagane: brak
- Pola opcjonalne:
oem_text
Przykład scenarios/oem-interop.toml ustawia między innymi:
| Pole | Wartość | Jednostka |
|---|---|---|
kind |
oem-interop | tekst |
Uruchom#
kshana scenarios/oem-interop.tomlCo daje#
Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:
| Wynik | Wartość | Jednostka |
|---|---|---|
evidence.id_rule |
stabilny identyfikator wiersza macierzy (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
evidence.tier |
MODELLED | tekst |
n_segments |
2 | liczba |
n_states_total |
12 | liczba |
originator |
KSHANA | tekst |
round_trip_max_pos_error_km |
4.8822e-7 | km |
round_trip_max_vel_error_km_s |
4.6115e-10 | km/s |
source |
round-trip | tekst |
Etykieta wyniku (silnika): MODELLED — most interoperacyjności importu i obiegu CCSDS OEM (GMAT, Orekit i STK emitują OEM); strukturalna i fizyczna kontrola wczytania, NIE walidacja dokładności orbity źródła
, 12 states; max round-trip error 4.88e-7 km / 4.61e-10 km/s (MODELLED interop)%3C/text%3E%3Ctext x=%221172%22 y=%2234%22 text-anchor=%22end%22 fill=%22%238190B0%22 font-size=%2210%22 font-family=%22Geist, ui-sans-serif, system-ui, sans-serif%22%3EKshana v0.40.0 · scenario eed7e2edc9bd · kshana.dev%3C/text%3E%3Cmetadata id=%22kshana-evidence%22 data-tier=%22MODELLED%22 data-rows=%22VM-cf3cdcd3;VM-81fb8429%22%3EVM-cf3cdcd3 MODELLED Reproducibility %26amp; software assurance %7C VM-81fb8429 VALIDATED CCSDS OEM interoperability (GMAT/Orekit/STK ephemeris import)%3C/metadata%3E%3Crect x=%220%22 y=%2240%22 width=%221180%22 height=%2216%22 fill=%22%23060A14%22/%3E%3Ctext x=%228%22 y=%2251%22 fill=%22%238190B0%22 font-size=%2210%22 font-family=%22Geist, ui-sans-serif, system-ui, sans-serif%22%3EEvidence: MODELLED · 2 ledger rows VM-cf3cdcd3 VM-81fb8429%3C/text%3E%3C/svg%3E)
Dowody#
VALIDATED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.
- VALIDATED Importer CCSDS 502,0 OEM (parse_oem), tolerancyjny wobec wierszy COMMENT, dodatkowych słów kluczowych metadanych i bloków kowariancji oraz dokładna odwrotność zapisu; obieg tam i z powrotem oraz wczytanie pliku zewnętrznego z kontrolą spójności prędkości. Testy: ccsds_oem_interop_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
- VALIDATED Importer CCSDS 502,0 OEM (parse_oem), tolerancyjny wobec wierszy COMMENT, dodatkowych słów kluczowych metadanych i bloków kowariancji oraz dokładna odwrotność zapisu; obieg tam i z powrotem + . Wyrocznia (ExternalDataset): niezależny parser CCSDS-502 od zewnętrznego autora,
oem0.4.5 (MIT, https://pypi.org/project/oem/) — oddzielna baza kodu, która dekoduje bajt w bajt OEM EME2000/UTC emitowany przez kshana (24 stanów w 2 plikach testowych, Δ położenia i prędkości = 0) i której ścisły czytnik potwierdza tokeny metadanych; parser kshana również zgadza się z nim na dołączonym zewnętrznym pliku OEM. Dwa rzetelne ustalenia dotyczące interoperacyjności (biblioteka oem odrzuca per-satellite mu
Ograniczenia#
Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:
- MODELLED — most interoperacyjności importu i obiegu CCSDS OEM (GMAT, Orekit i STK emitują OEM); strukturalna i fizyczna kontrola wczytania, NIE walidacja dokładności orbity źródła (wynik
label) - Strukturalna i fizyczna kontrola wczytania MODELLED, NIE walidacja dokładności orbity źródła. (katalog rodzajów (
kshana kinds --json)) - RZETELNY ZAKRES: strukturalna i fizyczna kontrola wczytania MODELLED, NIE walidacja dokładności orbity efemeryd źródłowych. Uruchomienie: kshana scenarios/oem-interop.toml (komentarz w pliku scenariusza, wiersze 11 do 13)
- 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ż#
- Strona rodziny: Analiza misji, łącza i operacje kosmiczne
- Wszystkie rodzaje: KINDS.md