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/combined-altpnt.md

combined-altpnt (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#

Navegador combinado sin GPS de gravedad + magnetismo + terreno: tres canales de campo escalar fusionados por punto de ruta para obtener una corrección de deriva más precisa (CRLB más bajo) que con cualquier campo por separado.

Una ejecución de scenarios/combined-altpnt.toml se resume así: combined-altpnt | free-inertial drift 70659 m | gravity 464 m magnetic 782 m terrain 368 m | FUSED 365 m

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
  • Campos opcionales: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

El ejemplo scenarios/combined-altpnt.toml establece, entre otros:

Campo Valor Unidad
coeffs[0].cbar 6.0000e-6 no indicado
coeffs[0].m 0 no indicado
coeffs[0].n 2 no indicado
coeffs[0].sbar 0 no indicado
coeffs[1].cbar 3.0000e-6 no indicado
coeffs[1].m 1 no indicado
coeffs[1].n 3 no indicado
coeffs[1].sbar 2.0000e-6 no indicado
dem_seed 1 no indicado
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
gravity_sigma_mgal 3 mGal

Ejecútelo#

kshana scenarios/combined-altpnt.toml

Qué proporciona#

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

Resultado Valor Unidad
combined_m 364.881333 m
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
gravity_only_m 464.136358 m
magnetic_only_m 782.430009 m
terrain_only_m 367.623242 m
El gráfico que escribe el motor para scenarios/combined-altpnt.toml, tipo de escenario combined-altpnt

Evidencias#

Ninguna fila de la matriz nombra este tipo de escenario por su nombre; la etiqueta de su resultado es la propia del motor, más arriba.

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#