lunar-joint-od-clock (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#

Estimador em lote conjunto, multitécnica, de OD lunar + relógio, modelado, em uma rede SIMULADA: um ajuste instantâneo de Gauss-Newton que funde atrasos VLBI geodésicos de linha de base terrestre, distâncias locais lunares estação↔satélite e distâncias entre satélites para recuperar, em conjunto, a posição 3-D de uma estação na superfície lunar, as posições de uma pequena constelação e o deslocamento de relógio de cada ativo a partir de uma verdade injetada. O resultado principal e honesto — o VLBI torna observável a posição 3-D completa da estação onde a medição de distância apenas local lunar deixa uma direção fracamente observada — é informado como o contraste de erro da estação com e sem VLBI. Recuperação simulada em malha fechada MODELLED (a verdade compartilha o modelo de observação), determinística (com semente), NÃO validada com dados reais; sem propagação de modelo de forças dentro do resolvedor; sem TRL, herança nem endosso de agência.

Uma execução de scenarios/lunar-joint-od-clock.toml resume-se assim: lunar-joint-od-clock | 3 sats, 6 Earth stations | station 3-D err with VLBI 3,54 m vs range-only 2184,02 m (617,5× sharper) | sat pos RMS 2,20 m | station clk err 2.87e-10 s | obs 40/16 params

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day

O exemplo scenarios/lunar-joint-od-clock.toml define, entre outros:

Execute#

kshana scenarios/lunar-joint-od-clock.toml

O que ele fornece#

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

Evidências#

Nenhuma linha da matriz nomeia este tipo de cenário pelo nome; o rótulo do seu resultado é o do próprio motor, acima.

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
• VALIDATED Fusão em lote de VLBI + distância local lunar + distância entre satélites para recuperar posições e relógios da estação e da constelação. Referência independente (ExternalDataset): P2: numpy 2.4.6 (numpy.linalg.lstsq com LAPACK gelsd, numpy.linalg.inv; BSD-3) recalcula cada passo de Gauss-Newton, a solução convergida de mínimos quadrados ponderados, os sigmas formais e o erro da estação sobre os jacobianos e observações registrados de seis redes simuladas, com pré-registro (5094bc31) em max(1e-8, 100 kappa eps) relativo. A primeira execução reprovou a rede sem VLBI (6.1e-7 contra 1e-8, uma equação normal in
• VALIDATED Informação de Fisher M=HᵀWH, limite inferior de Cramér–Rao, posto de observabilidade / espaço nulo do defeito de datum (pseudoinversa de Moore–Penrose) e projeto de experimento ótimo D/A/E/T. Referência independente (ExternalDataset): NumPy 2.4.1 (numpy.linalg.eigh / .inv; BSD-3-Clause, com base em LAPACK) — uma autoridade independente de terceiros que calcula os mesmos autovalores univocamente definidos, a covariância de Cramér–Rao σ²(XᵀX)⁻¹ e os fatores de diluição da precisão GNSS por um algoritmo diferente (dividir e conquistar do LAPACK + LU) do varrimento cíclico de Jacobi e da pseudoinversa espectral do Kshana; coincidência até 1e-9. A mesma classe de biblioteca externa já valida o D
• MODELLED Observabilidade por informação de Fisher da solução lunar conjunta: sem linhas de base terrestres, o datum de referencial absoluto está no espaço nulo de HᵀWH (posição da estação não observ. Referência independente (InternalConsistency): estrutura analítica do defeito de datum — o modo de referencial absoluto não observável está no espaço nulo da informação de Fisher (forma fechada), o limiar de posto coincide com a justificativa de projeto publicada de 3 estações, e o estimador atinge o CRLB resultante em Monte Carlo. A própria geometria lunar é uma rede representativa (não uma efeméride voada), de modo que a linha continua MODELLED; o motor FIM/CRLB subjacente é verificado contra

Limitações#

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

• Recuperação simulada em malha fechada MODELLED (a verdade compartilha o modelo de observação), determinística (com semente), NÃO validada com dados reais; sem propagação de modelo de forças dentro do resolvedor; sem TRL, herança nem endosso de agência. (catálogo de tipos de cenário (kshana kinds --json))
• Honestidade: recuperação simulada em malha fechada MODELLED. Uma verdade injetada é mapeada para observáveis sintéticos pelo MESMO modelo de geometria que o resolvedor inverte, ruído gaussiano com semente é acrescentado, e o estimador recupera a verdade injetada dentro do ruído. A referência independente é a consistência interna (recuperação da verdade + realismo da covariância por NEES), NÃO a validação com dados reais. Não há propagação de modelo de forças dentro do resolvedor — o sate (comentário do arquivo de cenário, linhas 24 a 29)
• 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 observabilidade absoluta lunar da estação (defeito de datum) é MODELLED, não validada: verificada contra a sua própria identidade analítica ou de forma fechada, o que detecta erros de transcrição e de coeficientes, mas não é uma referência externa independente. (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