基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

基于塑性损伤数值分析的小冲孔试验影响因素研究

基于Gurson-Tvergaard-Needleman(GTN)塑性损伤本构方程,建立了小冲孔试验试样损伤分析的有限元模型。针对尺寸为10mm×0.50mm的SUS304不锈钢圆片状试样进行了常温小冲孔试验。试验和有限元分析所得到的载荷-位移(Load-displacement,L-D)曲线和试样破断位置一致,从而验证了有限元模型的有效性。进一步应用所建立的有限元模型系统地分析了摩擦系数、试样厚度、钢球直径、下模孔径以及冲压速率等因素对小冲孔试验结果的影响。研究结果表明:上述因素对L-D曲线、最大载荷、试样破断时间以及启裂和颈缩位置有显著影响,克服了目前小冲孔常温试验模拟中存在的不足,所得结论为今后的小冲孔试验技术发展提供了技术指导。     

Microtab对风力机叶片翼型气动特性的影响研究

选取S814风力机叶片翼型进行了二维几何建模和计算网格划分,通过求解Navier—Stokes方程对翼型的空气动力特性进行了数值模拟,并与实验数据进行了对比分析,验证了计算模型及求解器的可靠性。对S814翼型后缘加载Microtab进行了气动数值模拟,分析了其流场和空气动力特性。计算结果表明：风力机叶片翼型后缘加载Mierotab可以改变翼型的环量,达到增升的目的,与此同时伴随一定阻力的增加,但升阻比得到小幅的提升。     

高动态环境下舰载子惯导系统分段对准方法

本文在分析惯导系统现有对准方法的基础上,对于拥有高度动态性能的广泛一类的受控运动体提出了一种顺序对准方法和算法,分析了所提出方法可达到的精度和为达到所指出精度所需要的时间。     

叶型上局部凸起对扩压器性能影响的数值研究

借助CFD数值模拟技术,对四种常规叶片扩压器（不同凸起位置）内部流场进行了数值模拟,研究了不同凸起位置对扩压器性能的影响,讨论了改变叶片凸起位置对扩压器静压恢复系数、总压损失系数等性能参数的影响,以为小型/微型发动机的叶片扩压器的优化设计提供一定的参考价值。结果表明,当叶片扩压器产生局部凸起时,在流动进入叶片扩压器凸起截面后面产生了低速流动,导致了明显的总压损失,使得叶片扩压器的效率降低。叶片中间产生凸起对于叶片扩压器的总压损失最高。在工程实际中叶片扩压器如果产生局部凸起,尽量选择在叶片前端。     

基于BP网络的机载导弹备件需求量预测

针对机载导弹部署后期与备件有关的各项保障数据比较充足的情况,在进行备件需求量影响因素分析和量化的基础上,应用BP神经网络模型对其进行了预测。仿真结果表明,充分利用了各有用数据,能有效提高预测的可靠性和准确性。     

基于粗糙集的作战飞机总体设计方案综合评估

针对作战飞机总体设计方案综合评估法权系数确定过于依靠专家主观判断和经验的不足,应用粗糙集理论对典型的第三代以上作战飞机机型的各种指标数据进行挖掘,利用信息熵概念求得各指标的属性重要度,从而确定各指标的权系数。应用实例表明,该方法是客观的,可行的和有效的。     

液压性能综合实验模拟系统的开发

Automation Studio是一种有效的液压系统仿真工具。在对QCS003试验台的系统与工作原理分析的基础上,在Automation Studio平台上开发了液压性能综合实验模拟系统,利用该系统可以在计算机上完成实验项目。     

某型航空发动机喷管红外辐射特征数值模拟和试验研究

基于N-S方程建立了某型发动机喷管及其喷流流场的数值计算模型,利用辐射传输方程(RTE)积分法编制了红外辐射特征计算程序,得到了此喷管在非加力状态下工作时的红外辐射特征分布,同时利用模型试验测量得到该喷管的红外辐射特征分布。给出了在3.0～5.0μm光谱范围内的红外辐射特征数值模拟结果和试验测量结果,经比较表明:数值模拟结果和试验测量结果吻合良好。