hybrid-optical-rf (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia PNT óptico. 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#

Figura de mérito conjunta de PNT heterogéneo óptico + RF MODELLED (P5): compone el presupuesto de enlace óptico bidireccional de 1550 nm (CRLB de la medición de distancia bidireccional limitada por fotones σ_τ/√N y huella de difracción λ/D·distancia), un nivel de protección RAIM de separación de soluciones entre modalidades (posición Y temporización) que fusiona las soluciones RF holgada y óptica ajustada con covarianzas dispares, la disponibilidad óptica de cielo despejado de N estaciones (unión independiente 1−Π(1−a_i) y una variante con correlación espacial), un traspaso de estado/covarianza óptico↔RF con una media continua bit a bit (sin salto) PROBADA y una barrera de coherencia NEES χ², y una puntuación conjunta de P(disponible Y de grado de precisión Y con integridad asegurada) con tratamiento de la correlación. Forma cerrada VALIDATED: el CRLB de la medición de distancia, la huella de difracción, el cuantil de nivel de protección χ², la combinatoria de la unión, la continuidad de la media del traspaso + la barrera NEES y el producto independiente conjunto. MODELLED: las asignaciones de pérdidas ópticas, las magnitudes σ de RF/óptica, las entradas de climatología de nubes, las correlaciones y el presupuesto P_HMI. No es un producto de disponibilidad/integridad certificado.

Una ejecución de scenarios/hybrid-optical-rf.toml se resume así: hybrid-optical-rf | huella óptica 700 m, 1489 fotones -> σ de distancia 0,194 mm, σ de temporización 1,30 ps | HPL de RAIM cruzado 6,2 m / VPL 6,6 m / TPL 13,3 ns (protegido) | disponibilidad 99,5% (5 emplazamientos) | traspaso sin salto OK NEES 3,34∈[0.48,11,14] dentro de la barrera | FoM conjunta 0,993 (A 0,995 · P 0,995 · I 1,000) | CRLB/PL χ²/unión/traspaso validados, σ/climatología modelados

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: wavelength_nm, tx_power_w, tx_aperture_m, rx_aperture_m, range_km, pulse_rms_ps, integration_s, atmospheric_loss_db, pointing_loss_db, optics_efficiency, detector_efficiency, two_way, rf_pos_sigma_m, rf_vertical_sigma_m, rf_clock_sigma_s, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, alert_limit_t_s, grade_pos_m, grade_time_s, n_optical_sites, site_correlation, fom_correlation, handoff_inflation, p_hmi, fault_ramp_rate_pos_m_s, fault_ramp_rate_clock_s_s, process_noise_pos_psd_m2_s, process_noise_clock_psd_s2_s, coast_coverage_k, rf_band, rf_eirp_dbw, rf_g_over_t_db, rf_other_losses_db, rf_data_rate_bps, rf_required_eb_n0_db, rf_chip_rate_hz, rf_correlator_spacing_chips, rf_dll_bandwidth_hz, rf_tracking_threshold_dbhz, rf_degraded_margin_db

El ejemplo scenarios/hybrid-optical-rf.toml establece, entre otros:

Ejecútelo#

kshana scenarios/hybrid-optical-rf.toml

Qué proporciona#

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

Etiqueta de resultado (la del motor): Figura de mérito conjunta de disponibilidad / precisión / integridad de PNT heterogéneo óptico + RF (P5). Forma cerrada VALIDATED: el CRLB de la medición de distancia limitada por fotones (σ_τ/√N) y la huella de difracción (λ/D·distancia), el cuantil de nivel de protección χ² entre modalidades, la disponibilidad de unión independiente de N estaciones (1 − Π(

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 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
• MODELLED El informe hybrid-optical-rf declara la configuración de enlace con la que realmente se ejecutó (longitud de onda de portadora, apertura de transmisión y de recepción, distancia, anchura de pulso, integratio. Referencia independiente (InternalConsistency): Sin referencia independiente externa, y no es posible ninguna: esto es una autodescripción, no una medición. Se registra porque su ausencia era un defecto: P5 tenía que citar la longitud de onda de portadora y la apertura de transmisión a partir de valores por defecto del código fuente, y deducir que un variance sin más estaba en metros cuadrados a partir de una comprobación de coherencia interna. La deducción era correcta, y precisamente por eso importaba: nada habría detectado que fuera err
• 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 . Referencia independiente (InternalConsistency): Sin referencia independiente externa, y se rechaza ExternalDataset. Las dos entradas son un margen de Eb/N0 y un cruce del umbral de C/N0, ambos funciones de un EIRP MODELLED, de una figura de mérito y de una asignación de pérdidas agrupadas; no existe ningún registro medido de disponibilidad de un servicio híbrido óptico/RF Tierra-Luna con el que contrastar la cifra compuesta. Las comprobaciones que existen son internas y se declaran como tales: la composición se recalcula a partir de la r
• MODELLED El informe hybrid-optical-rf emite la razón de precisión de distancia óptica frente a RF con la ÚNICA configuración en la que se evaluaron ambos tramos incluida en el mismo objeto: la sa. Referencia independiente (InternalConsistency): Sin referencia independiente externa para la RAZÓN, y se rechaza ExternalDataset deliberadamente. La cadena RF subyacente sí tiene una: tests/validate_p5_rf_ranging_precision.rs comprueba linkbudget::link_budget y navsignal::dll_code_jitter_chips frente a un fixture independiente de Python/NumPy y frente al valor resuelto codificado de Kaplan & Hegarty (2.814e-3 chip / 0,825 m a 45 dB-Hz), y el CRLB óptico tiene su propia fila de forma cerrada
• MODELLED El informe hybrid-optical-rf declara lo que el monitor chi-cuadrado entre modalidades puede realmente DETECTAR, y no solo que pasa un caso sin fallos: el mínimo detec. Referencia independiente (InternalConsistency): Dos referencias independientes internas, sin conjunto de datos externo. (1) Ida y vuelta de forma cerrada: el sesgo mínimo detectable se obtiene invirtiendo la cola chi-cuadrado no central sobre el parámetro de no centralidad (raim::pbias) y se verifica volviendo a introducir la no centralidad resultante en raim::noncentral_chi2_cdf con el umbral propio del monitor, lo que debe devolver P_md. (2) Inyección frente a análisis: se escribe un sesgo en la estimación RF de un eje

Limitaciones#

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

• Figura de mérito conjunta de disponibilidad / precisión / integridad de PNT heterogéneo óptico + RF (P5). Forma cerrada VALIDATED: el CRLB de la medición de distancia limitada por fotones (σ_τ/√N) y la huella de difracción (λ/D·distancia), el cuantil de nivel de protección χ² entre modalidades, la disponibilidad de unión independiente de N estaciones (1 − Π(1−a_i)), el invariante de continuidad de la media del traspaso óptico↔RF (sin salto bit a bit) y la barrera NEES χ², y el FoM conjunto inde (resultado label)
• Figura de mérito conjunta de PNT heterogéneo óptico + RF MODELLED (P5): compone el presupuesto de enlace óptico bidireccional de 1550 nm (CRLB de la medición de distancia bidireccional limitada por fotones σ_τ/√N y huella de difracción λ/D·distancia), un nivel de protección RAIM de separación de soluciones entre modalidades (posición Y temporización) que fusiona las soluciones RF holgada y óptica ajustada con covarianzas dispares, la disponibilidad óptica de cielo despejado de N estaciones (independent-un (catálogo de tipos de escenario (kshana kinds --json))
• MODELLED: las asignaciones de pérdidas ópticas, las magnitudes σ de RF/óptica, las entradas de climatología de nubes, las correlaciones y el presupuesto P_HMI. (catálogo de tipos de escenario (kshana kinds --json))
• MODELLED. Formas cerradas validadas: CRLB de la medición de distancia (sigma_tau/sqrt(N)), huella de difracción (lambda/D * distancia), cuantil de nivel de protección chi-cuadrado, combinatoria de la unión, continuidad de la media del traspaso + barrera NEES, y el producto independiente conjunto. Las asignaciones de pérdidas, las magnitudes sigma, las entradas de climatología de nubes, las correlaciones y el presupuesto P_HMI son entradas representativas modeladas. Todos los campos siguientes son opcionales y se muestran en su (comentario del archivo de escenario, líneas 10 a 14)
• --- G15 inyección de fallo de sesgo / rampa contra el monitor entre modalidades --- El sesgo mínimo detectable y la curva de potencia de detección son ANALÍTICOS (inversión chi-cuadrado no central), así que no necesitan entradas propias. Estas dos solo fijan la velocidad de rampa de la que el tiempo de detección indicado es una conversión. Ambas MODELLED. (comentario del archivo de escenario, líneas 56 a 59)
• --- G17 deriva tras el traspaso: ruido de proceso y cruce del límite de alerta --- Paseo aleatorio sobre el filtro de traspaso de 4 estados existente (este, norte, arriba, reloj). Los límites de alerta son los ya declarados más arriba; solo son nuevos el ruido de proceso y el factor de cobertura. Ambas PSD son entradas representativas MODELLED y los tiempos de cruce escalan directamente con ellas. (comentario del archivo de escenario, líneas 63 a 67)
• 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))
• La autodescripción del informe híbrido óptico/RF es MODELLED, no validada: se comprueba frente a su propia identidad analítica o de forma cerrada, lo que detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de familia: PNT óptico
• Todos los tipos de escenario: KINDS.md