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

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

航天器质量特性测试信息系统设计与实现

文章通过对现有航天器质量特性测试工作流程的研究,对测试过程数据分析归纳,给出了信息系统的数据库模型,提出了系统架构设计思路,并在此基础上开发了原型系统,对设计思路进行验证。质量特性测试信息系统的建立将整个测试周期中的所有独立、分散的信息有机地统一起来。     

独立桨叶高阶谐波变距对旋翼垂向载荷的影响分析

为了研究桨叶高阶谐波变距对桨毂垂向载荷的影响,建立了基于独立桨叶控制技术的桨毂垂向载荷模型。假设桨叶刚体挥舞,采用Leishman-Beddoes（L-B）非定常气动力模型和Glauert入流模型计算旋翼气动力,求解桨叶挥舞动力学方程,计算桨毂垂向载荷。分析桨叶施加2Ω,3Ω阶变距谐波后桨毂垂向载荷的变化,总结高阶变距谐波幅值、相位对桨毂垂向振动载荷的影响规律。结果表明独立桨叶控制能有效降低直升机桨毂垂向振动载荷。     

基于退火惩罚混合遗传算法求解生产批量计划问题

针对以获得最低生产成本为目的的批量生产计划问题,提出了该问题的混合整数规划模型,首先,根据单级多资源批量计划问题的特点提出了问题的数学描述,;然后根据该数学问题的复合性,利用遗传算法的随机搜索和进行化过程寻找问题的全局最优解,为了防止适应度函数的过早收敛,引入退火惩罚因子对适应度函数进行处理,使得获得全局优解的可能性加大,实验结果表明,该方法能获得比传统遗传算法更为理想的近似最优解。     

面向遥感图像高速压缩的多FPGA处理器设计

提出了一种面向海量遥感图像高速压缩应用需求的多现场可编程门阵列(FPGA,Field-Programmable Gate Array),即处理器设计方案,包括针对压缩任务中模块间松耦合和模块内强关联的问题,提出了混合式多FPGA并行处理器结构;给出了包含数据均衡分发和码流规则回收的压缩处理机制,提高了同构FPGA的并行效率,确保压缩处理过程的正确性;给出了支持处理器故障和链路故障的结构容错模型,保证压缩处理过程的可靠性;给出了基于分布式外部存储与高速串行总线的多FPGA通信策略,满足海量遥感图像高速压缩的通信要求.实验结果表明:单片同构FPGA的并行效率达93.5%;应用系统的硬件压缩结果与软件压缩结果一致,计算吞吐率达1.6 Gbit/s以上,并具有高可靠性.     

基于航迹聚类的终端区进场程序管制适用性分析

为了定量评估终端空域的空中交通管制服务水平,提出了描述进场飞行程序管制适用性的新概念。在对实际运行航迹数据特征分析的基础上,建立了基于对应雷达轨迹点逆向比对方法的航迹间相似性测度模型。应用层次聚类法对航迹数据集进行了聚类分析,提出了根据航迹聚类集构造平均航迹的方法。通过比较平均航迹和标准进场程序,建立了描述管制适用性的3个量化指标及其算法,包括:纵向偏离度、侧向偏离度和非常规航迹比例等。实例分析表明:以上指标能准确表示进场飞行程序提供空中交通管制服务的水平,并可以根据聚类结果来改进现有进场飞行程序结构。     

空间润滑脂的研究进展

空间环境中高真空、高低温、强辐射、原子氧和微重力等恶劣因素对空间润滑脂的结构和性能提出了特殊要求。为了满足空间运动部件高可靠性和长寿命的要求,需要改善空间润滑脂的性能。文章主要从基础油、稠化剂和添加剂这3个方面介绍和分析了空间润滑脂的研究进展及发展方向。     

Dynamics Model of Carrier-based Aircraft Landing Gears Landed on Dynamic Deck

In order to study the carrier-based aircraft landing laws landed on the carrier, the dynamics model of carrier-based aircraft landing gears landed on dynamic deck is built. In this model, the interactions of the carrier-based aircraft landing attitude and the damping force acting on landing gears are considered, and the influence of dynamic deck is introduced into the model through the deck normal vectors. The wheel-deck coordinate system is put forward to solve the complex simulation problem of force-on-wheel which comes from the dynamic deck. At last, by simulation, it is demonstrated that the model can be applied to landing attitude when the carrier-based aircraft is landing on the dynamic deck, it is also proved that the model is comprehensive and suitable for any abnormal landing situation.     

40Cr钢磨削强化温度与冷却速度研究

以40Cr调质钢为磨削强化试验对象,进行了磨削强化温度的测量和冷却速度的确定,并对强化效果进行了分析研究。试验结果表明：预估温度与测量温度接近,可以获得所要求的磨削强化温度和冷却速度;获得了理想的强化效果,强化层平均显微硬度为HV670,厚度接近1．3mm,组织为细小的针状马氏体。