Tradução automática, não revista por um falante nativo. O inglês é a referência.

Páginas de tipos de cenárioEditar no GitHubFonte: docs/kinds/by-kind/launch-window.md

launch-window (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Análise de missão, enlaces e operações espaciais. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED a menos que a matriz diga outra coisa (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Geometria de lançamento e ascensão de dois corpos: azimute(s) de lançamento (sin Az = cos i / cos lat), inclinação mínima alcançável, velocidade circular, o bônus para leste da rotação da Terra, Δv de mudança de plano em dogleg quando a inclinação-alvo está abaixo da latitude do local, e o número de oportunidades diárias de lançamento. Geometria de Terra esférica MODELLED (sem correção do triângulo de velocidades da Terra em rotação, sem modelo de ascensão/perda por arrasto).

Uma execução de scenarios/launch-window.toml resume-se assim: launch-window: lat 28,5° -> i 51,6°: Az 45,0° asc, v_circ 7669 m/s, bônus de rotação da Terra de +409 m/s, 2 oportunidades/dia (MODELLED)

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: site_lat_deg, target_inclination_deg, altitude_km, site_lon_deg, epoch, eop_finals2000a

O exemplo scenarios/launch-window.toml define, entre outros:

Campo Valor Unidade
altitude_km 400 km
kind launch-window texto
site_lat_deg 28.5 deg
target_inclination_deg 51.6 deg

Execute#

kshana scenarios/launch-window.toml

O que ele fornece#

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

Resultado Valor Unidade
altitude_km 400 km
circular_velocity_m_s 7668.558175 m/s
daily_opportunities 2 contagem
dogleg_plane_change_dv_m_s sem valor m/s
epoch sem valor não indicado
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier MODELLED texto
launch_azimuth_deg.ascending 44.975133 deg
launch_azimuth_deg.descending 135.024867 deg

Rótulo do resultado (o do motor): MODELLED — geometria de lançamento de dois corpos com Terra esférica; o azimute é a relação geométrica sin(Az)=cos(i)/cos(lat) (sem correção do triângulo de velocidades da Terra em rotação, sem modelo de ascensão/perda por arrasto)

O gráfico que o motor gera para scenarios/launch-window.toml, tipo de cenário launch-window

Evidências#

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

  • MODELLED Azimute(s) de lançamento de dois corpos (sin Az = cos i / cos lat), inclinação mínima alcançável, velocidade circular, bônus para leste da rotação da Terra, Δv de mudança de plano em dogleg e oportunidades diárias, e, dados uma época e linhas IERS finals2000A, o local

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 são nomeadas ali):

  • MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo que a linha permanece MODELLED
  • MODELLED Azimute(s) de lançamento de dois corpos (sin Az = cos i / cos lat), inclinação mínima alcançável, velocidade circular, bônus para leste da rotação da Terra, Δv de mudança de plano em dogleg a. Referência independente (InternalConsistency): Geometria de lançamento de trigonometria esférica em forma fechada contra âncoras publicadas de exemplos resolvidos (Vallado, Fundamentals of Astrodynamics 4ª ed., Algoritmo 37 de azimute de lançamento + Cap. 6 de mudança de plano; tests/launch_window_ascent_geometry_reference.rs). Elas reutilizam a mesma forma fechada que o kshana implementa (uma verificação de paridade com valor publicado / de transcrição, InternalConsistency); MODELLED de dois corpos, sem triângulo de velocidades da Terra em rotação / ascensão / arra

Limitações#

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

  • MODELLED — geometria de lançamento de dois corpos com Terra esférica; o azimute é a relação geométrica sin(Az)=cos(i)/cos(lat) (sem correção do triângulo de velocidades da Terra em rotação, sem modelo de ascensão/perda por arrasto) (resultado label)
  • Geometria de Terra esférica MODELLED (sem correção do triângulo de velocidades da Terra em rotação, sem modelo de ascensão/perda por arrasto). (catálogo de tipos de cenário (kshana kinds --json))
  • ESCOPO HONESTO: MODELLED. Apenas azimute geométrico -- sem correção do triângulo de velocidades da Terra em rotação (o bônus é informado separadamente para ser incorporado), sem trajetória de ascensão / perda por arrasto / modelo de esterçamento. Geometria de pré-Fase A. Execução: kshana scenarios/launch-window.toml (comentário do arquivo de cenário, linhas 8 a 11)
  • Reprodutibilidade e garantia de software é MODELLED, não validada: uma subafirmação é verificada externamente, mas a capacidade inteira compõe peças modeladas, de modo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))
  • A geometria de janela de lançamento e ascensão (análise de missão) é MODELLED, não validada: conferida contra a sua própria identidade analítica / de forma fechada — detecta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#