基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

基于熵限制的Baldwin-Lomax湍流模型

针对Baldwin-Lomax(BL)模型在模拟超声速复杂流动中的不足,提出一种基于熵限制的新型修正方式.分别采用原始的BL模型(BL-origin)、修正后的BL模型(BL-entropy)以及Wilcox k-ω两方程模型对超声速平板、超声速二维压缩拐角以及膨胀-压缩拐角3个典型算例进行计算,结果表明BL-entropy 能够较好地获取长度尺度进而得到均匀合理的涡粘性分布.同时,该修正方式简单高效并且适用于其他与超声速边界层有关的模型,具有较大的发展潜力.     

高超声速进气道边界层强制转捩试验

在FL-31高超声速风洞分别开展了进气道的自然转捩和强制转捩风洞试验,试验Ma数为5、6和7,迎角为1°.通过红外热图得到了壁面的热流分布,从中得到了转捩区域.强制转捩装置为钻石型涡流发生器.随着涡流发生器高度的增加,强制转捩区域逐渐前移,得到了涡流发生器的有效高度,实现了强制转捩的目的.     

CFD方法在联结翼飞机方案设计中的应用

针对计算流体力学(CFD)软件在联结翼气动布局设计中应用的问题，研究如何快速、自动地生成CFD软件所需的输入数据的方法。实现这一方法的要点有：(1)建立一个合理的联结翼飞机外形的参数化几何模型；(2)基于这组参数，开发出能自动地生成CFD软件(MGAERO)所需输入数据文件的程序。计算实例表明，应用本文所提出的方法，可快速地对各种联结翼飞机方案进行气动特性分析，从而大大缩短了飞机方案设计中气动分析的时间。     

基于嵌套网格和计入尾迹影响的旋翼流场数值模拟

给出了三维Euler方程数值模拟悬停状态旋翼流场的方法和模型。为充分考虑旋翼尾迹对流场的影响,采用了由动量理论导出的远场边界条件和由尾迹诱导速度代入滑移条件而构造的新翼面边界条件。为减少尾迹数值耗散和便于添加上述边界条件,采用了嵌套网格方法。针对嵌套网格中关键的贡献单元搜寻问题,本文采用一种伪贡献单元搜寻法。应用上述方法进行了算例计算,给出了有无尾迹修正时的旋翼桨叶表面压力分布和沿展向升力分布的计算结果,并与可得到的实验数据进行了对比。此外,从计算的等涡量线图上分析了旋翼尾迹流场畸变的发展趋势,表明了Euler方程法在旋翼涡尾迹捕捉方面的能力。     

基于STEP-NC的数控车削加工仿真系统

提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工具V isua l C 和O penGL。最后指出了本文研究对于STEP-NC数控加工研究的意义。     

基于非定常低速预处理和DES的三角翼数值模拟

发展出一套基于低速预处理技术采用SA-DES和SST-DES模型,对三维低速非定常流动进行数值模拟的方法.采用非结构混合网格有限体积方法求解非定常流场,时间离散采用基于LU-SGS隐式格式的双时间步长方法.对非定常低速预处理方法进行了推导和分析,并应用该方法对大攻角三角翼的非定常流场进行了数值模拟,对不同站位压强分布与试验值和参考文献值进行了对比,吻合较好.     

离散速度方法及其在跨流域问题中的应用研究进展

往返大气层跨流域飞行器的气动力和气动热计算一直是当前流体力学研究的难点和热点之一。由于该类飞行器面临的流动场景不再是单一的连续流或稀薄流,采用Navier-Stokes方程求解器或DSMC方法均不能获得全流域的准确结果。近年来,以不依赖于连续性假设的Boltzmann模型方程为基础,通过在位置空间和速度空间同时离散求解该方程,实现了跨流域问题的统一求解。本文对该类算法的研究进展进行回顾和分析,着重介绍气体动理论统一算法（Gas kinetic unified algorithm, GKUA）、统一气体动理学格式（Unified gas kinetic scheme, UGKS）和改进离散速度方法（Improved discrete velocity method, IDVM）3种数值途径,分析它们的基本假设和实现方式,关注它们目前取得的进展和应用情况。同时,本文还将IDVM进一步扩展到非定常情形,以便用于非定常跨流域问题求解。最后,本文对该类算法存在的一些问题进行讨论,期望在后续的研究中能予以解决。     

三维流场的计算干涉方法

计算干涉技术通过试验图像和计算图像相比较，可以验证CFD的有效性，是研究复杂流场的有力工具。作者根据M-Z干涉仪的光学成像原理，用计算机仿真实现了将数值计算获得的二维、轴对称和三维的复杂流体的密度场转换为“无限条纹”和“有限条纹”的干涉图像，尤其是在处理三维流场时，采用流场重构的方法，达到了很好的效果。     

三维非结构网格的生成及其应用

采用阵面推进法生成了高质量的三维四面体非结构网格,该方法的特点是在生成单元的同时引入结点,与其他预布结点的方法相比,其好处是能更好地控制网格单元尺度在整个计算域的合理２并提高网格质量。用Ｄｅｌａｕｎａｙ方法连接存储有控制参数的结点生成了背景网格。网格生成过程中采用了合理的数据结构,有效地提高了程序运行效果,最后给出了Ｍ６机翼的数值算例。