研究温度场计算的相关理论知识，主要是通过研究电器产品的数学建模过程，得到PDE和它的边界条件，即构成一个定解问题，再将该定解问题通过变分原理或者Galerkin方法得到一个离散的积分，最后离散化得到代数方程组。
传热学入门
主要是掌握基本方程和几种边界条件。
基本概念
热能传递有三种基本方式：热传导，热对流，热辐射。
热传导指的是物体各部分之间不发生相对位移时，依靠分子、原子及自由电子等微观粒子的热运动而产生的热能传递，遵循的是傅里叶定律。热对流是指由于流体的宏观运动而引起的流体各部分之间发生相对的位移，冷、热流体相互掺混所导致的热量传递过程，仅能发生在流体当中。对流传热的基本计算式是牛顿冷却公式。物体通过电磁波来传递能量的方式称为热辐射。
针对电器产品，我们首要考虑的是电器产品的热传导。
热传导方程及其边界条件
热传导的基本定律是傅里叶定律，热传导的基本方程和边界条件如下:
其中，是导热系数()，是内热源强度()，是热流密度()，是对流换热系数()，是周围介质温度()。
第一类边界条件：边界上的温度或温度分布函数已知。
第二类边界条件：边界上的热流密度（热通量）已知（热传导边界条件）。
第三类边界条件：边界与周围环境介质间的对流传热系数和介质温度已知（对流边界条件）。
有限元离散
为了简化计算，工程师提出了将温度场等效为热路的手段，这种方法虽然简单，但是不精确。想要准确的计算空间中的温度分布还是要求解场的PDE。PDE的解析解基本上不可能求出，所以需要介绍将PDE通过有限元方法离散成代数方程组，也就是形如的矩阵形式的方法。
有限元的基本原理是，通过分网将空间划分为成百上千个单元(比如说二维的三角形单元，三维的四面体单元)，每一个单元都满足同一个PDE。对每一个单元单独分析，即在该单元的范围内将PDE离散为代数方程组，再通过装配得到整个求解域内的代数方程组，最终求解装配后的大型代数方程组得到每一个节点的待求物理量的值。
尽管变分过程或加权余量法对于有限元离散是必要的，但是这个过程并不是通过编程来实现，而且对数学差的工科生（正是在下）而言，这种级别的微积分过程确实有难度。因此，对新手而言，直接根据PDE的形式，找到对应的有限元离散格式，编程计算也就够了。
变分过程
太麻烦了，要学泛函，建议不学这玩意，直接参考加权余量法中的Galerkin方法。反正笔者没学明白（逃。
事实上，通过Galerkin方法离散得到的代数方程组和通过变分得到的代数方程组是一样的。
加权余量法
参见'The finite element method in engineering' P187 \textbf{5.9 WEIGHTED RESIDUAL APPROACH}
加权余量法和变分法一样，都是离散化PDE的手段，但是使用加权余量法是不需要了解变分过程的，应该说这是一种变分的替代手段，这里主要介绍伽辽金法。如果学过数值分析的话，可以感觉到，加权余量法和最小二乘法原理上有相通之处。
一般意义下的加权余量法
是空间中待求的物理量，该物理量在空间中分布的算子方程为。假设在空间中有个固定点，这些固定点的坐标已知，它们的是未知的，那么，可以认为只要求解出这个固定点的，那么空间中任意位置的，都可以通过这个固定点的插值得到。
插值完成后，空间中任意一点的待求量，其中就是已知的每个节点的待求量；是插值后的形函数，只和位置有关；被称为试探解。
尽管完成了插值，但是等号右侧的每个固定点的是未知的。我们无法保证每一点的试探解都能够满足算子方程，除非是真解，但是我们希望和能够尽量接近真解。为了求解出，我们提出一种策略，那就是将空间中所有通过插值得到的试探解代入到算子方程当，如果它们的和能够满足算子方程，那么我们认为固定点处的是接近于真实的的。很明显，这是对整个求解域的积分过程。
但是这个策略本身是有问题的，因为这一组积分只能得到一组关于的关系式，也就是说，对于n个未知节点而言需要n组关系式来求解。如果能够定义n个权函数，保证上述积分在加权的情况下都能够满足要求，我们认为求出的接近真实解。
伽辽金方法
权函数有多种选取方法，Galerkin方法是应用最广泛也是最容易记住的一种方法。Galerkin方法直接取插值后的形函数作为权函数。
加权余量法在有限元当中的应用
之前提到的加权余量法，都是建立在已知空间中个节点的情况下，但是有限元方法是基于单元分析-装配-求解这个过程的，加权余量法仅仅是应用于单元分析当中，将PDE离散成代数方程组，然后装配。
我们可以思考一个问题，假设存在一个二维模型，三角形分网后存在个已知坐标的节点。一般理解上，加权余量法应该直接对这个节点插值，加权积分然后离散，但是事实上在有限元方法中，加权余量法是对每个单元插值，加权积分然后离散，最后装配。这个过程为什么是成立的？也就是说，有限元分析中的加权余量法，其装配的原理是什么？
为此笔者给出自己的理解。对于加权余量法而言，权函数的选取并没有固定的要求，只要满足线性独立的条件既是可以的。对于个节点而言，重要的是获取组线性独立的权函数，至于整个大型方程组中的权函数的形式并不是一个值得关心的问题。将每个单元通过Galerkin方法离散，使得每个单元的误差满足Galerkin方法的要求，并且将单元中的权函数按照节点对应的位置进行装配后，得到新的组权函数，这就够了。此时的大型线性方程组应该是不满足通常意义上对n个节点插值的Galerkin方法的。
温度场有限元中的伽辽金方法
温度场求解域内的PDE为，设，通过Galerkin方法积分得到：
由Green变换（不会，但是这个变换在Laplace方程和Poission方程的有限元求解中都能用上，建议记住）得到：
将(2)代入(1)中，得到：
分析(3)中的第三项，即对边界积分的项，根据三种不同的边界条件分类讨论：
第一类边界条件：在强迫边界条件下这一项是未知的，不能在单元内求解，所以直接忽略该项，装配完成以后在求解过程中直接给该节点赋值，计算出其它点的结果即可。
第二类边界条件：，
第三类边界条件：，
将代入(3)：
综上可得：
离散为代数方程组
考虑三种模型的代数方程组离散：二维平面温度场，二维轴对称温度场，三维温度场。这里给出的是上面的方程求解后的结论，需要编程求解的话直接参考这里即可。
一些必须的几何参数
参考颜威利《电气工程电磁场数值分析》。
二维场中的三角形单元：假设三个节点分别编号为1,2,3，坐标分别为,,。
; ; ;
; ; ;
; ; ;
—— 三角形面积。
二维场中的线单元：假设两个节点分别编号为1,2，坐标分别为,。
—— 线单元长度
三维场中的四面体单元：假设四个节点分别编号为1,2,3,4，坐标分别为,,,。
,,,
,,,
,,,
,,,
——四面体体积
三维场中的三角形单元：和二维场的三角形单元差不多，需要用到的参数只有一个。.
二维平面温度场
温度场求解和磁场求解有个很大的区别就是边界条件的处理。对于磁场来说，基本上只要考虑第一类边界条件，第二类边界条件为0，但是温度场的第二类边界条件和第三类边界条件是普遍存在的。为了处理边界条件，区域内使用三角形单元，边界用线单元，两种类型的单元装配成整个系统进行计算。
三角形单元：，
线单元：第二类边界条件： ，
第三类边界条件： ，，
二维轴对称温度场
关于轴对称温度场的离散方法很多，不同的离散方法会导致些许误差。笔者最初参考的教材是'The Finite Element Method in Engineering'，求出来的结果根本不对。后来检查发现这本书关于第二类边界条件和第三类边界条件离散方法存在一些问题。按照这本书的离散方法，三角形单元和线单元分别求解之后，两种单元的系数矩阵量纲是不同的，右侧向量的量纲也不同，这样的话装配得到的结果自然是错误的。后来找到一篇很古老的文章，《轴对称热传导有限元格式》，该文批判了当时的各种方法（90年代），然后提出了一种自己的计算方法，按照这篇文章给出的全新方法测试，发现和COMSOL的计算结果误差还是挺大的，而且很麻烦，所以就参考了这篇文章引用的文献[1]和文献[2]的方法。
三角形单元：，
其中，.
线单元：第二类边界条件：&，
第三类边界条件：，
其中
三维温度场
三维温度场的求解域内使用四面体单元，边界使用三角形单元。
四面体单元：，
三角形单元：第二类边界条件：&，
第三类边界条件：&，，
COMSOL分网数据的解析
求解之前需要先建模和分网，COMSOL的分网数据含义是很清晰的，它由如下几部分构成：
（1）存在的节点数目，以及各个节点的坐标；
（2）存在几种类型的单元；
（3）各种单元包含了几个节点（四面体单元4个，三角形单元3个，线单元2个，顶点单元1个），所有该单元包括的节点坐标编号，以及每个单元所在的求解域。
值得注意的是这里的节点坐标编号和求解域编号是从0开始的，求解域编号为COMSOL建模后生成的求解域编号-1，所以想要提取某个边界单元的话直接利用分网信息中标出的域即可。