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

pvt (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#

Posicionamiento de punto único con observaciones reales: resuelve la posición de un receptor a partir de un archivo de observación RINEX 3 y un archivo de navegación de difusión (pseudodistancias de código, efemérides de difusión, ionosfera de Klobuchar, troposfera de Saastamoinen/Niell), validado opcionalmente frente a una coordenada topografiada.

Una ejecución de scenarios/pvt-abmf.toml se resume así: pvt 55bdd18628e1 | 11 sat nav | 2/3 épocas resueltas | media 9,0 satélites, PDOP 1,8 | error 3D RMS 5,74 m (máx. 7,12 m)

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: obs_rinex, nav_rinex
  • Campos opcionales: truth_ecef, apriori_ecef, mask_deg, dual_frequency

El ejemplo scenarios/pvt-abmf.toml establece, entre otros:

Campo Valor Unidad
dual_frequency true indicador
kind pvt texto
mask_deg 5 deg
nav_rinex 3,03 N: GNSS NAV DATA M: MIXED texto
obs_rinex 3,02 OBSERVATION DATA M texto
truth_ecef [2.9198e6, -5.3837e6, 1.7746e6] no indicado

Ejecútelo#

kshana scenarios/pvt-abmf.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
fom.epochs_solved 2 recuento
fom.epochs_total 3 recuento
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 recuento
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
El gráfico que el motor genera para scenarios/pvt-abmf.toml, tipo de escenario pvt

Evidencias#

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

  • MODELLED Filtro de Hatch sin divergencia (código libre de ionosfera arrastrado por la portadora libre de ionosfera, ventana de N épocas, reinicio ante pérdida de enganche, salto libre de geometría o hueco) en el montaje de posicionamiento de punto único preciso
  • MODELLED dop_error_mc::run_geometry y check: una simulación Monte Carlo con semilla (N = 20.000 épocas por geometría, sigma = 1,5 m, semilla ChaCha8 36 + i) de la propia fijación por mínimos cuadrados iterados del motor (pvt::solve_spp, pesos unitarios, resuelta desde la posición verdadera) sobre Pruebas: uere_dop_monte_carlo.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í):

  • VALIDATED Posición del satélite en ECEF a partir de las efemérides de difusión keplerianas de IS-GPS-200 / Galileo-OS / BeiDou-OS, desde un registro de navegación RINEX-3 analizado. Referencia independiente (ExternalDataset): RTKLIB v2.4.2-p13 eph2pos() compilado a partir del código fuente en C (T. Takasu, BSD-2-Clause): una implementación independiente de IS-GPS-200/SIS-ICD, alimentada con los mismos registros de navegación RINEX-3; la posición ECEF del satélite coincide hasta ~62 nm. (La interpolación de efemérides precisas SP3 se valida por separado: véase 'SP3 precise-ephemeris interpolation')
  • 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#