contact-schedule (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Análise de missão, ligações e operações espaciais. Consultivo: resultados de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado nem um serviço de segurança de vidas. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo é MODELLED, salvo indicação em contrário da matriz (como se obtém uma etiqueta: a secção Evidence do README).

O que faz#

Planeamento de contactos com o solo para vários satélites sobre várias estações: janelas de acesso aparentes (SGP4, referencial fixo à Terra IAU 2006/2000A, refração ITU-R P.834, tempo de luz), o volume de dados DVB-S2 ACM de cada passagem (limiares da Tabela 13 da ETSI EN 302 307-1) e um calendário sem conflitos (um satélite por antena com um tempo de retorno, uma estação por satélite, entrega ponderada por prioridade limitada a cada backlog) por um método guloso de valor marginal, uma linha de base de ordem de chegada e um branch and bound exato em conjuntos pequenos, com a lacuna de otimalidade do método guloso. MODELLED.

Uma execução de scenarios/contact-schedule.toml resume-se assim: contact-schedule: 3 satélites x 3 estações em 12 h -> 31 contactos candidatos, 22 agendados; 797266 de 860000 Mbit entregues (MODELLED)

Entradas#

A partir do esquema (kshana kinds --json):

• Campos obrigatórios: nenhum
• Campos opcionais: epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

O exemplo scenarios/contact-schedule.toml define, entre outros:

Execute-o#

kshana scenarios/contact-schedule.toml

O que dá#

Os resultados escalares dessa execução, com as unidades que o motor indica:

Rótulo do resultado (o do motor): MODELLED — plano de contactos de vários satélites e várias estações: janelas de acesso aparentes (SGP4, IAU 2006/2000A, refração ITU-R P.834, tempo de luz), volume de dados DVB-S2 ACM por passagem a partir de um balanço de enlace em céu claro (limiares da Tabela 13 da ETSI EN 302 307-1) e resolução de conflitos (um satélite por antena com tu

Evidências#

MODELLED: as linhas da matriz de verificação que nomeiam este tipo.

• MODELLED Es/N0 da ligação descendente ao longo de cada passagem de um satélite sobre uma estação (EIRP, perda em espaço livre, perda atmosférica em lei da cossecante, outras perdas, G/T, constante de Boltzmann, taxa de símbolos), o MODCOD DVB-S2 mais eficiente que satisfaz o limiar da ETSI EN 302 307-
• MODELLED Contactos candidatos de cada passagem satélite-estação com o seu volume de dados ACM; conflitos em que uma antena serviria dois satélites dentro do seu tempo de retorno ou um satélite faria downlink para duas estações ao mesmo tempo; uma entrega ponderada por priorida

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas estão aí nomeadas):

• MODELLED Determinista, com hash do cenário, SBOM + portões de referência multiplataforma. Referência independente (ExternalDataset): aderência à norma do SBOM ao esquema JSON oficial CycloneDX 1,5 (+ identificadores SPDX válidos) — uma norma externa publicada, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoM / reprodutibilidade byte a byte permanece uma verificação de autoconsistência fixada, pelo que a linha permanece MODELLED
• VALIDATED Passagens de visibilidade (AOS, TCA, LOS, elevação aparente máxima, duração) de um conjunto de elementos SGP4 sobre uma estação WGS-84 no caminho validado de órbita terrestre (IAU 2006. Referência independente (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) com Hipparchus 4.0.3: TLEPropagator sobre os mesmos conjuntos de elementos num TEME que o Orekit constrói segundo a definição indicada (a sua rotação TOD IERS 2010 por GAST - GMST), ElevationDetector e ElevationExtremumDetector com e sem ITURP834AtmosphericRefraction, e AngularAzEl com AngularRadioRefractionModifier para o caso do tempo de luz, cruzamentos e máximo resolvidos pelo Hipparchus; 60 casos (f
• MODELLED Es/N0 da ligação descendente ao longo de cada passagem de um satélite sobre uma estação (EIRP, perda em espaço livre, perda atmosférica em lei da cossecante, outras perdas, G/T, constante de Boltzmann,. Referência independente (InternalConsistency): Consistência interna: a eficiência espetral calculada em forma fechada a partir de K_bch da Tabela 5a e dos comprimentos de trama concorda com as eficiências que a Tabela 13 apresenta (uma verificação de transcrição da tabela de limiares); as partes do balanço de ligação concordam com as suas formas fechadas; a seleção é monótona em Es/N0 e respeita a margem; o ACM transfere pelo menos o volume de codificação constante. A geometria da passagem provém do VALIDATED em separado a
• MODELLED Contactos candidatos de cada passagem satélite-estação com o seu volume de dados ACM; conflitos em que uma antena serviria dois satélites dentro do seu tempo de retorno ou u. Referência independente (InternalConsistency): Consistência interna: o branch and bound exato concorda com a enumeração por força bruta em conjuntos aleatórios pequenos, cada plano é verificado como viável contra as regras de conflito, e o método guloso nunca supera o ótimo exato. O QUE NÃO É: nenhum escalonador externo ou plano operacional foi comparado; os contactos são tomados inteiros (sem divisão), o backlog é fixo no início da janela, o tempo de apontamento além do tempo de retorno fixo e o de bordo s

Limitações#

O que o próprio relatório da execução diz que não está modelado ou não está validado:

• MODELLED — plano de contactos de vários satélites e várias estações: janelas de acesso aparentes (SGP4, IAU 2006/2000A, refração ITU-R P.834, tempo de luz), volume de dados DVB-S2 ACM por passagem a partir de um balanço de enlace em céu claro (limiares da Tabela 13 da ETSI EN 302 307-1) e resolução de conflitos (um satélite por antena com tempo de retorno, uma estação por satélite) por um método guloso de valor marginal conferido contra um branch and bound exato; sem desvanecimento por chuva, (resultado label)
• MODELLED. (catálogo de tipos (kshana kinds --json))
• Cada número abaixo é ILLUSTRATIVE: sem as órbitas, estações ou balanço de enlace de nenhum operador. MODELLED: o escalonador é conferido contra o seu próprio solucionador exato, não contra uma ferramenta externa. (comentário do ficheiro de cenário, linhas 11 a 12)
• A reprodutibilidade e a garantia de software são MODELLED, não validadas: uma subafirmação é verificada externamente, mas a capacidade no seu conjunto compõe partes modeladas, pelo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• A codificação e modulação adaptativas DVB-S2 ao longo de uma passagem de descida LEO são MODELLED, não validadas: verificadas face à sua própria identidade analítica / de forma fechada — apanha erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• O escalonamento de contactos com o solo de vários satélites e várias estações com resolução de conflitos é MODELLED, não validado: conferido contra a sua própria identidade analítica / de forma fechada — deteta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

• Página da família: Análise de missão, ligações e operações espaciais
• Todos os tipos: KINDS.md
• Página do tema: CONTACT-SCHEDULING.md