01
设计论证
证明某个选型是对的那份文档——而且需求一变，它可以重跑。
一篇可执行论文里冷却器选型的那一节：环境温度要求挪到 45 °C，选定的冷却器迎风面积、段落里引用的出口峰值，以及相对 85 °C 上限还剩的余量，全都由它重新推导——余量从 3.3 K 掉到 0.4 K。
Paper 能做什么
工程知识死在两个地方：一份没人能重跑的 PDF，和一段没人读得懂的脚本。Paper 把这两者收进同一个产物——文字、Modelica 模型和实时算力，装在一份多年以后仍然跑得起来的文档里。
Notebook
文字与计算，写在一起
以块为单位写作——文字、LaTeX 公式、Modelica 模型、参数表和图。每张图都是它上面三行代码的输出，所以评审者可以在同一口气里质疑这个数，并把它重新推一遍。
一份由四类块组成的 Notebook——文字、参数表、一个三行的单元，以及它产出的图。评审者把质量流量参数从 1.50 拖到 2.00 kg/s，单元重跑，图重新画出来；上方文字里引用的出口温度也跟着走到 83.2 °C。
计算运行时
每次运行都有一个运行时坞
把算力挂在文档上，而不是挂在你的笔记本上。运行推进时，运行时坞显示求解器状态、步长、残差和墙钟时间——并把每个结果钉在产生它的那个模型版本和那组参数上。
求解中的运行时面板：dassl 跑在法兰克福的四个核心上，仿真时间朝 120 秒推进，坞在倒数这次运行，步长上下变化，残差跨过几个数量级落到 8.4e-9。运行落定时，它所钉住的模型版本和参数组从一条分隔线下方走到前面。
可复现
从构造上就可复现
模型、求解器轨迹和数据集，都是项目里可寻址的记录，而不是某人改过名字的文件夹里的文件。十八个月后重新打开一篇 paper，改一个系数，所有依赖它的图都会更新——或者大声报错，这同样有价值。
一列按年份归组、带日期的版本，旁边是它们产出的图。重新打开 2026 年那个版本——改掉一个系数——画出的曲线就被重算后的曲线替换；两条依赖记录带着更新回来，第三条自己报告已经过期、需要重跑。
发表与引用
从工作文档，到可发表的记录
直接编译到各期刊的 LaTeX 模板，不必手工重排。把可执行的版本和 PDF 一起导出，评审者收到的就不只是主张，而是证据——而且一次运行可以用它的标识符来引用，就像引用一份数据集。
一份工作文档，旁边是由它编译出的双栏记录，正一块块搭起来。同一张图被原样搬过去，编译好的页面以运行标识符收尾——印在页脚，并作为独立产物随 PDF 一起交付——于是这次运行可以像数据集那样被引用。
应用场景
可执行的论文，在哪些地方取代了死掉的那种
02
验证报告
模型与试验的相关性研究，对比图会针对最新的测量数据重新生成。
一张模型与试验的对比图，模型曲线不动，测量数据在变：22 个测点的新数据替换掉上一批，上一批淡淡地留在那里，拟合随之重算——R² 为 0.991，RMSE 为 0.6 K。
03
权衡研究
在一份 Exploration 结果集之上写成的论证，帕累托前沿是实时嵌进来的，不是粘贴进来的。
在一份 Exploration 结果集之上写成的权衡研究。又有 24 个候选落进 180 点的云里，帕累托前沿在它们之上重新拟合，之后句子里点名的那个设计才跟着变——拐点从 11.0 K 处的 12.8 kg 移到 10.0 K 处的 12.9 kg。
04
教学材料
学生可以自己动手扰动的课程笔记——改一下阻尼比，看着论证跟着变。
一页课程笔记，阻尼比就写在它所支配的那句话里。把它从 0.35 调到 0.70，阶跃响应换成这个阻尼比对应的那条，关于超调的说法也跟着从 31% 重算成 5%。