body-pnt (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Constelações, cobertura e geometria. 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#

Posicionamento em torno de qualquer corpo do sistema solar: um orbitador ou um módulo de aterragem na superfície em torno de um corpo central escolhido pelo nome (Marte, a Lua, Europa, Ganimedes, Titã e o restante do catálogo do sistema solar), a navegar com pseudodistâncias unidirecionais de uma pequena constelação de navegação Walker em torno do corpo (órbitas de dois corpos com a deriva secular de J2 do próprio corpo, um relógio de utilizador desconhecido) e, opcionalmente, uma medida de distância bidirecional de espaço profundo, sem relógio, a partir da Terra, cuja direção e distância vêm das efemérides analíticas do sistema solar em cada época. As linhas de visada são bloqueadas pela esfera média do corpo, e um utilizador na superfície também precisa da máscara de elevação. Por época: relés em vista, se a Terra está acima do limbo, o GDOP e o PDOP apenas da constelação (diluição de precisão geométrica e de posição), a incerteza formal de posição de um sigma com e sem a linha da Terra, e o erro de uma solução de posição por mínimos quadrados de Gauss-Newton com semente, em cada caso; ao longo da execução: disponibilidade, visibilidade da Terra, PDOP mediano, erro RMS e sigma formal mediano, além do tempo de luz Terra-corpo, da ida e volta, do atraso de Shapiro e da separação do Sol na época. MODELLED: as órbitas dos relés, os níveis de ruído e o modelo de medida instantâneo são escolhas de modelação, não validadas contra dados de navegação de uma missão; as constantes do corpo são os valores publicados citados em body.rs, e a geometria da Terra herda os rótulos das efemérides do sistema solar.

Uma execução de scenarios/mars-orbit-pnt.toml resume-se assim: Posicionamento em torno de Marte — utilizador orbitador, 12 relés a 10000 km, 296 épocas tempo de luz da Terra 338,3 s num só sentido, 676,6 s ida e volta; ângulo Sol-Terra-corpo 175,4 deg disponibilidade: 1,000 apenas constelação, 1,000 com a distância da Terra (Terra em vista 0,811) PDOP mediano 1,375 ; erro RMS 1,883 m apenas constelação, 1,629 m com a distância da Terra sigma formal mediano 1,375 m apenas constelação, 1,304 m com a distância da Terra

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: body, epoch, epoch_jd_tdb, duration_s, step_s, seed, table, user, constellation, earth_link

O exemplo scenarios/mars-orbit-pnt.toml define, entre outros:

Execute-o#

kshana scenarios/mars-orbit-pnt.toml

2 cenários incluídos usam este tipo; os restantes estão em scenarios/.

O que dá#

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

Rótulo do resultado (o do motor): MODELLED: órbitas de relés de dois corpos com deriva secular de J2, visibilidade geométrica, ruído gaussiano de distância e um modelo de medida instantâneo em torno de um corpo a partir das constantes publicadas; não validado contra dados de navegação de uma missão. A geometria Terra-corpo herda o rótulo das efemérides do sistema solar

Evidências#

MODELLED 1 · VALIDATED 1: as linhas da matriz de verificação que nomeiam este tipo.

• VALIDATED O tempo de luz newtoniano unidirecional de qualquer corpo para qualquer outro, recebido numa época, resolvido pelo solucionador radiométrico de ponto fixo de tempo de luz (radiometric::light_time_solution, transmissor na sua posição retardada) por meio de solar_system::link_o Testes: solar_system_light_time_preregistered.rs.
• MODELLED O tipo de cenário body-pnt: um orbitador ou um módulo de aterragem na superfície em torno de um corpo escolhido pelo nome navega com pseudodistâncias unidirecionais de uma constelação de navegação Walker em torno do corpo (órbitas de dois corpos com a deriva secular de J2 do corpo, um relógio de utilizador desconhecido

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 O tipo de cenário body-pnt: um orbitador ou um módulo de aterragem na superfície em torno de um corpo escolhido pelo nome navega com pseudodistâncias unidirecionais de uma constelação de navegação Walker em torno. Referência independente (InternalConsistency): Formas fechadas e autoconsistência: a terceira lei de Kepler para o período dos relés, o raio da órbita e o raio da superfície mantidos ao longo da execução, o facto de o acréscimo de uma medida nunca aumentar a incerteza formal e de os erros com semente concordarem com a covariância. As órbitas dos relés ignoram terceiros corpos (a atração de Júpiter sobre relés em torno de Europa não é modelada), o ruído é gaussiano nos níveis declarados e o modelo de medida é instanta

Limitações#

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

• MODELLED: órbitas de relés de dois corpos com deriva secular de J2, visibilidade geométrica, ruído gaussiano de distância e um modelo de medida instantâneo em torno de um corpo a partir das constantes publicadas; não validado contra dados de navegação de uma missão. A geometria Terra-corpo herda os rótulos das efemérides do sistema solar. (resultado label)
• MODELLED: as órbitas dos relés, os níveis de ruído e o modelo de medida instantâneo são escolhas de modelação, não validadas contra dados de navegação de uma missão; as constantes do corpo são os valores publicados citados em body.rs, e a geometria da Terra herda os rótulos das efemérides do sistema solar. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED. As órbitas dos relés, o ruído de distância de 1 m e o modelo de medida instantâneo são escolhas de modelação; nada aqui é validado contra dados de navegação de uma missão. As constantes de Marte são os valores publicados citados em src/body.rs. (comentário do ficheiro de cenário, linhas 20 a 22)
• 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))
• O posicionamento em torno de qualquer corpo do sistema solar com uma constelação local e um enlace de espaço profundo a partir da Terra é MODELLED, não validado: verificado contra a sua própria identidade analítica / de forma fechada — deteta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

• Página da família: Constelações, cobertura e geometria
• Todos os tipos: KINDS.md
• Página do tópico: SOLAR-SYSTEM.md
• Página do tópico: CONSTELLATION-DESIGN.md