contact-schedule (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Análise de missão, enlaces e operações espaciais. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED a menos que a matriz diga outra coisa (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Planejamento de contatos 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 cronograma 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 contatos 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#

kshana scenarios/contact-schedule.toml

O que ele fornece#

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

Rótulo do resultado (o do motor): MODELLED — plano de contatos 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 de cenário.

• MODELLED Es/N0 do downlink ao longo de cada passagem de um satélite sobre uma estação (EIRP, perda no espaço livre, perda atmosférica pela lei da cossecante, outras perdas, G/T, constante de Boltzmann, taxa de símbolos), o MODCOD DVB-S2 mais eficiente que supera o seu limiar da ETSI EN 302 307-
• MODELLED Contatos candidatos de cada passagem satélite-estação com o seu volume de dados ACM; conflitos em que uma antena atenderia 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 são nomeadas ali):

• MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo 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 de órbita terrestre validado (IAU 2006. Referência independente (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) com Hipparchus 4.0.3: TLEPropagator nos mesmos conjuntos de elementos em um TEME que o Orekit constrói segundo a definição declarada (o seu TOD IERS 2010 rotacionado por GAST - GMST), ElevationDetector e ElevationExtremumDetector com e sem ITURP834AtmosphericRefraction, e AngularAzEl com AngularRadioRefractionModifier para o caso de tempo de luz, cruzamentos e máximo resolvidos pelo Hipparchus; 60 casos (f
• MODELLED Es/N0 do downlink ao longo de cada passagem de um satélite sobre uma estação (EIRP, perda no espaço livre, perda atmosférica pela lei da cossecante, outras perdas, G/T, constante de Boltzmann,. Referência independente (InternalConsistency): Consistência interna: a eficiência espectral calculada em forma fechada a partir de K_bch da Tabela 5a e dos comprimentos de quadro concorda com as eficiências que a Tabela 13 imprime (uma verificação de transcrição da tabela de limiares); as partes do orçamento de enlace concordam com as suas formas fechadas; a seleção é monótona em Es/N0 e respeita a margem; o ACM move pelo menos o volume de codificação constante. A geometria da passagem vem do VALIDATED separado a
• MODELLED Contatos candidatos de cada passagem satélite-estação com o seu volume de dados ACM; conflitos em que uma antena atenderia 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, todo 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 contatos 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 é modelado ou não é validado:

• MODELLED — plano de contatos 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 de cenário (kshana kinds --json))
• Todo 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 arquivo de cenário, linhas 11 a 12)
• Reprodutibilidade e garantia de software é MODELLED, não validada: uma subafirmação é verificada externamente, mas a capacidade inteira compõe peças modeladas, de modo 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 downlink em LEO é MODELLED, não validada: verificada contra a sua própria identidade analítica / de forma fechada — detecta 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 contatos 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 — detecta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#

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