Conceptos: una introducción en lenguaje llano

Esta página explica qué hace Kshana y por qué, partiendo de cero y avanzando hasta la física. En la primera parte no se supone ningún conocimiento previo; las secciones posteriores añaden las relaciones precisas para especialistas. Para definiciones palabra por palabra, véase el Glosario.

1. El problema, en un párrafo#

Casi todo lo que necesita saber dónde está o qué hora es (teléfonos, aeronaves, buques, satélites, redes eléctricas, sistemas financieros) se apoya en señales de satélites de navegación (GPS (Sistema de Posicionamiento Global) y sus hermanos, en conjunto GNSS (sistema global de navegación por satélite)). Esas señales son débiles y se pierden con facilidad: interferidas por jamming, bloqueadas o sencillamente fuera de vista en el espacio. Cuando eso ocurre, un sistema tiene que seguir por su cuenta con sensores a bordo: un reloj que mantenga la hora y sensores inerciales que sigan el movimiento. La pregunta que responde Kshana es sencilla de formular y difícil de medir: ¿durante cuánto tiempo y con qué calidad puede seguir?

2. ¿Por qué «cuántico»?#

Los sensores a bordo derivan. Un reloj pierde hora poco a poco; un sensor inercial pierde poco a poco la pista de la posición. Los relojes y los sensores inerciales cuánticos derivan mucho más despacio que los componentes clásicos en uso hoy, de modo que un vehículo podría atravesar una interrupción del GNSS mucho más larga sin salir de sus límites de exactitud. Esa ventaja es toda la promesa del PNT (posicionamiento, navegación y temporización) cuántico. Pero «mucho más despacio» hay que convertirlo en números: ¿cuántos minutos más de holdover?, ¿cuántos metros menos de deriva? Esos números deciden si una carga útil cuántica compensa su coste, su masa y su potencia.

3. Qué hace realmente Kshana#

Kshana es un simulador, no hardware ni un diseño de hardware. Este:

1. Toma un escenario: una línea temporal con un tramo de interrupción del GNSS y las cifras de rendimiento publicadas de un sensor.
2. Hace pasar un modelo de error de sensor por esa línea temporal: mientras el GNSS está disponible, el modelo se disciplina con la verdad; durante la interrupción funciona en marcha libre, acumulando error exactamente como dice la física que debe hacerlo.
3. Puntúa el resultado frente a cifras de mérito operativas (cuánto crece el error, cuánto tiempo se mantiene dentro de la especificación, cuán fiable es la estimación).
4. Para los paquetes de sensores, lo hace dos veces (una para un sensor cuántico y otra para su homólogo clásico) sobre el mismo escenario, de modo que la comparación sea de igual a igual.

Es esencial que el motor no sabe nada de «cuántico» frente a «clásico». Ambos son solo modelos de error con parámetros distintos (publicados y citados). La diferencia que se ve en la salida es la diferencia de la física publicada: nada se ajusta a mano para favorecer a un lado.

4. Los cuatro bloques de construcción («paquetes»)#

El paquete híbrido es la clave: una solución de navegación necesita tanto buena hora como buena posición. Muestra que un enlace óptico de temporización puede mantener enganchado incluso un reloj modesto, con lo que el sensor inercial pasa a ser el eslabón más débil, y ahí es exactamente donde compensa un acelerómetro cuántico.

Más allá de los cuatro paquetes#

El mismo motor ejecuta muchos más tipos de escenario; kshana kinds los enumera todos. Alcanzan más allá de los sensores, hasta las señales y la geometría de las que dependen los sensores:

• Dónde están los satélites: propagación de órbitas, diseño de constelaciones alrededor de la Tierra, la Luna u otro cuerpo, y las posiciones de los cuerpos del sistema solar.
• Lo que el receptor puede ver: un perfil de horizonte dependiente del acimut (una calle, un muelle, un fiordo) sobre la máscara de elevación, y la geometría del cielo que deja: los satélites a la vista, su dilución de la precisión y la elipse de error.
• Lo que el receptor oye: el espectro de banda L bajo un jammer, el jamming y el spoofing, y la pérdida de enganche del lazo de seguimiento.
• Si puede confiarse en la respuesta: monitorización de la integridad (RAIM, monitorización autónoma de la integridad por el receptor, y su forma avanzada ARAIM) con niveles de protección.
• Alternativas al GNSS: correlación con mapas de gravedad y de terreno, y posicionamiento, navegación y temporización desde satélites de órbita terrestre baja (LEO), desde el diseño de la señal pasando por el balance del enlace y el mensaje de navegación hasta la posición calculada.
• Temporización para redes: holdover de telecomunicaciones comprobado frente a las máscaras internacionales y temporización de ranuras para planificaciones indexadas en el tiempo.
• Más allá de la Tierra: tiempo y marcos de referencia lunares, volúmenes de servicio lunares y navegación por relé en Marte.
• Muchas ejecuciones a la vez: las campañas encadenan tipos de escenario en una línea temporal, barren un parámetro o ejecutan un conjunto Monte Carlo.

5. Honestidad por construcción#

Un simulador solo es útil si se puede confiar en él. Kshana está construido para que se pueda:

• Cada parámetro está citado. Cada cifra de sensor lleva una cadena provenance que nombra la hoja de datos o el artículo de donde procede. Ninguna constante anónima.
• Cada modelo se contrasta con una relación de manual, no solo consigo mismo; por ejemplo, la desviación de Allan del reloj simulado debe coincidir con la cifra de estabilidad publicada, y la deriva inercial debe coincidir con la ley estándar de crecimiento del error. Una capacidad se llama validada solo cuando coincide una referencia independiente externa (un conjunto de datos real, una implementación independiente o vectores de referencia publicados); el resto es modelado, y la matriz de verificación dice cuál es cuál.
• La madurez está etiquetada. VALIDATION.md marca cada efecto como validated, modelled o not modeled, e indica con claridad que las cifras de los relojes ópticos son números de laboratorio / objetivo espacial: ningún reloj óptico de estroncio ha volado.
• Los resultados son reproducibles hasta el bit: el mismo escenario, semilla y versión producen siempre la misma respuesta en la misma plataforma; entre sistemas operativos las cifras coinciden hasta 1e-6 relativo (véase REPRODUCIBILITY.md).

6. La física, para especialistas#

Las relaciones que Kshana implementa y prueba (detalle completo y tolerancias en VALIDATION.md):

• Holdover de reloj. Modelo de dos estados fase/frecuencia con modulación de frecuencia blanca (FM blanca, densidad espectral de potencia q_wf), FM de paseo aleatorio (q_rw), FM de flicker (una suma de procesos de Ornstein–Uhlenbeck espaciados logarítmicamente, calibrados a un suelo de Allan plano) y envejecimiento determinista. Validado mediante la desviación de Allan solapada frente a la σ_y(τ) publicada (Riley, NIST (National Institute of Standards and Technology) SP (Special Publication) 1065).
• Navegación inercial a estima. Sesgo residual del acelerómetro → ½·b·T²; paseo aleatorio de velocidad → σ_x(T) = √(S_a·T³/3); el sesgo opcional del giróscopo y el paseo aleatorio angular producen un error de inclinación que acopla la gravedad (g·θ) a la aceleración horizontal (Groves).
• Transferencia de tiempo. Jitter de temporización blanco → precisión de sincronización → medida de distancia unidireccional (range = c·dt, 1 ps ≈ 0,3 mm); la media muestral se promedia como σ/√N.
• Fusión e integridad. Un filtro de Kalman de dos estados cuyo ruido de proceso coincide con el modelo verdadero; en marcha libre, la varianza de su error de fase crece exactamente hasta q_wf·T + q_rw·T³/3, la relación analítica de holdover, y su cota de 1-σ alimenta la cifra de mérito de Integridad.
• Geometría. La propagación kepleriana de dos cuerpos (opcionalmente con J2 secular) o SGP4 (Simplified General Perturbations 4) a partir de conjuntos reales de elementos de dos líneas, las constelaciones Walker y la visibilidad en línea de vista (oclusión por la Tierra + máscara de elevación) derivan la disponibilidad GNSS de la geometría orbital en lugar de ventanas escritas a mano.

7. Adónde ir después#

• Trabajarlo: los tutoriales: tres ejemplos resueltos + ejercicios graduados.
• Ejecutarlo: véase el inicio rápido del README.
• Entender la estructura: ARCHITECTURE.md.
• Comprobar qué está y qué no está validado: VALIDATION.md.
• Consultar un término: GLOSSARY.md.