基于灰色关联分析的临近空间飞艇虚拟试验模型验证

为提高临近空间飞艇虚拟试验模型的可信度和精确度,提出了一种基于灰色关联分析的虚拟试验模型验证方法.首先,具体介绍了临近空间飞艇虚拟试验模型的组成部分;其次,详细阐述了灰色关联分析方法及其计算流程,并通过算例验证了方法有效性;最后,基于灰色关联分析方法,以某临近空间飞艇平台的囊体温度和囊体压力为典型应用对临近空间飞艇关键...     

考虑二次本构关系的湍流模型对翼身组合体阻力预测的影响分析

使用自行发展的MFlow求解器对第六届AIAA阻力预测会议的翼身组合体外形进行了数值模拟研究。在文章中着重对比了线性涡黏模型和考虑二次本构关系的湍流模型的数值模拟结果,并与试验结果进行了比较。研究发现,考虑二次本构关系的湍流模型能够比较准确地预测翼身组合体的气动特性,而线性涡黏模型从迎角3.5°开始,高估了翼身结合处的分离流动,导致预测的气动力与试验结果差异较大。对翼身结合处局部流动和压力分布的详细分析,展示了两种模型预测的气动特性差别很大的原因。     

从酝酿到决策——民用飞机预发展阶段工作分析

对比军机和民机项目研制目标的差异，指出民机项目的最终目标是追求商业成功。通过对民机项目各阶段投入比例的对比，强调了预发展阶段有奠定项目基调、指明发展方向和降低研制风险的作用,明确了预发展阶段工作的两大任务是飞机定义和概念方案迭代、优化,并对预发展阶段的工作内容进行划分，将其分为市场分析与飞机定义、可行性研究及初步设计三部分内容，阐述了各部分的承接关系、内部工作流程与做法。指出市场分析与飞机定义部分的输出成果是以飞机定义文件呈现，并由飞机定义评审会确定；可行性研究部分的重点是方案的展开和迭代，其中市场验证是方案优选的重要参考依据；初步设计部分要持续关注市场验证与技术环境研究工作。最后总结了民用飞机预发展阶段工作的市场指向性、科学性和相关投入的必要性。     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

无人机地面座舱语音控制系统验证平台开发

介绍了一种面向无人机地面座舱的语音控制系统的综合验证平台的设计方案,从系统与实现层面对构成平台的各个组成部分进行了具体功能阐述,并提出了一种动态显示语音指令控件的配置格式,为无人机语音控制系统的测试提供了一种新的解决方案。     

直升机旋翼塔总体设计与研究

为对新型直升机主旋翼系统进行充分地面验证,本文提出一种直升机旋翼塔总体设计方案,通过对设计输入、总体方案、塔体设计、驱动系统、测试系统、标定工装、试验厂房等方面进行总体设计与研究,制订了直升机旋翼塔总体设计方案,并开展了旋翼塔CAE建模和分析。CAE分析结果表明,旋翼塔模态等关键参数符合直升机主旋翼系统地面验证要求,证明了该直升机旋翼塔总体设计方案的可行性,本研究可为各类型直升机主旋翼系统的产品研发、地面验证提供借鉴和参考。     

基于缩比模型的全尺寸飞机纵向Ⅰ类PIO预测

驾驶员诱发振荡（PIO）对飞机的飞行安全构成严重威胁，在进行全尺寸飞机PIO特性评估飞行试验之前，利用与全尺寸飞机动力学相似的缩比模型进行飞行试验，对全尺寸飞机的PIO特性进行初步评估，可以达到节约试验成本和降低试验风险的目的。针对驾驶杆操纵到指令形成过程中的时间延迟这一因素诱发的纵向Ⅰ类PIO，选取带宽准则和Neal-Smith准则作为评定准则，分析了全尺寸飞机和缩比模型对应PIO评定参数的相似比例关系，并建立了基于缩比模型的全尺寸飞机纵向Ⅰ类PIO预测方法。以某型军用运输机及其缩比模型作为算例飞机进行了仿真验证，验证结果表明:分析得到的相似比例关系是正确的，基于缩比模型试验数据可以较为准确地评估全尺寸飞机的Ⅰ类PIO特性。