lunar-frame-campaign (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 de Helmert (de similaridade) de sete parâmetros conduzido por uma CAMPANHA DE OBSERVAÇÃO SIMULADA, e não por uma transformação injetada. Uma rede de estações terrestres observa um catálogo de balizas na superfície lunar segundo um cronograma explícito; as derivadas parciais do atraso VLBI lunar são acumuladas ao longo desse cronograma em uma matriz de informação de Fisher das coordenadas das balizas, exatamente como faz o lunar-vlbi-fim; e essa informação é propagada pelo projeto de Helmert A = [I3 | [p]_x | p] nos pontos do catálogo até a covariância do datum H = A^T M_b A, diagnosticada por crate::fim::crlb. NENHUMA transformação é injetada e nada é recuperado de uma resposta plantada, de modo que a precisão do datum informada deriva do programa de observação: reduzir o sigma do atraso à metade a reduz exatamente à metade, e alongar o arco a melhora porque a libração que o relatório MEDE (sub_earth_direction_sweep_deg) é o que separa a coordenada da baliza na linha de visada das do plano do céu. Posto, defeito de datum, número de condição, o espectro completo, as direções não observáveis NA BASE DE SETE PARÂMETROS, a direção mais fraca mesmo com posto completo e a parcela de cada parâmetro nela são emitidos em toda execução; um parâmetro que a campanha não restringe é publicado como NULL com um status, nunca lido de uma inversa quase singular. A correlação de erro entre balizas é medida, não presumida: com as estações mantidas fixas nenhuma observação toca duas balizas, de modo que a matriz de informação é exatamente diagonal em blocos (offblock_fraction 0), e com as estações estimadas o bloco marginalizado por Schur é acoplado, com a correlação induzida impressa e toda a propagação refeita com ela descartada, de modo que o preço de uma hipótese de independência é um número. A mesma propagação sob um sigma isotrópico por coordenada, e o erro de recuperação que o cenário lunar-frame-realisation informa, são ambos executados aqui e impressos ao lado do valor da campanha com as suas razões. MODELLED: o catálogo de balizas tem fonte, mas a CAMPANHA é simulada — a rede de estações e o sigma do atraso são entradas ilustrativas, as observações individuais de atraso são tratadas como independentes, e as efemérides do centro da Lua, os relógios das estações, a troposfera e os parâmetros de orientação da Terra são mantidos FIXOS, de modo que a covariância do datum é um limite de Cramer-Rao para um conjunto reduzido de parâmetros. Não é um produto geodésico.

Uma execução de scenarios/lunar-frame-campaign.toml resume-se assim: lunar-frame-campaign | 4 beacons x 3 baselines x 49 epochs = 64 obs (delay sigma 1.000e-11 s) | station datum fixed | Helmert rank 7/7 cond 3.798e5 | datum translation sigma 6,397500 m vs injected-transform recovery error 0,3125 m (ratio 0,049)

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

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

Execute#

kshana scenarios/lunar-frame-campaign.toml

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 MODELLED conduzido por campanha. A covariância de Helmert de sete parâmetros é propagada a partir de uma matriz de informação das coordenadas das balizas, acumulada a partir das derivadas parciais do atraso VLBI lunar do próprio motor sobre um cronograma explícito de balizas, linhas de base e épocas; NENHUMA transformação de similaridade é injetada e

Evidências#

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

• MODELLED O datum de Helmert de sete parâmetros propagado a partir de uma CAMPANHA DE OBSERVAÇÃO SIMULADA, em vez de recuperado de uma transformação injetada.
• 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.
• MODELLED As entradas opcionais extra_reflectors e extra_beacons no cenário lunar-llr-datum acrescentam um bloco station_geodesy: a informação de Helmert de cinco arranjos a partir do trecho arquivado de medição laser lunar mais a informação que um retrorrefletor acrescentado (ran Testes: lunar_station_geodesy.rs.
• VALIDATED A covariância do datum de Helmert de sete parâmetros do cenário lunar-frame-campaign com as estações terrestres estimadas (estação 1 ancorada), tal como lunar_frame_campaign a calcula em binary64: a informação de Fisher conjunta de estações e balizas acum Testes: lunar_frame_campaign_mpmath_oracle.rs.
• e mais 1 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
• VALIDATED Ajuste do datum de Helmert de 7 parâmetros + amarração de orientação ICRF a partir de uma rede de pontos. Referência independente (ExternalDataset): resolvedor independente de transformação de similaridade de Umeyama (Horn) ponderado em forma fechada (baseado em SVD de numpy/scipy; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — um algoritmo diferente do ajuste iterativo de Gauss–Newton do kshana, que atinge o mesmo ótimo de mínimos quadrados ponderados univocamente definido em redes de pontos idênticas byte a byte
• MODELLED O datum de Helmert de sete parâmetros propagado a partir de uma CAMPANHA DE OBSERVAÇÃO SIMULADA, em vez de recuperado de uma transformação injetada. Estações terrestres observam uma font. Referência independente (ReferenceImpl): identidades de forma fechada e um caminho independente dentro do repositório, sem nenhuma referência externa independente alegada. O projeto de Helmert — a única derivada nova do módulo — é rededuzido por diferença finita central de lunar_frame_realise::apply_helmert, um caminho que não compartilha nenhuma expressão com a forma analítica. A acumulação que ele compõe é a do lunar-vlbi-fim, cujo jacobiano é diferenciado por diferenças finitas contra lunar_vlbi::vlbi_delay_s ali, e que

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 MODELLED conduzido por campanha. A covariância de Helmert de sete parâmetros é propagada a partir de uma matriz de informação das coordenadas das balizas, acumulada a partir das derivadas parciais do atraso VLBI lunar do próprio motor sobre um cronograma explícito de balizas, linhas de base e épocas; NENHUMA transformação de similaridade é injetada e nada é recuperado de uma resposta plantada. O catálogo de balizas é a tabela de locais nomeados com fonte do crate, mas a CAMPA (resultado label)
• A correlação de erro entre balizas é medida, não presumida: com as estações mantidas fixas nenhuma observação toca duas balizas, de modo que a matriz de informação é exatamente diagonal em blocos (offblock_fraction 0), e com as estações estimadas o bloco marginalizado por Schur é acoplado, com a correlação induzida impressa e toda a propagação refeita com ela descartada, de modo que o preço de uma hipótese de independência é um número. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED: o catálogo de balizas tem fonte, mas a CAMPANHA é simulada — a rede de estações e o sigma do atraso são entradas ilustrativas, as observações individuais de atraso são tratadas como independentes, e as efemérides do centro da Lua, os relógios das estações, a troposfera e os parâmetros de orientação da Terra são mantidos FIXOS, de modo que a covariância do datum é um limite de Cramer-Rao para um conjunto reduzido de parâmetros. (catálogo de tipos de cenário (kshana kinds --json))
• A correlação de erro entre balizas é MEASURED, não presumida. Com as estações mantidas fixas nenhuma observação toca duas balizas, de modo que a matriz de informação é exatamente diagonal em blocos (offblock_fraction 0); com as estações estimadas o bloco marginalizado por Schur é acoplado, a correlação induzida é impressa e toda a propagação é refeita com ela descartada, de modo que o preço de uma hipótese de independência é um número em vez de uma c (comentário do arquivo de cenário, linhas 17 a 21)
• MODELLED: o catálogo de balizas tem fonte, mas a CAMPANHA é simulada — a rede de estações e o sigma do atraso são entradas ilustrativas, as observações individuais de atraso são tratadas como independentes, e as efemérides do centro da Lua, os relógios das estações, a troposfera e os parâmetros de orientação da Terra são mantidos FIXOS. Não é um produto geodésico. (comentário do arquivo de cenário, linhas 27 a 30)
• 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 datum de referencial lunar a partir de uma campanha de observação é 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