Graph-tree-based software control flow checking for COTS processors on pico-satellites

 This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.     

冬季桃仙机场持续大雾天气成因分析与应急服务

利用常规观测资料,对2011年11月26-28日沈阳桃仙机场出现持续大雾天气进行客观分析与应急服务总结。结果表明:此次大雾的天气过程具有混合型的特点,雾的性质随着时空变化而转变,由锋面雾、辐射雾和平流雾交替转换。其中,冬季桃仙机场"口袋型"地势与地面风配合有利于大雾的形成与维持;850-700hPa之间弱的正散度区,促进了上升运动区与下沉运动区的界面中的逆温层的维持;后续925 hPa低空湍流的发展对大雾消散起到了关键作用。     

舱门对起落架流场和气动噪声的影响研究

前起落架一般具有异于主起落架的双侧对称舱门,民用飞机进场降落时打开的前起落架舱门必然对起落架流场和噪声产生干扰阻挡和反射作用。为了研究前起落架舱门对起落架流场和噪声的干扰阻挡效应,采用两轮起落架标模对改善的延迟分离涡模拟（IDDES）方法和福克斯·威廉姆斯—霍金斯（FW-H）方程进行数值方法验证;在数值计算方法准确可靠的基础上,对某民用飞机高保真前起落架有舱门和无舱门的两种模型的流场特征和远场辐射噪声特性进行对比计算分析,分析舱门附近流动演化过程及舱门对远场辐射噪声的影响。结果表明：由于舱门迎风端面非平直面,稍向内侧弯曲与来流具有一定夹角,导致在其前端引起当地流动分离,进而扩散到整个舱门之间的区域;两侧舱门阻挡干扰气流向展向扩散并撞击舱体侧面边缘的趋势,遮挡反射舱体前缘剪切流失稳撞击起落架产生的压力波,减弱了起落架的侧边噪声并形成声波干涉现象。     

多位损伤铝合金平板剩余强度分析

针对飞机铝合金结构出现的多位损伤(MSD)问题,本文开展了含多位损伤铝合金平板试样的剩余强度试验研究.采用工程常用的8种不同剩余强度准则对MSD试样的剩余强度进行预测,并与试验结果进行对比,以评价各项预测准则的准确性.研究显示,对于本试验选用的材料和试样形式,Swift准则和平均应力准则相比其他准则取得了较好的预测效果...     

确定壳体结构外压临界载荷的非破坏实验方法

本文给出了一种确定壳体结构外压临界载荷的非破坏实验方法,这是一种以壳体结构的法向挠度作为控制变量的逐步逼近法。运用这种方法,对九件由LY12-CZ铝合金制成的具有周向Ω-型筋条的柱形曲板和某机机身的3号至6号油箱内壁作了非破坏屈曲试验,准确地确定了壳体的临界压力,初步研究了周向约束对加筋柱形曲板屈曲的影响。试验结果表明,这种非破坏屈曲试验方法是成功的。     

某型号舵面数控加工技术研究

通过分析某型号导弹舵面零件的加工特点,有针对性地采取工艺措施,从工装、刀具、加工方法及数控编程等工艺因素入手,克服了该零件的加工难题,使舵面零件的加工质量得到保证,并使其加工效率得到了明显提高。     

基于微观结构的航空铝合金点蚀扩展行为研究

点蚀是航空铝合金材料在服役环境下常见的损伤形式,在疲劳载荷作用下容易形成裂纹,缩短结构的疲劳寿命。为了深入研究点蚀对航空铝合金结构腐蚀疲劳寿命的影响,基于铝合金电化学腐蚀机理和铝合金微观结构,以点蚀蚀坑尺寸为研究参量,对航空铝合金点蚀扩展行为进行建模研究,并将模型计算结果与LY12CZ铝合金点蚀试验结果进行对比分析。结果表明:所构建的铝合金点蚀扩展模型较为合理地反映了铝合金点蚀蚀坑尺寸参数的变化规律。     

全桥变换器中寄生参数对传导干扰的影响

以全桥变换器为例，对其主要元器件的寄生参数进行测试，运用CADENCE软件提取印刷电路板上主要印制线的寄生参数。本文分析了全桥变换器主要寄生参数对电路噪声的影响，为开关型变换器的电磁兼容性研究打下了良好的基础。在SABER仿真环境中对传导性电磁干扰的噪声进行了仿真，结果表明，寄生参数对噪声的影响明显。     

基于QSSE方法的橡胶隔震支座参数识别

采用二次误差平方和(Quadratic sum-squares error,QSSE)方法对橡胶隔震支座参数识别进行研究。建立经典Bouc-Wen模型以模拟橡胶隔震支座的非线性动力学特性。对橡胶隔震支座进行振动台实验,基于实验测量的加速度响应和QSSE方法在线实时地识别橡胶隔震支座的参数和位移。研究结果表明,在两种典型地震波的激励作用下,采用QSSE方法分别对3种参数数量不同的Bouc-Wen模型进行识别,得到的橡胶隔震支座模型参数一致,且识别位移曲线和实际测量位移曲线吻合良好,验证了QSSE方法在橡胶隔震支座参数识别中的有效性与准确性,并证明了本文所得Bouc-Wen模型参数的合理性及Bouc-Wen模型简化的可行性。     

Chang'E-1 Lunar Mission:An Overview and Primary Science Results

Chang'E-1 is the first lunar mission in China, which was successfully launched on Oct. 24th, 2007. It was guided to crash on the Moon on March 1, 2009, at 52.36oE, 1.50oS, in the north of Mare Fecunditatis. The total mission lasted 495 days, exceeding the designed life-span about four months. 1.37 Terabytes raw data was received from Chang'E-1. It was then processed into 4 Terabytes science data at different levels. A series of science results have been achieved by analyzing and applicating these data, especially "global image of the Moon of China's first lunar exploration mission'. Four scientific goals of Chang'E-1 have been achieved. It provides abundant materials for the research of lunar sciences and cosmochemistry. Meanwhile these results will serve for China's future lunar missions.