分离解法与单体式解法
分离解法与单体式解法的理论基础
概要
老师！今天是分离解法与单体式解法的话题，对吧？那是什么东西呢？
多物理场连成的两大方法比较。单体式法的高精度与分离法的灵活性的权衡。
我明白了。那么如果多物理场连成已经可以做了，是不是首先就没问题了？
支配方程
离散化手法
这个方程在计算机上具体怎么求解呢？
利用有限元法（FEM）进行空间离散化。组装单元刚度矩阵，构建全局刚度方程。
矩阵求解算法
矩阵求解算法具体是什么意思呢？
用直接法（LU分解、Cholesky分解）或迭代法（CG法、GMRES法）求解联立方程。对大规模问题，预处理迭代法很有效。
| 求解法 | 分类 | 内存使用量 | 适用规模 |
|---|---|---|---|
| LU分解 | 直接法 | O(n²) | 小～中规模 |
| Cholesky分解 | 直接法（对称正定值） | O(n²) | 小～中规模 |
| PCG法 | 迭代法 | O(n) | 大规模 |
| GMRES法 | 迭代法 | O(n·m) | 大规模·非对称 |
| AMG预处理 | 预处理 | O(n) | 超大规模 |
也就是说在有限元法的部分如果不下功夫，后面就要吃苦头。我一定要铭记于心！
商用工具中的实现
那么做分离解法与单体式解法用什么软件呢？
| 工具名 | 开发者/现在 | 主要文件格式 |
|---|---|---|
| COMSOL Multiphysics | COMSOL AB | .mph |
| Ansys Mechanical (旧Ansys Structural) | Ansys Inc. | .cdb, .rst, .db, .ans, .mac |
| Abaqus FEA (SIMULIA) | Dassault Systèmes SIMULIA | .inp, .odb, .cae, .sta, .msg |
| Simcenter STAR-CCM+ | Siemens Digital Industries Software | .sim, .java, .csv |
供应商系谱与产品整合经过
各软件的来历是不是挺有故事的？
COMSOL Multiphysics
请告诉我关于"COMSOL Multiphysics"的情况！
1986年在瑞典设立。以MATLAB关联的FEMLAB起始，后来改名为COMSOL。多物理场是强项。
现在的所属: COMSOL AB
Ansys Mechanical (旧Ansys Structural)
请告诉我关于"Ansys Mechanical"的情况！
1970年由Swanson Analysis Systems Inc. (SASI)开发。基于APDL（Ansys参数设计语言）。
现在的所属: Ansys Inc.
Abaqus FEA (SIMULIA)
Abaqus FEA具体是什么意思呢？
1978年由HKS (Hibbitt, Karlsson & Sorensen)开发。2005年被Dassault Systèmes收购，并入SIMULIA品牌。
现在的所属: Dassault Systèmes SIMULIA
哦，我明白了！在瑞典设立就是这种机制啊。
文件格式与互操作性
在不同软件之间传递数据时有什么要注意的吗？
| 格式 | 扩展名 | 种类 | 概要 |
|---|---|---|---|
| STEP | .stp/.step | 中性CAD | ISO 10303遵循的3D CAD数据交换格式。支持形状+PMI。 |
| IGES | .igs/.iges | 中性CAD | 早期的CAD数据交换规范。曲面数据的互操作性有问题。向STEP迁移进行中。 |
| VTK | .vtk/.vtu | 可视化 | 可视化工具包格式。在ParaView等中使用。 |
| MED | .med | 网格/结果 | EDF/CEA开发。在Code_Aster等中使用。基于HDF5。 |
在不同求解器间进行模型变换时，需要注意单元类型的对应关系、材料模型的兼容性、荷载·边界条件的表示差异。特别是高阶单元和特殊单元（内聚单元、用户定义单元等）往往不能在求解器间直接转换。
我明白了。格式看似简单，但其实深奥得很呢。
实务注意事项
有教科书上找不到的"现场智慧"吗？
网格收敛性确认、边界条件合理性验证、材料参数敏感性分析非常重要。
加油，态度不错！实际动手是最好的学习方式。有不明白的地方随时问我。
分离解法的"加速"技法——Aitken动态松弛大幅改善收敛
分离解法（Partitioned Approach）的弱点是收敛速度慢，但Aitken动态松弛可以戏剧性地改善这一点。不用固定松弛系数，而是从前面的反复结果中自动计算最优松弛系数ωk+1。数学上是ωk+1 = ωk × (Δrk)T Δrk / (Δrk+1-Δrk)T Δrk更新。在流体-结构耦合中，固定ω=0.5通常需要10～20次迭代，而用Aitken往往3～5次就收敛，很多现场都有报告。preCICE把它作为默认加速手法实现，OpenFOAM与FEniCS耦合中其效果得到了广泛验证。
分离解法与单体式解法的数值计算手法
数值手法详情
具体用什么算法来求解分离解法和单体式解法呢？
离散化的定式化
用形状函数 $N_i$来近似未知量：
用公式表示就是这样。
基础方程的离散形式
用公式表示就是这样。
嗯……光看公式没啥感觉……这表示什么呢？
连续体的支配方程离散化后得到下面的代数方程组：
这里[K]是全局刚度矩阵（或等价的系统矩阵），{u}是未知节点变量向量，{F}是外力向量。
哦，明白了！连续体的支配方程就是那样的机制啊。
单元技术
"单元技术"听说过，但好像没有真正理解……
| 单元类型 | 阶数 | 节点数(3D) | 精度 | 计算成本 |
|---|---|---|---|---|
| 四面体1阶 | 线性 | 4 | 低（剪切锁定） | 低 |
| 四面体2阶 | 二次 | 10 | 高 | 中 |
| 六面体1阶 | 线性 | 8 | 中 | 中 |
| 六面体2阶 | 二次 | 20 | 非常高 | 高 |
| 棱柱 | 线性/二次 | 6/15 | 中～高 | 中 |
积分方案
积分方案具体是什么意思呢？
听到这儿，终于理解为什么单元类型这么重要了！
收敛性与稳定性
不收敛了的话，首先应该检查什么？
收敛速度：二次单元时，误差以$O(h^2)$阶减少（光滑解的情况）
我明白了。网格细化看似简单，但其实深奥得很呢。
求解器设置建议
具体用什么算法来求解分离解法和单体式解法呢？
| 参数 | 建议值 | 备注 |
|---|---|---|
| 迭代法收敛判定 | $10^{-6}$ | 残差范数标准 |
| 预处理手法 | ILU(0) 或 AMG | 取决于问题规模 |
| 最大迭代次数 | 1000 | 不收敛时需要重新检查设置 |
| 内存模式 | In-core | 尽可能采用 |
单体式法
将全物理场作为1个联立方程组同时求解。对强耦合稳定，但实现复杂、内存消耗大。
分离法（分离迭代法）
各物理场独立求解，在界面进行数据交换。实现简单，可利用既有求解器。适用于弱耦合。
界面数据转移
最近邻法（最简单但精度低）、投影法（保守）、RBF补间（对非匹配网格有优势）。保守性和精度的平衡很重要。
子迭代
在各耦合步骤内进行充分迭代，确保界面条件的一致性。残差标准应按各物理场的典型值缩放。
Aitken松弛
自动调整耦合迭代松弛系数。防止过松弛导致的发散，加速收敛的自适应手法。
稳定性条件
注意附加质量效应（流体-结构耦合中，当流体密度≈结构密度时）。不稳定情况下应用Robin型界面条件或IQN-ILS法。
分离解法与单体式解法的实务应用
实践指南
老师，请告诉我关于"实践指南"的情况！
讲解分离解法与单体式解法的实务解析流程和注意点。
解析流程
从一开始请告诉我！首先应该做什么？
1. 预处理 (Pre-processing)
- 导入CAD数据并简化形状
- 定义材料特性
- 网格生成（确定单元类型·尺寸）
- 设置边界条件和荷载条件
2. 求解 (Solving)
- 求解器设置（求解方法、收敛基准、输出控制）
- 投递任务并执行计算
- 收敛情况监控
3. 后处理 (Post-processing)
- 结果的可视化（位移、应力、其他物理量）
- 结果验证与合理性确认
- 报告编制
网格生成的最佳实践
怎样判断网格质量的好坏呢？
单元品质指标
请告诉我关于"单元品质指标"的情况！
| 指标 | 理想值 | 允许范围 | 影响 |
|---|---|---|---|
| 纵横比 | 1.0 | < 5.0 | 精度下降 |
| Jacobian比 | 1.0 | > 0.3 | 单元退化 |
| 翘曲 | 0° | < 15° | 精度下降 |
| 歪斜度 | 0° | < 45° | 收敛性恶化 |
| 锥度比 | 0 | < 0.5 | 精度下降 |
网格密度的确定
网格密度的确定具体是什么意思呢？
边界条件设定指南
听说边界条件设错了全都完蛋，真的吗……
哦，明白了！过度拘束注意就是这样的机制啊。
商用工具的实现步骤
有各种各样的软件吧？各自有什么特点呢？
| 工具名 | 开发者/现在 | 主要文件格式 |
|---|---|---|
| COMSOL Multiphysics | COMSOL AB | .mph |
| Ansys Mechanical (旧Ansys Structural) | Ansys Inc. | .cdb, .rst, .db, .ans, .mac |
| Abaqus FEA (SIMULIA) | Dassault Systèmes SIMULIA | .inp, .odb, .cae, .sta, .msg |
| Simcenter STAR-CCM+ | Siemens Digital Industries Software | .sim, .java, .csv |
COMSOL Multiphysics
请告诉我关于"COMSOL Multiphysics"的情况！
1986年在瑞典设立。以MATLAB关联的FEMLAB起始，后来改名为COMSOL。多物理场是强项。
现在的所属: COMSOL AB
Ansys Mechanical (旧Ansys Structural)
请告诉我关于"Ansys Mechanical"的情况！
1970年由Swanson Analysis Systems Inc. (SASI)开发。基于APDL（Ansys参数设计语言）。
现在的所属: Ansys Inc.
老师的说明很清楚！各软件名字的疑惑消散了。
常见失败与对策
初学者容易犯什么样的错误？事先想知道！
| 现象 | 原因 | 对策 |
|---|---|---|
| 计算不收敛 | 网格品质不良、不适当的边界条件 | 改善网格、重新审视拘束条件 |
| 应力异常大 | 应力奇点、网格依赖 | 回避奇点、局部网格细化 |
| 位移不现实 | 材料常数错误、单位系混在 | 确认输入数据 |
| 计算时间过长 | 不必要的细化、低效的求解 | 网格优化、并行计算 |
品质保证检查清单
有教科书上找不到的"现场智慧"吗？
加油，态度不错！实际动手是最好的学习方式。有不明白的地方随时问我。
实务选择指南——应该先试哪个
分离解法和单体式解法，选哪个取决于问题的物理特性。经验法则是"耦合较弱（单向性，或双向但影响小）的问题从分离解法开始更安全"。例如电子设备热-电流耦合（温度影响导电率但变形可忽略）多数情况分离解法足够。但对水中薄结构的FSI（附加质量效应大）或内燃机那样的强双向耦合则单体式更稳定。实际做法是先用分离解法试试，不收敛/太慢时再改单体式，这样的步进方法最现实。
分离解法与单体式解法的软件比较
商用工具比较
有各种各样的软件吧？各自有什么特点呢？
详述支持分离解法与单体式解法的主要商用CAE工具的功能比较，及各产品的历史背景。
支持工具列表
那么做分离解法与单体式解法用什么软件呢？
| 工具名 | 开发者/现在 | 主要文件格式 |
|---|---|---|
| COMSOL Multiphysics | COMSOL AB | .mph |
| Ansys Mechanical (旧Ansys Structural) | Ansys Inc. | .cdb, .rst, .db, .ans, .mac |
| Abaqus FEA (SIMULIA) | Dassault Systèmes SIMULIA | .inp, .odb, .cae, .sta, .msg |
| Simcenter STAR-CCM+ | Siemens Digital Industries Software | .sim, .java, .csv |
COMSOL Multiphysics
请告诉我关于"COMSOL Multiphysics"的情况！
1986年在瑞典设立。以MATLAB关联的FEMLAB起始，后来改名为COMSOL。多物理场是强项。
现在的所属: COMSOL AB
Ansys Mechanical (旧Ansys Structural)
请告诉我关于"Ansys Mechanical"的情况！
1970年由Swanson Analysis Systems Inc. (SASI)开发。基于APDL（Ansys参数设计语言）。
现在的所属: Ansys Inc.
Abaqus FEA (SIMULIA)
Abaqus FEA具体是什么意思呢？
1978年由HKS (Hibbitt, Karlsson & Sorensen)开发。2005年被Dassault Systèmes收购，并入SIMULIA品牌。
现在的所属: Dassault Systèmes SIMULIA
Simcenter STAR-CCM+
接下来是Simcenter STAR的话题吧。什么内容呢？
由CD-adapco开发。2016年被Siemens收购并入Simcenter品牌。多面体网格是特点。
现在的所属: Siemens Digital Industries Software
我明白了。在瑞典设立就是这样的机制啊。
功能比较矩阵
预算和时间都有限，性价比最好的是哪个？
| 功能 | COMSOL | Ansys Mechanical | Abaqus | Star-CCM+ |
|---|---|---|---|---|
| 基本功能 | ○ | ○ | ○ | ○ |
| 高阶功能 | ○ | ○ | ○ | △ |
| 自动化/脚本 | ○ | ○ | ○ | ○ |
| 并行计算 | ○ | ○ | ○ | ○ |
| GPU对应 | △ | △ | △ | ○ |
转换时的风险
转换时的风险具体是什么意思呢？
哦，明白了！不同工具间的模就是这样的机制啊。
许可证形式
"许可证形式"听说过，但好像没有真正理解……
| 工具 | 许可证 | 特征 |
|---|---|---|
| 商用FEA | 节点锁定/浮动 | 高价但有官方支持 |
| OpenFOAM | GPL | 免费但支持收费 |
| COMSOL | 节点锁定/浮动 | 按模块单位购买 |
| Code_Aster | GPL | EDF开发的OSS求解器 |
选择指南
最后的最后，怎样决定选哪个，判断基准能告诉我吗？
分离解法与单体式解法工具选择时应考虑以下要素：
加油，态度不错！实际动手是最好的学习方式。有不明白的地方随时问我。
求解器别的"默认耦合战略"——为什么Ansys默认分离法，COMSOL默认单体式
Ansys System Coupling默认采用Partitioned（分离）方法，各求解器（Fluent、Mechanical）独立计算。而COMSOL默认用Monolithic（完全耦合）求解器。这种差异源自两家公司的体系哲学。Ansys的Fluent（流体）和Mechanical（结构）原本是独立产品，疏耦合是自然设计。COMSOL则从一开始就设计为"在1个PDE环境中处理多个物理场"，方程级的统一——单体式是自然的。孰优孰劣不是问题，关键是根据问题性质选择合适用法。
分离解法与单体式解法的先进研究
先端课题与研究动向
分离解法与单体式解法的领域接下来怎么发展啊？
看看分离解法与单体式解法的最新研究动向和先进手法。
最新的数值手法
接下来是最新数值手法的话题吧。什么内容呢？
嗯……光看公式没啥感觉……这表示什么呢？
高性能计算 (HPC) 的应对
| 并行化手法 | 概要 | 适用求解器 |
|---|---|---|
| MPI (领域分割) | 分布式内存型。大规模问题的标准 | 全主要求解器 |
| OpenMP | 共享内存型。节点内并行 | 多数求解器 |
| GPU (CUDA/OpenCL) | GPGPU利用。特别在显式法中有效 | LS-DYNA, Fluent等 |
| 混合 MPI+OpenMP | 节点间+节点内并行 | 大规模HPC环境 |
分离解法与单体式解法的故障排除
故障排除
常见错误与对策
老师也为分离解法与单体式解法通宵调试过吗？（笑）
1. 收敛失败
收敛失败具体是什么意思呢？
现象：求解器在指定迭代次数内不收敛而异常终止
可能的原因：
- 网格品质不足（过度扭曲的单元）
- 材料参数设置不适当
- 初始条件不当
- 非线性性太强（荷载步数不足）
对策：
- 实施网格品质检查（纵横比、Jacobian）
- 确认材料参数的单位系
- 将荷载分解为多个步骤（增加子步数）
- 放松收敛判定基准（但要注意精度）
也就是说在有限元法的部分如果不下功夫，后面就要吃苦头。我一定要铭记于心！
2. 非物理的结果
接下来是非物理结果的话题吧。什么内容呢？
现象：应力/位移/温度等出现物理上不现实的值
可能的原因：
- 边界条件设置错误
- 单位系混杂（SI单位与工学单位混淆）
- 单元类型选择不当
- 应力奇点的存在
对策：
- 确认反力总和（力的平衡）
- 确认单位系的一致性
- 重新审视单元类型的适切性
- 奇点排除或子建模
前辈说"收敛失败一定要好