reentry (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Analýza misí, spoje a kosmické operace. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každý zdejší štítek je štítkem enginu nebo verifikační matice; druh je MODELLED, pokud matice neříká jinak (jak se štítek získává: oddíl Evidence v README).

Co dělá#

Balistický koridor návratu do atmosféry podle Allena–Eggerse: špičkové zpomalení (nezávislé na balistickém součiniteli, V_e^2 sin|γ|/(2eH)), rychlost a výška při špičkovém g a rychlost špičkového ohřevu pro vstupní rychlost/úhel dráhy letu/balistický součinitel exponenciální atmosférou, plus rovinná integrace hmotného bodu téhož balistického vstupu s gravitací, zakřivením Země a americkou standardní atmosférou 1976 (špičkové zpomalení, rychlost, výška a čas ve špičce). Balistický (bez vztlaku) vstup MODELLED; výstup ohřevu je RYCHLOST špičkového ohřevu, nikoli tepelný tok (bez aerotermálního modelu/modelu TPS).

Jeden běh scenarios/reentry.toml se shrnuje takto: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> špička 16,6 g ve 49 km, 4731 m/s; ohřev vrcholí při 6603 m/s; hmotný bod (gravitace, zakřivení, US76) špička 16,4 g (MODELLED balistický, bez aerotermálního modelu)

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

Příklad scenarios/reentry.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/reentry.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Popisek výsledku (z enginu): MODELLED — balistický (bez vztlaku) vstup podle Allena–Eggerse, exponenciální izotermická atmosféra, konstantní úhel dráhy letu; špičkové g je nezávislé na balistickém součiniteli; ohřev je RYCHLOST špičkového ohřevu, NIKOLI tepelný tok (bez aerotermálního modelu/modelu TPS)

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

• MODELLED Špičkové zpomalení (nezávislé na balistickém součiniteli), rychlost + výška při špičkovém g a rychlost špičkového ohřevu pro balistický vstup exponenciální atmosférou. Testy: reentry_point_mass_accelerometer_oracle.rs.
• MODELLED Rovinný výstup gravitačním obratem vícestupňového nosiče nad nerotující kulovou Zemí atmosférou US Standard Atmosphere 1976 (hustota a tlak), s náklonem, tahem sníženým o protitlak trysky, vyhořením stupňů v přesných s
• MODELLED Fáze entry: návratový volný let tli-and-cruise bez zážehu, končící na rozhraní vstupu; úhel dráhy letu a jeho sigma z úplné kovariance pomocí gradientu konečných diferencí; pravděpodobnost, že úhel leží uvnitř uvedeného

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• MODELLED Špičkové zpomalení (nezávislé na balistickém součiniteli), rychlost + výška při špičkovém g a rychlost špičkového ohřevu pro balistický vstup exponenciální atmosférou. R. Orákulum (InternalConsistency): Analytický vstup podle Allena–Eggerse v uzavřeném tvaru, navíc křížově zkontrolovaný proti numerické integraci scipy 1,18 solve_ivp (DOP853) STEJNÉHO ODE vstupu s pouhým odporem (tests/ballistic_re_entry_corridor_reference.rs, 36 případů, nejhorší rel. a_max 2.9e-9) — kontrola numerického integrálu proti vlastnímu analytickému tvaru, takže stále InternalConsistency, NIKOLI externí ověření. Balistický (bez vztlaku) MODELLED, bez aerotermálního modelu/modelu TPS — výstup ohřevu je ve

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• MODELLED — balistický (bez vztlaku) vstup podle Allena–Eggerse, exponenciální izotermická atmosféra, konstantní úhel dráhy letu; špičkové g je nezávislé na balistickém součiniteli; ohřev je RYCHLOST špičkového ohřevu, NIKOLI tepelný tok (bez aerotermálního modelu/modelu TPS) (výsledek label)
• Balistický (bez vztlaku) vstup MODELLED; výstup ohřevu je RYCHLOST špičkového ohřevu, nikoli tepelný tok (bez aerotermálního modelu/modelu TPS). (katalog druhů (kshana kinds --json))
• ČESTNÝ ROZSAH: balistický (bez vztlaku) vstup MODELLED, exponenciální izotermická atmosféra, konstantní úhel dráhy letu. Žádný aerotermální model/model TPS -- výstup ohřevu je RYCHLOST špičkového ohřevu, nikoli tepelný tok. Nejde o trajektorii se 3/6 stupni volnosti. Spuštění: kshana scenarios/reentry.toml (komentář v souboru scénáře, řádky 8 až 11)
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Balistický koridor návratu do atmosféry (Allen–Eggers) je MODELLED, nikoli ověřený: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Analýza misí, spoje a kosmické operace
• Všechny druhy: KINDS.md
• Tematická stránka: ENTRY-EO-ASCENT.md