模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。     

横向气流中液体射流袋式破碎机理

采用高速摄像仪对横向气流场中的液体圆形射流袋式破碎过程进行了实验研究。实验所用喷嘴孔径为1.0mm,实验工质采用水。Wea范围覆盖11～23,液/气动量通量比q覆盖11～95。实验中观察了袋的形成及破碎过程。实验发现,袋的触发长度lonset/d与无量纲数In(q/Re)存在线性关系,而袋的触发时间则为常数;对袋式结构的进一步研究得出袋的破碎长度与液体射流速度无关,只与We数有关,且成线性关系,即破碎长度随着We数的增加线性减小。最后还给出了核心射流破碎位置与液/气动量通量比q的关系,无量纲化破碎位置横坐标为常数,而无量化破碎位置纵坐标随着In(q)线性增加。以上结果可以指导实际设计合理安排袋的触发、破碎点位置,改善雾化性能;在数值模拟上能帮助构建精确的初始雾化模型,提高模拟精度。     

高升力标模确认计算研究

针对高升力标模NASA Trapwing全展襟翼构型展开确认计算研究。采用N-S方法,预测高升力模型的流动状态,分析高升力的流动现象及机理,评估自主研发的WiseManPlus软件及WoF90软件预测高升力流动的能力。通过对网格生成、计算策略及数据分析等各个环节进行分析,制定出一套适用于高升力模型工程应用的CFD计算方法,得到与实验值吻合较好的计算结果。结果表明,目前所采用的结构网格求解器WiseManPlus软件及混合网格求解器WoF90软件计算精度相当,适用于模拟高升力流动。     

高速子弹穿透充液油箱的数值模拟

高速子弹击穿充液油箱产生水锤效应,造成油箱全面且灾难性的破坏,因而对子弹穿透油箱的过程进行模拟分析具有重要价值。使用ANSYS/LS-DYNA有限元软件,模拟900 m/s的子弹穿透装有60%水的4340钢制油箱以及空油箱的过程,模拟再现了水锤的产生过程,得到了不同时刻的物理图像和各种瞬变现象,确定了水锤效应的成因以及对油箱的破坏方式。研究表明,油箱中水压峰值出现在子弹入射板内侧,油箱底板和子弹出射板变形更严重。     

管理型机场视角下的机场非航业务发展路径探究

目前我国机场旅客吞吐量迅速增长,吞吐量超过千万的机场已经达21个,民航运输业的快速发展使得机场管理变得更加复杂.为了提高机场运营管理效率及充分利用旅客带来的非航效益,一些大型机场开始进行管理方式的转变与探索.而机场非航业务发展方式的转变是机场转型的关键.文章在回顾了管理型机场的发展与总结国内外典型机场非航业务特点的基础上,探索了机场非航业务发展的可行路径,以期为我国机场转型中非航业务的发展提供借鉴.     

北斗星基增强系统单频服务区域可用性评估

在研究美国广域增强系统(WAAS)与欧洲地球同步导航重叠系统(EGNOS)服务可用性评估方法的基础上,基于连续8天的实测数据对当前北斗星基增强系统(BDSBAS)单频服务一类垂直引导进近(APV-I)的区域可用性进行了初步评估.评估结果表明,受系统实际播发的卫星完好性参数有效性与电离层格网点(IGP)分布的限制,中国大...     

面向复杂回转体的T700级碳纤维/双马树脂材料铺放适应性

为了研究面向复杂回转体的T700级碳纤维/双马树脂材料的铺放适应性,测试了3种T700级碳纤维/双马树脂材料的T型剥离强度及悬垂性,进行了曲率铺放性能对比研究,确定了最佳的T700级碳纤维/双马树脂材料。针对该材料,研究了不同工艺参数（铺放温度、铺放压力、铺放速度）在不同转向半径下对铺放质量的影响,并提出一种新的铺放质量评定方法。材料对比实验结果表明,在一定范围内,适当提高材料的刚性和层间黏结力对材料的铺放性能有明显改善,其中提高层间黏结力效果更加显著,并最终选用T700级碳纤维/双马树脂材料3作为复杂回转体的铺放材料。工艺优化实验发现,当铺放速度小于32 mm/s时,极限转向半径降低至1 000 mm。结合铺放效率,获得复杂回转体的最佳铺放工艺参数为F=800 N、T=40 ℃、v=32 mm/s,且在2 h内进行下层铺放,从而提高铺放质量及铺放效率,解决工程化应用问题。     

一种形状自适应的嵌入式小波图像编码器

形状自适应的小波变换编码可以编码任意形状的物体,不但保持了物体的纹理信息,而且编码不会带来不必要的冗余.但是当对任意形状的物体进行小波变换时,会由于变换序列的长度、下采样位置的不同而带来一些变化.文章利用懒小波对任意形状的掩膜进行变换,并且采用9-7滤波器的提升小波形式,很好地解决了这些问题.最终通过修正的形状自适应的SPIHT算法,对任意形状物体的内部纹理进行编码压缩.与原始算法相比,性能提高了大约0.2 dB.      

Inner core wobble and free core nutation of pulsar PSR B1828-11

PSR B1828-11 has long-term, highly periodic and correlated variations in pulse shape and a slow-down rate with period variations of approximately 1000, 500 and 250 days [Stairs, I.H., Lyne, A.G., Shemar, S.L. Evidence for free precession in a pulsar. Nature 406, 484–486, 2000]. There are three potential explanations of pulses time-of-arrival from a pulsar. These are related to the interior of the neutron star, planetary bodies, free precession and nutation. We use the Hamiltonian canonical method of Getino (1995) for analyzing the dynamically symmetric pulsar PSR B1828-11, consisting of a rigid crust, elliptical liquid outer core and solid inner core. Using the theory of differential rotation of a pulsar, we investigate the dependence on Chandler wobble period, inner core wobble, retrograde free core nutation and prograde free inner core nutation from ellipticity of the inner crystal core, outer liquid core and total pulsar.     

Time series analysis of active galactic nuclei: The case of Arp 102B, 3C 390.3, NGC 5548 and NGC 4051

We used the Z-transformed Discrete Correlation Function (ZDCF) and the Stochastic Process Estimation for AGN Reverberation (SPEAR) methods for the time series analysis of the continuum and the Hα$\alpha$ and Hβ$\beta$ line fluxes of a sample of well known type 1 active galactic nuclei (AGNs): Arp 102B, 3C 390.3, NGC 5548, and NGC 4051, where the first two objects are showing double-peaked emission line profiles. The aim of this work is to compare the time lag measurements from these two methods, and check if there is a connection with other emission line properties. We found that the obtained time lags from Hβ are larger than those derived from the Hα analysis for Arp 102B, 3C 390.3 and NGC 5548. This may indicate that the Hβ   line originates at larger radii in these objects. Moreover, we found that the ZDCF and SPEAR time lags are highly correlated (r∼0.87$r\sim 0.87$), and that the error ranges of both ZDCF and SPEAR time lags are correlated with the FWHM of used emission lines (r∼0.7$r\sim 0.7$). This increases the uncertainty of the black hole mass estimates using the virial theorem for AGNs with broader lines.