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

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

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

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

“安加拉”2013年开始试射

俄罗斯赫鲁尼切夫国家科研生产航天中心主任涅斯捷罗夫7月15日称。俄新型“安加拉”火箭的试射工作将在2013年开始进行。他说,火箭组装将在2011年第一季度完成,第一级发动机现已“完成99％”,第二级发动机已3次试车。他说,唯一可能影响试射进度的问题是该中心因资金不足而推迟采购地面设备。     

叶轮机械颤振稳定性工程预测方法在跨音风扇中的进一步探讨

通过求解雷诺平均NS方程并采用影响系数法,对三个基本正交模态的三维振荡跨音风扇叶片绕流问题进行了研究,并基于刚体运动假设和模态叠加法,得到了可用于叶轮机械设计阶段颤振稳定性评估的稳定性参数图。结果表明,跨音风扇内部,激波对非定常气动力的分布具有主导作用;通过对稳定性参数图的分析表明,在一定情况下振型对颤振稳定性有重要影响,应将其作为颤振稳定性设计的重要参数之一;跨音风扇和亚音低压涡轮的稳定性参数图对比分析表明,二者稳定性参数分布形式具有相似性。     

叶轮机械颤振稳定性工程预测方法在跨声风扇中的进一步探讨

通过求解雷诺平均Navier-Stokes(N-S)方程并采用影响系数法,对三个基本正交模态的三维振荡跨声风扇叶片绕流问题进行了研究,基于刚体运动假设和模态叠加法,得到了可用于叶轮机械设计阶段颤振稳定性评估的稳定性参数图.结果表明,跨声风扇内部,激波对非定常气动力的分布具有主导作用;在一定情况下振型对颤振稳定性有重要影响,应将其作为颤振稳定性设计的重要参数之一;跨声风扇和亚声低压涡轮的稳定性参数图对比分析表明,两者稳定性参数分布形式具有相似性.      

影响大学生英语听力水平的因素及提高对策

听力是英语学习的一个重要方面。文章详细分析了影响现阶段大学生听力理解能力的各种因素并提出了有针对性的提高听力理解能力的策略。     

某飞行器姿态控制系统仿真

介绍了某飞行器姿态控制系统数字仿真的实现.根据该姿控系统的组成,以俯仰通道为例建立了通道的动力学和运动学方程,以及相应的控制系统数学模型,给出了仿真流程.仿真结果表明:该仿真系统可定量分析飞行器控制系统参数超差对飞行的影响.     

耐高温透波材料及其性能研究进展

介绍了国内外高温透波材料的发展现状,并且对高温透波材料的种类进行了详细阐述.通过对材料种类的分析与选择,对影响材料透波性能的因素进行了分析.通过对现行透波材料及其透波理论体系的论述,对高温透渡材料存在的问题进行了总结.