Aller au contenu
DispatchAtlas
Rechercher

Programmes d'étude

Les quatre programmes d'étude qui organisent les niveaux de preuve de la plateforme : portée, familles de référence, effectifs de solveurs, méthodologie et état des verrous d'affirmation.

Les preuves de la plateforme sont organisées en quatre programmes d'étude, un par niveau de preuve : noyau, vitesse, qualité et plateforme. Les niveaux s'emboîtent : le programme de noyau admet les preuves de noyau et publiques ; celui de vitesse ajoute celles de vitesse ; celui de qualité ajoute celles de qualité ; et celui de plateforme présente le champ public complet. Chaque programme délimite exactement ce que son niveau de preuve peut révéler, de sorte qu'un programme de niveau inférieur n'expose jamais un mécanisme de niveau supérieur.

La vitrine ci-dessous lit chaque effectif, famille de référence, cohorte de comparaison, détail méthodologique et état de verrou d'affirmation depuis le paquet de programmes déjà validé ; les chiffres restent donc à jour à mesure que la plateforme évolue, sans texte modifié à la main. Aucune affirmation comparative n'est publiée avant l'ouverture du verrou d'un programme ; les exportations publiées aujourd'hui ne portent que des preuves de développement de fumée.

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.

Programme de noyau

Le programme de noyau étudie la performance d'objectif de base sur le champ des solveurs de base — la comparaison qui fonde tous les autres. Ses familles de référence sont l'ordonnancement de machines, l'atelier de tâches et l'atelier de tâches flexible, et il oppose la composition native de noyau à une cohorte de comparaison constructive et métaheuristique. Sa méthodologie combine le test de Wilcoxon des rangs signés, un omnibus de Friedman avec correction postérieure de Holm, l'analyse de différence critique de Nemenyi et les tailles d'effet Vargha–Delaney A12 et delta de Cliff avec intervalles de confiance BCa, sur au moins 30 exécutions indépendantes par cellule stochastique. Son verrou comparatif reste fermé jusqu'à ce qu'une campagne comparative complète franchisse les verrous statistiques.

Programme de vitesse

Le programme de vitesse étudie l'efficacité en temps d'exécution et à tout instant sous terminaison appariée — traces à tout instant, profils de performance et un verrou de qualité appariée à budget moindre. Ses familles de référence sont l'atelier de flux et l'ordonnancement de projet à ressources limitées, et sa cohorte de comparaison est gloutonne itérée, ALNS et VNS. Il applique la même méthodologie non paramétrique et le même seuil d'exécutions que celui de noyau.

Programme de qualité

Le programme de qualité étudie la qualité de la solution et les indicateurs multiobjectifs — écarts d'objectif, vues de frontière de Pareto et de différence critique, tableaux d'indicateurs de qualité et ablation. Ses familles de référence sont l'ordonnancement de projet à ressources limitées et l'atelier de tâches flexible, et sa cohorte de comparaison est la recherche mémétique et NSGA-III. Il conserve la même discipline statistique et le même seuil d'exécutions que les programmes précédents.

Programme de plateforme

Le programme de plateforme présente le champ le plus large que la plateforme publie — un effectif curé inter-familles qui représente chaque famille de solveurs du registre plutôt que chaque solveur enregistré, avec couverture des fonctionnalités, étiquettes de distance de distribution et preuves de reproductibilité et d'outillage. Conformément à la vue d'inspection de la plateforme, une affirmation non étayée est acheminée vers les limites plutôt que surestimée. Sa posture de couverture et de reproductibilité s'appuie aujourd'hui sur l'inspection d'artefacts, une posture de capacité et non une affirmation de performance ; ses verrous comparatifs restent fermés comme les autres.

Ajouter un programme d'étude

Un nouveau programme d'étude suit le même chemin de fermeture sur échec que la vitrine montre pour chacun existant. La ligne de candidat futur de la vitrine est l'exemple travaillé.

  1. Enregistrer le niveau. Ajoutez une entrée de niveau au registre des niveaux avec sa valeur de niveau de preuve ; les tests de contrat du registre exigent l'exhaustivité.

  2. Déclarer la piste de preuve. Ajoutez une piste de preuve à l'atlas des expériences — ses familles de référence, effectif, cohorte, statistiques, verrou et seuil d'exécutions — ou démarrez-la d'abord comme candidat futur.

  3. Préparer l'espace de travail. Créez le répertoire d'espace de travail du programme avec sa recette, plus une configuration pilote et une comparative :

    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. L'exécuter. Exécutez la campagne pilote pour le nouveau niveau, puis composez le paquet à niveaux avec l'outil en ligne de commande d'analytica :

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

  5. Publier. Régénérez le portail pour que le programme apparaisse ici automatiquement ; le verrou de fraîcheur fait échouer la compilation si la régénération est omise :

    uv run python tools\build_site_assets.py

  6. Documenter. Ajoutez la section du programme à cette page et reproduisez-la dans les langues.

Navigation