reentry (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Análise de missão, ligações e operações espaciais. Consultivo: resultados de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado nem um serviço de segurança de vidas. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo é MODELLED, salvo indicação em contrário da matriz (como se obtém uma etiqueta: a secção Evidence do README).

O que faz#

Corredor de reentrada balística de Allen-Eggers: desaceleração máxima (independente do coeficiente balístico, V_e^2 sin|γ|/(2eH)), a velocidade e a altitude no pico de g e a velocidade de aquecimento máximo, para uma velocidade de entrada/ângulo da trajetória de voo/coeficiente balístico numa atmosfera exponencial, mais uma integração planar de massa pontual da mesma entrada balística com gravidade, curvatura da Terra e a Atmosfera Padrão dos EUA de 1976 (desaceleração máxima, velocidade, altitude e tempo no pico). Entrada balística (sem sustentação) MODELLED; o resultado de aquecimento é a VELOCIDADE de aquecimento máximo, não um fluxo de calor (sem modelo aerotérmico/TPS).

Uma execução de scenarios/reentry.toml resume-se assim: reentry (Allen–Eggers): V_e 7800 m/s, γ 6,0° -> pico 16,6 g a 49 km, 4731 m/s; o aquecimento atinge o máximo a 6603 m/s; massa pontual (gravidade, curvatura, US76) pico 16,4 g (balística MODELLED, sem modelo aerotérmico)

Entradas#

A partir do esquema (kshana kinds --json):

• Campos obrigatórios: nenhum
• Campos opcionais: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

O exemplo scenarios/reentry.toml define, entre outros:

Execute-o#

kshana scenarios/reentry.toml

O que dá#

Os resultados escalares dessa execução, com as unidades que o motor indica:

Etiqueta de resultado (a do motor): MODELLED — entrada balística (sem sustentação) de Allen–Eggers, atmosfera isotérmica exponencial, ângulo de trajetória de voo constante; o pico de g é independente do coeficiente balístico; o aquecimento é a VELOCIDADE de aquecimento máximo, NÃO um fluxo de calor (sem modelo aerotérmico/TPS)

Evidências#

MODELLED: as linhas da matriz de verificação que nomeiam este tipo.

• MODELLED Desaceleração máxima (independente do coeficiente balístico), velocidade + altitude no pico de g e velocidade de aquecimento máximo para uma entrada balística em atmosfera exponencial. Ensaios: reentry_point_mass_accelerometer_oracle.rs.
• MODELLED Ascensão planar com viragem gravitacional de um veículo de vários andares sobre uma Terra esférica sem rotação através da US Standard Atmosphere 1976 (densidade e pressão), com um impulso de inclinação, tração reduzida pela contrapressão da tubeira, fins de queima dos andares em s
• MODELLED A fase entry: o arco inercial de regresso de tli-and-cruise sem queima, terminando na interface de reentrada; o ângulo de trajetória e o seu sigma a partir da covariância completa por um gradiente de diferenças finitas; a probabilidade de o ângulo estar dentro de um declar

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas estão aí nomeadas):

• MODELLED Determinista, com hash do cenário, SBOM + portões de referência multiplataforma. Referência independente (ExternalDataset): aderência à norma do SBOM ao esquema JSON oficial CycloneDX 1,5 (+ identificadores SPDX válidos) — uma norma externa publicada, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoM / reprodutibilidade byte a byte permanece uma verificação de autoconsistência fixada, pelo que a linha permanece MODELLED
• MODELLED Desaceleração máxima (independente do coeficiente balístico), velocidade + altitude no pico de g e velocidade de aquecimento máximo para uma entrada balística em atmosfera exponencial. R. Referência independente (InternalConsistency): entrada analítica de Allen–Eggers de forma fechada, verificada adicionalmente face a uma integração numérica scipy 1,18 solve_ivp (DOP853) da MESMA EDO de entrada só com arrasto (tests/ballistic_re_entry_corridor_reference.rs, 36 casos, pior a_max rel 2.9e-9) — uma verificação integral-numérico-vs-forma-analítica-própria, pelo que continua a ser InternalConsistency, NÃO uma validação externa. Balística MODELLED (sem sustentação), sem aerotérmico/TPS — o resultado de aquecimento é uma ve

Limitações#

O que o próprio relatório da execução diz que não está modelado ou não está validado:

• MODELLED — entrada balística (sem sustentação) de Allen–Eggers, atmosfera isotérmica exponencial, ângulo de trajetória de voo constante; o pico de g é independente do coeficiente balístico; o aquecimento é a VELOCIDADE de aquecimento máximo, NÃO um fluxo de calor (sem modelo aerotérmico/TPS) (resultado label)
• Entrada balística (sem sustentação) MODELLED; o resultado de aquecimento é a VELOCIDADE de aquecimento máximo, não um fluxo de calor (sem modelo aerotérmico/TPS). (catálogo de tipos (kshana kinds --json))
• ÂMBITO HONESTO: balística (sem sustentação) MODELLED, atmosfera isotérmica exponencial, ângulo de trajetória de voo constante. Sem modelo aerotérmico/TPS -- o resultado de aquecimento é a VELOCIDADE de aquecimento máximo, não um fluxo de calor. Não é uma trajetória de 3-/6-DoF. Executar: kshana scenarios/reentry.toml (comentário do ficheiro de cenário, linhas 8 a 11)
• A reprodutibilidade e a garantia de software são MODELLED, não validadas: uma subafirmação é verificada externamente, mas a capacidade no seu conjunto compõe partes modeladas, pelo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• O corredor de reentrada balística (Allen–Eggers) é MODELLED, não validado: verificado face à sua própria identidade analítica / de forma fechada — deteta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

• Página da família: Análise de missão, ligações e operações espaciais
• Todos os tipos: KINDS.md
• Página do tema: ENTRY-EO-ASCENT.md