Tradução automática, não revista por um falante nativo. O inglês é a referência.

Páginas de tipos de cenárioEditar no GitHubFonte: docs/kinds/by-kind/eo-coverage.md

eo-coverage (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Análise de missão, enlaces e operações espaciais. 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#

Pegada da carga útil de observação da Terra e geometria de cobertura (triângulo espacial do SMAD): raio angular da Terra, largura da faixa imageada, distância de amostragem no solo no nadir, acesso máximo fora do nadir, período circular, período nodal com J2 e espaçamento equatorial do traço no solo com um indicador de cobertura contígua, para uma altitude orbital, uma inclinação (heliossíncrona por padrão) e um FOV/IFOV do sensor. Geometria de Terra esférica MODELLED (sem radiometria/MTF/atmosfera/jitter/reflexo solar); espaçamento de nós R_e·(ω − Ω̇)·T_nodal com taxas seculares de J2 de primeira ordem.

Uma execução de scenarios/eo-coverage.toml resume-se assim: eo-coverage: 700 km, ±7,5° de FOV -> faixa de 184 km, GSD no nadir de 9,8 m, acesso até 745 km fora do nadir; espaçamento de nós de 2752 km (com lacunas) (MODELLED)

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

O exemplo scenarios/eo-coverage.toml define, entre outros:

Campo Valor Unidade
altitude_km 700 km
half_fov_deg 7.5 deg
ifov_microrad 14 não indicado
kind eo-coverage texto
max_off_nadir_deg 45 deg

Execute#

kshana scenarios/eo-coverage.toml

O que ele fornece#

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

Resultado Valor Unidade
altitude_km 700 km
contiguous_equatorial_coverage false flag
earth_angular_radius_deg 64.303554 deg
equatorial_ground_track_spacing_km 2752.173944 km
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier MODELLED texto
half_fov_deg 7.5 deg
inclination_deg 98.187982 deg
max_access_ground_range_km 745.175016 km

Rótulo do resultado (o do motor): MODELLED — geometria do triângulo espacial com Terra esférica; faixa/GSD/acesso são geométricos (sem radiometria/MTF/atmosfera/jitter/reflexo solar), o espaçamento do traço no solo é R_e·(ω − Ω̇)·T_nodal com taxas seculares de J2 de primeira ordem

O gráfico que o motor gera para scenarios/eo-coverage.toml, tipo de cenário eo-coverage

Evidências#

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

  • VALIDATED Geometria do triângulo espacial do SMAD: raio angular da Terra, largura da faixa, GSD no nadir, acesso máximo fora do nadir e período circular, mais o período nodal de J2 de primeira ordem (eo_payload::j2_nodal_period) e o espaçamento equatorial do traço no solo R_e (omega_ Testes: eo_payload_coverage_reference.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 Geometria do triângulo espacial do SMAD: raio angular da Terra, largura da faixa, GSD no nadir, acesso máximo fora do nadir e período circular, mais o período nodal de J2 de primeira ordem (. Referência independente (ExternalDataset): Orekit 12,2 (Apache-2.0) e GeographicLib 2,1 (MIT), ambos executados como programas separados, fixados antecipadamente (766823f3) antes da mudança no motor e de qualquer execução de referência independente: grandezas da esfera dentro de 1e-9 relativo (pior caso: raio angular 5.4e-16, faixa 7.0e-13, acesso 1.9e-14), período 1e-12 (1.6e-16), GSD no nadir 1e-7 (2.9e-10), o período nodal de J2 e o espaçamento de nós dentro de 0,1 % de uma propagação numérica de J2 do Orekit com um detector de nós (1

Limitações#

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

  • MODELLED — geometria do triângulo espacial com Terra esférica; faixa/GSD/acesso são geométricos (sem radiometria/MTF/atmosfera/jitter/reflexo solar), o espaçamento do traço no solo é R_e·(ω − Ω̇)·T_nodal com taxas seculares de J2 de primeira ordem (resultado label)
  • Geometria de Terra esférica MODELLED (sem radiometria/MTF/atmosfera/jitter/reflexo solar); espaçamento de nós R_e·(ω − Ω̇)·T_nodal com taxas seculares de J2 de primeira ordem. (catálogo de tipos de cenário (kshana kinds --json))
  • ESCOPO HONESTO: apenas geometria de Terra esférica MODELLED -- sem modelo de radiometria / MTF / atmosfera / jitter de apontamento / reflexo solar. O espaçamento do traço no solo é R_e*(omega - dOmega/dt)*T_nodal com taxas seculares de J2 de primeira ordem; a inclinação assume por padrão a heliossíncrona para a altitude. Execução: kshana scenarios/eo-coverage.toml (comentário do arquivo de cenário, linhas 7 a 11)
  • 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))

Veja também#