Tradução automática, não revista por um falante nativo. O inglês é a referência.

Páginas de tipos de cenárioEditar no GitHubFonte: docs/kinds/by-kind/aperture-duty-cycle.md

aperture-duty-cycle (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#

Ciclo de trabalho de abertura: a divisão de tempo entre navegação e comunicações que um plano de contatos implica para um conjunto de aberturas direcionáveis. Recebe um plano de contatos (uma lista de janelas [[contacts]] aos_s/los_s, cada uma pedindo navegação ou comunicações — o mesmo vocabulário aos_s/los_s que o preditor passes emite), uma contagem de aberturas e uma POLÍTICA DE ARBITRAGEM (prioridade de navegação por padrão, ou prioridade de comunicações, ou primeiro a chegar, primeiro a ser atendido sem preempção), e informa o ciclo de trabalho de navegação, o ciclo de trabalho de comunicações, o ciclo de trabalho ocioso e a indisponibilidade por sessão — o tempo de contato que uma sessão pediu e nenhuma abertura atendeu. Uma varredura exata de intervalos sobre as fronteiras das janelas, de modo que janelas que se tocam nunca disputam e nenhum segundo de abertura é contado em dobro; os segundos de abertura de navegação, de comunicações e ociosos são acumulados de forma independente e fecham contra aberturas*horizon_s. O relatório declara a política resolvida, a sua definição completa e as definições de ciclo de trabalho e de indisponibilidade, porque um valor de ciclo de trabalho citado sem a sua política de arbitragem não é reproduzível. Aritmética de agendamento MODELLED: nenhum tempo de manobra / resintonização / troca é cobrado quando uma abertura muda de serviço ou de sessão, nenhum volume de dados, estado de buffer, orçamento de energia ou fechamento de enlace entra na decisão, e as janelas de contato são entradas — a sua geometria é aquela que as produziu. Não é um produto de agendamento de segmento terrestre.

Uma execução de scenarios/aperture-duty-cycle.toml resume-se assim: aperture-duty-cycle: 6 sessão(ões) em 2 abertura(s) sob prioridade de navegação -> ciclo de trabalho de navegação 0,1167, ciclo de trabalho de comunicações 0,2667, ocioso 0,6167; 0 s de 6900 s pedidos perdidos por disputa (MODELLED)

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: apertures, arbitration, horizon_start_s, horizon_end_s, contacts

O exemplo scenarios/aperture-duty-cycle.toml define, entre outros:

Campo Valor Unidade
apertures 2 contagem
arbitration navigation-priority texto
contacts[0].aos_s 0 s
contacts[0].los_s 600 s
contacts[0].name nav-1 texto
contacts[0].service navegação texto
contacts[1].aos_s 300 s
contacts[1].los_s 1500 s
contacts[1].name comms-1 texto
contacts[1].service comunicações texto
contacts[2].aos_s 3600 s
contacts[2].los_s 4500 s

Execute#

kshana scenarios/aperture-duty-cycle.toml

O que ele fornece#

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

Resultado Valor Unidade
aperture_seconds_available 18000 abertura*s
apertures 2 contagem
arbitration_policy navigation-priority texto
arbitration_policy_default navigation-priority texto
communications_duty 0.266667 fração (adimensional)
communications_served_aperture_s 4800 abertura*s
contention_s 0 s
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier MODELLED texto

Rótulo do resultado (o do motor): MODELLED — aritmética de agendamento de aberturas sobre um plano de contatos fornecido: uma varredura exata de intervalos da divisão de tempo entre navegação e comunicações e da perda por disputa por sessão sob uma política de arbitragem nomeada. Nenhum tempo de manobra / resintonização / troca é cobrado quando uma abertura muda de serviço ou de sessão,

O gráfico que o motor grava para scenarios/aperture-duty-cycle.toml, tipo de cenário aperture-duty-cycle

Evidências#

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

  • MODELLED Uma execução recebe um plano de contatos (uma lista de janelas aos_s/los_s, cada uma pedindo à abertura navegação ou comunicações — o mesmo vocabulário de janelas que passes::predict_passes emite, convertido por aperture_duty::windows_from_passes), uma abertu

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
  • MODELLED Uma execução recebe um plano de contatos (uma lista de janelas aos_s/los_s, cada uma pedindo à abertura navegação ou comunicações — o mesmo vocabulário de janelas que `passes::pre. Referência independente (InternalConsistency): Consistência interna, a partir de três grandezas calculadas por expressões diferentes na mesma varredura e então obrigadas a fechar. Os segundos de abertura de navegação, de comunicações e ociosos são acumulados separadamente — os ociosos a partir de (aberturas − |atendidas|) por intervalo elementar, nunca como um resto — e a sua soma é afirmada contra aberturas × horizon_s, o que uma fronteira mal delimitada, uma dupla c

Limitações#

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

  • MODELLED — aritmética de agendamento de aberturas sobre um plano de contatos fornecido: uma varredura exata de intervalos da divisão de tempo entre navegação e comunicações e da perda por disputa por sessão sob uma política de arbitragem nomeada. Nenhum tempo de manobra / resintonização / troca é cobrado quando uma abertura muda de serviço ou de sessão, nenhum volume de dados, estado de buffer, orçamento de energia ou fechamento de enlace entra na decisão, e as janelas de contato são entradas — th (resultado label)
  • Aritmética de agendamento MODELLED: nenhum tempo de manobra / resintonização / troca é cobrado quando uma abertura muda de serviço ou de sessão, nenhum volume de dados, estado de buffer, orçamento de energia ou fechamento de enlace entra na decisão, e as janelas de contato são entradas — a sua geometria é aquela que as produziu. (catálogo de tipos de cenário (kshana kinds --json))
  • ESCOPO HONESTO: aritmética de agendamento MODELLED sobre as janelas fornecidas. Nenhum tempo de manobra / resintonização / troca é cobrado quando uma abertura muda de serviço ou de sessão; nenhum volume de dados, estado de buffer, orçamento de energia ou fechamento de enlace entra na decisão; e as janelas de contato são entradas -- a sua geometria é aquela que as produziu (o cenário passes emite o mesmo vocabulário aos_s / los_s). Não é um agendamento de segmento terrestre (comentário do arquivo de cenário, linhas 18 a 24)
  • 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))
  • O ciclo de trabalho de navegação versus comunicações da abertura é MODELLED, não validado: verificado 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#