验证方法论
这些计算器如何构建、哪些标准已与原文核对验证、每次变更运行哪些自动检查，以及我们不主张什么。
公式所在之处
计算层并未写在本网站内部。所有通用工程公式都存放在 formulab —— 一个无运行时依赖的开源 TypeScript 库，而本站只是它的一层薄封装。这种分离是刻意的：公式本身应当能够独立于呈现它的界面被阅读、检验和质疑。formulab 目前提供 206 个函数，覆盖 208 个测试文件中的 3,131 项自动化测试，在本站锁定的版本上全部通过。
这里所说的「与标准核对验证」是什么意思
我们区分两件经常被混为一谈的事。引用是指出公式来自哪一份标准。验证是指有人实际取得了该标准的原文，并逐行核对了所实现的数值。全部工具中共有 460 处标准引用，其中 61 处目前由 formulab 源码中可被机器检查的出处注记支撑。其余引用属于背景与延伸阅读，并非验证的证据。我们公布这一比例而不是暗示所有引用都已验证，正是因为这一区分本身就是公开方法论的意义所在。
- ISO 7243:2017 —— WBGT 热应激基准值，五个作业强度等级全部与原文核对
- ISO 7870-2:2023 —— X-bar/R 控制图常数；发现表中 5 个单元格相差 ±0.001 并已订正
- ISO 7870-3 —— 验收控制图，依据标准的算例反向验证公式
- ISO 7870-4:2011 —— CUSUM 控制图
- ISO 7870-5 —— 移动平均／移动极差控制图，由标准的原始数据表直接重算基准值
- ISO 4000-1 —— 轮胎载重指数与速度符号表
每次变更都会运行的检查
未被自动化的验证会腐坏。以下检查在持续集成中运行，失败即阻止发布，因此公式无法悄悄偏离它所声称的来源。
- 复现标准自身印出的算例的基准测试
- 将硬编码系数表与其公开来源比对的常数表检查
- 对正文中所有算例的算术检查（覆盖九种语言）
- 页面正文与该页面实际计算的公式之间的一致性检查
- 阈值检查，确保每个限值只存在于一处，无法与自身矛盾
支撑重型工具的求解引擎
优化、排程、统计与试验设计类工具同样没有在此重新实现算法。它们调用编译为 WebAssembly、在您的浏览器中运行的开源引擎。
- u-numflow —— 数学、统计与概率基元
- u-analytics —— SPC 控制图、过程能力、威布尔可靠性、假设检验
- u-insight —— 聚类、异常检测、主成分分析、回归、数据剖析
- u-metaheur —— 遗传算法、模拟退火、ALNS、约束规划
- u-geometry —— 多边形运算、碰撞检测、闵可夫斯基和、空间索引
- u-nesting —— 二维多边形排样与三维装箱
- u-routing —— 车辆路径优化（TSP、CVRP、VRPTW）
- u-schedule —— 作业车间排程
- u-doe —— 析因、响应曲面与田口设计、方差分析、功效分析
我们不主张什么
这些是用于初筛与估算的工具。它们不能取代相关标准、有资质的工程师或实际测量。安全相关的结果尤其如此 —— 热应激、电弧闪光、坠落净空、载荷限值 —— 它们是判断的起点，而不是判断本身。若您发现某个数值与手头的标准不符，请告诉我们，我们会与原文核对：[email protected]。