acm-link (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Análisis de misión, enlaces y operaciones espaciales. 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#

Un satélite sobre una estación: la distancia oblicua, la elevación y el Es/N0 de cada paso a lo largo del paso, el MODCOD de DVB-S2 elegido en cada paso (umbrales de la tabla 13 de ETSI EN 302 307-1 más un margen de implementación) y el volumen de datos que mueve ACM frente a la línea base de codificación constante que cierra en la máscara. MODELLED.

Una ejecución de scenarios/acm-link.toml se resume así: acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

El ejemplo scenarios/acm-link.toml establece, entre otros:

Ejecútelo#

kshana scenarios/acm-link.toml

Qué proporciona#

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

Etiqueta del resultado (la del motor): MODELLED — codificación y modulación adaptativas de DVB-S2 a lo largo de los pasos de un satélite en una estación: Es/N0 en cielo despejado a lo largo de cada paso aparente, el MODCOD más eficiente que supera su umbral de la tabla 13 de ETSI EN 302 307-1 más un margen, frente al MODCOD de codificación constante que cierra en la máscara; sin lluvia f

Evidencias#

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

• MODELLED Es/N0 del enlace descendente a lo largo de cada paso de un satélite sobre una estación (EIRP, pérdida en espacio libre, pérdida atmosférica con ley de cosecante, otras pérdidas, G/T, constante de Boltzmann, velocidad de símbolo), el MODCOD de DVB-S2 más eficiente que supera su umbral de ETSI EN 302 307-

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 Pasos de visibilidad (AOS, TCA, LOS, elevación aparente máxima, duración) de un conjunto de elementos SGP4 sobre una estación WGS-84 en la ruta de órbita terrestre validada (IAU 2006. Referencia independiente (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) con Hipparchus 4.0.3: TLEPropagator sobre los mismos conjuntos de elementos en un TEME que Orekit construye según la definición indicada (su TOD de IERS 2010 rotado por GAST - GMST), ElevationDetector y ElevationExtremumDetector con y sin ITURP834AtmosphericRefraction, y AngularAzEl con AngularRadioRefractionModifier para el caso del tiempo de luz, con cruces y máximo resueltos por Hipparchus; 60 casos (f
• MODELLED Es/N0 del enlace descendente a lo largo de cada paso de un satélite sobre una estación (EIRP, pérdida en espacio libre, pérdida atmosférica con ley de cosecante, otras pérdidas, G/T, constante de Boltzmann,. Referencia independiente (InternalConsistency): Autoconsistencia interna: la eficiencia espectral calculada en forma cerrada a partir de K_bch de la tabla 5a y de las longitudes de trama coincide con las eficiencias que imprime la tabla 13 (una comprobación de transcripción de la tabla de umbrales); las piezas del balance de enlace coinciden con sus formas cerradas; la selección es monótona en Es/N0 y respeta el margen; ACM mueve al menos el volumen de codificación constante. La geometría del paso procede de la a VALIDATED por separado

Limitaciones#

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

• MODELLED — codificación y modulación adaptativas de DVB-S2 a lo largo de los pasos de un satélite en una estación: Es/N0 en cielo despejado a lo largo de cada paso aparente, el MODCOD más eficiente que supera su umbral de la tabla 13 de ETSI EN 302 307-1 más un margen, frente al MODCOD de codificación constante que cierra en la máscara; sin desvanecimiento por lluvia ni pérdida de apuntamiento a lo largo del paso (resultado label)
• MODELLED. (catálogo de tipos de escenario (kshana kinds --json))
• Todas las cifras siguientes son ILLUSTRATIVE: no corresponden a la órbita, la estación ni el balance de enlace de ningún operador. MODELLED. (comentario del archivo de escenario, línea 8)
• 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 codificación y modulación adaptativas de DVB-S2 a lo largo de un paso de enlace descendente en LEO son MODELLED, no están validadas: 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: Análisis de misión, enlaces y operaciones espaciales
• Todos los tipos de escenario: KINDS.md
• Página de tema: CONTACT-SCHEDULING.md