reentry (Szenariotyp)
Szenarioart der Engine v0.40.0, Familie Missionsanalyse, Links und Raumfahrtbetrieb. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).
Was es tut#
Allen-Eggers-Korridor für den ballistischen Wiedereintritt: Spitzenverzögerung (unabhängig vom ballistischen Koeffizienten, V_e^2 sin|γ|/(2eH)), Geschwindigkeit und Höhe bei der Spitzenverzögerung (peak-g) sowie die Geschwindigkeit bei maximaler Erwärmung, für eine Eintrittsgeschwindigkeit, einen Bahnneigungswinkel und einen ballistischen Koeffizienten durch eine exponentielle Atmosphäre, dazu eine ebene Punktmassenintegration desselben ballistischen Eintritts mit Gravitation, Erdkrümmung und der US-Standardatmosphäre 1976 (Spitzenverzögerung, Geschwindigkeit, Höhe und Zeit an der Spitze). MODELLED ist der ballistische Eintritt (ohne Auftrieb); die Erwärmungsausgabe ist die Geschwindigkeit bei maximaler Erwärmung, kein Wärmestrom (kein aerothermisches Modell und kein TPS-Modell).
Ein Lauf von scenarios/reentry.toml fasst sich so zusammen: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> Spitze 16,6 g bei 49 km, 4731 m/s; die Erwärmung erreicht ihren Höchstwert bei 6603 m/s; Punktmasse (Gravitation, Krümmung, US76) Spitze 16,4 g (MODELLED ballistisch, keine Aerothermik)
Eingaben#
Aus dem Schema (kshana kinds --json):
- Pflichtfelder: keine
- Optionale Felder:
entry_velocity_m_s,flight_path_angle_deg,ballistic_coeff_kg_m2,scale_height_m,rho0_kg_m3,entry_interface_altitude_m
Das Beispiel scenarios/reentry.toml setzt unter anderem:
| Feld | Wert | Einheit |
|---|---|---|
ballistic_coeff_kg_m2 |
100 | kg/m^2 |
entry_velocity_m_s |
7800 | m/s |
flight_path_angle_deg |
6 | deg |
kind |
reentry | Text |
Ausführen#
kshana scenarios/reentry.toml
Was es liefert#
Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:
| Ergebnis | Wert | Einheit |
|---|---|---|
altitude_at_peak_g_m |
48512.90039 | m |
ballistic_coeff_kg_m2 |
100 | kg/m^2 |
entry_interface_altitude_m |
122000 | m |
entry_velocity_m_s |
7800 | m/s |
evidence.id_rule |
die stabile Kennung der Matrixzeile (die ID | Text |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | Text |
evidence.tier |
MODELLED | Text |
flight_path_angle_deg |
6 | deg |
peak_deceleration_g |
16.567086 | 1 |
peak_deceleration_m_s2 |
162.467612 | m/s^2 |
Ergebnisbezeichnung (die der Engine): MODELLED — ballistischer Allen–Eggers-Eintritt (ohne Auftrieb), exponentielle isotherme Atmosphäre, konstanter Bahnneigungswinkel; die Spitzenverzögerung ist unabhängig vom ballistischen Koeffizienten; die Erwärmung ist die GESCHWINDIGKEIT bei maximaler Erwärmung, KEIN Wärmestrom (kein aerothermisches Modell und kein TPS-Modell)
Nachweise#
MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.
- MODELLED Spitzenverzögerung (unabhängig vom ballistischen Koeffizienten), Geschwindigkeit und Höhe bei der Spitzenverzögerung sowie Geschwindigkeit bei maximaler Erwärmung für einen ballistischen Eintritt durch eine exponentielle Atmosphäre. Tests: reentry_point_mass_accelerometer_oracle.rs.
- MODELLED Ebener Gravity-Turn-Aufstieg eines mehrstufigen Fahrzeugs über einer nicht rotierenden kugelförmigen Erde durch die US Standard Atmosphere 1976 (Dichte und Druck), mit einem Nickimpuls, durch den Düsengegendruck verringertem Schub, Stufenbrennschlüssen bei exakten s
- MODELLED Die Phase
entry: der Rückflug vontli-and-cruiseohne Manöver bis zur Eintrittsschnittstelle; der Bahnneigungswinkel und sein Sigma aus der vollen Kovarianz durch einen Differenzengradienten; die Wahrscheinlichkeit, dass der Winkel innerhalb eines gen
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 Spitzenverzögerung (unabhängig vom ballistischen Koeffizienten), Geschwindigkeit und Höhe bei der Spitzenverzögerung sowie Geschwindigkeit bei maximaler Erwärmung für einen ballistischen Eintritt durch eine exponentielle Atmosphäre. R. Referenz (InternalConsistency): Allen–Eggers-Eintritt in analytischer geschlossener Form, zusätzlich gegengeprüft mit einer numerischen Integration (DOP853) der Differentialgleichung desselben reinen Widerstandseintritts mit scipy 1,18 solve_ivp (tests/ballistic_re_entry_corridor_reference.rs, 36 Fälle, schlechtester a_max rel 2.9e-9) — eine Prüfung eines numerischen Integrals gegen die eigene analytische Form, also weiterhin InternalConsistency, KEINE externe Validierung. MODELLED ballistisch (ohne Auftrieb), kein aerothermisches Modell und kein TPS-Modell — die Erwärmungsausgabe ist eine Ge
Einschränkungen#
Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:
- MODELLED — ballistischer Allen–Eggers-Eintritt (ohne Auftrieb), exponentielle isotherme Atmosphäre, konstanter Bahnneigungswinkel; die Spitzenverzögerung ist unabhängig vom ballistischen Koeffizienten; die Erwärmung ist die GESCHWINDIGKEIT bei maximaler Erwärmung, KEIN Wärmestrom (kein aerothermisches Modell und kein TPS-Modell) (Ergebnis
label) - MODELLED ist der ballistische Eintritt (ohne Auftrieb); die Erwärmungsausgabe ist die GESCHWINDIGKEIT bei maximaler Erwärmung, kein Wärmestrom (kein aerothermisches Modell und kein TPS-Modell). (Typkatalog (
kshana kinds --json)) - EHRLICHER GÜLTIGKEITSBEREICH: MODELLED ballistisch (ohne Auftrieb), exponentielle isotherme Atmosphäre, konstanter Bahnneigungswinkel. Kein aerothermisches Modell und kein TPS-Modell -- die Erwärmungsausgabe ist die GESCHWINDIGKEIT bei maximaler Erwärmung, kein Wärmestrom. Keine 3-/6-DoF-Trajektorie. Ausführen: kshana scenarios/reentry.toml (Kommentar der Szenariodatei, Zeilen 8 bis 11)
- 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))
- Der ballistische Wiedereintrittskorridor (Allen–Eggers) ist MODELLED, nicht validiert: geprüft gegen die eigene geschlossene bzw. analytische Identität — das findet Übertragungs- und Koeffizientenfehler, ist aber keine externe Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
Siehe auch#
- Familienseite: Missionsanalyse, Links und Raumfahrtbetrieb
- Alle Arten: KINDS.md
- Themenseite: ENTRY-EO-ASCENT.md