Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/reentry.md

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)

Diagrammet som motorn skriver för scenarios/reentry.toml, typ reentry

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ör tli-and-cruise utan 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#