UML状态图的形式化建模及其分析

为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成输入/输出端口、状态迁移部分和历史状态部分.其中输入/输出端口分别用于完成子网进入弧的解析和离开的弧的汇总,状态迁移部分完成状态机子网内部状态变换,历史状态部分通过"记忆单元",完成复合状态的"记忆恢复"和"记忆刷新".基于所构造的HCPN结构,总结了状态图复合状态转入/转出迁移的语义和约束规则,阐述了复合状态的Petri网子网的相应描述方法和分析技术.最后针对状态图的安全性要求详细论述了历史状态完备性判定原则、父子层一致性判定原则和状态可达性判定原则的HCPN语义表示.研究成果对进一步开发自动化分析验证工具,优化复杂系统设计方案,提高软件质量具有重要的指导意义.      

GH4169合金超塑性及其复杂构件超塑成形

对GH4169高温合金板材超塑性及超塑成形进行了研究.研究结果表明:在典型的超塑成形应变速率范围(10-3～10-4)内,细晶GH4169合金在较宽的温度范围(920℃～980℃)内的延伸率都高于250%,最高延伸率可达513%,应变速率敏感性指数m值都大于0.3;合金在超塑过程中发生了晶粒动态长大,并且超塑变形后仍为等轴晶;利用超塑成形方法研制出了飞行器用GH4169合金燃气岐管,并通过了30MPa液压压力、保压10min的打压试验及20MPa、保压5min的气密试验.     

复合材料旋翼桨叶研制过程中的重量控制与分析

旋翼桨叶已普遍采用复合材料进行设计和制造,本文阐述了复合材料旋翼桨叶重量设计与控制的原则,并从选材原则、结构布局、质量配平、工艺方法、铺层过程、重量调整等方面对重量及重量一致性控制进行了详细分析。     

2219铝合金变极性等离子弧穿孔立焊工艺研究

通过典型不等厚度2219铝合金变极性等离子弧(VPPA)穿孔立焊焊接工艺试验,研究了VPPA立焊工艺特性和工艺参数对焊缝成形的影响,并评定了接头的综合性能,确定了接头的最佳焊接工艺。试验表明,采用匹配的工艺参数进行VPPA立焊,可形成稳定穿孔效应和良好成形,其焊缝无任何气孔、夹杂,力学性能和接头质量高于TIG焊缝。     

基于神经网络的空间桁架结构建模研究

空间桁架结构的振动主动控制目前已成为振动控制领域研究的热点，为了研究空间桁架的主动控制方法，首先必须建立其准确的模型。神经网络固有的学习能力使其在模型辨识中得到广泛应用，针对空间桁架结构的非线性动态特性，本文采用了修正的Elman递归网络进行了模型辨识，结果表明，带有自反馈增益修正的Elman网络能很好地反映桁架结构的真实情况，适用于非线性动态系统的模型辨识。     

一次暴雨激发平流层重力波的卫星观测与数值模拟

针对卫星Aqua/AIRS观测到的与2011年7月25日山东省乳山市特大暴雨相伴的一次平流层重力波过程,利用中尺度数值模式WRF进行暴雨诱发平流层重力波的数值模拟.对模式输出的垂直速度场和温度扰动场的分析表明,暴雨在平流层内的弧状波结构主要集中在降水云系东侧,水平影响范围大于1000km,且随着高度的增加,圆弧状结构趋于闭合,波动能量显著增强.此外,对垂直速度剖面结构分析表明,受高空东风和风切变的影响,重力波在上传过程中逆着背景风场向东传输,不同高度波动形态各异.基于快速傅里叶变换（FFT）的功率谱分析结果表明,此次暴雨激发的平流层重力波在35km高度的周期为7~20h,水平波长约为1000km,垂直波长为5~10km.通过分析动量通量的垂直输送,定量反映出重力波上传过程中的动力学变化特征.      

具有圆形极点和方差约束的不确定离散系统鲁棒控制

对一类具有不确定参数和扰动的线性离散系统，研究了使闭环系统的稳态状态方差小于某个给定的上界，同时闭环极点位于一给定圆盘中的状态反馈鲁棒方差控制器设计问题。导出了控制器存在的条件，并证明了该条件等价于一个线性矩阵不等式系统的可行解问题，进而用这组矩阵系统的可行解给出了一组所求控制器的一个参数化表示。最后通过一个算例说明了该方法的可行性和有效性。     

航天贮箱结构材料及其焊接技术的发展

综述了国内外航天贮箱结构材料及其焊接技术的发展现状,阐述了航天贮箱结构材料及其焊接技术的最新发展动态,指出贮箱结构材料和焊接技术的滞后是我国运载火箭技术竞争力落后于先进国家的主要原因,表明了加速发展我国航天贮箱结构材料及其先进焊接技术的必要性和紧迫性。     

“资源三号”高分辨率立体测绘卫星三线阵相机设计与验证

2012年1月9日,中国第一颗民用高分辨率立体测绘卫星——"资源三号"卫星在太原卫星发射中心成功发射,星上装载的三线阵相机可以获取2.1m地面像元分辨率(正视相机)和3.5m地面像元分辨率(前/后视相机)全色影像。文章介绍了三线阵相机的组成及工作原理、关键技术及实现情况、在轨运行和测试情况,给出了在轨测试的初步结果。在轨运行情况表明:相机设计合理,成像品质优异,各项指标满足1∶50 000制图应用的要求,实现了内方位元素的高精度稳定,对卫星定位精度达到国际先进水平发挥了关键作用。     

双排离散孔在凸表面上气膜冷却有效温比的传质实验研究

本文采用传质实验的方法,对叉排双排离散孔在凸表面上的气膜冷却特性,做了精确地测量,以大量实验数据为依据,总结出在凸表上气膜冷却有效温比分布特征,为设计者提供了有实际参考价值的依据。