sweep (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Relojes, temporización y holdover. 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#

Barrido 1-D de estudio de compromisos sobre un parámetro del paquete de relojes.

Una ejecución de scenarios/sweep-clock-stability.toml se resume así: barrido de holdover_s sobre classical_q_wf (1.00e-24..1.00e-18, 25 puntos, escala logarítmica) | cuántico 6600.000->6600,000 | clásico 2610.000->250,000

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: parameter, metric, start, stop, steps, base
• Campos opcionales: scale

El ejemplo scenarios/sweep-clock-stability.toml establece, entre otros:

Ejecútelo#

kshana scenarios/sweep-clock-stability.toml

Qué proporciona#

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

Evidencias#

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

• MODELLED Una ejecución toma un plan de contactos (una lista de ventanas aos_s/los_s, cada una de las cuales solicita a la apertura navegación o comunicaciones — el mismo vocabulario de ventanas que emite passes::predict_passes, convertido por aperture_duty::windows_from_passes), una apert
• MODELLED Los barridos de disponibilidad del tipo de escenario gnss-ssv: por constelación (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) y combinadas, la proporción de pares (usuario, época) con al menos una y al menos cuatro señales y la interrupción más larga, para un usuario sobre una esfera
• MODELLED La fase tli-and-cruise: el estado medio mediante el propagador de Cowell del motor (masa puntual terrestre y J2, el Sol y la Luna como terceros cuerpos, la Luna a partir del kernel DE440 del hilo donde cubre el segmento y el Sol a partir de la serie analít
• MODELLED Las secciones sweep del tipo de escenario campaign (de una a tres claves con puntos de cualquier tipo, sobre los valores de eje del barrido genérico, opcionalmente un conjunto en cada nodo) y monte_carlo: la realización k se ejecuta con base_seed + k; cada métrica indica media, desviación e Pruebas: campaign_composition_reference.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 Crecimiento del error de inercia en forma cerrada + holdover hasta el umbral; clases de reloj cuántico. Referencia independiente (ReferenceImpl): Recursión de covarianza de clock_state en varios pasos (comprobación cruzada en el mismo código base); el núcleo subyacente de varianza de inercia e inversión de holdover está validado externamente frente a scipy (véase «Clock-holdover coast-variance & threshold inversion»). Las cifras de holdover por clase con suelo de ruido rojo siguen siendo MODELLED
• 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 barrido del tipo de escenario campaign (de una a tres claves con puntos de cualquier tipo de escenario, sobre los valores de eje del barrido genérico, opcionalmente un conjunto en cada nodo) y la sec. monte_carlo. Referencia independiente (InternalConsistency): La forma cerrada del paseo aleatorio de fase bajo ruido blanco de frecuencia, de varianza q_wf tau (NIST Technical Note 1337), para la maquinaria estadística, y la igualdad byte a byte con las ejecuciones independientes para la siembra. Comprueba la aritmética del conjunto sobre el propio modelo de reloj del motor, no sobre un conjunto de datos externo

Limitaciones#

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

• El holdover del reloj sin GNSS es MODELLED, no está validado: se comprueba frente a una implementación separada de este mismo código base — independiente de la unidad bajo prueba, pero no autoridad 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))
• Los barridos de parámetros y los conjuntos de Monte Carlo con semilla sobre cualquier tipo de escenario son MODELLED, no están validados: se comprueban 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))

Véase también#

• Página de familia: Relojes, temporización y holdover
• Todos los tipos de escenario: KINDS.md
• Página de tema: CAMPAIGNS.md
• Página de tema: LEO-PNT.md