Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/oem-interop.md

oem-interop (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe Tehtäväanalyysi, linkit ja avaruusoperaatiot. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

CCSDS OEM -yhteentoimivuussilta: tuo ulkoisen lentodynamiikkatyökalun tuottama Orbit Ephemeris Message (GMAT/Orekit/STK tuottavat kaikki OEM:n) ja raportoi sen segmentit/kohteet/koordinaatistot/epookkivälin sekä nopeuden johdonmukaisuustarkistuksen; ilman syötettä se kiertää generoidun viiteradan edestakaisin ja raportoi tuonnin↔viennin tarkkuuden. MODELLED rakenteellinen/fysikaalinen sisäänottotarkistus, EI lähteen radan tarkkuuden validointi.

Skenaarion scenarios/oem-interop.toml yksi ajo tiivistyy seuraavasti: oem-interop: edestakaisin kierretty 2 segmenttiä, 12 tilaa; suurin edestakaisvirhe 4.88e-7 km / 4.61e-10 km/s (MODELLED interop)

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: ei yhtään
  • Valinnaiset kentät: oem_text

Esimerkki scenarios/oem-interop.toml asettaa muun muassa:

Kenttä Arvo Yksikkö
kind oem-interop teksti

Aja se#

kshana scenarios/oem-interop.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
n_segments 2 lukumäärä
n_states_total 12 lukumäärä
originator KSHANA teksti
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 teksti

Tuloksen nimike (moottorin oma): MODELLED — CCSDS OEM -tuonti-/edestakaissilta (GMAT/Orekit/STK tuottavat OEM:n); rakenteellinen + fysikaalinen sisäänottotarkistus, EI lähteen radan tarkkuuden validointi

Moottorin kirjoittama kaavio skenaariolle scenarios/oem-interop.toml, tyyppi oem-interop

Todisteet#

VALIDATED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • VALIDATED CCSDS 502,0 OEM -tuoja (parse_oem), joka sietää COMMENT-rivit / ylimääräiset metatietoavainsanat / kovarianssilohkot ja on kirjoittajan täsmällinen käänteisfunktio; edestakaisuus + ulkoisen tiedoston sisäänotto nopeuden johdonmukaisuustarkistuksella. Testit: ccsds_oem_interop_reference.rs.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • VALIDATED CCSDS 502,0 OEM -tuoja (parse_oem), joka sietää COMMENT-rivit / ylimääräiset metatietoavainsanat / kovarianssilohkot ja on kirjoittajan täsmällinen käänteisfunktio; edestakaisuus + . Oraakkeli (ExternalDataset): Riippumaton kolmannen osapuolen CCSDS-502-jäsennin oem 0.4.5 (MIT, https://pypi.org/project/oem/) — erillinen koodikanta, joka dekoodaa kshanan tuottaman EME2000/UTC OEM:n tavu tavulta identtisesti (24 tilaa 2 testiaineistossa, paikka/nopeus Δ = 0) ja jonka tiukka lukija vahvistaa metatietotunnisteet; kshanan jäsennin täsmää sen kanssa myös toimitetussa ulkoisessa OEM:ssä. Kaksi rehellistä yhteentoimivuushavaintoa (oem-kirjasto hylkää kshanan satelliittikohtaisen mu

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED — CCSDS OEM -tuonti-/edestakaissilta (GMAT/Orekit/STK tuottavat OEM:n); rakenteellinen + fysikaalinen sisäänottotarkistus, EI lähteen radan tarkkuuden validointi (tulos label)
  • MODELLED rakenteellinen/fysikaalinen sisäänottotarkistus, EI lähteen radan tarkkuuden validointi. (tyyppiluettelo (kshana kinds --json))
  • REHELLINEN RAJAUS: MODELLED rakenteellinen + fysikaalinen sisäänottotarkistus, EI lähdeefemeridin radan tarkkuuden validointi. Ajo: kshana scenarios/oem-interop.toml (skenaariotiedoston kommentti, rivit 11 - 13)
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#