lunar-descent (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 Landestreuungsbudget für einen angetriebenen Abstieg zu einem Standort am Südpol (Artemis-Klasse). Je horizontaler Achse wird ein inertiales Fehlermodell mit fünf Zuständen (Position, Geschwindigkeit, Beschleunigungsmesser-Bias, Lagekippung, Kreisel-Bias) von der spezifischen Kraft des Abstiegs angetrieben; ein sequentieller Filter nimmt Positionslösungen aus den aktivierten Stützungen: eine AFS-Lö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) und eine geländerelative Lösung (der TERCOM/SITAN-Abgleicher des Crates auf einem synthetischen Relief oder die Cramer-Rao-Schranke des Abgleichs eines Höhenfensters des echten LOLA-DEM des Südpols). Die Mondzeit geht bei den Lösungen über die Fahrzeuguhr ein (der LTC-TT-Versatz aus lunar-time-offset oder die Unsicherheit seines veröffentlichten Bandes) und als Zeitmarkenfehler entlang der Bahn. Sie gibt die 3-Sigma-Landeellipse an, R95, die geschlossenen inertialen Quellen, den Beitrag jeder Stützung, die Ablation jeder Kombination von Stützungen, eine Monte-Carlo-Kalibrierung der Ellipse und die weitergegebene Kovarianz. MODELLED: illustrative IMU-Klasse, Relaisgruppe, Abstiegsprofil und Lenkterm; terrain-nav verwendet ein synthetisches Relief auf einer irdischen Meterskala; die AFS-Verfügbarkeit ist eine Epoche bei einer flachen Maske. Nicht von einer Agentur gebilligt; beratende Software, keine zertifizierte Navigationsausrüstung.

Ein Lauf von scenarios/lunar-descent.toml fasst sich so zusammen: lunar-descent | -89.50 deg | nur inertial 517/517 m (E/N) | mit Stützungen 7.6/4.8 m | Streuung R95 51 m | 3-Sigma-Ellipse 64 x 62 m | 99,1 % innerhalb (erwartet 98,9 %) (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

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

Ausführen#

kshana scenarios/lunar-descent.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-descent: ein inertiales Fehlermodell mit fünf Zuständen je Achse (Position, Geschwindigkeit, Beschleunigungsmesser-Bias, Neigung, Kreisel-Bias) über einen angetriebenen Abstieg, gestützt durch AFS-Lösungen (eigenständig oder differenziell, mit dem uhrgestützten Fall mit drei Relai

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-descent: ein inertiales Fehlermodell mit fünf Zuständen je Achse (Position, Geschwindigkeit, Beschleunigungsmesser-Bias, Neigung, Kreisel-Bias) über einen angetriebenen Abstieg,. Unabhängige Referenz (InternalConsistency): Die geschlossene inertiale Drift, die eigenen Ergebnisse der wiederverwendeten Arten und die Kalibrierung der 3-Sigma-Ellipse (der Anteil darin stimmt mit seiner Erwartung überein) in den Tests. Keine geflogene oder getestete Landung wird verglichen

Einschränkungen#

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

• MODELLED (Ergebnis label)
• MODELLED Landestreuungsbudget für einen angetriebenen Abstieg zu einem Standort am Südpol (Artemis-Klasse). (Artenkatalog (kshana kinds --json))
• MODELLED: illustrative IMU-Klasse, Relaisgruppe, Abstiegsprofil und Lenkterm; terrain-nav verwendet ein synthetisches Relief auf einer irdischen Meterskala; die AFS-Verfügbarkeit ist eine Epoche bei einer flachen Maske. (Artenkatalog (kshana kinds --json))
• EHRLICHKEIT: MODELLED. Die IMU-Klasse, das Abstiegsprofil, die Relaisgruppe, der Fehler im Signalraum und der Lenkterm sind ILLUSTRATIVE Eingaben, keine Messungen. Der Modus terrain-nav verwendet das eigenständige synthetische Relief und eine irdische Meterskala, sodass der Geländeterm hier das Verhalten des Abgleichers an einem Platzhalter ist, keine Aussage über das Relief am Südpol: Die Variante lola-crlb (lunar-descent-lola.toml) verwendet das echte (Kommentar in der Szenariodatei, Zeilen 14 bis 20)
• 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))
• Das Landestreuungsbudget an einem Standort am Mondpol (lunar-descent) 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))

Siehe auch#

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