oem-interop (druh scénáře)
Druh scénáře enginu v0.40.0, rodina Analýza misí, spoje a kosmické operace. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každý zdejší štítek je štítkem enginu nebo verifikační matice; druh je MODELLED, pokud matice neříká jinak (jak se štítek získává: oddíl Evidence v README).
Co dělá#
Most pro interoperabilitu CCSDS OEM: import zprávy Orbit Ephemeris Message vytvořené externím nástrojem letové dynamiky (GMAT/Orekit/STK všechny OEM vydávají) a výpis jejích segmentů/objektů/soustav/časového rozpětí epoch spolu s kontrolou konzistence rychlosti; bez vstupu provede round-trip vygenerované referenční oběžné dráhy a vypíše věrnost importu↔exportu. Strukturní/fyzikální kontrola importu stavu MODELLED, NENÍ ověřením přesnosti oběžné dráhy zdroje.
Jeden běh scenarios/oem-interop.toml se shrnuje takto: oem-interop: round-trip 2 segmentů, 12 stavů; max. chyba round-tripu 4.88e-7 km / 4.61e-10 km/s (interop MODELLED)
Vstupy#
Ze schématu (kshana kinds --json):
- Povinná pole: žádná
- Volitelná pole:
oem_text
Příklad scenarios/oem-interop.toml mimo jiné nastavuje:
| Pole | Hodnota | Jednotka |
|---|---|---|
kind |
oem-interop | text |
Spusťte jej#
kshana scenarios/oem-interop.tomlCo poskytuje#
Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:
| Výsledek | Hodnota | Jednotka |
|---|---|---|
evidence.id_rule |
stabilní id řádku matice (ID | text |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | text |
evidence.tier |
MODELLED | text |
n_segments |
2 | počet |
n_states_total |
12 | počet |
originator |
KSHANA | text |
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 | text |
Popisek výsledku (z enginu): MODELLED — most interoperability pro import/round-trip CCSDS OEM (GMAT/Orekit/STK vydávají OEM); strukturní a fyzikální kontrola importu, NENÍ ověřením přesnosti oběžné dráhy zdroje
, 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)
Důkazy#
VALIDATED: řádky verifikační matice, které tento druh uvádějí.
- VALIDATED Importér CCSDS 502,0 OEM (parse_oem), tolerantní k řádkům COMMENT / dalším metadatovým klíčovým slovům / blokům kovariance a přesná inverze zapisovače; round-trip + import externího souboru s kontrolou konzistence rychlosti. Testy: ccsds_oem_interop_reference.rs.
Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):
- MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
- VALIDATED Importér CCSDS 502,0 OEM (parse_oem), tolerantní k řádkům COMMENT / dalším metadatovým klíčovým slovům / blokům kovariance a přesná inverze zapisovače; round-trip + . Orákulum (ExternalDataset): Nezávislý parser CCSDS-502 třetí strany
oem0.4.5 (MIT, https://pypi.org/project/oem/) — samostatná kódová báze, která dekóduje OEM EME2000/UTC vydávané systémem kshana bajt po bajtu shodně (24 stavů ve 2 fixturách, pos/vel Δ = 0) a jejíž přísný čtecí modul potvrzuje metadatové tokeny; parser systému kshana s ní rovněž souhlasí na přibaleném externím OEM. Dvě otevřená zjištění o interoperabilitě (knihovna oem odmítá kshana per-satellite mu
Omezení#
Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:
- MODELLED — most interoperability pro import/round-trip CCSDS OEM (GMAT/Orekit/STK vydávají OEM); strukturní a fyzikální kontrola importu, NENÍ ověřením přesnosti oběžné dráhy zdroje (výsledek
label) - Strukturní/fyzikální kontrola importu stavu MODELLED, NENÍ ověřením přesnosti oběžné dráhy zdroje. (katalog druhů (
kshana kinds --json)) - ČESTNÝ ROZSAH: strukturní a fyzikální kontrola importu stavu MODELLED, NENÍ ověřením přesnosti oběžné dráhy zdrojových efemerid. Spuštění: kshana scenarios/oem-interop.toml (komentář v souboru scénáře, řádky 11 až 13)
- Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
Viz také#
- Stránka rodiny: Analýza misí, spoje a kosmické operace
- Všechny druhy: KINDS.md