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/leo-pnt-chain.md

leo-pnt-chain (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Navegación en órbita terrestre baja. Orientativo: resultado 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 aquí es del motor o de la matriz de verificación; un tipo de escenario es MODELLED salvo que la matriz diga otra cosa (cómo se obtiene una etiqueta: la sección Evidence del README).

Qué hace#

Un sistema LEO-PNT (posicionamiento, navegación y temporización desde órbita terrestre baja) de extremo a extremo, para cualquier constelación y señal: el diseño leo-signal indicado por signal_design (un preajuste público o un diseño [signal] en línea) fija el centro, el ancho de banda, la tasa de chip y el reparto de EIRP de una banda [pass]; el presupuesto de enlace leo-pass da el C/N0 seguido y la fluctuación de código limitada en banda a lo largo del paso; una recta de C/N0 en sin(elevación) y el SISRE de difusión del mensaje [navmsg] (ajustado a la altitud del satélite del paso) alimentan cada sistema LEO de la fijación conjunta leo-pvt de [fusion] y, opcionalmente, los casos leo-ppp de [ppp]; cada traspaso se lista con su valor y su unidad. MODELLED.

Una ejecución de scenarios/leo-pnt-end-to-end.toml se resume así: LEO-PNT de extremo a extremo, constelación genérica de 1080 km señal generic-l (https://www.itu.int/pub/R-REG-RR), piloto seguido a 10,230 Mchip/s, desviación de C/N0 -2.57 dB paso LEO-1 1080 km: C/N0 seguido pico 58,2 dB-Hz, fluctuación de código mediana 0,050 m; recta de C/N0 35,6 + 24,3 sin(el) dB-Hz mensaje kepler-rac 300 s de ajuste / 300 s de actualización: SISRE de representación 0,907 mm RMS (órbita 0,005 mm), con determinación de órbita de 0,250 m: 0,250 m transmitidos fijación fusionada: solo GNSS PDOP 1,47 RMS 3D 1,60 m -> GNSS + LEO PDOP 1,06 RMS 3D 0,43 m convergencia PPP: solo GNSS 11,5 min, 240 LEO 7,5 min 11 valores transmitidos entre etapas. MODELLED.

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: signal_design, pass, fusion
  • Campos opcionales: name, description, seed, signal, navmsg, od_sisre_m, ppp

El ejemplo scenarios/leo-pnt-end-to-end.toml establece, entre otros:

Campo Valor Unidad
fusion.duration_s 1800 s
fusion.joint.max_leo_sweep 8 no indicado
fusion.mode joint texto
fusion.step_s 30 s
fusion.system[0].cn0_dbhz [38, 48] dB-Hz
fusion.system[0].name GPS texto
fusion.system[0].preset gps-baseline texto
fusion.system[0].sisre_m 0.6 m
fusion.system[1].cn0_dbhz [38, 48] dB-Hz
fusion.system[1].isb_ns 12 ns
fusion.system[1].name Galileo texto
fusion.system[1].preset galileo texto

Ejecútelo#

kshana scenarios/leo-pnt-end-to-end.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
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
fusion.fraction_epochs_with_leo 1 1
fusion.fused.availability 1 1
fusion.fused.median_pdop 1.064778 1
fusion.fused.median_sigma_3d_m 0.433791 m
fusion.fused.rms_error_3d_m 0.434888 m
fusion.gnss.availability 1 1
fusion.gnss.median_pdop 1.47453 1

Etiqueta de resultado (la del motor): MODELLED: la cadena pasa el resultado de cada etapa a la siguiente; las etapas conservan sus propias etiquetas (filas leo-signal, leo-pass, leo-navmsg, leo-pvt y leo-ppp de la matriz de verificación).

El gráfico que el motor escribe para scenarios/leo-pnt-end-to-end.toml, tipo de escenario leo-pnt-chain

Evidencias#

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

  • MODELLED El tipo de escenario leo-pnt-chain: un diseño leo-signal (preajuste público o en línea) fija el centro, el ancho de banda, la tasa de chip y el reparto de EIRP de una banda leo-pass; el paso da el C/N0 del componente seguido y la fluctuación de código limitada en banda por época; un C/ de mínimos cuadrados Pruebas: leo_pnt_chain.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 navsignal: la integral seno (sine_integral), la fracción de potencia BPSK-R dentro de una banda de doble cara en forma cerrada (bpsk_power_in_band_closed_form), la band-. Referencia independiente (ExternalDataset): Fijados externamente: 90,3 por ciento de potencia del lóbulo principal, la fluctuación coherente early-late en el punto de operación declarado, los valores de la tabla de la integral seno y el coeficiente de separación espectral propia de BPSK 2/(3 R_c) con desplazamiento cero. Solo comprobaciones cruzadas internas, no validación externa: la forma cerrada del ancho de banda de Gabor de BPSK limitada en banda y su asíntota, y el coeficiente de separación espectral de BPSK desplazada con desplazamientos distintos de cero, ambos
  • MODELLED El tipo de escenario leo-signal: diseños de señal parametrizados (banda, ancho de banda de transmisión, asignación ITU; componentes de adquisición, de datos y piloto con BPSK(n), BOC(m,n), MB. Referencia independiente (InternalConsistency): Las formas cerradas validadas de las dos filas anteriores, la identidad de falsa alarma de ley cuadrática P_d(snr = 0) = P_fa y el tiempo medio de adquisición de Holmes, y la reducción a la propia cadena SSC del tipo de escenario de espectro (el mismo código Jammer::ssc). Los diseños en sí son entradas: los preajustes marcados REPRESENTATIVE o WORKSHOP no son especificaciones publicadas, los espectros de QPSK de Feher mejorada, de code shift keying y de OFDM son aproximados, y la forma
  • VALIDATED ITU-R P.618-14 sección 2.4.1 pasos 3 a 9 (sigma de referencia a partir de N_wet, longitud efectiva de trayectoria, factor de promediado de antena, profundidad de desvanecimiento para 0,01 % a 50 % del tiem. Referencia independiente (ExternalDataset): Ejemplos de validación del Grupo de Estudio 3 de ITU-R (CG-3M3J-13-ValEx-Rev8.3.0) para el centelleo de P.618-14, con el N_wet de P.453-14 de cada emplazamiento tomado de los mismos ejemplos; incluidos en tests/fixtures/leo_link/p618_14_scintillation.csv con las URL y la fecha de obtención. La expresión de la refractividad húmeda a partir de temperatura y humedad no está cubierta por esta fila
  • VALIDATED Retardo de grupo 40,3 STEC/f^2 por banda; los coeficientes libres de ionosfera f1^2/(f1^2 - f2^2) y -f2^2/(f1^2 - f2^2) y la amplificación de ruido sqrt(a1^2 s1^2 + a2^. Referencia independiente (ExternalDataset): IS-GPS-200 sección 20.3.3.3.3.2, que establece la relación de retardo de grupo L1/L2 gamma = (77/60)^2 que se sigue del escalado de primer orden 1/f^2, y la fórmula de transmisión de Friis (Proc. IRE, 1946). Valida las leyes de escalado, no un TEC oblicuo

Limitaciones#

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

  • La etapa de posicionamiento modela el C/N0 como una recta en el seno de la elevación entre la máscara y el cénit; la cadena ajusta esa recta al C/N0 seguido del paso, por lo que una forma específica del paso (una meseta isoflujo, un borde de haz) se reduce a dos números. (resultado limitations[0])
  • El SISRE transmitido a las etapas de posicionamiento es el error de representación del mensaje de navegación frente a una órbita de referencia integrada por Kshana, más el od_sisre_m declarado del escenario en suma cuadrática; la propia etapa de mensaje no modela determinación ni predicción de órbita. (resultado limitations[1])
  • La etapa de posicionamiento calcula su propia fluctuación del lazo de enganche de retardo a partir del C/N0 transmitido con una fórmula de ancho de banda ilimitado; el paso informa junto a ella de la fluctuación limitada en banda del diseño real. (resultado limitations[2])
  • La etapa de posicionamiento preciso de punto toma el SISRE del mensaje como error de órbita y reloj LEO; su ruido de código y de fase siguen siendo entradas propias de la etapa. (resultado limitations[3])
  • Un satélite, el primero cuya banda lleva el diseño, representa a todo el sistema LEO en las etapas de paso y de mensaje. (resultado limitations[4])
  • MODELLED: la cadena pasa el resultado de cada etapa a la siguiente; las etapas conservan sus propias etiquetas (filas leo-signal, leo-pass, leo-navmsg, leo-pvt y leo-ppp de la matriz de verificación). (resultado label)
  • MODELLED. (catálogo de tipos de escenario (kshana kinds --json))
  • MODELLED: cada etapa conserva su propia etiqueta; la cadena no añade física. (comentario del archivo de escenario, línea 25)

Véase también#