一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

移动机器人铣削制孔系统基准检测

结合航空大部件的数字化对接装配需求,设计了一套用于对接面铣削制孔的移动机器人加工系统,并提出具体的加工工艺流程。研究了基于激光轮廓扫描仪的大量散乱点云数据的预处理算法,提出基于栅格法和迭代拟合法的对接面特征提取算法。针对移动机器人加工系统在大场景下的高精度定位问题,提出基于扫描线法和最小二乘法原理的对接基准孔坐标找正算法。通过产品的加工实验验证,对接面铣削和制孔精度满足系统要求的各项技术指标,证明了本文提出的移动机器人铣削制孔系统的装配对接面加工方法能够精确地完成大部件数字化装配任务,对提高装配质量和效率具有重要意义。     

Solar and Heliospheric Modulation of Galactic Cosmic Rays

The significance of external influences on the environment of Earth and its atmosphere has become evident during recent years. Especially, on time scales of several hundred years, the cosmogenic isotope concentration during the Wolf-, Spoerer-, Maunder- and Dalton-Minimum indicates an increased cosmic ray flux. Because these grand minima of solar activity coincide with cold periods, a correlation of the Earth climate with the cosmic ray intensities is plausible. Any quantitative study of the effects of energetic particles on the atmosphere and environment of the Earth must address their transport to Earth and their interactions with the Earth’s atmosphere including their filtering by the terrestrial magnetosphere. The first problem is one of the fundamental problems in modern cosmic ray astrophysics, and corresponding studies began in the 1960s based on Parker’s cosmic ray modulation theory taking into account diffusion, convection, adiabatic deceleration, and (later) the drift of energetic particles in the global heliospheric magnetic field. It is well established that all of these processes determining the modulation of cosmic rays are depending on parameters that are varying with the solar magnetic cycle. Therefore, the galactic cosmic ray intensities close to Earth is the result of a complex modulation of the interstellar galactic spectrum within the heliosphere. The modern view of this cosmic ray modulation is summarized in our contribution.     

Measuring the matter distribution within z = 0.2 cluster lenses with XMM-Newton

We present an analysis of seven clusters observed by XMM-Newton as part of our survey of 17 most X-ray luminous clusters of galaxies at z  0.2 selected for a comprehensive and unbiased study of the mass distribution in massive clusters. Using the public software FTOOLS and XMMSAS we have set up an automated pipeline to reduce the EPIC MOS and pn spectro-imaging data, optimized for extended sources analysis. We also developped a code to perform intensive spectral and imaging analysis particularly focussing on proper background estimate and removal. XMM-Newton deep spectro-imaging of these clusters allowed us to fit a standard β-model to their gas emission profiles as well as a standard MEKAL emission model to their extracted spectra, and test their inferred characteristics against already calibrated relations.     

全天球实时恒星模拟器技术

阐述了研制全天球实时恒星模拟器的意义以及国内外发展趋势,介绍第二代恒星模拟器的系统组成、特点、技术指标以及解决的技术问题。     

复合材料层板中就位横向拉伸强度的研究

本文利用弹性力学和断裂力学方法对纤维增强复合材料的横向拉伸强度进行了分析，其中考虑了９０度开裂层厚度和开裂邻层的约束效应的影响，推导出正交各向异性对称铺层中昨合就位横向拉伸强度的数学表达式，得出开裂层的厚度和约束邻层铺设角对就位横向拉伸强度都有影响的结论，理论计算与Ｆｌａｇｇｓ实验结果吻合较好。     

关于危险品运输的紧急救援

危险品运输是技术要求最高的一类特种货物运输。在运输、装卸及贮存保管过程中,稍有不慎便会发生事故,造成人身伤亡和财产毁损。笔者认为:灾害=事故十损失。严格执行危险品运输规章,减少事故发生率,从技术上进行要求。仅是问题的一个方面。而另一方面还应立足于事故发生后的紧急救援,以最大限度地减少损失,两者并重才不致酿成灾害。为此,提出了建立“危险品运输紧急救援中心”的建议。     

离心铸造Al—20wt%Si合金自生表面复合材料的组织与性能

采用热模金属型离心铸造Al－20wt％Si合金，获得了外层聚集粗大初晶Si、中层为共晶组织、内层聚集细小初晶Si的自生三层表面复合材料。考察了复合材料的组织形貌，检测了复合材料的硬度和耐性，分析了复合材料的断裂模式。     

基于分数阶Fourier域滤波的SAR多运动目标检测和参数估计

SAR多运动目标的检测和参数估计较单运动目标的难度大大增加,传统的WVD方法在处理多分量线性 调频信号时存在交叉项干扰的问题,改进的WVD-HT方法可减弱交叉项的影响,但并不能从根本上解决交叉项问题, 同时计算量也很大。文中提出一种基于分数阶Fourier域滤波的多运动目标检测和参数估计方法,在运动目标和静止目 标信号分离后通过逐个消去强目标信号,有效地解决了弱目标信号的检测和参数估计问题,由于分数阶Fourier变换是 线性变换,从而免除了交叉项的困扰。仿真和实测数据的处理结果验证了算法的有效性。     

故障检测与分离的广义一致性算子法

本文提出了故障检测与分离的广义一致性算子法的一般形式。得出了两个故障可分离的充要条件和多个故障可分离的充要条件。最后给出了检测和分离故障的过程。