实时软件测试用例构造的充要策略研究

机空与国防领域正呈现实时软件密集的趋势。这些软件可靠性要求高且通常规模较大，测试是一项艰巨的工作。如何使测试做到充分且必要是十分重要的研究课题。本文在分材实时软件特征的基础上，针对程序正确性测试，从任务组合等价类划分两个主要环节，探讨了测试用例构造的充要策略，并举出一具体实例。     

分开式与混合式排气喷管气动特性对比研究

通过内外流场的3维数值模拟,考察多种结构形式的V形齿和波瓣混合器分别对分开式和混合式排气喷管气动特性的影响,此外,比较了涵道比为7一级的分开式和混合式2种喷管在起飞和巡航状态下的推力性能,以期为大涵道比涡扇发动机排气系统的方案选择和气动设计提供参考和指导.计算结果表明：内外交错型V形尾缘十分显著地加强了分开排气喷管尾喷流的掺混,并且造成的推力损失不大;内窄外宽型尾缘的波瓣混合器有利于混合排气喷管气动性能的提高;在7一级的涵道比下,混合排气喷管的推力性能要优于分开排气喷管的.     

飞机薄壁件铆接过程变形分析与数值模拟

铆接是飞机薄壁件装配中应用最广泛的连接方式,有效分析和预测铆接变形对提高飞机铆接结构的性能、疲劳和损伤至关重要。针对铆接变形进行理论分析和数值模拟,并研究了被连接件接合面的应力应变分布。首先建立有限元模型,根据铆接力与镦头尺寸之间的关系验证模型有效性;其次根据铆钉变形特点和材料塑性流动,将铆接过程变形划分为6个阶段;最后分析了不同铆接力作用下钉孔的扩张变形,以及对被连接件接合面应力应变场分布的影响。结果表明,随着铆接力的增大,钉孔变形量增大,且变形量沿被连接件厚度方向极不均匀;同时接合面处于压缩应力状态的范围扩大,铆接结构的抗疲劳性能提高,但铆接力的影响范围有限。     

离心压缩机叶片载荷分析

本文通过对常用叶片载荷型式的分析,推荐一种较理想的叶片载荷型式,并展示高效叶轮的设计实例。 根据欧拉方程,对于理想流体的绝热流动,单位质量流体通过叶轮所获得的功可用理论能量头h_(th)表示:     

适应未来大型飞机的水泥混凝土道面设计方法

现行水泥混凝土道面设计规范,采用"设计飞机"按疲劳等效原则将各型飞机的作用次数换算成"设计飞机"的作用次数,并假定飞机轮迹在通行宽度内均匀分布,实际上飞机轮迹在跑道横断面上服从正态分布.未来大型飞机的起落架更加复杂,各型飞机对道面的累积疲劳损伤峰值不在同一位置,采用"设计飞机"换算的方法日益暴露出不足.按轮迹服从正态分布采用覆盖通行率计算覆盖作用次数,用累积疲劳损伤替代了"设计飞机"在交通量换算中的作用,直接计算各型飞机对道面结构总的累积疲劳损伤,探讨了基于累积疲劳损伤的道面设计方法.实例分析表明:采用累计疲劳损伤作为设计指标的道面设计方法计算结果更精确,更适合未来大型飞机复杂起落架作用下的水泥混凝土道面设计.      

一般密度核估计的一致相合性

V．S．M．Campos和C．C．Y．Dorea在2001年提出了关于（E，ξ）上的σ-有限测度v的一般密度函数P（x）的核估计pn（x），其中ECR，ξ是E的一个σ-域，得到了一些结果，并且验证了所得结论包含经典的连续密度核估计的结论，还进一步延伸了离散分布核估计的结论。以上面的理论为基础，继续探讨这种密度核估计的性质．在核函数满足一定的条件下，得到pn（x）是p（x）的一致渐近无偏估计。同时应用有关经验分布的一些知识，得到了一般核密度估计pn（x）的一致弱相合性和一致强相合性。     

一种快速有效的薄壁件加工表面误差预测算法

 在切削力作用下,刀具/工件的变形是影响薄壁弱刚度件加工精度与质量的关键因素,快速有效地进行表面误差的预测是实现工艺参数优化及在线刀具路径补偿的前提。针对立铣加工过程,提出了一种考虑刀具/工件变形位置的快速柔性迭代算法,基于此建立了薄壁件加工变形预测的有限元计算模型,并通过等效集中力作用位置的确定、模型分割及最小化网格重划方法进一步提高了模型的计算速度。通过刀具/工件的瞬时接触区域的限定算法、实际切深的修正算法、材料去除效应的模拟等关键技术更提高了模型的计算精度。以典型航空铝合金材料为对象,合理安排试验,并通过数值计算结果和试验数据的对比,表明该方法计算精度高,计算速度较文献方法提高了近2倍。     

气壁镀镍和冷却剂入口对再生冷却的影响

考虑冷却剂入口模型及气壁镀镍,对液体火箭发动机推力室再生冷却通道和冷却剂进行三维流动与传热耦合计算.采用经验公式计算燃气侧对流及辐射换热,冷却剂为甲烷,考虑其物性随温度和压力的变化.所得结果表明:冷却剂入口二次流及突扩流场的叠加,使局部压力损失变大,影响进口下游较大区域流动传热状况;气壁镀镍能提高气壁的耐高温性,降低气壁锆铜的温度.      

面向并行模拟机的path-CSA MOS开关模型及评价算法

提出一种新型MOS开关模型,它基于MOS CSA模型,又具有path MOS模型特性。新模型采用了逻辑门一级的Time-mapping事件驱动算法,有利于采用并行模拟机硬件实现。新算法利用了path MOS模型路径法特性,因而克服了CSA方法中的LOOP问题。新算法中首次提出最大、最小信号强度传送及评价操作,克服了MOS电路逻辑模拟中存在的不定值X问题。     

人类命运共同体视角下泰戈尔思想研究

拉宾德拉纳特·泰戈尔是印度极负盛名的文学家、思想家和诗人。人们称他为“东方国家在近代和现代第一个在世界范围产生了极大影响的作家”。在他的文学作品中,反映了他对跨越民族界限问题的思考和对世界和平发展的人文关怀,显露出人类命运共同体思想的意识雏形。从人类命运共同体的理论视角探索泰戈尔的思想,不仅能够为认识泰戈尔思想中的民族性与世界性问题提供新的视角,对从文学的角度推动建构人类命运共同体也具有重要意义。