cislunar-arc-recovery (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Lunar e cislunar. 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#

Teste MODELLED de estimador independente do limiar de observabilidade do comprimento de arco cislunar. Esse limiar é uma leitura de POSTO sobre a matriz de observabilidade montada a partir das linhas ANALÍTICAS do jacobiano de distância e da matriz de transição de estado variacional ANALÍTICA, e a sua verificação cruzada por filtro de informação em raiz quadrada incorpora essas mesmas linhas — uma verificação de consistência entre duas máquinas numéricas, não uma corroboração. Este tipo de cenário fornece o árbitro que faltava: um estimador de mínimos quadrados em lote que de fato RECUPERA o estado inicial do chefe a partir de medidas simuladas, com as derivadas parciais da medida tomadas como DIFERENÇAS FINITAS CENTRAIS do modelo direto composto. Ele não chama nenhuma linha de jacobiano analítico, nenhuma STM variacional, nenhuma decomposição em valores singulares ou autovalores, nenhuma tolerância de posto e nenhum filtro de informação em raiz quadrada — uma guarda de texto-fonte em tests/cislunar_arc_recovery_reference.rs torna isso verificável — enquanto a dinâmica (o mesmo fluxo RK4 do CR3BP), as condições iniciais (a mesma constelação corrigida diferencialmente), o observável escalar e a grade de épocas são compartilhados deliberadamente e nomeados no bloco independence emitido, porque duas análises de um mesmo problema físico precisam concordar quanto à física para serem comparáveis. Dois critérios, cada um varrido ao longo de cinco décadas do seu próprio limite: RECUPERAÇÃO SEM RUÍDO (o erro de estado final de cada tentativa com semente no máximo recovery_factor vezes o seu deslocamento a priori — o análogo do posto, sem nenhuma tolerância de valor singular) e ESTIMABILIDADE POR MONTE CARLO (o erro RMS de posição medido sobre um conjunto de ruído com semente abaixo de um limite declarado — o análogo da estimabilidade, medido e não previsto). Suporta o caso planar de quatro estados e o espacial de seis estados, as famílias DRO / halo L2 / NRHO L2, os observáveis de distância e de taxa de distância, e uma parametrização polar centrada na Lua em que a transformação é aplicada ao ESTADO e o modelo direto é rediferenciado ali. MEASURED na grade planar de DRO publicada: o estimador recupera o caso de quatro estados a partir de 0,782609 h contra os 2,086957 h do critério de posto em rel_tol 1e-6 (razão 0,375) — o limiar de posto NÃO é corroborado como fronteira de recuperabilidade — enquanto a fronteira de estimabilidade medida cai na mesma célula da grade que a formal, 5,739130 h, e a curva de erro medida reproduz o 1 sigma formal ao longo de 21 comprimentos de arco com uma razão de média geométrica de 0,98. MODELLED: o projeto da constelação, a grade de épocas, o único enlace rastreado, a magnitude do deslocamento, o sigma da medida e os dois limites declarados. Não é um produto de desempenho de navegação certificado.

Uma execução de scenarios/cislunar-arc-recovery.toml resume-se assim: cislunar-arc-recovery | família dro, 4 estados, 4 s/c, observável de distância, parametrização cartesiana | arco de 6,0 h, 24 épocas (grade 0,260870 h), 32 tentativas, semente 20260920 | derivadas parciais por diferenças finitas, sem jacobiano analítico / STM / SVD / SRIF | recuperação sem ruído a partir de 0,782609 h (fator 1e-2) contra limiar de posto do gramiano de 2,086957 h | estimabilidade por Monte Carlo a partir de 5,739130 h (RMS de pos ≤ 1,000 km, σ 1,000 m) contra estimabilidade do gramiano 5,739130 h | RMS de pos no fim do arco 0,6026 km

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: mu, arc_hours, epochs, steps, spatial, family, n_spacecraft, observable, coordinates, trials, seed, displacement_nd, recovery_factor, sigma_range_m, sigma_range_rate_mm_s, error_bound_km, max_iterations, rel_tol

O exemplo scenarios/cislunar-arc-recovery.toml define, entre outros:

Execute#

kshana scenarios/cislunar-arc-recovery.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): teste MODELLED de recuperação do comprimento de arco cislunar (corroboração por estimador independente do limiar de observabilidade P6). Núcleo VALIDATED: o estimador é o corretor em lote de Gauss-Newton ponderado já existente no crate (crate::batch_ls), cuja matriz de projeto é uma DIFERENÇA FINITA CENTRAL do mo

Evidências#

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

• MODELLED Um estimador de mínimos quadrados em lote que RECUPERA o estado inicial do chefe a partir de medidas intersatélites simuladas sobre prefixos crescentes da mesma grade de épocas que a tabela de posto contra arco usa, com as derivadas parciais da medida tomadas como diferenças finitas centrais Testes: cislunar_arc_recovery_reference.rs.

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 Um estimador de mínimos quadrados em lote que RECUPERA o estado inicial do chefe a partir de medidas intersatélites simuladas sobre prefixos crescentes da mesma grade de épocas. Referência independente (ReferenceImpl): Um estimador separado nesta base de código, com um algoritmo diferente e um caminho de código disjunto: Gauss-Newton ponderado não linear com derivadas parciais por diferenças finitas, com o seu veredito lido como um erro de recuperação de estado medido em km e mm/s. Ele não tem nenhuma expressão em comum com a rota de posto e covariância do gramiano, e a separação é IMPOSTA por uma guarda de texto-fonte, em vez de simplesmente afirmada. MEASURED na grade planar de DRO publicada: o

Limitações#

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

• Teste MODELLED de recuperação do comprimento de arco cislunar (corroboração por estimador independente do limiar de observabilidade P6). Núcleo VALIDATED: o estimador é o corretor em lote de Gauss-Newton ponderado já existente no crate (crate::batch_ls), cuja matriz de projeto é uma DIFERENÇA FINITA CENTRAL do modelo direto composto - ele não chama nenhuma linha de jacobiano analítico de medida, nenhuma matriz de transição de estado variacional, nenhum valor singular o (resultado label)
• Teste MODELLED de estimador independente do limiar de observabilidade do comprimento de arco cislunar. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED: o projeto da constelação, a grade de épocas, o único enlace rastreado, a magnitude do deslocamento, o sigma da medida e os dois limites declarados. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED: o projeto da constelação, a grade de épocas, o único enlace rastreado, a magnitude do deslocamento, o sigma da medida e os dois limites declarados. Não é um produto de desempenho de navegação certificado. (comentário do arquivo de cenário, linhas 33 a 35)
• 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 corroboração por estimador independente do limiar de comprimento de arco cislunar é MODELLED, não validada: verificada contra uma implementação separada nesta mesma base de código — independente da unidade sob teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#

• Página da família: Lunar e cislunar
• Todos os tipos de cenário: KINDS.md