矩形截面高超声速进气道气动设计及实验验证

首先对矩形截面高超声速进气道设计方法进行了研究,给出了设计流程,并据此设计了矩形截面高超声速进气道.接着对其进行了三维数值仿真研究,给出了进气道性能参数随来流马赫数、飞行迎角及飞行高度的变化规律.最后设计了实验模型,并进行了高焓风洞实验验证.数值模拟及高焓风洞实验验证均表明:本文采用的设计方法可达到预期的设计效果,设计的进气道达到了相应的设计要求,本文采用的数值仿真方法可以较为准确地模拟高超声速进气道内的流动,数值模拟结果可信.     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

民机电传飞控系统的飞行品质适航性设计与验证

现代民机多采用电传飞控系统,它使飞机的飞行品质发生了改变,但当前的适航规章并不完全适用于采用电传飞控系统的现代民机,因此,有必要对采用电传飞控系统的民机飞行品质的适航性设计与验证进行研究。     

基于Richardson插值法的CFD验证和确认方法的研究

针对典型高超声速流动问题(T2-97模型),利用Richardson插值法,研究了多套连续变化网格下数值解的空间离散误差、收敛性。通过网格收敛性研究,完成了CFD的验证过程。利用不确定度分析方法,结合实验数据,开展了该问题的确认。研究表明:针对所选问题,在现有实验数据及计算条件下,该问题的CFD得到了验证与确认。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

旋翼/机身组合模型试验台技术改进及验证

中国空气动力研究与发展中心研制的旋翼/机身组合模型试验台,具有阻塞度小、功率大、支架干扰小等优点.近年来,试验台通过配套研制标模系统、改进测量系统及旋翼操纵系统标定方法等工作,使试验台的水平和能力得到了进一步的提升.验证试验表明:该试验台技术先进、性能指标优良,安全稳定性好,试验数据精准度高,可作为直升机型号研制和课题研究可靠的试验平台.     

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈.分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法.该方法提高了验证效率,缩短了整个设计验证周期.     

不同运行模式下跑道容量评估技术研究

跑道容量的大小是机场能否进行高效率运行的一个关键因素,准确评估出跑道的理论容量对机场的实际运行有着至关重要的作用.对单跑道的理论容量进行建模,在单跑道的基础上研究了近距跑道与远距跑道的不同运行模式下的跑道容量数学模型,根据相关机场具体的数据对模型进行验证,并用SIMMOD PLUS仿真软件对机场的场面实际运行情况进行仿真,通过计算出的跑道理论容量与仿真出的空侧容量对比,结果表明机场跑道理论容量计算模型具有较好的实用性.