AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

基于故障行为模型的产品寿命分析方法

针对传统可靠性工程方法无法满足高可靠长寿命需求产品设计与分析要求的现状。本文充分考虑引起产品寿命分散性的内因和外因的不确定性,在产品功能模型或数字样机模型的基础上,结合产品的故障行为模型,建立了一种基于产品故障行为模型的产品寿命分析方法。在该方法中,内因参数与外因参数的分散性分别可以用相应的概率密度函数来表示,都是通过对实际使用情况和生产条件的估计得到的,因此,按照这种方法评估得到的产品寿命特征,能够弥补基于故障物理的可靠性预计方法无法体现产品正常使用条件的不足。      

基于模型预测控制的多约束火星精确着陆制导律研究

主要研究了火星着陆动力下降段考虑燃料消耗和实际任务约束条件的制导律设计问题。选取可变推力发动机作为执行机构,首先建立了着陆器在动力下降段的运动方程及质量变化方程;其次对实际任务中需要考虑的斜坡、推力幅值和方向等约束条件建立了约束模型;接下来通过构造由控制量和状态量构成的性能指标,提出一种基于模型预测控制的多约束火星精确着陆制导算法。可实现多种约束条件下的指标最优精确着陆任务。最后,通过数值仿真对比了本文与已有典型着陆策略,验证了所提算法可以在满足约束条件的前提下有效地完成既定火星精确着陆任务。     

基于Krylov子空间法的柔性航天器降阶研究

带大型柔性附件的复杂航天器,其弹性变形通常用有限单元法描述.由于有限元节点坐标数目庞大将会给动力学方程求解和控制策略的实现带来巨大负担,因此对柔性太阳电池阵的动力学模型降阶进行研究.利用单向递推组集推导带太阳电池阵的航天器的刚柔耦合动力学方程,分别采用模态截断法、模态价值分析法和Krylov子空间法对太阳电池阵进行模型降阶,比较不同降阶模型和全有限元模型的动力学仿真结果.仿真结果表明,无论是否考虑大范围运动的影响,采用Krylov方法只需要较低的自由度就可以得到和采用有限元方法完全一致的结果.说明Krylov方法能够有效地降低航天器柔性附件的自由度,提高动力学仿真的效率,便于驱动控制的实现.     

基于MapReduce的CME参数识别模型并行计算技术

日冕物质抛射（Coronal Mass Ejection,CME）参数识别模型是太阳风预报过程的重要组成部分.在空间环境预报业务中,为提高太阳风预报的准确率,需要提高CME参数识别的精度.模型以计算任务串行的方式运行,运算效率低导致模型运算时间长,不能满足这种需求.CME参数识别模型的物理运算过程相互不独立,其在单节点上的运行方式不能满足并行化要求.基于MapReduce的并行计算框架,改进了CME参数识别模型的计算流程,提出CDMR（CME detection under MapReduce）方法,实现了CME参数识别模型的并行计算,并对比分析CME参数识别模型在串行计算和MapReduce并行计算下的运行时间,提高了模型的识别精度和计算效率.      

碘分子的荧光谱和激发光谱的测量和研究

观察到碘分子在光谱线514.5nm感应作用下的荧光谱,同时得到了在514.5nm附近碘分子的激发光谱。这两种谱的测量和研究表明,两能极模型对碘分子是一个很好的近似,普通光感应的碘分子荧光谱明显不同于激光感应的碘分子荧光谱。 在上面测量和研究的基础上,建立了新的物理模型以应用到激光感应荧光测量技术中。在488.0～544.0nm间,观察到了碘分子的激光感应荧光。     

地下结构模型试验的光学激波管

光学激波管是进行抗爆结构试验研究的一种新型动载设备,它除具有常规激波管的通过电测手段测试试验结构物上一点或多点的应力、应变、速度等力学参数外,其突出的特点是通过光测手段能够拍摄试验结构物在冲击波动压作用下连续变化的过程和被破坏形态的清晰物理图像,进行地下结构的抗爆研究。本文较详细地介绍了用于地下结构抗爆试验研究用的光学激波管设备的构造和测试手段以及设备调试和应用试验的情况,最后还公布了用该设备拍摄到的激波进入通道后波后新物理现象的彩色波动照片及用该设备做的部分试验研究成果。     

疲劳缺口系数评述

对疲劳缺口系数Ｋｆ的定义和影响因素进行了全面综述，对目前已被普遍接受和广泛使用的一些典型Ｋｆ表达式作了系统的回顾和评述。按照不同的Ｋｆ表达式建立所作的基本假设可将Ｋｆ表达式大致分为平均应力模型、断裂力学模型和场强法模型三类。对以上三类模型的比较分析表明，平均应力模型是应力场强法模型的特例；断裂力学模型是建立在非扩展小裂纹基础上的，对应力集中系数较大的缺口较为合理；应力场强法模型是一个比较有前途的模型。     

模型自由飞试验的可靠性问题初探

在飞行器气动力汽动热的各种研究方法中，由于模型自由飞试验的涉及面最广、技术最复杂、影响因素最多、风险最大──摸型直接在自由大气中飞行，因而其可靠性问题更显尖锐。本文提出了模型自由飞试验的可靠性定义；强调指出研究模型自由飞试验的可靠性问题之根本目的在于提高其经济性、试验效率和安全性；较为详细地剖析了影响模型自由飞试验可靠性的１７个主要因素──在制定模型自由飞试验研究的总体方案／各分系统方案，以及在整个模型自由飞试验研究工作的进程中，它们都是不容忽视的重要技术环节。     

双参数指数分布下定时截尾恒加试验的统计分析

设产品寿命服从双参数指数分布ε（λ，μ），其中λ＞０为尺度参数（失效率），μ＞０为位置参数（保证寿命）。在加速应力水平Ｓｉ下，失效率和保证寿命的加速模型分别为 ｌｎθｉ＝β０＋β１ψ１（Ｓｉ）＋β２ψ２（Ｓｉ） μｉ＝α０－α１ｆ（Ｓｉ），ｉ＝１，２，…，ｋ 本文给出了定时截尾情形下对由恒定应力加速寿命试验得到的数据进行统计分析的方法。获