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

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

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

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

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

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

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

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

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

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

基于CVaR风险度量方法的投资组合模型研究

介绍了CVaR的概念及算法,并利用CVaR对风险进行度量,提出一个新的基于CVaR风险度量方法的投资组合优化模型。利用股票数据进行了实证分析,验证了模型的有效性。     

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

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

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

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

航天器编队飞行多目标姿态跟踪终端滑模控制

研究航天器编队飞行多目标姿态跟踪控制问题.为避免姿态大范围跟踪可能出现的奇点,采用欧拉参数描述航天器姿态.基于终端滑模技术,设计多目标姿态跟踪终端滑模控制器,并应用Lyapunov稳定性理论和扩展的Lyapunov有限时间稳定性理论证明控制系统稳定性和有限时间收敛性.该控制器参数方便调整,易于实现.由于没有对复杂多体航天器动力学进行线性化处理,从而保证了姿态跟踪控制精度.仿真结果表明,存在惯量参数摄动和外部干扰力矩的情况下,所设计的多目标姿态跟踪控制器具有良好鲁棒性和优越的跟踪性能.