diff --git a/docs/方法.md b/docs/方法.md index d196f71..0af8e00 100644 --- a/docs/方法.md +++ b/docs/方法.md @@ -258,7 +258,7 @@ **⑩ 正式运行(程序)** -- 先预留运行名额和计算额度,确认进程已经启动后,才扣一次运行次数。 +- 先预留一次运行名额,确认进程已经启动后,才扣一次运行次数。 - 运行结束后,程序做这几件事: - 用任务的独立校验器,从原始产物判分;需要时先做合法化; - 采集常规辅助指标,以及事先登记过的假设专用指标; @@ -612,16 +612,17 @@ VOI(S) = E_{S 的结果}[ max_p E(收益_p | S 的结果) ] − max_p E(收益_p **预算** -- 正式运行次数和计算时间(填圆按 CPU 秒计)都事先定死,不能因为结果不好临时扩大。运行次数是唯一决定研究长度的上限,不设轮数上限。 +- 正式运行次数事先定死,不能因为结果不好临时扩大。它是唯一的预算上限,也是唯一决定研究长度的上限,不设轮数上限。 +- 计算时间不设总预算:单次运行的时限和核数已经由任务定死(见第八部分),每次运行最多花多少计算是固定的,再设计算时间总额只是重复运行次数。每次运行的 CPU 秒、墙钟时间、峰值内存照实记录。 - 模型调用不设上限,用量照实记录;拿不到用量时记"未知",不记 0。 - 程序记录整个环境的用量:正式运行和实验员会话的 CPU 时间、GPU 时间、内存、墙钟时间,以及模型调用量。这些只记录,不作为限制。 **什么时候扣次数** - 基线、正向候选、消融格,都按实际启动计入。 -- 启动前先预留一次名额和最大计算额度,确认进程已经启动,才扣一次。 +- 启动前先预留一次名额,确认进程已经启动,才扣一次。 - 启动后失败、超时、被取消,照样计数。 -- 确认没有启动就取消的,退还名额和没用上的计算预留;已经发生的准备成本照样记录。 +- 确认没有启动就取消的,退还名额;已经发生的准备成本照样记录。 - 不确定有没有启动时,先核对。核对不出来就记"状态未知"并停下,等用户决定;不自动退还,也不重跑。 - "这一格跑不起来"的情况不启动,也不扣次数。 - 轻量检查有次数和时长上限(见配置),只能用来检查语法、接口和极小的样例。正式规模的求解,哪怕叫"调试",也是正式运行,不能借轻量检查绕开预算。