Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/lunar-interop-export.md

lunar-interop-export (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Mond und cislunarer Raum. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Modellierter lunarer Interoperabilitätsexport: gibt das lunare Bezugssystem, die lunare Zeitskala und die lunare Ephemeride in an LunaNet/IOAG angelehnten, auf CCSDS basierenden Austauschformen mit Rundlauf-/Feldkonformität aus. WIEDERVERWENDET den CCSDS-OEM-2,0-Emitter und -Parser des Crates (crate::oem), für den lunaren Kontext neu etikettiert — REF_FRAME trägt das lunare Körperbezugssystem IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM die lunare Zeitskala (LTC / TCL / UTC), CENTER_NAME = MOON — über eine beispielhafte illustrative Ephemeride der Klasse LCNS (Positionen aus crate::lunar_service, Geschwindigkeit per finiter Differenz). Gibt außerdem einen an LunaNet/IOAG angelehnten Deskriptor der Mondzeit aus (Skalen-ID, säkulare Rate µs/Tag aus crate::lunar_time, veröffentlichtes Band, Bezugsfläche), der über serde_json einen Rundlauf besteht, und verpackt die Artefakte in den bestehenden KIF-Umschlag (crate::interchange) mit der Ehrlichkeitsbezeichnung MODELLED. Meldet ausgegebene Artefakte, OEM-Zeilenzahl, Feldkonformitätsprüfung (bestanden) samt Liste vorhandener/fehlender Felder, OEM-Rundlauf in Ordnung, Zeitmetadaten-Rundlauf in Ordnung und KIF-Bytegröße. MODELLED — deterministischer Rundlauf und Feldnamenkonformität gegenüber dem veröffentlichten CCSDS-OEM und der Feldsemantik von LunaNet/IOAG sind die unabhängige Referenz; KEIN zertifizierter Test der Interoperabilitätskonformität; illustrative Ephemeride aus öffentlichen Quellen, nicht mit der ESA verbunden; keine TRL-/Heritage-/Behördenbestätigung.

Ein Lauf von scenarios/lunar-interop-export.toml fasst sich so zusammen: lunar-interop-export | REF_FRAME MOON_ME / TIME_SYSTEM LTC | 9 states, OEM 23 lines | conformance PASS (9 present / 0 missing) | OEM round-trip ok | time-meta round-trip ok | KIF 1640 bytes | MODELLED

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: frame, time_system, n_states, epoch, step_min, object

Das Beispiel scenarios/lunar-interop-export.toml setzt unter anderem:

Feld Wert Einheit
epoch 2030-01-01T00:00:00 Text
frame MOON_ME Text
kind lunar-interop-export Text
n_states 9 Anzahl
object LCNS-ILLUSTRATIVE-1 Text
step_min 30 min
time_system LTC Text

Ausführen#

kshana scenarios/lunar-interop-export.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnis Wert Einheit
conformance.data_lines 9 Anzahl
conformance.pass true Flag
conformance.ref_frame MOON_ME Text
conformance.time_system LTC Text
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
frame MOON_ME Text
honesty MODELLED Text
kif_bytes 1640 octet
Das Diagramm, das die Engine für scenarios/lunar-interop-export.toml schreibt, Szenarioart lunar-interop-export

Nachweise#

Keine Matrixzeile nennt diesen Typ beim Namen; die Kennzeichnung seines Ergebnisses stammt von der Engine selbst, siehe oben.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

  • MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
  • MODELLED An LunaNet/IOAG angelehnter Export von lunarem Bezugssystem + Zeit + Ephemeride (CCSDS OEM + KIF) mit Rundlaufkonformität. Orakel (InternalConsistency): Der lunare OEM-Export von kshana, erneut geparst von der unabhängigen Bibliothek oem eines Drittanbieters (R. J. Anderson): Bezugssystem-/Zeit-Token und Zustand je Epoche stimmen im Rahmen der Schreibpräzision überein (1 mm / 1e-9 km/s), und ein Export ohne TIME_SYSTEM wird abgewiesen — ein struktureller Austausch-Rundlauf; die physikalische Semantik von lunarem Bezugssystem/lunarer Zeit wird von eigenen Zeilen validiert, daher bleibt dies MODELLED. 0,30 externer Vergleich, ein Befund (bleibt MODELLED): ein se

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

  • MODELLED (Ergebnis honesty)
  • Gibt außerdem einen an LunaNet/IOAG angelehnten Deskriptor der Mondzeit aus (Skalen-ID, säkulare Rate µs/Tag aus crate::lunar_time, veröffentlichtes Band, Bezugsfläche), der über serde_json einen Rundlauf besteht, und verpackt die Artefakte in den bestehenden KIF-Umschlag (crate::interchange) mit der Ehrlichkeitsbezeichnung MODELLED. (Szenarioarten-Katalog (kshana kinds --json))
  • MODELLED — deterministischer Rundlauf + Feldnamenkonformität gegen veröffentlichtes CCSDS OEM + LunaNet/IOAG-Feldsemantik ist die unabhängige Referenz; KEIN zertifizierter Interoperabilitäts-Konformitätstest; illustrative Ephemeride aus öffentlichen Quellen, nicht mit der ESA verbunden; kein TRL/Flugerbe/keine Billigung durch eine Agentur. (Szenarioarten-Katalog (kshana kinds --json))
  • WAS src/lunar_interop.rs tut: * export_lunar_oem — WIEDERVERWENDET den CCSDS-OEM-2,0-Emitter des Crates (crate::oem), für den lunaren Kontext neu etikettiert: REF_FRAME = das lunare Körperbezugssystem IAU 2015 WGCCRE (MOON_ME / MOON_PA), TIME_SYSTEM = die lunare Zeitskala (LTC / TCL / UTC), CENTER_NAME = MOON, über eine beispielhafte ILLUSTRATIVE Ephemeride der Klasse LCNS (Positionen aus crate::lunar_service, Geschwindigkeit durch zentrale finite Differenz). * export_ (Kommentar in der Szenariodatei, Zeilen 6 bis 19)
  • EHRLICHKEIT: MODELLED. Die Feld-NAMEN und Einheiten sind an PUBLIC Standards angelehnt (CCSDS 502.0-B OEM, IAU-WGCCRE-2015-Mondbezugssysteme, LunaNet Interoperability Specification / IOAG-Mondarchitektur). Der deterministische Rundlauf und die Feldnamenkonformität sind die unabhängige Referenz. Dies ist KEIN zertifizierter Interoperabilitäts-Konformitätstest. Die Ephemeride ist illustrativ, aus öffentlichen Quellen, NICHT mit der ESA verbunden und impliziert kein TRL (Kommentar in der Szenariodatei, Zeilen 21 bis 26)
  • Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Der lunare Interoperabilitätsexport ist MODELLED, nicht validiert: Er wird gegen seine eigene geschlossene bzw. analytische Identität geprüft - das fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#