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/integrity.md

integrity (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Mediciones GNSS, posicionamiento e integridad. 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#

RAIM instantáneo / de separación de soluciones / ARAIM con HPL/VPL y un diagrama de Stanford.

Una ejecución de scenarios/integrity-raim.toml se resume así: integrity | 24 satélites | 344/361 épocas disponibles (95,3%) | HAL 40 m VAL 50 m | sigma 1,0 m | Stanford(V): 0 eventos de integridad, 0 HMI

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
  • Campos opcionales: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

El ejemplo scenarios/integrity-raim.toml establece, entre otros:

Campo Valor Unidad
al_h_m 40 m
al_v_m 50 m
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 no indicado
constellation.planes 6 no indicado
constellation.sats_per_plane 4 no indicado
kind integrity texto
mask_deg 5 deg
p_fa 1.0000e-5 no indicado
p_md 0.001 no indicado
seed 7 no indicado

Ejecútelo#

kshana scenarios/integrity-raim.toml

3 escenarios incluidos usan este tipo de escenario; los demás están en scenarios/.

Qué proporciona#

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

Resultado Valor Unidad
al_h_m 40 m
al_v_m 50 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
samples_available 344 recuento
samples_total 361 recuento
stanford.alert_limit_m 50 m
El gráfico que el motor escribe para scenarios/integrity-raim.toml, tipo de escenario integrity

Evidencias#

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

  • MODELLED La sección opcional [integrity] del tipo de escenario clock (clock_integrity::run): a partir de un emplazamiento indicado y de preajustes de constelación (geometry::sky_geometry), en cada época de integridad mientras la línea temporal GNSS no está denegada, RAIM instantáneo (raim::snapshot_ Pruebas: clock_integrity.rs.
  • VALIDATED TPL de separación de soluciones de tiempo escalar sobre fuentes heterogéneas; PL determinado por el ruido del subconjunto de peor exclusión + el sesgo de UTC(k)
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)); PL semicontinuo inferiormente PL(0+)≥PL(0−); máximo corrido K(IR/2); exponentes de fase τ/τ³/τ⁵
  • VALIDATED La envolvente de máximo corrido sobrecubre (sin perforación en cero) una serie metrológica real en cada retardo probado tau>=90d en un segmento disjunto; el tau corto (<=30d) es un límite modelado declarado Pruebas: cti_holdover_coverage_reference.rs.
  • y 6 más en la matriz.

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í):

  • VALIDATED Separación de soluciones con hipótesis múltiples de ARAIM según el ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels y add_v42_protecti. Referencia independiente (ExternalDataset): Tres herramientas independientes, preregistradas (0123cee1) antes de que existiera ningún dato de prueba o salida de la referencia independiente, con tolerancias fijadas entonces. (1) ARAIM: Stanford MAAST para ARAIM 2 (confirmación ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, ejecutado como programa separado bajo GNU Octave 8,4 con un adaptador de compatibilidad de unique() del lado del controlador (declarado, sin cambio de algoritmo), con el TOL_PL del ADD de 0,05 m: el código Rust reproduce la implementación de referencia del ADD en
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP a partir de la geometría de línea de visión mediante Q=(HᵀH)⁻¹ con una descomposición ENU local. Referencia independiente (ExternalDataset): DOP de gnss_lib_py 1.0.4 (Stanford NAV Lab) — biblioteca independiente, coincidente a 1e-6 relativo
  • VALIDATED El núcleo distribucional en el que se apoya todo nivel de protección: el umbral de detección de fallos instantáneo χ²₁₋ₚfₐ(dof), la no centralidad de detección fallida pbias=√λ, y . Referencia independiente (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — biblioteca independiente (Cephes/Boost), un algoritmo distinto de la serie de gamma incompleta de Kshana; coincidente a ≤1e-6 rel. Solo el núcleo. La asignación del presupuesto P_HMI de ARAIM MHSS ya no carece de una referencia numérica publicada — el propio ejemplo resuelto del Subgrupo Técnico ARAIM del WG-C respalda ahora la fila separada «ARAIM MHSS protection levels against published referen
  • 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:

  • 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#