lunar-surface (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 Verfügbarkeit von Positionierung und Zeitgebung an der Oberfläche nach Standort und Jahreszeit für Standorte am Südpol im Artemis-Stil. Für jeden Standort und jede Jahreszeit (eine Epoche und ein Fenster danach) gibt sie die Relaispositionierung an (vier oder mehr Relais einer ILLUSTRATIVE Konstellation der LCNS-Klasse in Sicht und PDOP unter einer Schwelle, aus denselben Funktionen wie moonlight-service-volume und, mit einem Geländeabschnitt, dem per Strahlverfolgung berechneten Horizont des Geländes von lunar-station-coverage), ob Erde und Sonne über dem Horizont des Standorts stehen (analytische Sonne, analytischer Mond und analytische Mondorientierung, Libration eingeschlossen, was sich mit der Jahreszeit verändert) und die Zeitgebungsverfügbarkeit (ein Relais oder die Erde in Sicht) mit der längsten Strecke ohne beides, dem holdover, den eine Oberflächenuhr überbrücken muss. Ein Ergebnis für einen einzelnen Standort ist bitgenau gleich dem von moonlight-service-volume. MODELLED: illustrative Kepler-Relaisgruppe an einem Mond mit mittlerer Rotation; der Relaiswert ändert sich nicht mit der Jahreszeit; das Gelände ist der LOLA-Ausschnitt von 1200 m. Nicht von einer Agentur gebilligt; beratende Software, keine zertifizierte Navigationsausrüstung.

Ein Lauf von scenarios/lunar-surface.toml fasst sich so zusammen: lunar-surface | 4 Standorte x 4 Jahreszeiten | Positionierung 41 % bis 41 % | schlechteste Zeitgebungsverfügbarkeit 100,0 % | längste Zeitgebungslücke 0,0 h (MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

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

Ausführen#

kshana scenarios/lunar-surface.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-surface: Relaisverfügbarkeit und PDOP, Erd- und Sonnensichtbarkeit und eine geführte Oberflächenuhr für jeden Standort und jede Jahreszeit, mit dem Geländehorizont von moonlight-service-volume; ein Lauf an einem einzelnen Standort ist gleich dem dieser Art

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-surface: Relaisverfügbarkeit und PDOP, Erd- und Sonnensichtbarkeit und eine geführte Oberflächenuhr für jeden Standort und jede Jahreszeit, mit dem Gel. Unabhängige Referenz (ReferenceImpl): Exakte Gleichheit mit der bestehenden Art für einen Standort sowie Monotonieprüfungen in den Tests. Die Relaisgruppe ist ILLUSTRATIVE, und keine Oberflächenmessung wird verglichen

Einschränkungen#

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

• MODELLED (Ergebnis label)
• MODELLED Verfügbarkeit von Positionierung und Zeitgebung an der Oberfläche nach Standort und Jahreszeit für Standorte am Südpol im Artemis-Stil. (Artenkatalog (kshana kinds --json))
• MODELLED: illustrative Kepler-Relaisgruppe an einem Mond mit mittlerer Rotation; der Relaiswert ändert sich nicht mit der Jahreszeit; das Gelände ist der LOLA-Ausschnitt von 1200 m. (Artenkatalog (kshana kinds --json))
• EHRLICHKEIT: MODELLED. Die Relaisgruppe ist illustrativ und keplersch, wobei sich der Mond für die Relais mit der mittleren Rate dreht (keine Libration), wie in moonlight-service-volume; Erde und Sonne verwenden die analytische Orientierung, sodass sich die beiden Bezugssysteme durch diese Auslassung unterscheiden. Der Positionierungswert der Relais ändert sich in diesem Modell nicht mit der Jahreszeit; die Werte für Erde und Sonne schon. Es wird keine Übereinstimmung mit einem realen Dienst oder Standort behauptet. Adv (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))
• Die Verfügbarkeit von Positionierung und Zeitgebung an der Oberfläche nach Standort und Jahreszeit an den Mondpolen (lunar-surface) ist MODELLED, nicht validiert: 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#

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