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/terrain-nav.md

terrain-nav (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia PNT alternativo sin GPS. 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#

Navegación por referencia al terreno sin GPS (TERCOM/SITAN): un altímetro radar o barométrico contrasta el perfil de elevación del terreno con un DEM de estilo SRTM para recuperar la deriva del INS.

Una ejecución de scenarios/terrain-nav.toml se resume así: terrain-nav | deriva inercial libre 70659 m | con correlación de terreno 53 m (reducción de 1342x) | sigma de correlación 17,0 m

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg
  • Campos opcionales: refine_stages, refine_factor, noise_seed

El ejemplo scenarios/terrain-nav.toml establece, entre otros:

Campo Valor Unidad
altimeter_sigma_m 8 m
dem_seed 1 no indicado
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
kind terrain-nav texto
map_sigma_m 15 m
noise_seed 1 no indicado
refine_factor 8 no indicado
refine_stages 3 no indicado
search_half_deg 0.8 deg
search_step_deg 0.08 deg
start_lat_deg 12.05 deg

Ejecútelo#

kshana scenarios/terrain-nav.toml

Qué proporciona#

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

Resultado Valor Unidad
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
free_inertial_drift_m 70658.643788 m
matched_error_m 52.665375 m
measurement_sigma_m 17 m
El gráfico que el motor genera para scenarios/terrain-nav.toml, tipo de escenario terrain-nav

Evidencias#

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

  • MODELLED El tipo de escenario y fase lunar-descent: un modelo de error inercial de cinco estados por eje (posición, velocidad, sesgo del acelerómetro, inclinación, sesgo del giróscopo) durante un descenso propulsado, ayudado por posiciones AFS (autónomas o diferenciales, con el caso de tres rel

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 Correspondencia con mapas de gravedad, navegación referida al terreno (TERCOM/SITAN), anomalía magnética. Referencia independiente (InternalConsistency): coeficientes de IGRF-14; CRLB de filtro adaptado a partir de primeros principios. El campo del benchmark de gravedad con campo real está comprobado externamente (fila «Gravity-anomaly synthesis from a spherical-harmonic model»), pero su resultado de navegación no tiene referencia independiente externa
  • 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

Limitaciones#

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

  • El PNT alternativo / complementario es MODELLED, no está validado: se comprueba frente a su propia identidad analítica o de forma cerrada — detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))
  • 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#