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

jamming (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Jamming, spoofing y el espectro. 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#

Jamming con presupuesto de enlace: J/S → C/N₀ efectivo → pérdida de enganche.

Una ejecución de scenarios/jamming-demo.toml se resume así: escenario 5aac34b045c7 | jamming ON | disponibilidad bajo jamming 0,00 (nominal 1,00) | seguimiento mínimo 0 | J/S medio 72,2 dB

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: seed, time, receiver, constellation
  • Campos opcionales: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

El ejemplo scenarios/jamming-demo.toml establece, entre otros:

Campo Valor Unidad
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
jammer.bandwidth_mhz 20 MHz
jammer.gain_dbi 0 dBi
jammer.jammer_type banda ancha texto
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming texto
mask_deg 5 deg

Ejecútelo#

kshana scenarios/jamming-demo.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 PARTNER texto
fom.availability_nominal 1 1
fom.availability_under_jamming 0 1
fom.mean_js_db 72.164862 dB
fom.min_tracking 0 recuento
jammer_present true indicador
seed 1 1
El gráfico que el motor escribe para scenarios/jamming-demo.toml, tipo de escenario jamming

Evidencias#

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

  • MODELLED Presupuesto de enlace J/S geométrico, C/N₀ antijamming, pérdida de enganche por satélite Pruebas: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED El informe hybrid-optical-rf declara una disponibilidad del enlace RF, compuesta a partir de magnitudes que el motor ya calcula y no de una climatología importada, y declara la composición como una regla con nombre: A_rf = I_closure * I_track, donde I_clos
  • MODELLED Relación señal-interferente, C/N₀ efectivo y pérdida de enganche nativos lunares para un usuario en la superficie selenográfica bajo un jammer en la superficie lunar (o elevado), sobre la constelación ilustrativa de fuentes públicas de clase Moonlight/LCNS.
  • MODELLED El informe lunar-jamming ya no apoya su contorno de denegación en un único escalar.
  • y 5 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í):

  • MODELLED Balance de enlace J/S geométrico, C/N₀ antiinterferencia, pérdida de enganche por satélite. Referencia independiente (InternalConsistency): ecuación del balance de enlace de C/N₀ antiinterferencia contrastada con una rederivación independiente en numpy (comparte la misma forma cerrada → InternalConsistency) más una caracterización de la degradación de C/N₀ de JammerTest-2024 real. 0,30 ronda 2, bloqueado (sigue siendo MODELLED): no se ejecutó la comparación de la caída de C/N0 medida en JammerTest 2024 con una predicción del balance de enlace (preregistrada 6a66994b, dentro de 3 dB) porque la posición y el apuntamiento de la antena F8.1 en
  • 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
  • PARTNER No se proporciona — Kshana modela las prestaciones de la señal, no el hardware de carga útil ni de antenas. Referencia independiente (NoneKind): ninguna: una disciplina propiedad del socio, sin módulo ni prueba por diseño

Limitaciones#

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

  • La resiliencia a la inhibición en entornos sin GNSS es MODELLED, no está validada: 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#