Traducción automática, no revisada por un hablante nativo. El inglés es la referencia.

Páginas de tipos de escenarioEditar en GitHubFuente: docs/kinds/by-kind/eo-coverage.md

eo-coverage (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Análisis de misión, enlaces y operaciones espaciales. Consultivo: salida de análisis de una herramienta de investigación e ingeniería, no un equipo de navegación homologado ni un servicio de seguridad de la vida humana. Toda etiqueta de aquí es la del motor o la de la matriz de verificación; un tipo de escenario es MODELLED salvo que la matriz diga otra cosa (cómo se gana una etiqueta: la sección Evidence del README).

Qué hace#

Huella y geometría de cobertura de una carga útil de observación de la Tierra (triángulo espacial de SMAD): radio angular de la Tierra, anchura de franja, distancia de muestreo en el suelo en el nadir, acceso máximo fuera del nadir, periodo circular, periodo nodal con J2 y separación de trazas en tierra en el ecuador con un indicador de cobertura contigua, para una altitud orbital, una inclinación (heliosíncrona por defecto) y un FOV/IFOV del sensor. Geometría MODELLED de Tierra esférica (sin radiometría/MTF/atmósfera/vibración/destello); separación de nodos R_e·(ω − Ω̇)·T_nodal con tasas seculares de J2 de primer orden.

Una ejecución de scenarios/eo-coverage.toml se resume así: eo-coverage: 700 km, ±7,5° FOV -> 184 km swath, 9,8 m nadir GSD, access to 745 km off-nadir; node spacing 2752 km (gapped) (MODELLED)

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: ninguno
  • Campos opcionales: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

El ejemplo scenarios/eo-coverage.toml establece, entre otros:

Campo Valor Unidad
altitude_km 700 km
half_fov_deg 7.5 deg
ifov_microrad 14 no indicado
kind eo-coverage texto
max_off_nadir_deg 45 deg

Ejecútelo#

kshana scenarios/eo-coverage.toml

Qué proporciona#

Los resultados escalares de esa ejecución, con las unidades que indica el motor:

Resultado Valor Unidad
altitude_km 700 km
contiguous_equatorial_coverage false indicador
earth_angular_radius_deg 64.303554 deg
equatorial_ground_track_spacing_km 2752.173944 km
evidence.id_rule el identificador estable de la fila de la matriz (el 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

Etiqueta del resultado (la del motor): MODELLED — geometría de triángulo espacial de Tierra esférica; franja/GSD/acceso son geométricos (sin radiometría/MTF/atmósfera/vibración/destello), la separación de trazas en tierra es R_e·(ω − Ω̇)·T_nodal con tasas seculares de J2 de primer orden

El gráfico que escribe el motor para scenarios/eo-coverage.toml, tipo de escenario eo-coverage

Evidencias#

VALIDATED: las filas de la matriz de verificación que nombran este tipo de escenario.

  • VALIDATED Geometría del triángulo espacial de SMAD: radio angular de la Tierra, anchura de franja, GSD en el nadir, acceso máximo fuera del nadir y periodo circular, más el periodo nodal de J2 de primer orden (eo_payload::j2_nodal_period) y la separación de trazas en tierra en el ecuador R_e (omega_ Pruebas: eo_payload_coverage_reference.rs.

Las filas que la propia ejecución puso a prueba, con la referencia independiente que da la matriz a cada una (las fuentes públicas se nombran allí):

  • MODELLED Determinista, con hash de escenario, SBOM + barreras golden multiplataforma. Referencia independiente (ExternalDataset): ajuste a la norma del SBOM al esquema JSON oficial de CycloneDX 1,5 (+ identificadores SPDX válidos) — un estándar externo publicado, cero errores de validación en todo el grafo de dependencias; la parte de determinismo de FoM / reproducibilidad byte a byte sigue siendo una comprobación de autoconsistencia fijada, por lo que la fila sigue siendo MODELLED
  • VALIDATED Geometría del triángulo espacial de SMAD: radio angular de la Tierra, anchura de franja, GSD en el nadir, acceso máximo fuera del nadir y periodo circular, más el periodo nodal de J2 de primer orden (. Referencia independiente (ExternalDataset): Orekit 12,2 (Apache-2.0) y GeographicLib 2,1 (MIT), ambos ejecutados como programas separados, preregistrados (766823f3) antes del cambio del motor y de cualquier ejecución de la referencia independiente: magnitudes de la esfera dentro de 1e-9 relativo (peor caso: radio angular 5.4e-16, franja 7.0e-13, acceso 1.9e-14), periodo 1e-12 (1.6e-16), GSD en el nadir 1e-7 (2.9e-10), el periodo nodal de J2 y la separación de nodos dentro del 0,1 % de una propagación numérica de J2 de Orekit con un detector de nodos (1

Limitaciones#

Lo que el propio informe de la ejecución dice que no está modelado o no está validado:

  • MODELLED — geometría de triángulo espacial de Tierra esférica; franja/GSD/acceso son geométricos (sin radiometría/MTF/atmósfera/vibración/destello), la separación de trazas en tierra es R_e·(ω − Ω̇)·T_nodal con tasas seculares de J2 de primer orden (resultado label)
  • Geometría MODELLED de Tierra esférica (sin radiometría/MTF/atmósfera/vibración/destello); separación de nodos R_e·(ω − Ω̇)·T_nodal con tasas seculares de J2 de primer orden. (catálogo de tipos de escenario (kshana kinds --json))
  • ALCANCE HONESTO: solo geometría MODELLED de Tierra esférica -- sin modelo de radiometría / MTF / atmósfera / vibración de apuntamiento / destello solar. La separación de trazas en tierra es R_e*(omega - dOmega/dt)*T_nodal con tasas seculares de J2 de primer orden; la inclinación por defecto es la heliosíncrona para la altitud. Ejecución: kshana scenarios/eo-coverage.toml (comentario del archivo de escenario, líneas 7 a 11)
  • La reproducibilidad y el aseguramiento del software son MODELLED, no están validados: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, por lo que la capacidad sigue siendo modelada. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#