reentry (scenariosoort)
Scenariotype van de engine v0.40.0, familie Missieanalyse, verbindingen en ruimteoperaties. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen dienst voor het redden van mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een type is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).
Wat het doet#
Ballistisch terugkeercorridor volgens Allen-Eggers: piekvertraging (onafhankelijk van de ballistische coëfficiënt, V_e^2 sin|γ|/(2eH)), de snelheid en hoogte bij de piek-g, en de snelheid bij piekverhitting, voor een intreesnelheid/baanhoek/ballistische coëfficiënt door een exponentiële atmosfeer, plus een vlakke puntmassa-integratie van dezelfde ballistische intrede met zwaartekracht, aardkromming en de US Standard Atmosphere 1976 (piekvertraging, snelheid, hoogte en tijd bij de piek). MODELLED ballistische intrede (zonder lift); de verhittingsuitvoer is de SNELHEID bij piekverhitting, geen warmtestroom (geen aerothermisch model/TPS-model).
Eén run van scenarios/reentry.toml vat samen als: terugkeer (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> piek 16,6 g op 49 km, 4731 m/s; verhitting piekt bij 6603 m/s; puntmassa (zwaartekracht, kromming, US76) piek 16,4 g (MODELLED ballistisch, geen aerothermisch model)
Invoer#
Uit het schema (kshana kinds --json):
- Vereiste velden: geen
- Optionele velden:
entry_velocity_m_s,flight_path_angle_deg,ballistic_coeff_kg_m2,scale_height_m,rho0_kg_m3,entry_interface_altitude_m
Het voorbeeld scenarios/reentry.toml stelt onder meer in:
| Veld | Waarde | Eenheid |
|---|---|---|
ballistic_coeff_kg_m2 |
100 | kg/m^2 |
entry_velocity_m_s |
7800 | m/s |
flight_path_angle_deg |
6 | deg |
kind |
reentry | tekst |
Uitvoeren#
kshana scenarios/reentry.toml
Wat het oplevert#
De scalaire resultaten van die run, met de eenheden die de engine noemt:
| Resultaat | Waarde | Eenheid |
|---|---|---|
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 |
de stabiele id van de matrixrij (de ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
evidence.tier |
MODELLED | tekst |
flight_path_angle_deg |
6 | deg |
peak_deceleration_g |
16.567086 | 1 |
peak_deceleration_m_s2 |
162.467612 | m/s^2 |
Resultaatlabel (van de engine): MODELLED — ballistische intrede volgens Allen–Eggers (zonder lift), exponentiële isotherme atmosfeer, constante baanhoek; piek-g is onafhankelijk van de ballistische coëfficiënt; de verhitting is de SNELHEID bij piekverhitting, GEEN warmtestroom (geen aerothermisch model/TPS-model)
Bewijs#
MODELLED: de rijen van de verificatiematrix die dit type noemen.
- MODELLED Piekvertraging (onafhankelijk van de ballistische coëfficiënt), snelheid + hoogte bij piek-g en snelheid bij piekverhitting voor een ballistische intrede in een exponentiële atmosfeer. Tests: reentry_point_mass_accelerometer_oracle.rs.
- MODELLED Vlakke zwaartekrachtbocht-opstijging van een meertrapsvoertuig boven een niet-roterende bolvormige aarde door de US Standard Atmosphere 1976 (dichtheid en druk), met een pitch-kick, stuwkracht verminderd door de tegendruk van het mondstuk, trapburn-outs op exacte s
- MODELLED De fase
entry: de terugvlucht vantli-and-cruisezonder brand, eindigend bij het terugkeerinterface; de baanhoek en zijn sigma uit de volledige covariantie met een eindige-differentiegradiënt; de kans dat de hoek binnen een ver
De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):
- MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
- MODELLED Piekvertraging (onafhankelijk van de ballistische coëfficiënt), snelheid + hoogte bij piek-g en snelheid bij piekverhitting voor een ballistische intrede in een exponentiële atmosfeer. R. Onafhankelijke referentie (InternalConsistency): analytische intrede volgens Allen–Eggers in gesloten vorm, aanvullend gecontroleerd tegen een numerieke integratie met scipy 1,18 solve_ivp (DOP853) van dezelfde intrede-ODE met alleen weerstand (tests/ballistic_re_entry_corridor_reference.rs, 36 gevallen, slechtste a_max rel 2.9e-9) — een controle van een numerieke integraal tegen de eigen analytische vorm, dus nog steeds InternalConsistency, GEEN externe validatie. MODELLED ballistisch (zonder lift), geen aerothermisch model/TPS-model — de verhittingsuitvoer is een ve
Beperkingen#
Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:
- MODELLED — ballistische intrede volgens Allen–Eggers (zonder lift), exponentiële isotherme atmosfeer, constante baanhoek; piek-g is onafhankelijk van de ballistische coëfficiënt; de verhitting is de SNELHEID bij piekverhitting, GEEN warmtestroom (geen aerothermisch model/TPS-model) (resultaat
label) - MODELLED ballistische intrede (zonder lift); de verhittingsuitvoer is de SNELHEID bij piekverhitting, geen warmtestroom (geen aerothermisch model/TPS-model). (soortencatalogus (
kshana kinds --json)) - EERLIJKE REIKWIJDTE: MODELLED ballistisch (zonder lift), exponentiële isotherme atmosfeer, constante baanhoek. Geen aerothermisch model/TPS-model -- de verhittingsuitvoer is de SNELHEID bij piekverhitting, geen warmtestroom. Geen 3-/6-DoF-traject. Run: kshana scenarios/reentry.toml (opmerking in het scenariobestand, regels 8 tot 11)
- Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))
- Het ballistische terugkeercorridor (Allen–Eggers) is MODELLED, niet getoetst: gecontroleerd aan de hand van de eigen gesloten-vormidentiteit of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))
Zie ook#
- Familiepagina: Missieanalyse, verbindingen en ruimteoperaties
- Alle kinds: KINDS.md
- Onderwerppagina: ENTRY-EO-ASCENT.md