Pular para o conteúdo
DispatchAtlas
Buscar

Programas de estudo

Os quatro programas de estudo que organizam os níveis de evidência da plataforma: escopo, famílias de referência, elencos de solucionadores, metodologia e estado das comportas de afirmação.

A evidência da plataforma é organizada em quatro programas de estudo, um por nível de evidência: núcleo, velocidade, qualidade e plataforma. Os níveis se aninham: o programa de núcleo admite evidência de núcleo e pública; o de velocidade acrescenta a de velocidade; o de qualidade acrescenta a de qualidade; e o de plataforma apresenta o campo público completo. Cada programa delimita com exatidão o que seu nível de evidência pode revelar, de modo que um programa de nível inferior nunca expõe um mecanismo de nível superior.

A vitrine abaixo lê cada elenco, família de referência, coorte de comparação, detalhe metodológico e estado de comporta de afirmação a partir do pacote de programas já confirmado, então os números permanecem atualizados conforme a plataforma evolui, sem texto editado à mão. Nenhuma afirmação comparativa é publicada até que a comporta de um programa se abra; as exportações publicadas hoje carregam apenas evidência de desenvolvimento de fumaça.

Four study programs organize the platform’s evidence tiers. Every roster, family list, methodology row, and claim-gate status below is build-inlined metadata from the committed catalog; no comparative claim is published until a program’s claim gate opens.

Study-program breadthCore3 families1 solversSpeed2 families1 solversQuality2 families1 solversPlatform5 families3 solvers
Benchmark families exercised (indigo) and solver-roster size (blue) for each study program — a metadata-only view of program breadth, build-inlined from the committed catalog.

The foundational comparison tier over the baseline solver field.

Publication surface: Evidence-grade exports and the public portal's core catalog.

metadata-only

Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.

Admitted evidence labels: core, public.

Claim gates

  • gate closedfoundation track beats the comparison cohort with Holm-corrected significance before any superiority claim

    No campaign at the statistical-power floor has produced disclosure-filtered comparative evidence on the public surface; published bundles carry smoke-development evidence only.

Benchmark families

machine-schedulingjob-shopflexible-job-shop

Solver roster & comparison cohort

Native solver roster and its comparison cohort for the Core program.
Solver rosterComparison cohort
ndso-corega-int(registry-internal)
—brkga(registry-internal)
—eda(registry-internal)
—tabu-search(registry-internal)

Methodology

Objectives
makespan
Statistics
wilcoxon-signed-rank, friedman-omnibus, holm-post-hoc, nemenyi-critical-difference, vargha-delaney-a12, cliffs-delta, bca-bootstrap-ci
Run-count floor
≥30 independent runs per stochastic cell before comparative analysis.
Campaign plan
ablation → comparative → pilot → sensitivity → targeted

Planned figures & tables

Figures

  • Convergence trajectory
  • Solver rankings
  • Critical-difference diagram

Tables

  • Solver summary
  • Pairwise comparisons
  • Effect sizes

Evidence pointers

release-gated

A companion write-up is published only from an approved, disclosure-filtered evidence bundle after this program's claim gate and the release gates open.

Future program candidates

Candidate programs staged for a future evidence tier — each doubles as a worked example of the add-a-program recipe.

  • Constraint-and-robustness extension candidate

    rcpspflow-shop

    Defer / retire rule: defer until a robustness-bearing campaign produces a labeled corpus; retire if no advantage clears the gate after one campaign

Top-level policy: Each study program scopes what its evidence tier may reveal; no comparative claim is published until its claim gate opens.

Programa de núcleo

O programa de núcleo estuda o desempenho de objetivo de base sobre o campo de solucionadores de base — a comparação que sustenta todos os demais. Suas famílias de referência são escalonamento de máquinas, oficina de tarefas e oficina de tarefas flexível, e enfrenta a composição nativa de núcleo contra uma coorte de comparação construtiva e meta-heurística. Sua metodologia combina o teste de Wilcoxon de postos sinalizados, um ômnibus de Friedman com correção posterior de Holm, a análise de diferença crítica de Nemenyi e os tamanhos de efeito Vargha–Delaney A12 e delta de Cliff com intervalos de confiança BCa, sobre pelo menos 30 execuções independentes por célula estocástica. Sua comporta comparativa permanece fechada até que uma campanha comparativa completa passe pelas comportas estatísticas.

Programa de velocidade

O programa de velocidade estuda a eficiência em tempo de execução e a qualquer momento sob término equiparado — traços a qualquer momento, perfis de desempenho e uma comporta de qualidade equiparada com orçamento menor. Suas famílias de referência são oficina de fluxo e escalonamento de projetos com recursos limitados, e sua coorte de comparação é ganancioso iterado, ALNS e VNS. Ele aplica a mesma metodologia não paramétrica e o mesmo limite de execuções do de núcleo.

Programa de qualidade

O programa de qualidade estuda a qualidade da solução e os indicadores multiobjetivo — lacunas de objetivo, vistas de fronteira de Pareto e diferença crítica, tabelas de indicadores de qualidade e ablação. Suas famílias de referência são o escalonamento de projetos com recursos limitados e a oficina de tarefas flexível, e sua coorte de comparação é busca memética e NSGA-III. Ele mantém a mesma disciplina estatística e limite de execuções dos programas anteriores.

Programa de plataforma

O programa de plataforma apresenta o campo mais amplo que a plataforma publica — um elenco curado entre famílias que representa cada família de solucionadores do registro em vez de cada solucionador registrado, com cobertura de recursos, rótulos de distância de distribuição e evidência de reprodutibilidade e ferramental. Em conformidade com a vista de inspeção da plataforma, uma afirmação sem suporte é encaminhada às limitações em vez de exagerar. Sua postura de cobertura e reprodutibilidade se apoia hoje na inspeção de artefatos, uma postura de capacidade e não uma afirmação de desempenho; suas comportas comparativas permanecem fechadas como as demais.

Adicionar um programa de estudo

Um novo programa de estudo segue o mesmo caminho de fechamento em caso de falha que a vitrine mostra para cada um existente. A linha de candidato futuro da vitrine é o exemplo resolvido.

  1. Registrar o nível. Adicione uma entrada de nível ao registro de níveis junto com seu valor de nível de evidência; os testes de contrato do registro exigem a integridade.

  2. Declarar a trilha de evidência. Adicione uma trilha de evidência ao atlas de experimentos — suas famílias de referência, elenco, coorte, estatísticas, comporta e limite de execuções — ou inicie-a primeiro como candidato futuro.

  3. Montar o espaço de trabalho. Crie o diretório de espaço de trabalho do programa com sua receita, além de uma configuração piloto e outra comparativa:

    New-Item -ItemType Directory -Path .\experiments\programs\<id>
Copy-Item .\experiments\configs\core-pilot.json `
  .\experiments\configs\<id>-pilot.json
Copy-Item .\experiments\configs\core-comparative.json `
  .\experiments\configs\<id>-comparative.json

  4. Executá-lo. Execute a campanha piloto para o novo nível e depois cure o pacote por níveis com a ferramenta de linha de comando do analytica:

    uv run python experiments\scripts\regenerate.py `
  --config .\experiments\configs\<id>-pilot.json --tier <id>

  5. Publicar. Regenere o portal para que o programa apareça aqui automaticamente; a comporta de atualidade faz a compilação falhar se a regeneração for omitida:

    uv run python tools\build_site_assets.py

  6. Documentar. Adicione a seção do programa a esta página e replique-a nos idiomas.

Navegação