lunar-orbit-rendezvous (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Mond und cislunar. Hinweis: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit des Lebens. Jede Kennzeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Kennzeichnung erworben wird: der Abschnitt Evidenz der README).

Was es tut#

MODELLED Relativnavigation für ein Andocken im Stil von Orion und Lander in einer niedrigen Mondumlaufbahn oder einer elliptischen Polarbahn (Artemis-Klasse). Ein Verfolger und ein Ziel fliegen dieselbe Bahn unter dem Mondkraftmodell des Crates; eine gemeinsame Gauß-Newton-Batchschätzung mit 21 Parametern über den Bogen (zwei Fahrzeugzustände und beständige Biase im Signalraum) fusioniert je Fahrzeug eine absolute Positionslösung aus einer ILLUSTRATIVE Relaisgruppe der LCNS-Klasse (Relais hinter dem Mond werden verworfen, vier sind nötig, der Gleichtakt-Fehler im Signalraum hebt sich zwischen den Fahrzeugen auf) und eine Querverbindungsentfernung, mit einer Entfernungsmessgenauigkeit aus der Code-Tracking-Schranke des LunaNet-AFS-Piloten. Sie gibt den formalen und den Monte-Carlo-Fehler von Relativposition und -geschwindigkeit in den LVLH-Achsen des Ziels an, die Verfügbarkeit der Lösung, den mittleren normierten quadrierten Schätzfehler gegenüber seinem Erwartungswert und jeden Versuch, dessen Iteration nicht konvergiert ist, die Drift durch Vernachlässigung der Gravitationsharmonischen und die weitergegebene volle 6x6-Kovarianz. Für den Kreisfall gilt eine geschlossene Hill/Clohessy-Wiltshire-Prüfung. MODELLED: illustrative Relaisgruppe, Fehlerbudget und Priors; die Wahrheit und der Schätzer teilen ein Kraftmodell, daher prüft der NEES die Selbstkonsistenz und nicht den Modellfehler. Nicht von einer Agentur gebilligt; beratende Software, keine zertifizierte Navigationsausrüstung.

Ein Lauf von scenarios/lunar-orbit-rendezvous.toml fasst sich so zusammen: lunar-orbit-rendezvous | llo 100x100 km | sep 2000 m | Lösungen 74 % | rel pos 1-Sigma R/A/C 0.03/0.06/0.04 m | mittlerer NEES 6,51 (6 erwartet) | konvergiert bei 2000 s (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree

Das Beispiel scenarios/lunar-orbit-rendezvous.toml setzt unter anderem:

Ausführen#

kshana scenarios/lunar-orbit-rendezvous.toml

2 mitgelieferte Szenarien verwenden diese Art; die übrigen stehen in scenarios/.

Was es liefert#

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

Ergebniskennzeichnung (der Engine): MODELLED

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

• MODELLED Die Art und Phase lunar-orbit-rendezvous: eine gemeinsame Gauß-Newton-Batchschätzung zweier Fahrzeuge über den Bogen (einundzwanzig Parameter: beide Zustände und beständige Positionsbiase im Signalraum, gemeinsame und unabhängige), ausgebaut über ein Viertel, die Hälfte Tests: mission_thread_lunar_oracles.rs.

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 Die Art und Phase lunar-orbit-rendezvous: eine gemeinsame Gauß-Newton-Batchschätzung zweier Fahrzeuge über den Bogen (einundzwanzig Parameter: beide Zustände und beständige Signalraumbiase. Unabhängige Referenz (InternalConsistency): Selbstkonsistenz unter einer Vorregistrierung (xval/mission-thread-lunar/PREREGISTRATION.md, Ergebnisse und die Geschichte der Schätzer in RESULTS.md): Der mittlere NEES des Relativzustands beträgt 5,85 bis 5,93 gegenüber dem Band 5,2 bis 6,8 in vier Konfigurationen, MET beim vierten Schätzerentwurf, nachdem drei Entwürfe mit sequentiellem Filter verfehlt wurden; die Wahrheit und der Schätzer teilen ein Kraftmodell, daher sagt dies nichts über Modellfehler aus. Der Pro
• MODELLED Der von den Mondarten gemeinsam genutzte Propagator (GRAIL GL0660B Grad und Ordnung 150, Erde und Sonne als dritte Körper, Relativität, DE440-Mondorientierung), verglichen mit den öff. Unabhängige Referenz (ExternalDataset): JPL-Horizons-Ephemeriden der Raumfahrzeuge LRO und CAPSTONE, gegen Zielwerte, die in xval/mission-thread-lunar/PREREGISTRATION.md vorab festgelegt wurden (Änderungen 1 bis 6). LRO: MET, 33 m größte 3D-Differenz und 2,4 m RMS radial gegenüber 500 m und 60 m. CAPSTONE: NOT MET, eine Differenz der Endposition von 136,8 km gegenüber 25 km und eine Perilundifferenz von 28,4 km gegenüber 10 km, die Ursachen nicht isoliert. Die Zeile ist modelliert, weil der CAPSTON

Einschränkungen#

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

• MODELLED (Ergebnis label)
• MODELLED Relativnavigation für ein Andocken im Stil von Orion und Lander in einer niedrigen Mondumlaufbahn oder einer elliptischen Polarbahn (Artemis-Klasse). (Artenkatalog (kshana kinds --json))
• MODELLED: illustrative Relaisgruppe, Fehlerbudget und Priors; die Wahrheit und der Schätzer teilen ein Kraftmodell, daher prüft der NEES die Selbstkonsistenz und nicht den Modellfehler. (Artenkatalog (kshana kinds --json))
• EHRLICHKEIT: MODELLED. Die Relaisgruppe, der Fehler im Signalraum, der Gleichtaktanteil und die Priors sind ILLUSTRATIVE Eingaben, keine Messungen; die Wahrheit und der Schätzer teilen das Kraftmodell (einen eingebauten Zentralterm, J2 und C22). Die vorab festgelegte Konsistenzprüfung B1 (mittlerer NEES in [5,2, 6,8]) ist in allen vier Konfigurationen beim Batch-Entwurf erreicht: siehe xval/mission-thread-lunar/RESULTS.md. Keine Übereinstimmung mit irgendeinem re (Kommentar in der Szenariodatei, Zeilen 10 bis 14)
• 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))
• Relativnavigation bis zum Andocken in einer Mondumlaufbahn (lunar-orbit-rendezvous) ist MODELLED, nicht validiert: gegen seine eigene geschlossene / analytische Identität geprüft – fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Die Fortschreibung mit dem Mondkraftmodell gegen öffentliche rekonstruierte Trajektorien von Mondorbitern und cislunaren Flugkörpern ist MODELLED, nicht validiert: Eine Teilbehauptung wird 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))

Siehe auch#

• Familienseite: Mond und cislunar
• Alle Arten: KINDS.md
• Themenseite: MISSION-THREAD-LUNAR.md
• Themenseite: MISSION-THREAD.md