cislunar-observability (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#

Observabilidade MODELLED de constelação cislunar planar (P6): segue uma constelação planar de DRO corrigida diferencialmente, com quatro espaçonaves e alcance intersatélites, e indica quanto do estado de quatro componentes [x,y,ẋ,ẏ] de uma espaçonave o arco torna observável. Emite (1) a tabela de característica contra comprimento de arco para um único enlace só de distância — de característica 1 instantânea, crescendo em direção ao estado completo de quatro componentes à medida que o arco se estende (P6 Tabela 1); (2) o espetro de autovalores do gramiano de observabilidade + o número de condição ao longo do arco; (3) a comparação de característica instantânea só de distância contra distância + taxa de distância (a alavanca de projeto do Doppler) mais o relato de GDOP singular só com distância / definido com distância + taxa; e (4) uma validação cruzada independente por SRIF cuja covariância a posteriori se torna finita / bem condicionada exatamente no arco em que a característica observável chega a quatro. Núcleo VALIDATED: a característica observável é um limiar de valor singular que revela a característica, verificado de forma cruzada contra o característica de autovalores do gramiano; o espetro de autovalores obedece aos invariantes espetrais (traço=Σλ, det=Πλ, Frobenius²=Σλ²); a STM variacional é a STM do CR3BP validada por diferenças finitas; as linhas do jacobiano de distância/taxa de distância são derivadas parciais analíticas validadas por diferenças finitas (verificadas de forma cruzada contra o observável de taxa de distância em 3-D do crate); as quatro condições iniciais são DROs planares corrigidas diferencialmente que fecham com um resíduo de periodicidade estreito e são retrógradas; a transição de característica é validada de forma cruzada contra o filtro de informação em raiz quadrada do crate (covariância a posteriori finita exatamente em característica completa, cond(P)=cond(OᵀO)); um instantâneo com deficiência de característica é sinalizado como GDOP indefinido (fim condition=inf), nunca como um valor finito espúrio — a mesma guarda de geometria singular que pvt::solve_spp aplica. MODELLED: o projeto da constelação (amplitudes e fases do perilúnio dos DROs) e a progressão específica de característica que ele produz. Não é um produto de desempenho de navegação certificado.

Uma execução de scenarios/cislunar-observability.toml resume-se assim: cislunar-observability | 4 s/c (3 refs) | arco de 6,0 h, 24 épocas | característica 1 → 4 de 4 ao longo do arco | λ do gramiano [2.92e-11…5.98e-2] cond 2.05e9 | característica instantânea só distância 2 → distância+taxa 4 (3 enlaces) | GDOP só distância indefinido distância+taxa 6,353 | CIs de DRO (resíduo máximo de periodicidade 4.7e-9) | a posteriori do SRIF finita na época 8 de característica 4 (característica/STM/fecho da DRO/SRIF validados, projeto modelado)

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

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

Execute-o#

kshana scenarios/cislunar-observability.toml

O que dá#

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

Rótulo do resultado (o do motor): observabilidade MODELLED de constelação cislunar planar (P6). Núcleo VALIDATED: a CARACTERÍSTICA observável é um limiar de valor singular que revela a característica, verificado de forma cruzada contra o característica de autovalores do gramiano; o espetro de autovalores do gramiano obedece aos invariantes espetrais (traço = soma dos autovalores, det = produto dos autovalores, Frobenius^2 = soma dos autovalores^2

Evidências#

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

• MODELLED O limiar de observabilidade cislunar por comprimento de arco no CR3BP ESPACIAL de seis estados, em vez do planar de quatro estados, nas famílias DRO, halo L2 e halo quase retilíneo L2, com o ruído de medição entrando no Gramiano e DOIS critérios reportam

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 O limiar de observabilidade cislunar por comprimento de arco no CR3BP ESPACIAL de seis estados, em vez do planar de quatro estados, nas famílias DRO, halo L2 e halo quase retilíneo L2. Referência independente (InternalConsistency): Uma característica independente, por escalonamento (eliminação gaussiana com pivotamento parcial), confirma cada veredito de característica de seis estados — um algoritmo diferente, que não partilha código com a rota de autovalores/SVD sob teste. A matriz de transição de estados do CR3BP de 6×6 que isto compõe tem a sua própria referência independente ReferenceImpl contra a integração variacional do SciPy, e as condições iniciais de halo/NRHO vêm de um corretor que reproduz o L2 sul publicado

Limitações#

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

• Observabilidade MODELLED de uma constelação cislunar planar (P6). Núcleo VALIDATED: a CARACTERÍSTICA observável é um limiar de valores singulares que revela a característica, conferida com a característica dos autovalores do Gramiano; o espetro de autovalores do Gramiano obedece aos invariantes espetrais (traço = soma dos autovalores, det = produto dos autovalores, Frobenius^2 = soma dos autovalores^2); a STM variacional é a STM do CR3BP validada por diferenças finitas (crate::cr3bp); as linhas jacobianas de distância / taxa de distância (resultado label)
• Observabilidade MODELLED de uma constelação cislunar planar (P6): acompanha uma constelação de quatro espaçonaves em DRO planar com correção diferencial e medição de distância entre satélites, e indica quanto do estado de quatro componentes [x,y,ẋ,ẏ] de uma espaçonave o arco torna observável. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED: o projeto da constelação (amplitudes e fases do perilúnio da DRO) e a progressão de característica específica que ele produz. (catálogo de tipos de cenário (kshana kinds --json))
• Transparência: MODELLED. Núcleo VALIDATED -- a CARACTERÍSTICA observável é um limiar de valores singulares que revela a característica, conferida com a característica dos autovalores do Gramiano; o espetro de autovalores obedece aos invariantes espetrais (traço = soma dos autovalores, det = produto dos autovalores, Frobenius^2 = soma dos autovalores^2); a STM variacional é a STM do CR3BP validada por diferenças finitas; as linhas jacobianas de distância / taxa de distância são derivadas parciais analíticas validadas por diferenças finitas (cross-che (comentário do ficheiro de cenário, linhas 16 a 25)
• 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 observabilidade cislunar por comprimento de arco, espacial, ruidosa e de várias famílias, é MODELLED, não validada: conferida contra a 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: Lunar e cislunar
• Todos os tipos: KINDS.md