基于数值模拟的温场测试技术研究

通过在环境温度试验箱的某些位置布置适当的节点,对采集回来试验箱内的温度等实际数据,在对试验箱的空间建模的基础上,采用插值法和适当次数的拟合函数的拟合,用一个无限细化的三维矩阵来模拟出试验箱内的温度分布情况,得出三维矩阵的实际值的分布,最后结合MATLAB软件绘制出计算出的温度场的三维图像,从而可以直观具体地了解环境温度试验箱的温度场分布情况。本文仅对于形状规则的长方体试验箱进行数值模拟,对其特殊截面的温度场进行详细的分析。     

基于CFD与飞行动力学耦合方法的舰载直升机着舰平衡分析

将计算流体力学（Computational fluid dynamics,CFD）模型与飞行动力学模型相结合， 建立了适用于舰载直升机着舰飞行的平衡分析方法。在满足气动力计算精度的前提下,为提高计算效率，CFD模型使用Euler方程作为主控方程，并采用动量源项代替旋翼对其流场的作用。将CFD计算所得气动力对飞行动力学模型计算所得气动力进行修正迭代，并根据牛顿迭代法求解飞行动力学平衡方程，最终求得平衡参数。应用所建立的方法，首先进行了算例验证，以表明方法的有效性;然后着重对舰载直升机着舰飞行进行了平衡计算与分析，为直升机着舰飞行提供参考。     

基于磁场梯度张量的航天器内部多磁场源探测技术

基于磁场梯度张量的探测技术具有高分辨率、高精度等优点,是航天器多磁源分辨的有效方法。文章建立了航天器磁场源模型,提出了航天器多磁场源模型拟合方法,利用磁场梯度张量的主不变量的极值确定磁场源个数和水平位置,然后联合欧拉方程计算磁场源深度,完成航天器内部多磁场源仿真与计算,分辨率最高可达0.012 m,满足工程需求。该研究开辟了航天器内部多磁场源目标探测的新途径。     

基于CNS性能及人为因素的纵向碰撞风险研究

为了分析CNS性能及人为因素对航空器在平行航路的安全间距影响,基于雷达管制环境下管制员对航空器纵向穿越的干预过程,在传统碰撞风险模型的基础上引入认知可靠性与失误分析方法(CREAM),综合考虑通信、导航、监视(Communication,Navigation and Surveillance,CNS)性能以及人为因素,建立了包含人的认知可靠性的平行航路纵向碰撞风险模型.并通过算例分析了CNS性能以及人因可靠性对平行航路碰撞风险的影响.结果表明,导航性能对航路的纵向碰撞风险影响较大;通过提高人的认知可靠性可以有效地提高平行航路的安全水平.     

基于双轴调整棱镜的惯导缓冲基座方位引出

分析并设计了一种将带双轴调整机构的棱镜作为基准棱镜的方位引出方法,并基于此提出了惯导缓冲基座复位精度试验方案.首先,根据直角棱镜作基准棱镜时放置位置对方位引出的影响,设计可双轴调整机构;然后,从双轴调整机构出发,利用坐标变换和矢量形式的棱镜反射公式推导了放置误差造成的方位引出误差,根据误差公式设计了试验方案;最后,分析与估算了方位引出精度,结果表明:此方案在控制经纬仪望远镜的俯仰角小于15°时,方位引出的均方误差小于5″.     

激光冲击强化铝合金小孔构件的疲劳寿命研究

研究了激光冲击强化对7050-T7451铝合金小孔件疲劳寿命和断口形貌的影响。采用ABAQUS对峰值压力2.7GPa下小孔构件孔壁与表面上的应力分布进行了研究,并基于仿真结果对试样进行激光冲击强化试验和疲劳拉伸试验。结果显示,激光双面冲击强化在板料两侧形成一定深度的残余压应力影响层,而在中心形成一定范围的残余拉应力层,这也是导致疲劳源由孔角向孔壁中心转移的主要原因;在应力水平165.8MPa、195.0MPa和275.4MPa下,试样的疲劳寿命分别平均可增大451%、216%、116%;经激光冲击强化后,试样的疲劳源位置由孔角转移至孔壁内部,且疲劳裂纹扩展区面积明显增大。研究表明,激光冲击强化能明显改善铝合金小孔构件的疲劳性能,但强化效果随外加载荷的增加逐渐减小。     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

灵敏度及鲁棒稳定性理论在导弹发射决策中的应用

本文运用系统敏灵度理论分析了多变量系统在参数摄动条件下的动态特性。为了提高系统鲁棒性,对影响系统动态性能的不同参数偏差间的相互补偿、最优搭配及对判定域的影响进行了研究。本文旨在给出一种简单、实用的方法,以便在某些参数超出允许限的条件下,为现场指挥决策提供系统有关的定量信息。     

L11飞机机翼1肋壁板对接区结构破坏危险性分析

采用基于当量裂纹扩展法的结构破坏危险性分析计算程序，对Ｌ１１飞机机翼第１肋壁板对接区进行了结构破坏危险性分析，结果表明，该对接区能满足Ｌ１１飞机设计寿命指标要求。