mission-thread (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Sequências de missão. 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 o contrário (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Orçamento de erro de navegação e temporização MODELLED de uma cadeia declarada de fases de missão, do lançamento à reentrada: lançamento e ascensão, encontro e acoplagem em órbita baixa da Terra (repetível), injeção trans-lunar e cruzeiro cislunar, encontro em órbita lunar, descida, permanência na superfície, ascensão e o retorno e a reentrada, cada fase um de oito tipos registrados com seus próprios sensores e filtro. A covariância 6x6, o relógio e o referencial são transferidos de fase em fase sob uma regra declarada (carry, inflate ou reacquire); as conversões de referencial e de escala de tempo (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) são linhas próprias do orçamento, com o estado da Lua a partir de um recorte opcional do kernel DE440 e a série analítica como alternativa declarada. Uma sobreposição opcional da rede terrestre define o ciclo de rastreamento de cada fase. Informa o orçamento por fase (1-sigmas de entrada, de pico e de saída, cada contribuição com sua unidade), a margem em relação a um requisito declarado, o elo mais fraco, os eventos e uma figura de linha do tempo. MODELLED: todo número é uma entrada declarada; a cadeia segue uma única pilha e nenhum veículo é modelado. Apenas fontes públicas; sem afiliação nem aval de qualquer agência; software de caráter consultivo, não um equipamento de navegação certificado.

Uma execução de scenarios/mission-thread-artemis-class.toml é resumida assim: mission-thread | 11 fases | sequência de missão de classe Artemis (ILLUSTRATIVE) | elo mais fraco descent | MODELLED

Entradas#

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

• Campos obrigatórios: epoch_utc, entry, phase
• Campos opcionais: kind, title, seed, moon_kernel_path, ground_network

O exemplo scenarios/mission-thread-artemis-class.toml define, entre outros:

Execute#

kshana scenarios/mission-thread-artemis-class.toml

O que ele fornece#

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

Rótulo do resultado (o do motor): MODELLED

Evidências#

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

• MODELLED O tipo de cenário mission-thread: um documento de fases, cada uma de um de oito tipos registrados, executadas em ordem com a covariância 6x6, o relógio e o referencial transferidos sob uma regra declarada (carry; inflate, ruído de aceleração branco ao longo de um intervalo declarado Testes: field_units_global.rs.
• MODELLED A fase launch-ascent: uma covariância de posição e velocidade de velocidade constante com ruído de aceleração branco (o grau de navegação por estima), uma solução GNSS de precisão declarada aplicada após o tempo de aquisição e fora dos desvanecimentos declarados, um relógio de viés e-
• MODELLED A fase leo-rendezvous: o estado relativo nos eixos LVLH do alvo com a transição fechada de Clohessy-Wiltshire, uma covariância de Kalman 6x6 com ruído de aceleração branco e atualizações de posição cuja variância é a do sensor na dist
• MODELLED A fase tli-and-cruise: o estado médio pelo propagador de Cowell do motor (massa pontual da Terra e J2, o Sol e a Lua como terceiros corpos, a Lua a partir do kernel DE440 da sequência onde ele cobre o segmento e o Sol a partir da série analít
• e mais 4 na matriz.

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 O tipo de cenário mission-thread: um documento de fases, cada uma de um de oito tipos registrados, executadas em ordem com a covariância 6x6, o relógio e o referencial transferidos sob. Referência independente (InternalConsistency): Cálculos manuais nos testes (o crescimento retilíneo da covariância, a rotação sideral média, a taxa secular do relógio lunar) e, apenas para o estado da Lua, os recortes de kernel DE440 versionados em relação a valores fixados do JPL Horizons (pior caso 2,6 m e 7e-6 m/s). Nenhum dado de missão é comparado com a cadeia; suas fases são linhas próprias. O documento é uma cadeia declarada com entradas ILLUSTRATIVE, apenas fontes públicas e sem aval de agên
• MODELLED A fase launch-ascent: uma covariância de posição e velocidade de velocidade constante com ruído de aceleração branco (o grau de navegação por estima), uma solução GNSS de precisão decl. Referência independente (InternalConsistency): O estado estacionário de Riccati e o cálculo manual da predição nos testes. Nada aqui modela um veículo lançador ou um receptor; todo número é uma entrada declarada
• MODELLED A fase leo-rendezvous: o estado relativo nos eixos LVLH do alvo com a transição fechada de Clohessy-Wiltshire, uma covariância de Kalman 6x6 com ruído branco . Referência independente (InternalConsistency): Um cálculo manual em um eixo da predição e da atualização no teste; a transição de Clohessy-Wiltshire é a que cw_dynamics confere com uma integração numérica independente. Os sensores são ILLUSTRATIVE e nenhum encontro real é comparado
• MODELLED A fase tli-and-cruise: o estado médio pelo propagador de Cowell do motor (massa pontual da Terra e J2, o Sol e a Lua como terceiros corpos, a Lua a partir do kernel da sequ. Referência independente (InternalConsistency): O teorema de Liouville (o determinante da matriz de transição de estado da parte conservativa é um) e uma diferença mais fina nos testes; o estado médio é comparado com uma trajetória pública na linha abaixo, que ele não atinge. O erro da queima, as atualizações e a covariância não são comparados com nada

Limitações#

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

• Orçamento de erro de navegação e temporização MODELLED de uma cadeia declarada de fases de missão, do lançamento à reentrada: lançamento e ascensão, encontro e acoplagem em órbita baixa da Terra (repetível), injeção trans-lunar e cruzeiro cislunar, encontro em órbita lunar, descida, permanência na superfície, ascensão e o retorno e a reentrada, cada fase um de oito tipos registrados com seus próprios sensores e filtro. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED: todo número é uma entrada declarada; a cadeia segue uma única pilha e nenhum veículo é modelado. (catálogo de tipos de cenário (kshana kinds --json))
• HONESTIDADE. Todo número aqui é ILLUSTRATIVE: um valor redondo escolhido para fazer a cadeia funcionar, não o desempenho de qualquer veículo, sensor, estação ou rede. A cadeia segue uma única pilha como simplificação declarada; trocas de veículo, transferências de tripulação e a estação em órbita lunar não são modeladas, as órbitas lunares são as circulares e polares de 100 km que os tipos de cenário lunares voam (não a órbita de halo quase retilínea), e a queima TLI é (comentário do arquivo de cenário, linhas 11 a 17)
• 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))
• O orçamento de erro de navegação e temporização de uma cadeia de fases de missão do lançamento à reentrada (mission-thread) é MODELLED, não validado: verificado em relação à sua própria identidade em forma fechada / analítica — detecta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• O lançamento e a ascensão a uma órbita de estacionamento com aquisição e desvanecimento de GNSS (launch-ascent) é MODELLED, não validado: verificado em relação à sua própria identidade em forma fechada / analítica — detecta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A navegação relativa até o envelope de acoplagem em órbita baixa da Terra ao longo de trechos de sensor (leo-rendezvous) é MODELLED, não validada: verificada em relação à sua própria identidade em forma fechada / analítica — detecta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A injeção trans-lunar e o cruzeiro cislunar: estado médio e covariância propagados com atualizações de rastreamento (tli-and-cruise) é MODELLED, não validado: verificado em relação à sua própria identidade em forma fechada / analítica — 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#

• Página da família: Sequências de missão
• Todos os tipos de cenário: KINDS.md
• Página do tópico: MISSION-THREAD.md
• Página do tópico: MISSION-THREAD-LUNAR.md