待验证50% 置信事实精确时间
确定性科学检查指基于物理规律和数值稳定性准则的规则验证，例如检查边界条件是否覆盖所有边界、材料参数是否在物理合理范围内、时间步长是否满足CFL条件、网格是否足够分辨关键梯度等。
1
来源数
50%
置信度
长期有效
时效性
2026/11/2
首次发现
来源
涉及实体
相关事实
待验证检测数值利用的常用手段包括：监控动作频率的功率谱、检查状态变量是否出现非物理的极端值、以及用不同积分器或不同步长做交叉验证。69% 相似待验证诊断对照表：某条规则必须严格强制执行时应先检查已批准的规则说明、输入、边界情况、授权，候选干预为用确定性代码实现并测试。68% 相似待验证可验证性是需求规格的基本属性：一条需求必须能被某个客观检查判定为通过或不通过。68% 相似待验证静态检查将合法性验证前移到编译期或 Python 运行时，可检查张量维度与内核配置匹配、数据类型是否受支持、分块参数是否满足硬件约束68% 相似已验证基准测试是验证模型能力的重要参考，常见评测维度包括数学推理、代码生成、科学问答67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1125179API
curl https://kongchang.com/api/v1/knowledge/claims/1125179MCP
get_claim(id=1125179)