中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

再生冷却推力室准二维传热数值计算

为了提高液体火箭发动机传热计算精度,建立了再生冷却推力室准二维传热计算的通用方法。冷却通道内考虑了冷却剂层间导热导致的温度分层效应,燃气侧对流换热既可采用传统Bartz公式,又可直接求解边界层控制方程得到热流密度,最终基于MATLAB开发完成了通用的再生冷却推力室准二维传热程序。利用该程序对某氢氧发动机进行了传热计算,并与一维传热程序和三维CFD传热计算结果进行了对比,结果表明：准二维传热计算方法可以计算出冷却通道内温度分层情况,冷却剂温升、流阻计算值与热试数据吻合较好,误差在10%以内,优于一维传热结果,验证了计算方法的有效性;直接求解边界层控制方程得到的热流密度与三维计算结果吻合较好;准二维传热计算时间短,效率高。     

微重力下低温液氪贮箱热力学特性

在轨滑行阶段液氪贮箱长期处于微重力环境。为研究其内部传热和相变过程对大轨道转移飞行器贮供单元工作性能的影响,建立了微重力液氪贮箱CFD模型,采用VOF法及Lee气液相变理论,研究了重力水平、初始液氪温度、初始充满率对微重力下液氪贮箱热分层及压力变化的影响。结果表明:常重力g0下贮箱的压升率分别为10^-4 g₀,10^-5 g₀,10^-6 g₀的1.84倍、1.98倍、2.04倍,微重力下温度分层程度(2～3 K)远低于常重力(90 K);不同初始液氪温度下贮箱压力随时间呈先降低后升高的变化趋势,且初始液氪温度越低,贮箱压升率越小;微重力下液氪贮箱存在临界初始充满率,当初始充满率Φ>70%时贮箱压升率随初始充满率的升高而增大,当Φ<70%时贮箱压升率随初始充满率的升高而减小。     

基于分层介质模型的HF雷达高度计火星回波仿真研究

火星次表层中的水探测是当前深空探测领域中的热门问题之一. 高频(HF)雷达高度计具有较强的穿透能力, 且能同时实现距离和功率测量, 是火星次表层探测的重要手段. 介绍了高频雷达高度计系统的原理和设计, 通过分析高度计电磁脉冲与多层光滑介质之间的相互作用, 得出其回波功 率随时间变化的模型, 并考虑了表面粗糙度对表面回波功率的影响. 选用典型的火星分层介质模型, 对其介电常数特性和高度计回波波形 进行了仿真. 仿真结果表明, 采用高频雷达高度计系统可实现对火星次表 层介电特性垂直廓线的反演, 对火星中水的识别具有重要 作用.      

综合模块化航空电子系统节能分层调度的设计(英文)

近年来,综合模块化航空电子(Integrated Modular Avionics,IMA)构架逐渐流行,并通过引入资源分区的概念取代了传统的联合式系统构架。研究了IMA构架下分层调度的设计问题。调度模型通过强时间分区,使多个强实时应用方便地集成在一个单处理器平台。推导出分区周期、分区系数以及可调度性在实时条件下的数学关系,并提出了分区参数的优化算法。考虑具有任意时限的实时任务模型,提高了算法的通用性。在分层调度的基础上,通过有效利用松弛时间,提出一种能量优化方法,进一步减少了飞行器上嵌入式系统的能耗。实验结果表明,本文提出的系统设计方法在保证硬实时需求的基础上,有效的降低能耗达 14%。     

基于灰色理论的复杂系统多故障模糊诊断

航天、核电等复杂系统源发故障概率通常难于获取,由此导致基于最大后验概率准则的诊断方法失效。针对上述问题,从测试可靠性先验概率入手,提出了一种基于相关矩阵和灰色系统理论的故障诊断方法,通过对系统建立故障-测试相关矩阵,生成有排序的测试报警概率矩阵,并利用灰色关联度衡量测试结果向量与故障特征向量的接近度,实现了对多发故障的模糊诊断。实验结果表明,该方法在诊断指标权重调整、诊断精细度、重点关注故障检出等方面优势明显,诊断结论正确率满足实用需求。     

基于损伤权重的混合多钉连接件疲劳寿命预测方法

复合材料与金属材料混合多钉连接形式是当代飞机结构中最常见的连接形式,因此对于混合多钉连接件疲劳性能的研究有助于提高对飞机结构疲劳损伤的认知。针对以Ti-6Al-4V钛合金为螺栓的ZT7H/QY9611碳纤维增强树脂基复合材料连接板与30CrMnSiNi2A金属连接板混合多钉连接结构进行数值分析和试验研究。利用有限元方法,分别对复合材料和紧固件进行疲劳损伤预测,估算复合材料连接板上螺栓孔附近的损伤,依据复合材料和紧固件的损伤量所占权重,提出了以紧固件分布和复合材料连接板铺层层数为参数的经验公式,进而有效提高混合多钉连接结构疲劳寿命的预测精度。利用试验结果将螺栓孔损伤形式进行分类讨论,探索混合多钉连接件的损伤演化方式;利用C扫描技术得到复合材料分层损伤结果,与模拟结果进行对比分析,进一步解释了模型的合理性。与试验结果对比可以看到,考虑损伤权重的寿命预测值与试验值的对数误差仅为1.1%,相对于不考虑损伤权重方法的8.4%的对数误差,该模型寿命预测精度显著提高。     

基于割集的三维模型模块划分与表示方法研究

为了解决大规模图进行同构分析导致的组合爆炸问题,从降低图复杂度出发,本文提出了一种模块划分与分层表示方法.建立了表示三维模型的分层连接图表示方法,制定了模块划分的尺寸比例约束和连接强度约束,并在此基础上提出了基于割集的三维模型模块划分算法,以某型飞机襟翼为实例验证了方法的正确性和有效性.     

高超声速风洞现代试验设计方法研究

现代试验设计（Modern Design of Experiments,MDOE）方法是提升风洞试验效率的一种重要技术途径。基于拉丁超立方的现代试验设计方法尽管理论效率很高,但其设计的随机采样点在与风洞模型姿态自动控制系统配合时,实际效率会显著下降。根据现有风洞试验设备控制系统走刀特点,针对多变量风洞试验设计需求,提出一种基于分层拉丁超立方的现代风洞试验设计方法,并将其应用于马赫数6的风洞模型的二变量试验和三变量试验设计。在满足精度的情况下,将MDOE方法与传统试验设计（One Factor at A Time,OFAT）方法进行对比,结果表明:二变量试验中,MDOE方法仅需OFAT方法20%左右的样本量;三变量试验中,MDOE方法仅需OFAT方法30%左右的样本量。与经典拉丁超立方试验设计方法相比,本文所发展的分层拉丁超立方试验设计方法结合现有风洞试验设备,可有效减少试验车次,提高试验效率,缩短试验周期。     

发动机进气道消音板分层的分析

发动机进气道消音板是现代飞机降低噪声的重要装置之一,本文详细介绍了消音板分层的形成原因,检查及修理方法,并提出了预防措施