快速大时间步长熵条件格式的分辨率研究

提出了高分辨率快速大时间步长熵条件格式的构造方法.用激波管问题对一族熵条件格式进行研究.在精度、步长、限制器方面进行了详细的数值实验,研究了同样计算量下各种格式的表现品质.从理论上保证了大时间步长格式的无振荡性质,从具体的数值实验分析中确定了大时间步长格式的分辨率问题.      

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

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

气膜冷却射流对叶片微细颗粒沉积影响

针对微细颗粒在涡轮叶片表面的沉积问题,采用EI-Batsh沉积模型对涡轮叶片表面微细颗粒沉积情况进行数值仿真,探究压力面冷却射流对颗粒沉积特性的影响.研究表明:沉积主要发生于叶片前缘与压力面,且沉积率随着粒径的增大不断增大,但粒径增大到17 μm后沉积率增加幅度开始变小.存在冷却射流时,射流可以通过吹离和卷吸作用影响小...     

双曲型守恒律方程的一个大时间步长二阶TVD差分格式

本文根据Harten,A.的大时间步长差分分格式构造思想,为双曲型守恒律方程弱解计算构造了一个2K 3点大时间步长二阶显式差分格式——LTS-LF格式,得到了其在CFL限制K下为总变差不增差分格式(TVD格式)。文章按照Roe的方法推广格式到方程组情形,并就Burger’s方程和Euler方程组黎曼问题进行数值试验,结果令人满意。     

歼击机动力装置转速控制系统动态特性非线性仿真研究

本文研究的目的在于弄清燃烧延迟时间,非线性活门结构对歼击机动力装置转速控制系统性能的影响,也较详细地研究了不同非线性活门结构参数对系统性能的影响,从而获得在保证该系统正常工作条件下所允许的燃烧延迟时间及较理想的非线性活门结构。本文应用连续系统离散相似法对该系统进行数字仿真。     

一种适合于工程应用的准C~1连续Bézier三角曲面及其构造方法

本文比较系统地讨论了Clough-Tocher三角形分割模型在Bézier三角曲面设计中的作用。并从工程应用的角度提出了一种以Clough-Tocher分割为基础,旨在原三角形区域上构造9参数Bézier三角曲面的新方法。这种新的9参数插值不仅能够消除Clough-Tother分割产生的畸变插值区域对插值曲面品质的影响,还能够有效地减轻一般9参数三次Bézier三角曲面片之间的尖端连接。本文将从工程应用的角度把这种插值曲面称为准C~1连续的9参数Bézier三角曲面。在一些实际应用中,这种准C~1连续的插值曲面对3D离散数据的拟合效果是令人满意的。     

适于可压缩多尺度流动的紧致型激波捕捉格式

针对可压缩多尺度流动数值模拟特点,研究一种五阶高分辨率紧致型激波捕捉格式——紧致重构加权基本无振荡(CRWENO)格式。该格式利用非线性权系数将低阶紧致格式加权组合以达到高阶精度。在光滑区域蜕化成具有高分辨率的五阶线性紧致格式,在间断附近则能保持计算稳定无振荡。对CRWENO格式、目前广泛使用的加权基本无振荡(WENO)格式及两格式对应的线性格式(即五阶线性迎风格式和五阶紧致格式)进行数值性能研究,评估非线性权系数对格式耗散及频谱特性的影响。使用一维、二维、三维典型算例进行数值试验,探讨线性/非线性、紧致/非紧致格式在可压缩多尺度流动模拟中的优势和不足。结果表明,CRWENO格式在强压缩性流场模拟中能够稳定地捕捉激波,其紧致特性则改善了非线性格式普遍存在的耗散过大、分辨率较差的问题,使其能够清晰捕捉多尺度流动结构。因此,该格式在可压缩多尺度流动模拟中具有较大优势。     

飞行器控制软件的Statechart原型及其验证

为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为时象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层模块定义系统的入口与主流程,接着构造两个并发的子模块：主控模块描述飞行控制与设备管理的状态演变,定时控制模块完成控制输出的实时更新。之后分别从语法、功能及性能3个层面对SCP进行验证与测试,并给出相关实验。该SCP具有层次性、模块化、可视化、可执行和快速反应等特点,适用于各种复杂嵌入式系统(包括有人飞行器和高空高速无人飞行器的飞控系统)的软件规范设计。     

一种改进的MUSCL格式

给出了一种改进的二阶精度的ＭＵＳＣＬ格式，并用来求解Ｅｕｌｅｒ方程，改进后的ＭＵＳＣＬ格式在线化插值步中，用Ｖａｎ Ｌｅｅｒ的插值斜率对特片变量进行插值，并对与熵波、剪切波对应的特片变量使用了小耗散的插值斜率，在迎风步采用Ｒｏｅ的近似黎曼解求得迎风通量。比较一维和二维的计算结果均可以看出，改进后的ＭＵＳＣＬ格式在消除数值振荡的同时，明显提高了流场间断的分辨率。     

基于带波动算子非线性Schr(o)dinger方程数值分析的守恒差分算法

对一类带波动算子的非线性Schr(o)dinger方程进行了数值分析,提出了一个含参数的二阶守恒差分格式,根据参数选取的差异,该格式既可隐式计算也可显式计算.对初值条件进行了中心差分离散,使其具有二阶精度,从而与守恒格式的精度一致.利用矩阵理论证明了差分解的存在惟一性,并利用一个重要的不等式在先验估计的基础上,运用能量估计的方法证明了该格式按无穷范数以二阶精度收敛到真实解.数值实验表明该格式具有较高的计算效率.