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

Estimador em lote multitécnica modelado de OD lunar + relógio, numa 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 à superfície lunar, as posições de uma pequena constelação e o desvio de relógio de cada ativo a partir de uma verdade injetada. O resultado principal, apresentado com honestidade — o VLBI torna observável a posição 3-D completa da estação, onde a medição de distâncias apenas local lunar deixa uma direção fracamente observada — é indicado como o contraste do erro da estação com versus sem VLBI. Recuperação simulada em malha fechada MODELLED (a verdade partilha o modelo de observação), determinística (semente fixa), NÃO validada com dados reais; sem propagação de modelo de forças dentro do resolvedor; sem TRL, herança de voo nem aval de agências.

Uma execução de scenarios/lunar-joint-od-clock.toml resume-se assim: lunar-joint-od-clock | 3 sats, 6 estações terrestres | erro 3-D da estação com VLBI de 3,54 m vs só distâncias de 2184,02 m (617,5× mais preciso) | RMS da posição dos sats 2,20 m | erro do relógio da estação 2.87e-10 s | obs 40/16 parâmetros

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-o#

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

O que dá#

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

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 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
• 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: o 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 as jacobianas e observações registadas de seis redes simuladas, pré-registado (5094bc31) a max(1e-8, 100 kappa eps) em termos relativos. A primeira execução falhou na rede sem VLBI (6.1e-7 face a 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 experiência ótima 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 valores próprios 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 (divisão e conquista do LAPACK + LU) do varrimento cíclico de Jacobi e da pseudoinversa espetral do Kshana; concordâ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 situa-se 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 inobservável situa-se no espaço nulo da informação de Fisher (forma fechada), o limiar de posto coincide com a justificação publicada do projeto de 3 estações, e o estimador atinge o CRLB resultante em Monte Carlo. A geometria lunar propriamente dita é uma rede representativa (não efemérides de voo), pelo que a linha continua a ser MODELLED; o motor FIM/CRLB subjacente é verificado face a

Limitações#

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

• Recuperação simulada em malha fechada MODELLED (a verdade partilha o modelo de observação), determinística (semente fixa), NÃO validada com dados reais; sem propagação de modelo de forças dentro do resolvedor; sem TRL, herança de voo nem aval de agências. (catálogo de tipos de cenário (kshana kinds --json))
• Honestidade: recuperação simulada em malha fechada MODELLED. Uma verdade injetada é convertida em observáveis sintéticos através do MESMO modelo de geometria que o resolvedor inverte, acrescenta-se ruído gaussiano de semente fixa, 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 NEES), NÃO validação com dados reais. Não há propagação de modelo de forças dentro do resolvedor — o sate (comentário do ficheiro de cenário, linhas 24 a 29)
• 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 absoluta de estações lunares (defeito de datum) é MODELLED, não validada: verificada face à sua própria identidade analítica de forma fechada, deteta erros de transcrição e de coeficientes, mas não é uma referência independente. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

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