lunar-ascent (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 angetriebener Aufstieg von einem Oberflächenstandort am Südpol in die Rendezvous-Umlaufbahn und die Positions-Geschwindigkeits-Kovarianz, die er zurück in die Umlaufbahn trägt (Artemis-Klasse). Das inertiale Fehlermodell mit fünf Zuständen je Achse aus lunar-descent (Position, Geschwindigkeit, Beschleunigungsmesser-Bias, Lagekippung, Kreisel-Bias, angetrieben durch die spezifische Kraft) läuft auf allen drei Standortachsen ab dem Oberflächenzustand, mit dem die Phase beginnt; eine AFS-Positionslösung aus den sichtbaren Relais einer ILLUSTRATIVE Konstellation der LCNS-Klasse (eigenständig oder differenziell mit dem Residuum der Korrekturverbindung aus lunar-differential-pnt, mit gestützter Uhr, wenn nur drei Relais sichtbar sind) wird in einem genannten Intervall genommen, wobei die Mondzeit über die Fahrzeuguhr und ein Zeitmarkenfehler entlang der Bahn eingehen. Sie gibt die geschlossenen inertialen Quellen an, den Beitrag der Stützung, die Ablation, die Navigations-1-Sigma über den Aufstieg, die Streuung beim Triebwerksabschalten neben dem Navigationswissen und die volle 6x6-MCI-Kovarianz beim Einschwenken, wobei die Positions-Geschwindigkeits-Korrelation erhalten bleibt. MODELLED: illustrative IMU-Klasse, spezifische Kraft, Relaisgruppe und Streuung beim Abschalten; Fehler in den Achsen des Startstandorts gehalten; der nominale Endzustand ist ein Platzhalter. Nicht von einer Agentur gebilligt; beratende Software, keine zertifizierte Navigationsausrüstung.

Ein Lauf von scenarios/lunar-ascent.toml fasst sich so zusammen: lunar-ascent | -89.50 deg | nur inertial 785 m / 3,49 m/s | mit AFS 11,4 m / 0,071 m/s | Einschwenkstreuung 1,73 m/s (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

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

Ausführen#

kshana scenarios/lunar-ascent.toml

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-ascent: das inertiale Fehlermodell mit fünf Zuständen je Achse über einen angetriebenen Aufstieg mit spezifischer Kraft entlang des Pfads, gestützt durch AFS-Lösungen und Mondzeit, mit Angabe der Positions- und Geschwindigkeitskovarianz beim Einschwenken, die in die Umlaufbahn getragen wird

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-ascent: das inertiale Fehlermodell mit fünf Zuständen je Achse über einen angetriebenen Aufstieg mit spezifischer Kraft entlang des Pfads, gestützt durch AFS-Lösungen. Unabhängige Referenz (InternalConsistency): Die geschlossene inertiale Drift und Monotonieprüfungen in den Tests. Kein geflogener Aufstieg wird verglichen
• 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 angetriebener Aufstieg von einem Oberflächenstandort am Südpol in die Rendezvous-Umlaufbahn und die Positions-Geschwindigkeits-Kovarianz, die er zurück in die Umlaufbahn trägt (Artemis-Klasse). (Artenkatalog (kshana kinds --json))
• MODELLED: illustrative IMU-Klasse, spezifische Kraft, Relaisgruppe und Streuung beim Abschalten; Fehler in den Achsen des Startstandorts gehalten; der nominale Endzustand ist ein Platzhalter. (Artenkatalog (kshana kinds --json))
• EHRLICHKEIT: MODELLED. Die IMU-Klasse, die Ausrichtung, die spezifische Kraft und die Streuung beim Abschalten sind ILLUSTRATIVE Eingaben, keine Messungen. Die Fehler werden in den Ost-Nord-Oben-Achsen des Startstandorts gehalten, ohne die Krümmung des Pfads in Flugrichtung, und der nominale Endzustand ist ein Platzhalter an der lokalen Vertikalen des Standorts: Nur die Kovarianz ist das Ergebnis. Es wird keine Übereinstimmung mit einem realen Fahrzeug behauptet. Beratende Software, keine zertifizierte (Kommentar in der Szenariodatei, Zeilen 11 bis 15)
• 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))
• Angetriebener Aufstieg von einem Standort am Mondpol in eine Einschwenkbahn (lunar-ascent) 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