mission-thread (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Missionsstränge. 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 Fehlerbudget für Navigation und Zeitgebung einer genannten Kette von Missionsphasen, vom Start bis zum Wiedereintritt: Start und Aufstieg, Rendezvous und Andocken in niedriger Erdumlaufbahn (wiederholbar), translunare Injektion und cislunarer Flug, Rendezvous in der Mondumlaufbahn, Abstieg, Aufenthalt an der Oberfläche, Aufstieg sowie Rückkehr und Wiedereintritt, jede Phase eine von acht registrierten Arten mit eigenen Sensoren und eigenem Filter. Die 6x6-Kovarianz, die Uhr und das Bezugssystem werden nach einer genannten Regel von Phase zu Phase weitergegeben (carry, inflate oder reacquire); Umrechnungen von Bezugssystem und Zeitskala (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) sind eigene Budgetzeilen, wobei der Zustand des Mondes aus einem optionalen DE440-Kernel-Ausschnitt stammt und die analytische Reihe als genannter Ersatz dient. Eine optionale Bodennetz-Überlagerung legt den Verfolgungseinsatz jeder Phase fest. Sie gibt das Budget je Phase an (Eintritts-, Spitzen- und Austritts-1-Sigma, jeder Beitrag mit seiner Einheit), die Marge gegenüber einer genannten Anforderung, das schwächste Glied, die Ereignisse und eine Zeitleistengrafik. MODELLED: Jede Zahl ist eine genannte Eingabe; die Kette folgt einem Stapel, und es wird kein Fahrzeug modelliert. Nur öffentliche Quellen; weder mit einer Agentur verbunden noch von ihr gebilligt; beratende Software, keine zertifizierte Navigationsausrüstung.

Ein Lauf von scenarios/mission-thread-artemis-class.toml fasst sich so zusammen: mission-thread | 11 Phasen | Missionsstrang im Stil von Artemis (ILLUSTRATIVE) | schwächstes Glied Abstieg | MODELLED

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: epoch_utc, entry, phase
• Optionale Felder: kind, title, seed, moon_kernel_path, ground_network

Das Beispiel scenarios/mission-thread-artemis-class.toml setzt unter anderem:

Ausführen#

kshana scenarios/mission-thread-artemis-class.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 mission-thread: ein Dokument aus Phasen, jede eine von acht registrierten Arten, der Reihe nach ausgeführt, wobei die 6x6-Kovarianz, die Uhr und das Bezugssystem nach einer genannten Regel weitergegeben werden (carry; inflate, weißes Beschleunigungsrauschen über eine genannte Lücke Tests: field_units_global.rs.
• MODELLED Die Phase launch-ascent: eine Positions- und Geschwindigkeitskovarianz bei konstanter Geschwindigkeit mit weißem Beschleunigungsrauschen (die Güte der Koppelnavigation), eine GNSS-Lösung genannter Genauigkeit, die nach der Erfassungszeit und außerhalb genannter Abschwächungen angewandt wird, eine Uhr mit Bias und
• MODELLED Die Phase leo-rendezvous: der Relativzustand in den LVLH-Achsen des Ziels mit dem geschlossenen Clohessy-Wiltshire-Übergang, eine 6x6-Kalman-Kovarianz mit weißem Beschleunigungsrauschen und Positionsaktualisierungen, deren Varianz die des Sensors bei der aktu
• MODELLED Die Phase tli-and-cruise: der Mittelwertzustand durch den Cowell-Propagator der Engine (Erde als Punktmasse und J2, Sonne und Mond als dritte Körper, der Mond aus dem DE440-Kernel des Strangs, wo dieser das Segment abdeckt, und die Sonne aus der analytischen Reih
• und 4 weitere in der Matrix.

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 mission-thread: ein Dokument aus Phasen, jede eine von acht registrierten Arten, der Reihe nach ausgeführt, wobei die 6x6-Kovarianz, die Uhr und das Bezugssystem unter. Unabhängige Referenz (InternalConsistency): Handrechnungen in den Tests (das geradlinige Kovarianzwachstum, die mittlere siderische Rotation, die säkulare Mondtaktrate) und, nur für den Zustand des Mondes, die eingecheckten DE440-Kernel-Ausschnitte gegen festgelegte JPL-Horizons-Werte (schlechtester Wert 2,6 m und 7e-6 m/s). Es werden keine Missionsdaten mit der Kette verglichen; ihre Phasen sind eigene Zeilen. Das Dokument ist eine genannte Kette mit ILLUSTRATIVE Eingaben, nur öffentlichen Quellen und ohne Billigung durch eine Agen
• MODELLED Die Phase launch-ascent: eine Positions- und Geschwindigkeitskovarianz bei konstanter Geschwindigkeit mit weißem Beschleunigungsrauschen (die Güte der Koppelnavigation), eine GNSS-Lösung genannter G. Unabhängige Referenz (InternalConsistency): Der stationäre Riccati-Zustand und die Handrechnung der Vorhersage in den Tests. Nichts hier modelliert eine Trägerrakete oder einen Empfänger; jede Zahl ist eine genannte Eingabe
• MODELLED Die Phase leo-rendezvous: der Relativzustand in den LVLH-Achsen des Ziels mit dem geschlossenen Clohessy-Wiltshire-Übergang, eine 6x6-Kalman-Kovarianz mit weißem . Unabhängige Referenz (InternalConsistency): Eine einachsige Handrechnung von Vorhersage und Aktualisierung im Test; der Clohessy-Wiltshire-Übergang ist derjenige, den cw_dynamics gegen eine unabhängige numerische Integration prüft. Die Sensoren sind ILLUSTRATIVE, und es wird kein reales Rendezvous verglichen
• MODELLED Die Phase tli-and-cruise: der Mittelwertzustand durch den Cowell-Propagator der Engine (Erde als Punktmasse und J2, Sonne und Mond als dritte Körper, der Mond aus dem Kernel des Stran. Unabhängige Referenz (InternalConsistency): Der Satz von Liouville (die Determinante der Zustandsübergangsmatrix des konservativen Anteils ist eins) und eine feinere Differenz in den Tests; der Mittelwertzustand wird in der Zeile darunter mit einer öffentlichen Trajektorie verglichen, die er verfehlt. Der Manöverfehler, die Aktualisierungen und die Kovarianz werden mit nichts verglichen

Einschränkungen#

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

• MODELLED Fehlerbudget für Navigation und Zeitgebung einer genannten Kette von Missionsphasen, vom Start bis zum Wiedereintritt: Start und Aufstieg, Rendezvous und Andocken in niedriger Erdumlaufbahn (wiederholbar), translunare Injektion und cislunarer Flug, Rendezvous in der Mondumlaufbahn, Abstieg, Aufenthalt an der Oberfläche, Aufstieg sowie Rückkehr und Wiedereintritt, jede Phase eine von acht registrierten Arten mit eigenen Sensoren und eigenem Filter. (Artenkatalog (kshana kinds --json))
• MODELLED: Jede Zahl ist eine genannte Eingabe; die Kette folgt einem Stapel, und es wird kein Fahrzeug modelliert. (Artenkatalog (kshana kinds --json))
• EHRLICHKEIT. Jede Zahl hier ist ILLUSTRATIVE: eine runde Zahl, gewählt, damit die Kette läuft, nicht die Leistung eines Fahrzeugs, Sensors, einer Station oder eines Netzes. Die Kette folgt als genannte Vereinfachung einem Stapel; Fahrzeugwechsel, Besatzungstransfers und die Station in der Mondumlaufbahn werden nicht modelliert, die Mondumlaufbahnen sind die kreisförmigen und polaren mit 100 km, die die Mondarten fliegen (nicht der nahezu geradlinige Halo-Orbit), und das TLI-Manöver ist (Kommentar in der Szenariodatei, Zeilen 11 bis 17)
• 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 Fehlerbudget für Navigation und Zeitgebung einer Kette von Missionsphasen vom Start bis zum Wiedereintritt (mission-thread) 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))
• Start und Aufstieg in eine Parkbahn mit GNSS-Erfassung und -Abschwächung (launch-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))
• Relativnavigation bis zur Andockhülle in niedriger Erdumlaufbahn über Sensorabschnitte (leo-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))
• Translunare Injektion und cislunarer Flug: fortgeschriebener Mittelwertzustand und Kovarianz mit Tracking-Aktualisierungen (tli-and-cruise) 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: Missionsstränge
• Alle Arten: KINDS.md
• Themenseite: MISSION-THREAD.md
• Themenseite: MISSION-THREAD-LUNAR.md