lunar-vlbi (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#

Observável modelado de atraso de VLBI geodésico lunar: uma linha de base terrestre (duas estações em solo, GCRS) observa um sinal unidirecional de uma baliza da classe NovaMoon na superfície lunar. Emite o atraso de campo próximo por diferença de duas distâncias, a sua taxa e a correção de curvatura de frente de onda de campo próximo ao longo de uma passagem — verificado de forma cruzada contra o observável Δ-DOR de onda plana da mesma base de código no limite de campo distante, com derivadas parciais verificadas por diferenças finitas. O caminho analítico padrão é MODELLED e traz as ressalvas de consistência de referencial, de movimento polar xp=yp=0 e de onda plana contra campo próximo. Definir planetary_kernel_path, earth_orientation_kernel_path e moon_orientation_kernel_path executa em vez disso o caminho por kernel (DE440, MOON_PA_DE440, ITRF93; tempos de luz baricêntricos convergidos; acrescenta as derivadas parciais da baliza e da estação da época), cujo atraso newtoniano e cujas derivadas parciais concordam com os tempos de luz convergidos do NAIF SPICE a 0,06 ps e 7.4e-9. Não validado contra dados reais de VLBI.

Uma execução de scenarios/lunar-vlbi.toml resume-se assim: lunar-vlbi | baseline 10727 km | beacon range 402900 km | delay -10049.126 µs (rate 1.312e-6 s/s) | near-field 58,9 µs | 13 samples over 6,0 h

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

O exemplo scenarios/lunar-vlbi.toml define, entre outros:

Execute#

kshana scenarios/lunar-vlbi.toml

O que ele fornece#

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

Evidências#

MODELLED 3 · VALIDATED 3: as linhas da matriz de verificação que citam este tipo de cenário.

• MODELLED Atraso de VLBI de campo próximo para uma linha de base terrestre que observa uma baliza lunar + derivadas parciais
• VALIDATED Atraso de VLBI de campo próximo para uma linha de base terrestre que observa uma baliza lunar, com derivadas parciais da baliza e da estação, no caminho por kernel (lunar_vlbi::KernelGeometry): Terra e Lua do DE440, eixos principais lunares do DE440, orientação da Terra ITRF93 com UT1 e Testes: naif_kernel_reader_check.rs.
• VALIDATED Derivadas parciais de atraso acumuladas ao longo de um cronograma de linhas de base × épocas em uma matriz de informação de Fisher, invertida até a covariância das coordenadas das estações e o sigma de cada coordenada de cada estação, substituindo um vínculo de equipartição isotrópico presumido a partir de a
• MODELLED Uma terceira escolha de datum, all-stations-fixed, que mantém fixas todas as estações terrestres e estima apenas as coordenadas fixas no corpo lunar da BALIZA — a configuração para a qual a incerteza de um ponto da superfície lunar é de fato citada, já que as coordenadas das estações terrestres
• e mais 2 na matriz.

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 Atraso de VLBI de campo próximo para uma linha de base terrestre que observa uma baliza lunar + derivadas parciais. Referência independente (ReferenceImpl): delta_dor de onda plana (da mesma base de código) no limite de campo distante; derivadas parciais por diferenças finitas. 0,30 comparação externa, um achado (continua MODELLED): contra os tempos de luz convergidos do ANISE 0,10 pelo DE440 (75 atrasos em 2024-01-01 sobre três linhas de base da DSN, gerados por xval/anise-lunar-od sem código do Kshana), nenhum atraso está dentro da tolerância de 1 ps. A maior diferença é de 24 µs, do centro analítico da Lua (cerca de 200 km do DE

Limitações#

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

• O caminho analítico padrão é MODELLED e traz as ressalvas de consistência de referencial, de movimento polar xp=yp=0 e de onda plana contra campo próximo. (catálogo de tipos de cenário (kshana kinds --json))
• Honestidade: MODELLED, NÃO validado contra dados reais de VLBI. O movimento polar é desprezado (xp = yp = 0), de modo que as posições inerciais das estações carregam um erro de referencial de alguns metros; a baliza mistura uma série da Lua em equador médio da data com um deslocamento fixo no corpo em ICRF (jd_tdb ~ jd_tt), uma inconsistência de referencial abaixo da fidelidade do modelo; sem iteração de tempo de luz, meios nem aberração além do Shapiro diferenciado. Sem TRL, herança de voo nem endosso de agência (comentário do arquivo de cenário, linhas 17 a 21)
• 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))
• O VLBI geodésico lunar é MODELLED, não validado: verificado 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