测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

反潜机吊放声纳扩展螺旋线形搜潜建模

针对全方位机动的潜艇目标,结合反潜直升机实际搜潜过程,分析了风因素对反潜机探测过程的影响;建立了反潜机吊放声纳的扩展螺旋线形应召搜潜模型、潜艇运动模型;依据声纳主被动探测距离模型,对主被动吊声的探测距离进行分析;仿真分析了在已知海洋环境条件下,反潜机扩展螺旋线形应召搜潜轨迹,不同发射频率和目标强度条件下的主被动吊声探测范围,以及比较分析了吊放声纳作用距离、潜艇运动样式等因素对文中提出的扩展螺旋线形搜潜方法与传统的扩展方形、扩展圆形搜潜方法的搜索概率影响.结果表明,扩展螺旋线形的搜潜效能优于扩展方形和扩展圆形.      

一种高效率螺旋桨设计方法

提出了一种高效率螺旋桨设计方法,该方法根据给定的飞行速度、螺旋桨转速、拉力、螺旋桨直径、桨叶数、翼型,能够计算出最大效率螺旋桨的几何特性,包括:桨叶的弦长分布、桨距角分布、效率、拉力系数、扭矩系数、功率系数.分别按爬升状态和巡航状态的工作参数设计了某型飞机的螺旋桨,得到了桨距角和弦长沿径向的分布.对螺旋桨的缩比模型(直径为0.84m)进行了风洞试验,风洞试验结果表明:螺旋桨在巡航状态的效率是83.02%,爬升状态的效率是79.13%.      

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

南昌航空大学（前湖校区）2008年生态足迹调查与分析

文章根据生态足迹成分法的基本原理和计算模型,通过调查南昌航空大学前湖校区2008年的能源(天然气、电力)、食物、垃圾、纸张、水和校际交通六个方面的消费情况,以此计算与评价了南昌航空大学前湖校区2008年的校园生态足迹和生态效率,并提出保持措施。研究结果表明,南昌航空大学前湖校区2008年总生态足迹为10763.19hm2,人均生态足迹为0.592hm2/生,人均生态效率为1.689hm2/生,与全国人均生态足迹1.5hm2/人相比较,学校的生态状况比较乐观。     

影响气冷式个体热防护装备致冷力的因素分析

个体气冷系统是一种致冷有效、穿着舒适的热防护装备,在设计和使用中 提高其致冷效率是至关重要的。从工程和生理上分析了影响个体气冷系统致冷力的多种 因素,包括供气温度、湿度、流量以及它们之间的相互关系、致冷面积、流量分配、隔热性 能等。得出了提高蒸发性和对流性两类通风服致冷力和舒适性的方法。为不同工况下合理设 计和选用气冷式个体热防护装备,使之具有更高的人机工效和更好的舒适性提供了参考和借 鉴作用。〖JP〗     

降雨条件下翼型的气动特性

采用计算流体力学方法对降雨条件下翼型的气动特性进行了研究.通过求解定常可压的Navier-Stokes方程来计算流场,采用拉格朗日法对流场中的雨滴轨迹进行了模拟跟踪,得到了翼型表面的雨滴收集率;建立了水膜层数学模型,并假定水膜层沿着翼型表面的法向方向增长,预测了降雨引起的翼型外形的变化,并得到了水膜层表面的粗糙度高度;采用k-ωSST(shear-stress transport)两方程湍流模型结合增强的壁面函数,研究了降雨对翼型气动特性的影响.结果表明,在低迎角范围内,降雨对翼型的升力系数和阻力系数影响很小;当达到失速迎角后,降雨会引起上翼面边界层气流的提前分离,造成翼型气动性能的严重损失.      

气膜孔结构对涡轮导叶端壁冷却效率的影响研究

对涡轮叶栅端壁上游4种气膜冷却结构模型进行了数值模拟,得出在不同吹风比情况下涡轮叶栅端壁的流动与换热特性。结果表明,无槽气膜孔冷气射流在孔下游与主流相互作用形成1对转动方向相反的耦合涡,主流被卷入耦合涡并冲击到了端壁,使得孔间壁温接近主流温度,气膜冷却效率很低;带槽气膜孔抑制了耦合涡的形成,冷却了孔间端壁,气膜冷却效率较高,而且,随着槽深度的增加,冷气的展向(Y向)宽度逐渐增加,扩大了冷气覆盖区域,提高了端壁气膜冷却效率。     

三维复杂表面水滴撞击特性计算

为预测多段翼和发动机进气道等三维复杂形状表面在结冰气象条件下的水滴撞击特性,提出了一种基于欧拉两相流模型求解水滴收集系数的方法.空气相和水滴相认为是单相耦合的,空气流场由Euler或Navier-Stokes(N-S)方程独立求得.给出了一种水滴相撞击壁面边界条件的处理方法.为避免因局部水滴容积分数异常而导致计算发散,提出了一种自适应的数值扩散模型以增加高阶计算的稳定性.验证计算了圆柱、MS(1)-0317翼型、球面等典型二三维物面的收集系数,并计算了水滴直径呈某种分布时的情形.与公开发表的试验数据对比表明,计算方法准确有效,能很好的应用于三维复杂表面的水滴撞击特性预测.      

塞锥截短对塞式喷管性能影响的实验

为了研究塞锥截短对塞式喷管性能的影响,对截短率为80%、40%、30%和20%的塞式喷管进行了冷流实验.介绍了实验系统的组成和推力测量方式,得到了不同塞锥截短率的推力系数效率的高度特性曲线.实验结果表明:截短率越小,效率越低,不同截短率的效率差别随着压强比的增加而减小;随着截短率增大,截短率对效率的影响程度逐渐降低.截短率太小,性能损失较大;截短率太大,塞锥的尺寸增大,而性能提高却不明显.通常的取值范围是30%~40%.