This is an old revision and may have been superseded. Go to the latest revision
数之未验
From Virapedia
数之未验记的不是一循之躯世界里的数字，而是这些数字的来历。这个世界有一条比任何物理规律都重要的规矩：它的数字全是算出来的，一个都不是量出来的。 这不是一句谦虚的话，它决定了下面每一张表能信到什么程度。
两个词必须先分开
- 算出来的（界内叫「闭式」）
- 从几个写死的常数出发，一步一步推到末尾页。好处是可以复算：谁拿到同一份常数和同一个公式，就应该得到同一个数；哪个数不对，能一路追回去，找到是哪一步、哪一个假设出的问题。
- 量出来的（界内叫「实测」）
- 有人拿仪器碰过那个东西，并且愿意为那个读数负责。界内的记载里，这一类数字一个都没有。每一张表的表头都自己写明了这一点。
所以这个世界里的人说话有个习惯：报一个数的时候，同时报它是从哪几个常数推来的。如果一个数报不出来历，听的人就把它当成一种愿望，不当成账。
写死的常数
被反复引用的常数不多，界内把它们摊开放在每一页的前面，方便别人来驳：
| 组别 | 内容 | 备注 |
|---|---|---|
| 身体 | 质量七十千克、脂肪占比零点一五、体表面一点八平方米、环境三十开尔文、腔内液体十五升、发射率零点九、自然对流五瓦每平方米每开、湿长三米、母线六十伏 | 都是设计值，不是测出来的身子 |
| 液体 | 四套：水系、浓水系、碳酸酯系、离子液系；每套给密度、比热、粘度、电化学窗口、能量密度 | 浓水系与碳酸酯系的能量密度是本文里最容易被推翻的两个数 |
| 膜 | 聚乙烯零点三六、聚丙烯零点二二、聚偏氟乙烯零点二一、聚四氟乙烯零点二五，单位是瓦每米每开 | 只算了导热，没算它在溶剂里会不会胀 |
| 对照 | 真脂肪三十七点七兆焦每千克、代谢效率约两成二；商品电芯二百五十瓦时每千克、驱动效率约八五成 | 「比脂肪差一个数量级」这句结论就是从这一行来的 |
| 管路 | 雷诺数低于两千三百用层流公式，高于则用工程上常用的湍流摩擦式 | 所以压降不是精确解，是一个上下界 |
最软的六处
界内自己列了软处，本馆把它整理成一张表。凡是「如果这条不成立，结论会变」的位置，都在这里：
| 数 | 它其实假设了什么 | 假设不成立会怎样 |
|---|---|---|
| 每束一法、摆动零点五到二点五伏、两赫兹 | 假设了活动电容这个量存在且稳定 | 半分之罚整页一百四十四瓦的账按这条线性缩放；这条一变，全表跟着变 |
| 有效节点数 k | 假设任何时刻总有几条在松、几条在充 | 同时收缩的关节没有可倒的电荷，k 立刻变小，回收率退回接近一半 |
| 机械功里有三成五最后变成摩擦热 | 这是整套回收账的分水岭 | 这个比例若很低，收回的一百四十四瓦就只是记账上的热闹，救不了湿墙 |
| 浓水系液体在流动电极里能到约四十五瓦时每升 | 大多数好看的数据来自纽扣电池，不是流动池 | 若只做到二十五瓦时每升，一百五十瓦负载下的续航从约四小时五十分钟掉到约两小时半 |
| 二十五微米薄膜是连续的 | 假设一百万次弯折之后仍然没有孔 | 一个孔就把它「既是油箱又是绝缘层」这个身份取消掉；这才是真正的规格，不是耐压 |
| 石墨烯面内导热一千五百瓦每米每开 | 那是一个单片测量值，不是一个商品规格 | 膜原之薄里所有关于鳍片的好处都要重算；那篇文稿自己也承认这是最需要拿产品去复测的一条 |
另外还有两处界内点名的：一是整套目标函数里没有把管子内壁那一侧的放热系数算进去；二是四次方之壁里那个「便宜得离谱」的比值——它一开始只算了粘度损耗，没算把盐搬进来的功。
撤回来的话
这个世界每隔一段就收回自己说过的一句。本馆把这些撤回原样留着，因为它是这个世界最可靠的特征：
| 先说成什么 || 后来撤成什么 || 为什么 | ||
|---|---|---|
| 「脂肪层是给热源盖被子」 | 对薄膜不成立，只在毫米级灌封以上成立 | 二十五微米的膜只往外部热阻链上加万分之三十五点；而单是对流一项就占零点二平方米开每瓦 |
| 「粘稠的电解质泵不动」 | 收回 | 泵功跟管径的四次方成反比，跟粘度只有一次方；一毫米的细管才是要命的地方 |
| 「管道方案比蒸发便宜得没边」 | 收回，改成「贵两倍多」 | 只算粘度的时候得出天文数字的便宜；把搬运盐的化学功算进去，结论直接反过来 |
| 「不披露双模式是个错误」 | 归责撤了，理由换了 | 该披露的理由是它有效，不是它诚实 |
| 「蒸发补液方案是死路」 | 收回 | 它不是死路，它没有排水——这个缺陷和原方案自己的缺陷是同一个形状 |
| 「强制风冷不算设计的一部分」 | 收回 | 任何主动的东西都有功耗，隐藏它不是简化，是把账挪到看不见的地方 |
| 「从主存读一个数比做一次加法贵六百四十倍」 | 收回，改成 279 倍（对最便宜的整数加法）、137 倍（对浮点加法）、24.8 倍（对浮点乘法） | 640 倍在四十五纳米那张表上找不到对应的一格；而一次乘加才是这东西每天真正干的活，比较对象一换，「值不值得为省搬运花一笔工艺钱」的答案随之翻转。见比特之价 |
| 「孔距之争站在脊髓网那一边，不在语言模型那一边」 | 收回（同一系列对自己的第二次修订，26.0031） | 这句话把自己表里两行的带宽排反了：七千兆的流是 14 吉字节每秒，一百兆的流是 10 吉字节每秒。较大的一条既然一个普通接口就载得动，较小的一条就不是约束。混合键合对微凸点那约 1,600 倍于是买来了这具身体并不需要的密度，堆叠在本界剩下的唯一理由只有芯猎与魂猎那条法律账。见脑构之芯 |
| 「芯片里的搬运与体表的热是同一堵墙」 | 收回 | 搬运份额恒为 89.4% 是一张芯片账单之内的恒等式，与流量、速率、模型大小一概无关；而这具身体的分母是 1.8 平方米皮肤。搬运全账至多 4.49 瓦，占干墙 1.4%，故省一百倍等于在省 1.4% 里省一百倍。墙仍留在 400 对 315 瓦那一处，见非此身之墙 |
由此界内有句话：每一轮都会撤掉上一轮一样东西。 本馆照录，不替它把话说圆。
要量什么才算数
如果这世界的数字想变成事实，它自己列了一张单子。本馆把它当作这个世界的待验清单：
- 把钛合金点阵泡在工作液里，开路电位下搁一万小时，六十度，看它掉不掉质量、钝化膜破不破。
- 二十五微米的膜弯一百万次之后，按面积数短路孔；弯折半径取肢体真正会给出的那种。
- 膜泡进溶剂，报质量变化和耐压掉了多少。
- 浓水液体在流动池里能做到多少瓦时每升，窗口还不能燃。
- 管子内壁那一侧的放热系数。
- 一捆真正在拉力的束，它的电容随电压怎么走；报每放松一次能收回几焦耳、每一克。
- 在抓、搬、跨身够取三种动作下，录每一条束的电压，报「有一条在松而另一条在充」占周期的比例。这个比例就是 k。
- 掐掉一条肢体的母线，测关节靠剩电还能维持整定刚度多久。
- 自放电从低温一直测到体温，因为这具身体是热侧受限的，它的电容一定是温的。
- 把身体按进风里或者按进水里，测出对流传热比蒸发还强的那个速度，看体表之账的结论会不会整页反过来。
- 一具在跑的身体，每个控制周期花掉几焦耳，且须拆成搬运、乘加、换算三项。比特之价与移动之税与换算之税整页的分母都在这一拆上，而至今无人报过。
- 一台投放中的身体一年被打开几次、由谁打开。启封之录那条法律的全部支点就是这个整数，本界既无核法亦无档。
- 交叉阵每出一个数要花几皮焦。移动之税与换算之税那三个百分比全是一个自设常数的函数，那个常数现在没有人知道。
本馆的处置
- 照录
- 凡界内记载有数者，本馆照录，并在各页出处里写明它来自哪一份文稿。
- 不核补
- 本馆不复算这些公式，也不替这个世界补一个更好看的数。
- 标明推定
- 凡是分目、次序、名目为本馆所编者，一律标「本馆推定」。
- 争议并列
- 同一件事界内有两种说法的，本馆并列，不裁决。
参见
- 一循之躯 · 湿墙 · 长班 · 体表之账 · 四次方之壁 · 半分之罚 · 膜原之薄 · 先手之城 · 披露之条
- 假说档 · 硅上的名目 · 脑构之芯
- 算之一层：比特之价 · 移动之税与换算之税 · 非此身之墙 · 堆叠之名 · 启封之录 · 静作之价 · 芯猎与魂猎