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

Estudos MODELLED da órbita e da superfície da Lua como infraestrutura de navegação e geodésica, cinco estudos num único tipo de cenário selecionado por study: od-consistency (determinação de órbita a bordo com Earth-GNSS numa NRHO ou ELFO face à determinação de órbita radiométrica independente a partir do solo, avaliadas pelas suas próprias covariâncias sobre um Monte Carlo de semente fixa), carrier-phase (fase da portadora de dupla diferença conjunta superfície-orbitador e resolução de ambiguidades inteiras com LAMBDA), frame-coestimation (uma estação de superfície e orbitadores acrescentados à medição de distâncias de estações terrestres para o datum de referencial lunar de sete parâmetros), space-tie (GNSS, VLBI e telemetria laser numa única nave, precisão da ligação de referenciais face ao erro de ligação local) e geodesy-sensitivity (informação de Fisher dos números de Love lunares h2, k2, l2 e da libração física a partir de telemetria laser, seguimento de orbitadores, um gravímetro de superfície e um relógio de superfície). Um modelo restrito de três corpos com simplificações indicadas; a numérica é verificada face a programas independentes e nada é comparado com uma medição de uma grandeza lunar.

Uma execução de scenarios/lunar-infrastructure-space-tie.toml resume-se assim: lunar-infrastructure space-tie: 4 pontos de varrimento em 1 arcos; laser-vs-GNSS x sigma de translação 1,0363 m na ligação local registada

Entradas#

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

• Campos obrigatórios: study
• Campos opcionais: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

O exemplo scenarios/lunar-infrastructure-space-tie.toml define, entre outros:

Execute-o#

kshana scenarios/lunar-infrastructure-space-tie.toml

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

O que dá#

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

Etiqueta do resultado (a do motor): MODELLED — um modelo restrito de três corpos (Terra e Lua como massas pontuais, sem Sol, sem harmónicos do campo gravítico lunar) com simplificações indicadas e entradas ILLUSTRATIVE etiquetadas com as suas fontes públicas. A numérica é verificada face a programas independentes; nada é comparado com uma medição de uma grandeza lun

sem gráfico: o exemplo não escreve nenhum gráfico

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
• MODELLED Determinação de órbita numa órbita de halo quase retilínea (ou numa órbita elíptica congelada) a partir de dois tipos de dados independentes: pseudodistâncias Earth-GNSS recebidas a bordo. Referência independente (ReferenceImpl): Um programa scipy/numpy independente integra as mesmas equações variacionais (limiar O1). Nada é comparado com uma medição de uma órbita lunar. A referência independente verifica a numérica de fórmulas indicadas, não a física, pelo que a linha continua a ser MODELLED. Modelo restrito de três corpos: sem Sol, sem harmónicos lunares, com o eixo de rotação da Terra ao longo da normal à órbita, entradas de recetor e de estação ILLUSTRATIVE.
• MODELLED Fase da portadora e código Earth-GNSS de diferença simples entre recetores numa estação de superfície lunar e num orbitador, com a diferença de relógio por época eliminada por perfilagem. Referência independente (ReferenceImpl): Uma resolução numpy independente das mesmas equações normais a partir das linhas exportadas (Q3) e uma enumeração de inteiros por força bruta (Q4). Nenhuma medição de fase da portadora GNSS ou lunar é comparada com. MODELLED.
• MODELLED Informação de Fisher do datum de referencial lunar de sete parâmetros a partir de telemetria laser de estações terrestres para os cinco refletores, isoladamente e com orbitador-estação de superfície ra. Referência independente (ReferenceImpl): Uma diferença finita numpy independente do modelo direto (F2). Nada é comparado com soluções reais do referencial lunar. O fator está condicionado à órbita conhecida assumida e ao sigma de distância de 1 m. MODELLED.
• MODELLED Precisão de Cramer-Rao dos desvios de translação, escala e rotação entre técnicas, entre referenciais GNSS, VLBI e de telemetria laser, quando uma única nave transporta todos. Referência independente (ReferenceImpl): Um sistema empilhado numpy independente com as incógnitas de posição eliminadas por complementos de Schur explícitos (T3). Nenhum dado de GRASP, Genesis ou de outra missão é comparado com. MODELLED.

Limitações#

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

• MODELLED — um modelo restrito de três corpos (Terra e Lua como massas pontuais, sem Sol, sem harmónicos do campo gravítico lunar) com simplificações indicadas e entradas ILLUSTRATIVE etiquetadas com as suas fontes públicas. A numérica é verificada face a programas independentes; nada é comparado com uma medição de uma grandeza lunar, e nada aqui é uma afirmação sobre qualquer missão ou sistema. Sem afiliação nem aval de nenhuma agência. Consulti (resultado label)
• Estudos MODELLED da órbita e da superfície da Lua como infraestrutura de navegação e geodésica, cinco estudos num único tipo de cenário selecionado por study: od-consistency (determinação de órbita a bordo com Earth-GNSS numa NRHO ou ELFO face à determinação de órbita radiométrica independente a partir do solo, avaliadas pelas suas próprias covariâncias sobre um Monte Carlo de semente fixa), carrier-phase (fase da portadora de dupla diferença conjunta superfície-orbitador e ambiguidades inteiras (catálogo de tipos de cenário (kshana kinds --json))
• Cenário lunar-infrastructure do Kshana: space-tie. MODELLED; o projeto, as entradas e os limiares estão fixados em xval/lunar-infra/PREREGISTRATION.md (registado antes de qualquer execução). As entradas ILLUSTRATIVE estão aí etiquetadas com as suas fontes públicas. (comentário do ficheiro de cenário, linhas 1 a 3)
• 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 determinação de órbita lunar: Earth-GNSS face a radiométrica a partir do solo é MODELLED, não validada: verificada face a uma implementação separada nesta mesma base de código — independente da unidade em teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A resolução de ambiguidades da fase da portadora lunar: superfície e orbitador é MODELLED, não validada: verificada face a uma implementação separada nesta mesma base de código — independente da unidade em teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A coestimação do referencial lunar: estações de superfície e orbitadores é MODELLED, não validada: verificada face a uma implementação separada nesta mesma base de código — independente da unidade em teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A precisão da ligação de referenciais space-tie: GNSS, VLBI e telemetria laser no mesmo local é MODELLED, não validada: verificada face a uma implementação separada nesta mesma base de código — independente da unidade em teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

• Página da família: Lunar e cislunar
• Todos os tipos: KINDS.md
• Página do tema: LUNAR-INFRASTRUCTURE.md