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/space-weather.md

space-weather (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Medições GNSS, posicionamento e integridade. 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#

Modelo de ambiente de clima espacial: índices de atividade solar (F10.7/F10.7a) e geomagnética (Kp, com a tabela definicional Kp↔ap), a temperatura exosférica de Jacchia-1971 que eles governam (validada contra mínimo/média/máximo solares publicados), e a densidade neutra termosférica de Jacchia-1971 na temperatura exosférica média diurna contra o perfil estático sem atividade em um conjunto de altitudes — a dependência da densidade em relação ao ciclo solar que a atmosfera estática omite. MODELLED: a densidade concorda com densidades derivadas de acelerômetro (TOLEOS CHAMP e GRACE) dentro de um fator 2 no máximo solar, mas é cerca de 1.7x densa demais no mínimo solar de 2008.

Uma execução de scenarios/space-weather.toml resume-se assim: space-weather: F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K; densidade x1.49 a 300 km (MODELLED)

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: f107, f107a, kp, altitudes_km

O exemplo scenarios/space-weather.toml define, entre outros:

Campo Valor Unidade
altitudes_km [300, 400, 500, 600, 800] km
f107 180 sfu
f107a 165 sfu
kind space-weather texto
kp 4 1

Execute#

kshana scenarios/space-weather.toml

O que ele fornece#

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

Resultado Valor Unidade
ap 27 2 nT
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
exospheric_temperature_k 1046.737945 K
f107 180 sfu
f107a 165 sfu
kp 4 1
mean_exospheric_temperature_k 1186.737445 K

Rótulo do resultado (do mecanismo): MODELLED — índices solares/geomagnéticos, temperatura exosférica de Jacchia-71 e densidade estática de Jacchia-71 na temperatura média diurna

O gráfico que o mecanismo gera para scenarios/space-weather.toml, tipo space-weather

Evidências#

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

  • MODELLED Índices solares/geomagnéticos (tabela definicional Kp↔ap), a temperatura exosférica de Jacchia-1971 e a densidade termosférica de Jacchia 1971 (SAO Special Report 332: perfis estáticos de difusão que reproduzem sua Tabela 7, com o diurno, geomagne

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
  • MODELLED Índices solares/geomagnéticos (tabela definicional Kp↔ap), a temperatura exosférica de Jacchia-1971 e a densidade termosférica de Jacchia 1971 (SAO Special Report 33. Referência independente (ExternalDataset): tabela definicional Kp↔ap + forma fechada da temperatura exosférica de Jacchia-1971 (coincidente a <1 K com as âncoras publicadas, tests/space_weather_reference.rs); a densidade é caracterizada contra o pymsis NRLMSISE-00 (um modelo independente do NRL): a oscilação do ciclo solar a 800 km é de 10.4x contra 13.6x do NRLMSISE-00. Revisão 0,30: o fator de atividade de primeira ordem calibrado foi substituído por Jacchia 1971 (densidade do cenário padrão a 40

Limitações#

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

  • MODELLED — índices solares/geomagnéticos, temperatura exosférica de Jacchia-71 e densidade estática de Jacchia-71 na temperatura média diurna (resultado label)
  • MODELLED: a densidade concorda com densidades derivadas de acelerômetro (TOLEOS CHAMP e GRACE) dentro de um fator 2 no máximo solar, mas é cerca de 1.7x densa demais no mínimo solar de 2008. (catálogo de tipos (kshana kinds --json))
  • ESCOPO HONESTO: MODELLED. A conversão Kp<->ap é a tabela definicional da IAGA e a temperatura exosférica é validada contra magnitudes publicadas de mínimo/média/máximo solares, mas a correção de densidade é um acoplamento de altura de escala de PRIMEIRA ORDEM CALIBRADO — captura o sinal, a monotonicidade e a ordem de grandeza corretos, NÃO a exatidão absoluta de uma atmosfera validada com dados (NRLMSISE-00). Execução: kshana scenarios/space-weath (comentário do arquivo de cenário, linhas 10 a 15)
  • 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 ambiente de clima espacial e a densidade termosférica governada pela atividade é MODELLED, não validado: uma subafirmação é conferida externamente, mas a capacidade inteira compõe peças modeladas, de modo que a capacidade permanece Modelled. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#