做仿真的人常被这两个词绕住：有人把有限元当成数值模型的同义词，有人写报告时被评审追问「你做的到底是哪种模型」答不上来。这篇把两个概念拆开，先说清谁是上层、谁是其中一种方法，再给一套判断流程，让你拿到一个课题时能先定位自己站的位置，再决定用什么求解思路和网格策略。
做仿真的人常被这两个词绕住：有人把有限元当成数值模型的同义词，开会时被问「你做的到底是哪种模型」答不上来；也有人写报告把两者混着用，评审一句「你这里说的是方法还是算例」就把结论打回。这篇不堆定义，只做一件事——把两个词的边界和从属关系摆清楚，再给一套拿起来就能用的判断流程。
核心结论先给：数值模型是上位概念，指的是「用数值方法近似求解」这一整类做法；有限元模型是其中一个子集，落脚点在「怎么切单元、怎么组装方程」。理清这层关系，你拿到一个新课题时才能先定位自己站在哪一层，再决定求解思路和网格策略，而不是凭习惯抄上一套流程。
先把两个词各自指什么说清楚
数值模型强调的是「用数值方法近似求解」这件事本身，不是某一种具体手段。有限差分、有限体积、有限元、边界元、谱方法都属于这一大类，它们共同点是：把连续的数学方程变成计算机能一步步算的离散形式。落脚点是「近似求解」这个动作，不是「怎么网格化」。
有限元模型强调的是「离散方式和单元划分」这套具体做法：把区域切成单元、在每个单元上构造近似函数、再组装成整体方程。它属于数值模型里的一个分支，不是并列关系。判断谁包含谁时看落脚点——讲方法的从属，有限元属于数值模型；讲某个具体算例，只能说这个算例用了有限元这条路线。
| 说法 | 指的层次 | 容易被追问的点 |
|---|---|---|
| 数值模型 | 方法大类 | 你用的哪种离散方式 |
| 有限元模型 | 其中一种离散做法 | 单元类型、网格质量、收敛依据 |
| 有限元算例 | 某次具体计算 | 边界条件怎么给的、校核做了没有 |
术语细节别自己造。像「数值格式」「离散误差」「收敛阶」这些词，在中英文报告里含义偏窄，用错就露怯。动手前先去 技术术语对照（/ai-dict/category/tech） 扫一遍，确认你想表达的和词典里指的是同一件事，再往报告里写。
从属关系的三个层次：物理模型、数学模型、数值模型
很多人争不明白，是因为把三个层次压成一层了。物理模型是你面对的真实对象，比如一块受载的板；数学模型是把物理规律写成方程，比如平衡方程加本构关系；数值模型是把方程离散成能算的形式。有限元出现在第三层，负责把连续区域切成单元再组装方程，它既不是第一层的实物，也不是第二层那条方程本身。
- 物理模型层：关心对象本身，假设写在几何、载荷、材料描述里；
- 数学模型层：关心方程是否适定，边界条件、初值、本构是否闭合；
- 数值模型层：关心离散方式、网格、求解器和误差控制；
- 三层顺序不能跳，跳了就会出现「我的有限元模型和别人的数值模型谁更准」这种没法回答的问题。
分不清层次最容易出的岔子，是拿不同层的结论互相比。有人拿一个粗网格的有限元结果去否定另一套数学推导，其实两者说的根本不是一回事。报告里写清你在哪一层做了简化假设、哪一层是精确的、哪一层有离散误差，评审和复核时才不会扯皮。这一条在跨专业协作里尤其重要，因为不同专业默认的层次不一样。
什么时候用有限元，什么时候不用
有限元不是万能钥匙，它是「几何复杂、边界不规则」场景下比较省事的一条路。规则区域加简单边界，比如一维传热、平板层流，有限差分写起来往往更快，代码短、校验也容易。判断前先把问题类型、几何复杂度和精度要求列成三行，比凭习惯选方法靠谱得多。
| 问题特征 | 常见顺手做法 | 说明 |
|---|---|---|
| 几何复杂、边界不规则 | 有限元 | 切单元灵活，材料分区好处理 |
| 瞬态、强对流、可压缩流动 | 有限体积 | 守恒性处理更自然 |
| 规则区域、简单边界 | 有限差分 | 实现快，便于手算对照 |
| 需要量级估算 | 简化模型先算 | 别一上来搭完整模型 |
不适用情形也要写清楚：如果只需要量级估算或者手算校验，搭完整有限元模型就是浪费，先用简化模型对一遍数量级，方向对了再上细模型。另外，瞬态强对流类问题硬上有限元，往往要额外处理守恒性，不是不能做，是性价比未必划算。方法选型可以顺路到 工具目录（/tools/speed-test） 里找现成脚本对照，别从零造轮子。
拿一个课题自己走一遍判断顺序
下面是能直接照着走的四步。每一步都有验证动作，不是走个形式——验证通不过，就退回上一步重来，别硬往下推，否则误差会一路累积到最后。
- 第一步 定位层次先答一个问题：我要的是物理结论、数学方程，还是可计算的离散结果。答完写下来，这一行决定后面所有选择的边界。
- 第二步 选方法按几何、边界、守恒性、时间尺度四项筛，筛完再决定要不要上有限元。四项里有一项明显不匹配，就换方法试。
- 第三步 定规模网格密度、单元类型、求解器选择，这三项决定后面算力花多少。先做低分辨率试算，方向对了再加密。预算可以到 算力成本页（/compute/tco） 核对当时的数字再定规模。
- 第四步 做校核换个网格密度或换个求解器再算一遍，结果差多少写进记录。差得离谱就回头查第二步的方法假设，别只盯着网格。
校核这一步最容易被省掉，但它是区分「算出来了」和「算对了」的唯一依据。至少做一次网格无关性检查，再换一种离散方式或求解器交叉验证。两次结果差异要写进文档，说明是离散误差还是物理假设导致，而不是简单写一句「结果吻合」。
还有一个常被忽略的点：模型规模不是越大越好。网格加密到一定程度，误差不再主要来自离散，而来自材料参数和边界条件的不确定度，这时候继续加密只是烧算力。判断拐点的方法是看误差随网格变化的曲线，曲线走平就该停手。相关成本口径到 算力成本页（/compute/tco） 核对当时的数字，再决定加到哪一档。
最后提醒一句，术语和结论要跟着证据走。写报告时把「我用的方法」「我建的模型」「我算的算例」三样分开表述，读者和评审都能一眼看到你的推理链条，沟通成本会低很多。
下一步想确认自己选的方法和术语用得对不对，去站内技术术语页和工具目录对照一遍，比在群里问一圈快。相关页面当时的条目和口径，以页面显示为准。→常见问题
有限元模型是不是就是数值模型？
不是等号关系，是包含关系。数值模型是一大类用数值方法近似求解的模型，有限元只是其中一种离散手段。你可以说某个有限元模型属于数值模型，但不能反过来说数值模型就等于有限元，因为还有有限差分、有限体积、边界元这些同样属于数值模型的做法。
写仿真报告时，这两个词怎么用才不会被挑错？
分开写：先说自己建的数学模型是什么方程和假设，再说用了哪种数值方法和离散格式，最后才提具体的有限元模型细节如单元类型和网格量。层次写清楚，评审就不会纠结你用词对不对。术语拿不准时到站内术语页对一遍再落笔，比事后改稿省事。
小团队没有专职仿真人员，从哪一步开始最不容易走偏？
先在纸面上把物理模型、数学模型、数值模型三层各写一句，尤其是「我做了哪些简化」这一句。这一步不花算力，却能挡掉大部分返工。定完层次再选方法，最后才算网格规模和机器配置，算力账可以到站内算力页面按你的模型规模估一遍。
