CFD理论过渡到编程的最简单教程

CFD!论过渡到编程的傻瓜入门教程（注：这是一篇不知道谁写的介绍一维无粘可压缩Euler方程，以及如何编程实现求解该方程的论文。作者从最基本的概念出发，深入浅出的讲解了控制方程，有限体积格式，MSUCL法，限制器，Roe格式等相关知识。这篇论文我觉得有利于大家学习CF两程的相关知识，所以推荐给大家。文章的后面附有我写的程序（C语言），用于求解一维激波管问题，大家有兴趣可以看看（程序中加了注释说明）胡偶2011）借宝地写几个小短文，介绍CFD的一些实际的入门知识。主要是因为这里支持Latex,写起来比较方便。CFD计算流体力学，是一个挺难的学科，涉及流体力学、数值分析和计算机算法，还有计算机图形学的一些知识。尤其是有关偏微分方程数值分析的东西，不是那么容易入门。大多数图书，偏重数学原理而不重实际动手，因为作者都把读者当做已经掌握基础知识的科班学生了。所以数学基础不那么好的读者往往看得很吃力，看了还不知道怎么实现。本人当年虽说是学航天工程的，但是那时本科教育已经退步，基础的流体力学课被砍得只剩下一维气体动力学了，因此自学CFD的时候也是头晕眼花。不知道怎么实现，也很难找到教学代码一一那时候网络还不发达，只在教研室的故纸堆里搜罗到一些完全没有注释，编程风格也不好的冗长代码，硬着头皮分析。后来网上淘到一些代码研读，结合书籍论文才慢慢入门。可以说中间没有老师教，后来读博士为了混学分上过CF北门课程，不过那时候我已经都掌握课堂上那些了。回想自己入门艰辛，不免有一个想法一一写点通俗易懂的CFD入门短文给师弟师妹们。本人不打算搞得很系统，而是希望能结合实际，阐明一些最基本的概念和手段，其中一些复杂的道理只是点到为止。目前也没有具体的计划，想到哪里写到哪里，因此可能会很零散。但是我争取让初学CFD的人能够了解一些基本的东西，看过之后，会知道一个CFD代码怎么炼成的（这“炼”字好像很流行啊）。欢迎大家提出意见，这样我尽可能的可以追加一些修改和解释。言归正传，第一部分，我打算介绍一个最基本的算例，一维激波管问题。说白了就是一根两端封闭的管子，中间有个隔板，隔板左边和右边的气体状态（密度、速度、压力）不一样，突然把隔板抽去，管子内的气体怎么运动。这是个一维问题，被称作黎曼间断问题，好像是黎曼最初研究双曲微分方程的时候提出的一个问题，用一维无粘可压缩Euler方程就可以描述了。（"+符=。）加I_q1«r2Sz一如E［或0国+-可_凸I拄十dx一"这里E=+EP=（7-这个方程就是描述的气体密度P、动量夕”和能量QE随时间的变化（品）与它们各自的流量（密度流量户篁,动量流量m+p,能量流量，石"+PU）随空间变化（弟）的关系。在CFD中通常把这个方程写成矢量形式学+票=。这里rpQ=pu[pEpuF—puu+ppEu+pu进一步可以写成散度形式翁+『F=0一定要熟悉这种矢量形式以上是控制方程，下面说说求解思路。可压缩流动计算中，有限体积(FVM是最广泛使用的算法，其他算法多多少少都和FVM有些联系或者共同的思路。了解了FVM学习其他高级点的算法(比如目前比较热门的间断有限元、谱FVM谱FDM就好说点了。针对一个微元控制体[叫可，把Euler方程在空间积分用微积分知识可以得到西+Aj--u也就是说控制体内气体状态平均值的变化是控制体界面上流通量的结果。因此我们要计算Q的演化，关键问题是计算控制体界面上的F。FVM就是以这个积分关系式出发，把整个流场划分为许多小控制体，每个控制体和周围相邻的某个控制体共享一个界面，通过计算每个界面上的通量来得到相邻控制体之间的影响，一旦每个控制体的变化得到，整个流场的变化也就知道了。所以，再强调一次，关键问题是计算控制体界面上的F。初学者会说，这个不难，把界面『上的插值得到，然后就可以计算F/。有道理！咱们画个图，有三个小控制体i-1至M+1,中间的“|”表示界面,控制体i右边的界面用z+5表示，左边的就是2-70Ii-1IiIi+1I好，下个问题：每个小控制体长度都是2如何插值计算界面i+2上的""I最自然的想法就是：取两边的平均值呗，n__3叶*—2但是很不幸，这是不行的。那么换个方法直接平均得到己计和口_玛+玛+:E叶与-12还是很不行，这样也不行。我靠，这是为什么这明明是符合微积分里面的知识啊这个道理有点复杂，说开了去可以讲一本书，可以说从50年代到70年代，CFD科学家就在琢磨这个问题。这里，初学者只需要记住这个结论：对于流动问题，不可以这样简单取平均值来插值或者差分。如果你非要想知道这个究竟，我现在也不想给你讲清楚，因为我眼下的目的是让你快速上手，而且该不刨根问底的时候就不要刨根问底，这也是初学阶段一种重要的学习方法。好了，既然目的只是为了求Ei+冷，我在这里，只告诉你一种计算方法，也是非常重要、非常流行的一种方法。简单的说，就是假设流动状态在界面是不连续的，先计算出界面*+/两边q的值，和再由它们用某种方法计算出E计九上述方法是非常重要的，是由一个苏联人Godunov在50年代首创的，后来被发展成为通用Godunov方法，著名的ENO/WEN就是其中的一种。好了，现在的问题是：i怎么确定Q—+和Q计+2怎么计算寺对于第一个问题，Godunov在他的论文中，是假设每个控制体中Q是1二Qi均匀分布的，因此.Q口二Q,十1第二个问题，Godunov采用了精确黎曼解来计算瓦十工什么是“精确黎曼解"，就是计算这个激波管问题的精确解。既然有精确解，那还费功夫搞这些FVM算法干什么因为只有这种简单一维问题有精确解，稍微复杂一点就不行了。精确解也比较麻烦，要分析5种情况，用牛顿法迭代求解（牛顿法是什么看数值计算的书去，哦，算了，现在暂时可以不必看）。这是最初Godunov的方法，后来在这个思想的基础上，各种变体都出Q一寸F.^1来了。也不过是在这两个问题上做文章，怎么确定计怎么计算叶国Godunov假设的是每个小控制体内是均匀分布，也就是所谓分段常数(piecewiseconstant),所以后来有分段线性(picewiselinear)或者分段二次分布(picewiseparabolic),到后来ENO/WENO来，那这个假设的多项式次数就继续往上走了。都是用多项式近似的，这是数值计算中的一个强大工具，你可以在很多地方看到这种近似。Godunov用的是精确黎曼解，太复杂太慢，也不必要，所以后来就有各种近似黎曼解,最有名的是Roe求解器、HLL求解器和Osher求解器，都是对精确黎曼解做的简化。这个多项式的阶数是和计算精度密切相关的，阶数越高，误差就越小。不过一般来说，分段线性就能得到不错的结果了，所以工程中都是用这个，Fluent、Fastran以及NASA勺CFL3DOverFlow都是用这个。而黎曼求解器对精度的影响不是那么大，但是对整个算法的物理适用性有影响，也就是说某种近似黎曼求解器可能对某些流动问题不合适，比如单纯的Roe对于钝头体的脱体激波会算得乱七八糟，后来加了嫡修正才算搞定。上次(node/399)说到了求解可压缩流动的一个重要算法，通用Godunov方法。其两个主要步骤就是1怎么确定Q计小和Q计*2怎么计算"+寺这里我们给出第一点一个具体的实现方法，就是基于原始变量的MUSC格式(以下简称MUSCLo它是一种很简单的格式，而且具有足够的精度，NASAI名的CFL3Dt件就是使用了这个格式，大家可以去它的主页()上看手册，里面空间离散那一章清楚的写着。MUSC暇设控制体内原始变量（就是Q）的分布是一次或者二次多项式，如果得到了这个多项式，就可以求出控制体i左右两个界面的一侧的值4+4和Qt。我们以压力p为例来说明怎么构造这个多项式。这里我只针对二次多项式来讲解，你看完之后肯定能自己推导出一次多项式的结果（如果你搞不定，那我对你的智商表示怀疑）。ok开始假设△工=1,这个假设不影响最终结论，因为你总可以把一个区间线性的变换到长度为1的区间。假设压力p在控制体i内部的分布是一个二次多项式+控制体i的中心处于三二。处，左右两个界面就是一亍和十人这里先强调一个问题，在FVM中，每个控制体内的求解出来的变量实际上是这个控制体内的平均值所以，仇=1学加?十bifc）i理3/3++cz］答:我们知道瓦一【，瓦和物+1,等距网格情况下—♦和。+寺处的导数可以近似表示为£1I_产△丁=A-R-i患|叶产N"—跖1一Pi那么『'（一'）=（2aJ-+6）L__i—ft—a—△一、3今任上2日'a，'”工-。（这里错了，应该是2ax+b）7（+去）=〜一十圳工二十寺二b+口=△十由上述三个有关a,b和c的方程，我们可以得到At-A-以二2L,At+217国—2-苴一匚二科24-这样就可以得到f（x）的表达式了，由此可以算出口十母和“之》通常MUSC格式写成如下形式+W+（l+W]92母二在—g（i—动d！+口+*）△『]k=1/3对应我们的推导结果（二次多项式假设）。但是这不是最终形式。如果直接用这个公式，就会导致流场在激波（间断）附近的振荡。因为直接用二次多项式去逼近一个间断，会导致这样的效果。所以科学家们提出要对间断附近的斜率有所限制，因此引入了一个非常重要的修改一一斜率限制器。加入斜率限制器后，上述公式就有点变化。叫=&+和1-皿）+（1+3）△力二瓦-++这里与工是VanAlbada限制器_2父任+t$『二否产而际七是一个小数（f=1X10-C）,以防止分母为0密度和速度通过同样的方法来搞定。密度、速度和压力被称作原始变量，所以上述方法是基于原始变量的MUSCL此外还有基于特征变量的MUSCL要复杂一点，但是被认为适合更高精度的格式。然而一般计算中，基于原始变量的MUSC由于具有足够的精度、简单的形式和较低的代价而被广泛使用。OK,搞定了。下面进入第二点，怎么求E计基关于这一点，我不打算做详细介绍了，直接使用现有的近似黎曼解就可以了，都是通过和Q=*计算得到巴十七比如Roe因为形式简单，而非常流行。在CFL3谕件主页（）上看手册，附录C的。想了一下，还是把Roe求解器稍微说说吧，力求比较完整。但是不要指望我把Roe求解器解释清楚，因为这个不是很容易三言两语说清的。Roe求解器的数学形式是这样的玛+广眄Q#+啊卬]-泅-显然这个公式的第一项是一个中心差分形式，先前说过简单的中心差分不可行，原因是耗散不足导致振荡，说得通俗点就像一个弹簧，如果缺乏耗散（阻尼）它就会一直振荡。“耗散”这个术语在激波捕捉格式中是最常见的。第二项的作用就是提供足够的耗散了这里Q[+•《和0计/已经用MUSC求得了，F的定义在第一讲中已经介绍了。只有是还没说过的。这个矩阵可以写成特征矩阵和特征向量矩阵的形式A=R-AR+而|A|=R一|A|R十A,R,R-和A的具体表达式在许多书上都有，而且这里的矩阵表达有问题，所以就不写了。闺叶弓是由内十导、巴十」和立十考代入A计算得到。而巴十寺、叫+,和口叶多采用所谓Roe平均值P>+|=J/P一出”二g4ffl+>一后后这才是Roe求解器关键的地方！总结一下，就是用Roe平均计算界面上的气体状态Q叶"然后计算得到•十X,这样E+学就可以得到了。如果有时间，我后面会找一个代码逐句分析一下。总之，计算F£+4还是很不直接的。构造近似黎曼解是挺有学问的，需要对气体动力学的物理和数学方面有较深的理解。通常，如果不是做基础研究，你只需要知道它们的特点，会用它们就可以了，而不必深究它们怎么推导出来的。附录程序：（新建一个.c类型文件，将下面的程序复制粘贴到里面，就可以运行了）**************************************************本程序用于求解一维无粘可压缩欧拉方程(激波管问题)运用DummyCell处理边界条件；通量计算方式：AUSMScheme;重构方法：MUSC方法限制器：VanAlbada限制器时间离散：四步Runge-Kutta方法****************************************************/#include""#include""#include""#include""#include""#include""#defineh(1/c=(xi+h/2)+i*h;lag=0;x=cell[i].xc;if(x<{cell[i].U[0]=;cell[i].U[1]=;cell[i].U[2]=;}else{cell[i].U[0]=;cell[i].U[1]=;cell[i].U[2]=;}SolveUtoW(cell[i].W,cell[i].U);c,cell[i].U[0],cell[i].U[1],cell[i].U[2]);getchar();lag==1)(cell[i].U[0]=;cell[i].U[1]=;cell[i].U[2]=;SolveUtoW(cell[i].W,U);)elseif(cell[i].flag==2)(cell[i].U[0]=;cell[i].U[1]=;cell[i].U[2]=;SolveUtoW(cell[i].W,U);)))URURURURlag==0)(,cell[i].U,cell[i+1].U,cell[i+2].U,UL,UR);,cell[i+1].U,Fp);,cell[i-1].U,cell[i].U,cell[i+1].U,UL,UR);,cell[i].U,Fm);[j]=-(Fp[j]-Fm[j])/h;))