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-infrastructure.md

lunar-infrastructure (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#

MODELLED Studien zu Umlaufbahn und Oberfläche des Mondes als Navigations- und Geodäsie-Infrastruktur, fünf Studien hinter einer Szenarioart, ausgewählt durch study: od-consistency (Bahnbestimmung an Bord mit Erd-GNSS in einer NRHO oder ELFO gegen eine unabhängige radiometrische Bahnbestimmung vom Boden, beurteilt an ihren eigenen Kovarianzen über eine Monte-Carlo-Simulation mit Seed), carrier-phase (gemeinsame doppeltdifferenzierte Trägerphase von Oberfläche und Orbiter und Auflösung der ganzzahligen Mehrdeutigkeit mit LAMBDA), frame-coestimation (eine Oberflächenstation und Orbiter, die der Entfernungsmessung von Erdstationen für das Helmert-Bezugssystemdatum des Mondes mit sieben Parametern hinzugefügt werden), space-tie (GNSS, VLBI und Laserentfernungsmessung auf einem Raumfahrzeug, Präzision der Bezugssystemanbindung gegen den Fehler der lokalen Anbindung) und geodesy-sensitivity (Fisher-Information der Love-Zahlen h2, k2, l2 des Mondes und der physikalischen Libration aus Laserentfernungsmessung, Orbiter-Verfolgung, einem Oberflächengravimeter und einer Oberflächenuhr). Ein eingeschränktes Dreikörpermodell mit angegebenen Vereinfachungen; die Numerik wird gegen unabhängige Programme geprüft, und nichts wird mit einer Messung einer lunaren Größe verglichen.

Ein Lauf von scenarios/lunar-infrastructure-space-tie.toml fasst sich so zusammen: lunar-infrastructure space-tie: 4 sweep points on 1 arcs; laser-vs-GNSS x translation sigma 1,0363 m at the registered local tie

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: study
  • Optionale Felder: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

Das Beispiel scenarios/lunar-infrastructure-space-tie.toml setzt unter anderem:

Feld Wert Einheit
kind lunar-infrastructure Text
orbit.arc_days 6.56 d
orbit.family nrho Text
orbit.sample_s 900 s
orbit.vy0 -0.102 nicht angegeben
orbit.x0 1.022 nicht angegeben
orbit.z0 -0.18 nicht angegeben
seed 20261019 nicht angegeben
study space-tie Text
techniques.gnss_sigma_m 10 m
techniques.local_tie_sigma_m 0.001 m
techniques.slr_sigma_m 0.1 m

Ausführen#

kshana scenarios/lunar-infrastructure-space-tie.toml

6 mitgelieferte Szenarien verwenden diese Art; die anderen sind in scenarios/.

Was es liefert#

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

Ergebnis Wert Einheit
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
local_tie_sigma_m 0.001 m
study space-tie Text
technique_sigma_m.gnss 10 m
technique_sigma_m.slr 0.1 m
technique_sigma_m.vlbi 1 m

Ergebnisbezeichnung (der Engine): MODELLED — ein eingeschränktes Dreikörpermodell (Erde und Mond als Punktmassen, keine Sonne, keine Schwerefeld-Harmonischen des Mondes) mit angegebenen Vereinfachungen und ILLUSTRATIVE Eingaben, die mit ihren öffentlichen Quellen bezeichnet sind. Die Numerik wird gegen unabhängige Programme geprüft; nichts wird mit einer Messung einer lunaren Grö

kein Plot: Das Beispiel schreibt kein Diagramm

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 Bahnbestimmung in einem nahezu geradlinigen Halo-Orbit (oder einem elliptischen eingefrorenen Orbit) aus zwei unabhängigen Datentypen: Erd-GNSS-Pseudoranges, die an Bord empfangen werden. Orakel (ReferenceImpl): Ein unabhängiges scipy/numpy-Programm integriert dieselben Variationsgleichungen (Zielwert O1). Nichts wird mit einer Messung einer lunaren Bahn verglichen. Die Referenz prüft die Numerik angegebener Formeln, nicht die Physik, daher bleibt die Zeile MODELLED. Eingeschränktes Dreikörpermodell: keine Sonne, keine lunaren Harmonischen, die Erdrotationsachse entlang der Bahnnormalen, ILLUSTRATIVE Eingaben für Empfänger und Station.
  • MODELLED Einfachdifferenzierte Erd-GNSS-Trägerphase und -Code zwischen Empfängern an einer Mondoberflächenstation und einem Orbiter, wobei die Uhrendifferenz je Epoche herausprofiliert wird. Orakel (ReferenceImpl): Eine unabhängige numpy-Lösung derselben Normalgleichungen aus den exportierten Zeilen (Q3) und eine Brute-Force-Aufzählung der ganzen Zahlen (Q4). Keine GNSS- oder lunare Trägerphasenmessung wird verglichen mit. MODELLED.
  • MODELLED Fisher-Information des Helmert-Bezugssystemdatums des Mondes mit sieben Parametern aus der Laserentfernungsmessung von Erdstationen zu den fünf Reflektoren allein und mit Entfernungsmessung von Orbiter zu Oberflächenstation. Orakel (ReferenceImpl): Eine unabhängige finite Differenz des Vorwärtsmodells in numpy (F2). Nichts wird mit echten Lösungen des Mondbezugssystems verglichen. Der Faktor gilt unter der Bedingung der angenommenen bekannten Bahn und des Entfernungs-Sigmas von 1 m. MODELLED.
  • MODELLED Cramér-Rao-Präzision der Translations-, Maßstabs- und Rotationsversätze zwischen den Techniken GNSS, VLBI und Laserentfernungsmessung, wenn ein Raumfahrzeug alle trägt. Orakel (ReferenceImpl): Ein unabhängiges gestapeltes System in numpy, bei dem die Positionsunbekannten durch explizite Schur-Komplemente eliminiert werden (T3). Keine Daten von GRASP, Genesis oder einer anderen Mission werden verglichen mit. MODELLED.

Einschränkungen#

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

  • MODELLED — ein eingeschränktes Dreikörpermodell (Erde und Mond als Punktmassen, keine Sonne, keine Schwerefeld-Harmonischen des Mondes) mit angegebenen Vereinfachungen und ILLUSTRATIVE Eingaben, die mit ihren öffentlichen Quellen bezeichnet sind. Die Numerik wird gegen unabhängige Programme geprüft; nichts wird mit einer Messung einer lunaren Größe verglichen, und nichts hier ist eine Aussage über irgendeine Mission oder ein System. Nicht verbunden mit oder gebilligt von einer Agentur. Beratend (Ergebnis label)
  • MODELLED Studien zu Umlaufbahn und Oberfläche des Mondes als Navigations- und Geodäsie-Infrastruktur, fünf Studien hinter einer Szenarioart, ausgewählt durch study: od-consistency (Bahnbestimmung an Bord mit Erd-GNSS in einer NRHO oder ELFO gegen eine unabhängige radiometrische Bahnbestimmung vom Boden, beurteilt an ihren eigenen Kovarianzen über eine Monte-Carlo-Simulation mit Seed), carrier-phase (gemeinsame doppeltdifferenzierte Trägerphase von Oberfläche und Orbiter und ganzzahlige Mehr (Szenarioarten-Katalog (kshana kinds --json))
  • Kshana-Szenario lunar-infrastructure: space-tie. MODELLED; das Design, die Eingaben und die Zielwerte sind in xval/lunar-infra/PREREGISTRATION.md festgelegt (eingecheckt vor jedem Lauf). ILLUSTRATIVE Eingaben sind dort mit ihren öffentlichen Quellen bezeichnet. (Kommentar in der Szenariodatei, Zeilen 1 bis 3)
  • 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))
  • Die lunare Bahnbestimmung: Erd-GNSS gegen radiometrisch vom Boden ist MODELLED, nicht validiert: Sie wird gegen eine getrennte Implementierung in derselben Codebasis geprüft — unabhängig von der geprüften Einheit, aber nicht extern maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Die lunare Auflösung der Trägerphasen-Mehrdeutigkeit: Oberfläche und Orbiter ist MODELLED, nicht validiert: Sie wird gegen eine getrennte Implementierung in derselben Codebasis geprüft — unabhängig von der geprüften Einheit, aber nicht extern maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Die lunare Mitschätzung des Bezugssystems: Oberflächenstationen und Orbiter ist MODELLED, nicht validiert: Sie wird gegen eine getrennte Implementierung in derselben Codebasis geprüft — unabhängig von der geprüften Einheit, aber nicht extern maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Die Präzision der Space-Tie-Bezugssystemanbindung: kolokalisierte GNSS, VLBI und Laserentfernungsmessung ist MODELLED, nicht validiert: Sie wird gegen eine getrennte Implementierung in derselben Codebasis geprüft — unabhängig von der geprüften Einheit, aber nicht extern maßgeblich. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#