Research KB 登录
清除
类型 Paper 108 Benchmark 4 Dataset 2 Code 4 Formalization 68 Claim 29 Evidence 38 Concept 33 Conflict 1 Verification 19 Synthesis 3 Disambiguation 4 Index 1 Figure 2 Example 1 Lifecycle extracted formalized reconciled Epistemic n/a partially-supported supported unverified 1 命中
EX-001 直接配点法算例（最小功双积分器）：梯形配点 + 松弛变量把问题变成线性规划，N=10→160 网格下目标值 0.7958→0.76405 逼近解析 bang-off-bang 解的 0.763932，状态误差约按 O(h²) 下降，切换时刻收敛到 τ≈0.381966。 Example