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

Tipo de cenário do motor v0.40.0, família Lunar e cislunar. Consultivo: resultado de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED salvo indicação em contrário da matriz (como se obtém um rótulo: a secçã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 CARACTERÍSTICA 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 facto 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. Este não chama nenhuma linha de jacobiano analítico, nenhuma STM variacional, nenhuma decomposição em valores singulares ou autovalores, nenhuma tolerância de característica 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 grelha de épocas são partilhados 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 da característica, 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 grelha 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 característica em rel_tol 1e-6 (razão 0,375) — o limiar de característica NÃO é corroborado como fronteira de recuperabilidade — enquanto a fronteira de estimabilidade medida cai na mesma célula da grelha 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 grelha de épocas, o único enlace em seguimento, 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 (grelha 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 característica 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-o#

kshana scenarios/cislunar-arc-recovery.toml

O que dá#

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

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.

• 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 grelha de épocas que a tabela de característica 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 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 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 grelha 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. Este não tem nenhuma expressão em comum com a rota de característica e covariância do gramiano, e a separação é IMPOSTA por uma guarda de texto-fonte, em vez de simplesmente afirmada. MEASURED na grelha planar de DRO publicada: o

Limitações#

O que o próprio relatório da execução diz que não está modelado ou não está 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 grelha de épocas, o único enlace em seguimento, 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 grelha de épocas, o único enlace em seguimento, 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 ficheiro de cenário, linhas 33 a 35)
• 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))
• 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))

Ver também#

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