解检验（Solution Verification）

特定问题的离散化误差估算。Richardson外推法和GCI进行不确定性定量化。

使用有限元法（FEM）进行空间离散化。组建要素刚度矩阵，构造全局刚度方程。

使用弱形式（变分形式）转换，采用试函数和形状函数进行Galerkin法定式化。要素类型的选择（低次要素 vs. 高阶要素、完全积分 vs. 低阶积分）直接影响求解精度与计算成本的权衡。

通过直接法（LU分解、Cholesky分解）或迭代法（CG法、GMRES法）求解线性方程组。大规模问题中前处理迭代法效果显著。

1960年代作为NASA结构分析（NASTRAN）开发。MSC Software实现商用化，后来UGS（现Siemens）派生出NX Nastran。2017年MSC被Hexagon AB收购。

1978年由HKS (Hibbitt, Karlsson & Sorensen) 开发。2005年被Dassault Systèmes收购，并整合进SIMULIA品牌。

1970年由Swanson Analysis Systems Inc. (SASI) 开发。基于APDL（Ansys Parametric Design Language）。

在不同求解器间转换模型时，需要注意要素类型的对应关系、材料模型的兼容性、荷载·边界条件的表达差异。特别是高阶要素或特殊要素（内聚要素、用户定义要素等）通常无法在求解器间直接转换。

网格收敛性确认、边界条件合理性验证、材料参数敏感性分析特别重要。

很好！实际动手实践是最好的学习方法。有不懂的地方随时来问。

用形状函数 $N_i$ 近似未知量：

用公式表达就这样。

用公式表达就这样。

连续体的支配方程离散化后，得到这样的代数方程组：

这里 $[K]$ 是全局刚度矩阵（或等效系统矩阵），$\{u\}$ 是未知节点变量向量，$\{F\}$ 是外力向量。

收敛速度：二次要素时误差按 $O(h^2)$ 阶降低（光滑解的情况）

解检验（Solution Verification）的实务分析流程和注意要点。

1. 前处理 (Pre-processing)

2. 求解 (Solving)

3. 后处理 (Post-processing)

1960年代作为NASA结构分析（NASTRAN）开发。MSC Software实现商用化，后来UGS（现Siemens）派生出NX Nastran。2017年MSC被Hexagon AB收购。

很好！实际动手实践是最好的学习方法。有不懂的地方随时来问。

支持解检验（Solution Verification）的主要商用CAE工具的功能对比与各产品的历史背景。

1960年代作为NASA结构分析（NASTRAN）开发。MSC Software实现商用化，后来UGS（现Siemens）派生出NX Nastran。2017年MSC被Hexagon AB收购。

1978年由HKS (Hibbitt, Karlsson & Sorensen) 开发。2005年被Dassault Systèmes收购，并整合进SIMULIA品牌。

1970年由Swanson Analysis Systems Inc. (SASI) 开发。基于APDL（Ansys Parametric Design Language）。

Fluent Inc.开发的。2006年被Ansys收购。非结构网格基础的通用CFD求解器。

进行解检验（Solution Verification）时工具选择要考虑这些：