lunar-llr-datum (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#

Datum de referencial lunar de Helmert de sete parâmetros conduzido por uma campanha de observação REAL e ARQUIVADA, em vez de simulada. Enquanto o lunar-frame-campaign removeu a transformação injetada, mas ainda declarava a sua rede de estações, o seu cronograma e o seu sigma por observação como entradas ILLUSTRATIVE, este tipo de cenário toma os três a partir de medições: as épocas são os instantes de transmissão em solo de pontos normais arquivados do Consolidated Laser Ranging Data do ILRS, as observações são as distâncias laser realmente disparadas contra os cinco arranjos de retrorrefletores na Lua, e cada peso de observação é a precisão arquivada do próprio ponto normal, bin_rms/sqrt(n_raw), lida do arquivo. As coordenadas das estações vêm da solução SLR ITRF2020 do IERS (propagadas até a época pelas suas velocidades publicadas) e as coordenadas dos refletores da Tabela 7 do JPL DE430 no referencial de Terra média/rotação média que o modelo WGCCRE da IAU 2015 realiza. As derivadas parciais de distância se acumulam na matriz de informação de Fisher conjunta das coordenadas dos refletores e se propagam pelo mesmo projeto de Helmert até a covariância do datum, diagnosticada por crate::fim::crlb. Posto, defeito, condição, espectro, direções não observáveis na base de sete parâmetros, a direção mais fraca com posto completo e a parcela de cada parâmetro nela são emitidos em toda execução, e um parâmetro sem restrição é publicado como NULL com um status. A correlação entre arranjos é MEASURED como exatamente zero, em vez de presumida, porque uma medição laser toca um único arranjo. Um registro que os catálogos não conseguem situar — uma estação sem posição ITRF publicada — é IGNORADO E CONTADO, nunca recebendo uma coordenada substituta. QUAIS ENLACES SÃO MEASURED E QUAIS SÃO MODELLED É O RELATÓRIO, NÃO UMA NOTA DE RODAPÉ: as efemérides do centro da Lua e a orientação do corpo pela IAU continuam modeladas e o seu tamanho combinado é emitido como o resíduo de distância unidirecional observado menos calculado sobre todos os pontos usados; troposfera, marés do corpo sólido, excentricidade da estação, movimento polar, UT1-UTC, atraso relativístico e relógios das estações estão ausentes e dentro desse resíduo. Como um erro de efemérides chega a uma covariância apenas pela direção de cada linha de visada, toda execução também resolve de novo o datum inteiro com todas as derivadas parciais inclinadas por sensitivity_tilt_deg (com sinal alternado) e emite a razão, de modo que a insensibilidade da covariância às efemérides modeladas é um número, e não um argumento. Os próprios valores da campanha simulada são EXECUTADOS e impressos ao lado dos medidos, não transcritos. MODELLED: os valores de sete parâmetros são um limite de Cramer-Rao para um conjunto reduzido de parâmetros em um cronograma real — não um datum resolvido, não uma análise LLR e não um produto geodésico. A fatia de dados reais registrada acompanha o repositório, mas não o crate publicado; aponte data_dir para uma cópia dela.

Uma execução de scenarios/lunar-llr-datum.toml resume-se assim: lunar-llr-datum: 337 archived normal points (349 parsed) from 2 station(s) to 5 retroreflector arrays over 80,9 d; median measured normal-point precision 5,13 mm one-way; reflector information rank 15/15; Helmert rank 7/7 cond 2.399e4; datum translation sigma 1.851746e-2 m; observed-minus-computed one-way residual RMS 156493,9 m (the modelled links, chiefly the analytic lunar ephemeris)

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: data_dir, normal_points_dir, reflectors_path, stations_path, dut1_s, rel_tol, compare_simulated_campaign, sensitivity_tilt_deg, planetary_kernel_path, extra_reflectors, extra_beacons, extra_earth_elevation_mask_deg, beacon_campaign

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

Execute#

kshana scenarios/lunar-llr-datum.toml

3 cenários incluídos usam este tipo de cenário; os demais estão em scenarios/.

O que ele fornece#

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

Rótulo do resultado (o do motor): datum de referencial lunar a partir de uma campanha de observação REAL. O cronograma, a contagem de observações e cada peso de observação vêm de pontos normais arquivados de medição laser lunar do ILRS (medidos); as coordenadas das estações vêm do IERS ITRF2020 e as coordenadas dos retrorrefletores da Tabela 7 do JPL DE430 (publishe

Evidências#

VALIDATED: as linhas da matriz de verificação que nomeiam este tipo de cenário.

• VALIDATED A covariância do datum de Helmert de sete parâmetros, com as suas duas entradas simuladas substituídas por entradas medidas: o cronograma são as épocas de transmissão em solo de 337 pontos normais arquivados de medição laser lunar do ILRS (2015-04-08 a 2015-06-27, Grasse MeO 7 Testes: lunar_llr_real_data.rs.
• VALIDATED A covariância do datum de Helmert de sete parâmetros do lunar-llr-datum a partir de pontos normais arquivados do ILRS e dos seus pesos medidos, no caminho do kernel: o centro geocêntrico da Lua é lido do JPL DE440 pelo leitor de kernel do próprio motor (planetary_ker Testes: validate_llr_datum_kernel_moon.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 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 A covariância do datum de Helmert de sete parâmetros, com as suas duas entradas simuladas substituídas por entradas medidas: o cronograma são as épocas de transmissão em solo de 337 arquiv. Referência independente (ExternalDataset): identidades de forma fechada, um caminho independente dentro do repositório e, desde 0,36, uma referência independente de biblioteca SPICE e NumPy sobre dados medidos novos (abaixo); não existe nenhum par publicado de covariância de datum LLR lunar contra o qual verificar, de modo que nenhuma precisão é alegada. A única derivada nova — a derivada parcial da distância em relação à posição do refletor fixa no corpo — é rededuzida por diferença finita central do tempo de luz de ida e volta que ela diferenc

Limitações#

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

• Datum de referencial lunar a partir de uma campanha de observação REAL. O cronograma, a contagem de observações e cada peso de observação vêm de pontos normais arquivados de medição laser lunar do ILRS (medidos); as coordenadas das estações vêm do IERS ITRF2020 e as coordenadas dos retrorrefletores da Tabela 7 do JPL DE430 (publicadas). As efemérides do centro da Lua, a orientação do corpo WGCCRE da IAU 2015 e a ausência de troposfera, marés, ecce (resultado label)
• A correlação entre arranjos é MEASURED como exatamente zero, em vez de presumida, porque uma medição laser toca um único arranjo. (catálogo de tipos de cenário (kshana kinds --json))
• QUAIS ENLACES SÃO MEASURED E QUAIS SÃO MODELLED É O RELATÓRIO, NÃO UMA NOTA DE RODAPÉ: as efemérides do centro da Lua e a orientação do corpo pela IAU continuam modeladas e o seu tamanho combinado é emitido como o resíduo de distância unidirecional observado menos calculado sobre todos os pontos usados; troposfera, marés do corpo sólido, excentricidade da estação, movimento polar, UT1-UTC, atraso relativístico e relógios das estações estão ausentes e dentro desse resíduo. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED: os valores de sete parâmetros são um limite de Cramer-Rao para um conjunto reduzido de parâmetros em um cronograma real — não um datum resolvido, não uma análise LLR e não um produto geodésico. (catálogo de tipos de cenário (kshana kinds --json))
• • as épocas são os instantes de transmissão em solo de pontos normais arquivados do Consolidated Laser Ranging Data do ILRS; * as observações são as distâncias laser realmente disparadas contra os cinco arranjos de retrorrefletores na Lua; * cada peso de observação é a precisão arquivada PRÓPRIA do ponto normal, bin_rms/sqrt(n_raw), lida do arquivo em vez de presumida. (comentário do arquivo de cenário, linhas 7 a 12)
• QUAIS ENLACES SÃO MEASURED E QUAIS SÃO MODELLED É O RELATÓRIO, NÃO UMA NOTA DE RODAPÉ. As efemérides do centro da Lua e a orientação do corpo pela IAU continuam modeladas, e o seu tamanho combinado é emitido como o resíduo de distância unidirecional observado menos calculado sobre todos os pontos usados; troposfera, marés do corpo sólido, excentricidade da estação, movimento polar, UT1-UTC, atraso relativístico e relógios das estações estão ausentes e ficam dentro desse resíduo. Porque (comentário do arquivo de cenário, linhas 18 a 26)
• A correlação entre arranjos é MEASURED como exatamente zero, em vez de presumida, porque uma medição laser toca um único arranjo. Um registro que os catálogos não conseguem situar — uma estação sem posição ITRF publicada — é IGNORADO E CONTADO, nunca recebendo uma coordenada substituta. Os próprios valores da campanha simulada são EXECUTADOS e impressos ao lado dos medidos. (comentário do arquivo de cenário, linhas 28 a 31)
• MODELLED: os valores de sete parâmetros são um limite de Cramer-Rao para um conjunto reduzido de parâmetros em um cronograma real. Não é um datum resolvido, nem uma análise LLR, nem um produto geodésico. (comentário do arquivo de cenário, linhas 33 a 34)

Veja também#

• Página da família: Lunar e cislunar
• Todos os tipos de cenário: KINDS.md
• Página do tema: LUNAR-REFERENCE-STATION.md