본문으로 건너뛰기
DispatchAtlas
검색

연구 프로그램

플랫폼의 증거 계층을 구성하는 네 가지 연구 프로그램 — 범위, 벤치마크 계열, 솔버 편성, 방법론, 주장 게이트 상태.

플랫폼의 증거는 각 증거 계층마다 하나씩, 네 가지 연구 프로그램으로 구성됩니다 — 코어, 속도, 품질, 플랫폼. 계층은 중첩됩니다. 코어 프로그램은 코어 및 공개 증거를 허용하고, 속도 프로그램은 속도 증거를 더하며, 품질 프로그램은 품질 증거를 더하고, 플랫폼 프로그램은 완전한 공개 영역을 제시합니다. 각 프로그램은 자신의 증거 계층이 드러낼 수 있는 범위를 정확히 한정하므로, 하위 계층 프로그램이 상위 계층 메커니즘을 노출하는 일은 결코 없습니다.

아래 쇼케이스는 각 편성, 벤치마크 계열, 비교 코호트, 방법론 세부, 주장 게이트 상태를 이미 커밋된 프로그램 번들에서 읽어옵니다. 따라서 수작업으로 편집한 문장 없이도 플랫폼이 발전함에 따라 수치가 최신으로 유지됩니다. 어떤 프로그램의 주장 게이트가 열리기 전까지는 비교적 주장이 공개되지 않으며, 오늘 공개된 내보내기는 스모크 개발 증거만 담고 있습니다.

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.

코어 프로그램

코어 프로그램은 기준 솔버 영역에 대한 기초 목적 성능을 연구합니다 — 다른 모든 것을 떠받치는 비교입니다. 그 벤치마크 계열은 기계 스케줄링, 잡숍, 유연 잡숍이며, 네이티브 코어 구성을 구성적·메타휴리스틱 비교 코호트에 맞세웁니다. 그 방법론은 윌콕슨 부호 순위 검정, Holm 사후 보정이 포함된 프리드먼 옴니버스, Nemenyi 임계 차이 분석, 그리고 BCa 신뢰구간을 갖춘 Vargha–Delaney A12 및 Cliff 델타 효과 크기를 확률적 셀당 최소 30회 독립 실행에 걸쳐 결합합니다. 완전한 비교 캠페인이 통계 게이트를 통과할 때까지 그 비교 게이트는 닫힌 채로 유지됩니다.

속도 프로그램

속도 프로그램은 일치된 종료 조건에서의 실행 시간 및 임의 시점 효율을 연구합니다 — 임의 시점 추적, 성능 프로파일, 더 작은 예산에서의 일치 품질 게이트. 그 벤치마크 계열은 플로우숍과 자원 제약 프로젝트 스케줄링이며, 비교 코호트는 반복 탐욕, ALNS, VNS입니다. 코어 프로그램과 동일한 비모수 방법론과 실행 하한을 적용합니다.

품질 프로그램

품질 프로그램은 해의 품질과 다목적 지표를 연구합니다 — 목적 격차, 파레토 전선 및 임계 차이 뷰, 품질 지표 표, 절제. 그 벤치마크 계열은 자원 제약 프로젝트 스케줄링과 유연 잡숍이며, 비교 코호트는 미메틱 탐색과 NSGA-III입니다. 위 프로그램들과 동일한 통계 규율과 실행 하한을 유지합니다.

플랫폼 프로그램

플랫폼 프로그램은 플랫폼이 공개하는 가장 넓은 영역을 제시합니다 — 등록된 모든 솔버가 아니라 레지스트리의 모든 솔버 계열을 대표하는 선별된 계열 횡단 편성입니다. 기능 커버리지, 분포 거리 레이블, 재현성 및 도구 증거를 함께 제시합니다. 플랫폼 검사 뷰와 마찬가지로, 뒷받침되지 않는 주장은 과장 대신 한계로 라우팅됩니다. 그 커버리지 및 재현성 자세는 오늘날 산출물 검사로 뒷받침되며, 성능 주장이 아니라 역량 자세입니다. 그 비교 게이트는 다른 것들과 마찬가지로 닫힌 채로 유지됩니다.

연구 프로그램 추가하기

새로운 연구 프로그램은 쇼케이스가 기존의 각 프로그램에 대해 보여주는 것과 동일한 실패 시 폐쇄 경로를 따릅니다. 쇼케이스의 미래 후보 행이 작동 예시입니다.

  1. 계층 등록. 계층 레지스트리에 증거 계층 값과 함께 계층 항목을 하나 추가합니다. 레지스트리 계약 테스트가 완전성을 강제합니다.

  2. 증거 트랙 선언. 실험 아틀라스에 증거 트랙을 추가합니다 — 그 벤치마크 계열, 편성, 코호트, 통계, 게이트, 실행 하한 — 또는 먼저 미래 후보로 시작합니다.

  3. 작업 공간 마련. 레시피와 함께 프로그램의 작업 공간 디렉터리와, 파일럿 및 비교 구성을 만듭니다:

    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. 실행. 새 계층의 파일럿 캠페인을 실행한 다음, analytica 명령줄 도구로 계층 번들을 큐레이션합니다:

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

  5. 공개. 포털을 재생성하면 해당 프로그램이 여기에 자동으로 나타납니다. 재생성을 생략하면 최신성 게이트가 빌드를 실패시킵니다:

    uv run python tools\build_site_assets.py

  6. 문서화. 이 페이지에 프로그램 섹션을 추가하고 각 언어에 반영합니다.

탐색

  • 증거 번들 — 각 프로그램이 큐레이션하는 계층 내보내기.
  • 재현 가능한 캠페인 — 각 프로그램 뒤의 캠페인을 실행하는 작업 공간.
  • 결과 탐색기 — 공개 필터링된 실행 증거.
  • 다운로드 — 공개된 증거 번들.
  • 인용 — 플랫폼과 그 동반 자료를 인용하는 방법.
  • 플랫폼 검사 — 플랫폼 프로그램이 요약하는, 산출물로 검사된 커버리지 및 재현성 자세.