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

Páginas dos 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: resultados de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado nem um serviço de segurança de vidas. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo é MODELLED, salvo indicação em contrário da matriz (como se obtém uma etiqueta: a secção Evidence do README).

O que faz#

Modelo do ambiente de meteorologia 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 estes determinam (validada face aos mínimo/média/máximo solares publicados), e a densidade neutra termosférica de Jacchia-1971 à temperatura exosférica média diurna face ao perfil estático sem atividade a um conjunto de altitudes — a dependência da densidade relativamente ao ciclo solar que a atmosfera estática omite. MODELLED: a densidade concorda com as densidades derivadas de acelerómetros (TOLEOS CHAMP e GRACE) dentro de um fator 2 no máximo solar, mas é cerca de 1.7x demasiado densa 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-o#

kshana scenarios/space-weather.toml

O que dá#

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

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

Etiqueta de resultado (a do motor): MODELLED — índices solares/geomagnéticos, temperatura exosférica de Jacchia-71 e densidade estática de Jacchia-71 à temperatura média diurna

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

Evidências#

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

  • 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 a sua Tabela 7, com o diurno, geomagné

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 Í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 face ao pymsis NRLMSISE-00 (um modelo NRL independente): a oscilação do ciclo solar a 800 km é 10.4x face a NRLMSISE-00 13.6x. Revisão 0,30: o fator de atividade calibrado de primeira ordem foi substituído por Jacchia 1971 (densidade do cenário predefinido a 40

Limitações#

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

  • MODELLED — índices solares/geomagnéticos, temperatura exosférica de Jacchia-71 e densidade estática de Jacchia-71 à temperatura média diurna (resultado label)
  • MODELLED: a densidade concorda com as densidades derivadas de acelerómetros (TOLEOS CHAMP e GRACE) dentro de um fator 2 no máximo solar, mas é cerca de 1.7x demasiado densa no mínimo solar de 2008. (catálogo de tipos (kshana kinds --json))
  • ÂMBITO HONESTO: MODELLED. A conversão Kp<->ap é a tabela definicional da IAGA e a temperatura exosférica é validada face às magnitudes publicadas de mínimo/média/máximo solar, mas a correção da densidade é um acoplamento de altura de escala DE PRIMEIRA ORDEM CALIBRADO — capta o sinal, a monotonia e a ordem de grandeza corretos, NÃO a exatidão absoluta de uma atmosfera validada com dados (NRLMSISE-00). Executar: kshana scenarios/space-weath (comentário do ficheiro de cenário, linhas 10 a 15)
  • 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 ambiente de meteorologia espacial e a densidade termosférica determinada pela atividade são MODELLED, não validados: uma subalegação é verificada externamente, mas a capacidade no seu todo compõe peças modeladas, pelo que a capacidade continua modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#