主題
計算與程式
數值方法、模擬與可重現計算。
由文章開始
篩選此主題文章 →同一個積分器跨越快慢尺度邊界
一項凍結 Michaelis-Menten audit 把 exact conservation、positivity 與 fixed-step asymptotic limit，同 accuracy、stiffness failure 及 solver-superiority claim 分開驗證。
隨機壓力測試不是最壞情況證書
一個 deterministic interval benchmark 說明 worst-case certificate 必須同時有 feasible lower bound 與 valid set-wise upper bound，而固定抽樣與 local search 只能交出 incumbents。
沿一條路線繼續讀
全部路線 →城市模型：由預測走到判斷
由課室時間表出發，再檢查交通中缺失的狀態、數值事件誤差，以及模型約化的限制。
第一篇：當時間表對通風系統說謊
再深入一步
專案概覽
2026
美式賣權自由邊界核證
一項可重現障礙 PDE 研究，求解美式賣權履約邊界，並以三種數值方法核證價格、Greeks、收斂與互補條件。
2026
差異黏附細胞分選審核
以可重現細胞 Potts 研究區分鄰接分選與空間包覆，並檢驗黏附、運動性、初態、能量及細胞形狀合理性。
2026
優化器漏掉了多少個平衡態？
以獨立兩模態控制與分支延續，分清找到最低已知能量、回收所有穩定家族，以及描述不穩定平衡結構之間的差別。
2026
網格能否保留這個事件？
這個 matched-work Phase-1 experiment 比較 uniform、residual 與 DWR meshes；在 36 elements 下，uniform 反而最能保留 growing-domain modal-transition time。
2026
由模擬走向證書
一項凍結的合成雙艙 positive-network benchmark，把有限 spectral checks 與涵蓋整段不確定性的 verified decay certificates 分開，並審核只限此 family 的 diagonal restriction gap。
2026
同一個積分器跨越快慢尺度邊界
一項凍結 Michaelis-Menten property audit 驗證 conservation、non-negativity 與 fixed-step slow limit，同時保留 AP update 在 error 上未能勝過 backward Euler 的 null result。
更多相關專案（4）
- 隨機壓力測試不是最壞情況證書2026
- 當降階通風模型離開訓練範圍2026
- 當交通求解器製造出一場塞車2026
- 當有效擴散係數不再足夠有效2026