Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/oem-interop.md

oem-interop (scenariotyp)

Scenariotyp i motor v0.40.0, familj Uppdragsanalys, länkar och rymdoperationer. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Interoperabilitetsbrygga för CCSDS OEM: importera ett Orbit Ephemeris Message som skapats av ett externt flygdynamikverktyg (GMAT/Orekit/STK ger alla OEM) och redovisa dess segment/objekt/referenssystem/epokspann samt en hastighetskonsistenskontroll; utan indata går den en rundtur med en genererad referensbana och redovisar import↔export-trohet. MODELLED strukturell/fysikalisk importkontroll, INTE en validering av banans noggrannhet för källan.

En körning av scenarios/oem-interop.toml sammanfattas som: oem-interop: round-tripped 2 segment(s), 12 states; max round-trip error 4.88e-7 km / 4.61e-10 km/s (MODELLED interop)

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: inga
  • Valfria fält: oem_text

Exemplet scenarios/oem-interop.toml anger bland annat:

Fält Värde Enhet
kind oem-interop text

Kör den#

kshana scenarios/oem-interop.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
n_segments 2 antal
n_states_total 12 antal
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

Resultatetikett (motorns egen): MODELLED — interoperabilitetsbrygga för import/rundtur av CCSDS OEM (GMAT/Orekit/STK ger OEM); en strukturell + fysikalisk importkontroll, INTE en validering av banans noggrannhet för källan

Diagrammet som motorn skriver för scenarios/oem-interop.toml, typ oem-interop

Evidens#

VALIDATED: raderna i verifieringsmatrisen som nämner den här typen.

  • VALIDATED CCSDS 502,0 OEM-importerare (parse_oem), tolerant mot COMMENT-rader / extra metadatanyckelord / kovariansblock och den exakta inversen till skrivaren; rundtur + import av extern fil med en hastighetskonsistenskontroll. Tester: ccsds_oem_interop_reference.rs.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • VALIDATED CCSDS 502,0 OEM-importerare (parse_oem), tolerant mot COMMENT-rader / extra metadatanyckelord / kovariansblock och den exakta inversen till skrivaren; rundtur + . Oberoende referens (ExternalDataset): Oberoende CCSDS-502-parser från tredje part oem 0.4.5 (MIT, https://pypi.org/project/oem/) — en separat kodbas som avkodar kshanas utsända EME2000/UTC-OEM byte för byte identiskt (24 tillstånd över 2 fixturer, pos/vel Δ = 0) och vars strikta läsare bekräftar metadatatokens; kshanas parser stämmer likaså med den på en medföljande extern OEM. Två ärliga interoperabilitetsfynd (biblioteket oem avvisar kshanas mu per satellit

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • MODELLED — interoperabilitetsbrygga för import/rundtur av CCSDS OEM (GMAT/Orekit/STK ger OEM); en strukturell + fysikalisk importkontroll, INTE en validering av banans noggrannhet för källan (resultat label)
  • MODELLED strukturell/fysikalisk importkontroll, INTE en validering av banans noggrannhet för källan. (typkatalog (kshana kinds --json))
  • ÄRLIG AVGRÄNSNING: MODELLED strukturell + fysikalisk importkontroll, INTE en validering av banans noggrannhet för källefemeriden. Kör: kshana scenarios/oem-interop.toml (kommentar i scenariofilen, rad 11 till 13)
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#