混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

近地小推力转移轨道的加权组合制导策略

 研究了近地小推力转移轨道的制导问题,给出了一种基于局部最优控制律的自主制导算法。推导出了各改进春分点根数对应的局部最优控制律;通过最优推力分配和目标偏差两个策略,对各局部最优控制律进行动态加权组合,从而有效减少了制导律的设计参数。在此基础上,针对燃料最省转移轨道,定义了一种新的发动机开关函数。采用遗传/逐次二次规划混合优化算法计算了最优制导参数。与传统算法相比,该制导算法是一种闭环制导算法,能够实现飞行器的自主制导,并且制导过程中无需对制导参数进行更新。以地球低轨到高轨的小推力转移为例,采用该方法分别求解了时间和燃料最省转移问题,并与传统算法进行了比较分析。数值结果验证了该算法的有效性。     

基于准三维冰形算法的结冰预测技术及应用研究

机翼结冰是威胁民用飞机飞行安全的主要因素之一,准确预测机翼的结冰过程和特点,可为防除冰设计提供依据和支撑。提出了利用二维模拟三维的准三维冰形算法,该算法在保证结冰预测精度的同时,极大地降低了型号结冰计算成本;给出了顺气流和垂直于前缘两种典型民用飞机后掠翼机翼的二维剖面截取方法,并将采用该方法的计算结果与三维后掠机翼的结冰预测结果进行了对比分析。结果表明,相对于顺气流方式,垂直于前缘方式的准三维冰形算法与三维后掠机翼的结果更为接近。     

燃气作动筒式折叠弹翼展开过程分析

为模拟某巡航导弹齿轮-齿条传动作动筒式弹翼展开过程,采用Cook高压气体状态方程计算作动筒内弹道性能,并耦合运动几何关系求解弹翼展开行程。分析得出,弹翼展开过程分为4个阶段,主要影响阶段为展开停滞阶段,并揭示出影响停滞阶段的主要因素。最后,采用C++Builder编制工程实用软件,与试验结果对比表明,该软件可模拟弹翼展开过程,有一定的工程实用价值。     

离箱扰动和折叠翼展开数学模型研究

根据箱式发射导轨与导弹，导弹与折叠翼的约束特点，应用动力学普遍定理和解除约束原理，创建了离箱扰动运动数学模型和拆卸叠翼展开过程计算数学模型，并将计算结果与飞行试验结果作了比较。     

面向非结构混合网格高精度阻力预测的梯度求解方法

针对非结构混合网格的特点,通过改进传统的Green-Gauss梯度求解方法,提出了一种可提高非结构混合网格黏性计算精度的节点型Green-Gauss梯度求解方法。利用改进后的方法,完成了DLR-F4翼身组合体算例的计算和对比分析。改进后的梯度求解方法残差收敛更好,下降量级更多,阻力系数和试验吻合更好,激波区域压力分布和分离区域流场细节的模拟更精确,说明改进后的梯度求解方法有效提高了程序的鲁棒性和阻力预测精度,验证了方法的有效性。采用改进后的方法对第5届AIAA阻力预测研讨会的通用研究模型（CRM）进行了详细的模拟分析,结果表明：改进的梯度求解方法更加适用于非结构混合网格的黏性计算,计算精准度达到国际同类CFD软件水平,进一步验证了改进方法的可靠性。     

折叠翼变体飞行器非定常气动特性实验研究

折叠翼变体飞行器是一种可以在飞行中改变自身气动外形的新型飞行器。研制出了一种折叠翼变体飞行器的风洞实验模型,在风洞实验中测得了模型不同变体位置下的气动力以及进行变体运动时气动力的动态变化过程,并通过PIV实验手段获得模型周围的流场在变体运动过程中的变化情况。结果表明：在机翼变形过程中,折叠翼模型有明显的非定常气动现象产生,而且折叠变形的速度越大,非定常现象越明显。出现非定常现象的主要原因是变体运动对机翼前缘涡的影响。     

大型上单翼飞机机翼三维全场变形测量方案

针对大型上单翼飞机在飞行过程中机翼大挠度变形检测难题,提出了大倾角相机视场下机翼的非接触三维全场变形测量方案。根据上单翼飞机结构特点,将预先标定内参数和相机外参数的共轭相机组安装于飞机垂直尾翼上,采集飞行中的机翼变形图像。首先,提出了大倾角弱相关散斑匹配方法,解决了相机在大倾斜角度状态下采集到的机翼变形弱相关图像相关性差,难以相关匹配的问题。其次,由于测量相机安装于垂直尾翼,飞行测量过程中相机会受到气流扰动产生振动,本文提出了一种相机动态校正方法,通过在机背布置预拉伸刚性不动编码标志点,实时解算基准相机的绝对外参数,进而确定共轭相机的绝对外参数,实现所有测量相机外参数的动态校正。最后,开发了机翼变形全场测量软硬件系统,搭建了缩小比例机翼模型试验台并进行了仿真测量,对系统测量精度进行了比对分析。测量结果验证了本方案的有效性、可行性,对实机测量有一定的指导意义。     

超临界机翼飞行验证机的增升装置设计

为进行超临界机翼气动设计技术的飞行验证,将某教练机改装为飞行验证机,为此必须进行增升装置的重新设计。在保持原型机襟翼平面参数和运动机构不变的条件下,完成了验证机增升装置的气动力设计工作。风洞试验表明,改装成功的验证机增升装置具有良好的气动特性。     

Streamwise-body-force-model for rapid simulation combining internal and external flow fields

A streamwise-body-force-model (SBFM) is developed and applied in the overall flow simulation for the distributed propulsion system, combining internal and external flow fields. In view of axial stage effects, fan or compressor effects could be simplified as body forces along the streamline. These body forces which are functions of local parameters could be added as source terms in Navier-Stokes equations to replace solid boundary conditions of blades and hubs. The val-idation of SBFM with uniform inlet and distortion inlet of compressors shows that pressure perfor-mance characteristics agree well with experimental data. A three-dimensional simulation of the integration configuration, via a blended wing body aircraft with a distributed propulsion system using the SBFM, has been completed. Lift coefficient and drag coefficient agree well with wind tun-nel test results. Results show that to reach the goal of rapid integrated simulation combining inter-nal and external flow fields, the computational fluid dynamics method based on SBFM is reasonable.