reentry (scenariotyp)
Scenariotyp i motor v0.40.0, familj Uppdragsanalys, länkar och rymdoperationer. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).
Vad den gör#
Ballistisk återinträdeskorridor enligt Allen-Eggers: toppavbromsning (oberoende av ballistisk koefficient, V_e^2 sin|γ|/(2eH)), hastighet och höjd vid toppavbromsningen samt hastigheten vid toppuppvärmning, för en ingångshastighet/banvinkel/ballistisk koefficient genom en exponentiell atmosfär, plus en plan punktmassintegrering av samma ballistiska inträde med gravitation, jordkrökning och US Standard Atmosphere 1976 (toppavbromsning, hastighet, höjd och tid vid toppen). MODELLED ballistiskt inträde (utan lyft); uppvärmningsutdata är HASTIGHETEN vid toppuppvärmning, inte ett värmeflöde (ingen aerotermisk/TPS-modell).
En körning av scenarios/reentry.toml sammanfattas som: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> peak 16,6 g at 49 km, 4731 m/s; heating peaks at 6603 m/s; point mass (gravity, curvature, US76) peak 16,4 g (MODELLED ballistic, no aerothermal)
Indata#
Från schemat (kshana kinds --json):
- Obligatoriska fält: inga
- Valfria fält:
entry_velocity_m_s,flight_path_angle_deg,ballistic_coeff_kg_m2,scale_height_m,rho0_kg_m3,entry_interface_altitude_m
Exemplet scenarios/reentry.toml anger bland annat:
| Fält | Värde | Enhet |
|---|---|---|
ballistic_coeff_kg_m2 |
100 | kg/m^2 |
entry_velocity_m_s |
7800 | m/s |
flight_path_angle_deg |
6 | deg |
kind |
reentry | text |
Kör den#
kshana scenarios/reentry.toml
Vad den ger#
De skalära resultaten av den körningen, med de enheter som motorn anger:
| Resultat | Värde | Enhet |
|---|---|---|
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 |
det stabila id:t för matrisraden (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 |
Resultatetikett (motorns egen): MODELLED — ballistiskt inträde enligt Allen–Eggers (utan lyft), exponentiell isoterm atmosfär, konstant banvinkel; toppbelastningen i g är oberoende av ballistisk koefficient; uppvärmningen är HASTIGHETEN vid toppuppvärmning, INTE ett värmeflöde (ingen aerotermisk/TPS-modell)
Evidens#
MODELLED: raderna i verifieringsmatrisen som nämner den här typen.
- MODELLED Toppavbromsning (oberoende av ballistisk koefficient), hastighet + höjd vid topp-g och hastighet vid toppuppvärmning för ett ballistiskt inträde i exponentiell atmosfär. Tester: reentry_point_mass_accelerometer_oracle.rs.
- MODELLED Plan gravitationssväng-uppstigning för ett flerstegsfordon över en icke-roterande sfärisk jord genom US Standard Atmosphere 1976 (densitet och tryck), med en pitchsparkning, dragkraft reducerad av dysans mottryck, stegens brinntidens slut vid exakta s
- MODELLED Fasen
entry: returfärden förtli-and-cruiseutan brännare, som slutar vid återinträdesgränssnittet; banvinkeln och dess sigma ur hela kovariansen med en gradient av finita differenser; sannolikheten att vinkeln ligger inom en ang
De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):
- MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
- MODELLED Toppavbromsning (oberoende av ballistisk koefficient), hastighet + höjd vid topp-g och hastighet vid toppuppvärmning för ett ballistiskt inträde i exponentiell atmosfär. R. Oberoende referens (InternalConsistency): Analytiskt inträde enligt Allen–Eggers i sluten form, dessutom korskontrollerat mot en numerisk integrering med scipy 1,18 solve_ivp (DOP853) av SAMMA ODE för inträde med enbart luftmotstånd (tests/ballistic_re_entry_corridor_reference.rs, 36 fall, sämsta a_max rel 2.9e-9) — en kontroll av numerisk integral mot den egna analytiska formen, alltså fortfarande InternalConsistency, INTE en extern validering. MODELLED ballistiskt (utan lyft), ingen aerotermisk/TPS — uppvärmningsutdata är en ve
Begränsningar#
Vad körningens egen rapport säger inte är modellerat eller inte validerat:
- MODELLED — ballistiskt inträde enligt Allen–Eggers (utan lyft), exponentiell isoterm atmosfär, konstant banvinkel; toppbelastningen i g är oberoende av ballistisk koefficient; uppvärmningen är HASTIGHETEN vid toppuppvärmning, INTE ett värmeflöde (ingen aerotermisk/TPS-modell) (resultat
label) - MODELLED ballistiskt inträde (utan lyft); uppvärmningsutdata är HASTIGHETEN vid toppuppvärmning, inte ett värmeflöde (ingen aerotermisk/TPS-modell). (typkatalog (
kshana kinds --json)) - ÄRLIG AVGRÄNSNING: MODELLED ballistiskt (utan lyft), exponentiell isoterm atmosfär, konstant banvinkel. Ingen aerotermisk/TPS-modell -- uppvärmningsutdata är HASTIGHETEN vid toppuppvärmning, inte ett värmeflöde. Inte en 3-/6-DoF-bana. Kör: kshana scenarios/reentry.toml (kommentar i scenariofilen, rad 8 till 11)
- Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
- Ballistisk återinträdeskorridor (Allen–Eggers) är MODELLED, inte validerad: kontrollerad mot sin egen slutna analytiska identitet. Det fångar överförings- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
Se även#
- Familjesida: Uppdragsanalys, länkar och rymdoperationer
- Alla typer: KINDS.md
- Ämnessida: ENTRY-EO-ASCENT.md