編輯導讀
文獻 gate 結論是 REFRAME。Deterministic global bounds、interval branch-and-bound、convex relaxations、Latin-hypercube designs、scenario methods 與 CSTR uncertainty analysis 均有成熟先行研究。本地成果是一個小型、可逐步核對的 certificate-versus-incumbent benchmark。
完整文章請閱讀隨機壓力測試不是最壞情況證書，內容包括 reduction proof、有效 upper enclosure、固定 sampling designs、0/32 結果的精確邊界、local-search failure modes、reproducibility signature、figure audit 與完整文獻紀錄。
主要結果
- Monotonicity 把三變量 bounded maximum 精確縮減到 z=-20、H=0.5 的 corner，只留下可認證的一維 temperature problem。
- 最終 interval 為 [1.4443773087849885, 1.4443777214279065]，13 個 processed nodes 後已小於凍結 1e-6 tolerance。
- 每個固定 IID 與 Latin-hypercube budget 都是 0/32 hits，但此紀錄沒有 population miss-probability 意義；local search 只提供 incumbents，不提供 global upper bound。
限制
- Objective 是合成無因次代數 thermal-drift proxy，不是 dynamic、physical、experimental 或 plant CSTR model。
- Zero-hit 結果只適用於指定 seeds、budgets 與 1e-4 rule；不作 probability 或 confidence claim。
- Certificate 只涵蓋已證 corner 上的一維 temperature interval，而且沒有提出新 global-optimization algorithm。
技術紀錄
詳細程式、計算、生成圖像及重現說明存放於私人技術工作區。公開文章只包含人工審閱的解讀與核准圖像，不會由同步程序改寫正文。
版本紀錄
2026-08-30 — 已按技術證據重新審閱繁體中文概覽。