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

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

Review and propositions for the sliding/impact wear behavior in a contact interface

A thermal-solid-liquid complex operational environment induces structural interface developing a typical coupling sliding/impact wear behavior. It results in contact damage until systems fail, which may cause significant economic losses and catastrophic consequences. The key point of solving this problem is to reveal the coupling damage mechanism of the sliding/impact behavior in typical systems and life characterization under a complicate evolving environment. This has been a hot topic in the area of mechanical reliability. The main work in this paper can be concluded as follows. Firstly, the main industries in which the “sliding/impact behavior” takes place have been introduced. Then, existing studies on the wear mechanism and degree analysis are presented, which includes surface morphology analysis, wear debris analysis, and wear degree measurement. Meanwhile, existing problems in theoretical modeling and experiments in current research are summarized, so as to point out a bright direction for future research on wear prediction. They include interface contact modeling, mathematic coupling mechanism modeling, wear equation establishment, and wear life characterization, which can provide some new ideas for improving the existing studies on the sliding/impact wear behavior.     

现场动平衡技术在生产中的应用

利用美国恩泰克公司提供的DP1500数据采集仪及现场动平衡软件,以实例说明了现场动平衡技术在锅炉引风机、排粉风机、电动机、机泵等转动设备不平衡故障排除中的应用,介绍了不平衡故障的识别方法,揭示出该技术在生产中的实用性、先进性和经济性.     

等质量异形粒子超高速撞击侵蚀

用数值方法模拟双锥，圆柱，椭球、圆锥和倒圆锥五类等质量异形铝粒子五种高宽比共２５种粒子对半无限铝靶的超高速撞击侵蚀，撞击速度为４ｋｍ／ｓ，给出了坑深、坑径、坑形参数和坑体积随粒子形状及高宽比的变化曲线。结果与非圆球异形粒子超高速撞击侵蚀计算有重要参考价值。     

Emergence of a Habitable Planet

We address the first several hundred million years of Earth’s history. The Moon-forming impact left Earth enveloped in a hot silicate atmosphere that cooled and condensed over ∼1,000 yrs. As it cooled the Earth degassed its volatiles into the atmosphere. It took another ∼2 Myrs for the magma ocean to freeze at the surface. The cooling rate was determined by atmospheric thermal blanketing. Tidal heating by the new Moon was a major energy source to the magma ocean. After the mantle solidified geothermal heat became climatologically insignificant, which allowed the steam atmosphere to condense, and left behind a ∼100 bar, ∼500 K CO₂ atmosphere. Thereafter cooling was governed by how quickly CO₂ was removed from the atmosphere. If subduction were efficient this could have taken as little as 10 million years. In this case the faint young Sun suggests that a lifeless Earth should have been cold and its oceans white with ice. But if carbonate subduction were inefficient the CO₂ would have mostly stayed in the atmosphere, which would have kept the surface near ∼500 K for many tens of millions of years. Hydrous minerals are harder to subduct than carbonates and there is a good chance that the Hadean mantle was dry. Hadean heat flow was locally high enough to ensure that any ice cover would have been thin (<5 m) in places. Moreover hundreds or thousands of asteroid impacts would have been big enough to melt the ice triggering brief impact summers. We suggest that plate tectonics as it works now was inadequate to handle typical Hadean heat flows of 0.2–0.5 W/m². In its place we hypothesize a convecting mantle capped by a ∼100 km deep basaltic mush that was relatively permeable to heat flow. Recycling and distillation of hydrous basalts produced granitic rocks very early, which is consistent with preserved >4 Ga detrital zircons. If carbonates in oceanic crust subducted as quickly as they formed, Earth could have been habitable as early as 10–20 Myrs after the Moon-forming impact.     

飞机主操纵系统疲劳试验载荷谱小操纵位移频次问题研究

针对飞机全机主操纵系统疲劳试验载荷谱中小操纵位移频次影响问题进行了分析和讨论,确定了某机全机主操纵系统小操纵位移频次的级别。同时,在原某机全机主操纵系统疲劳试验载荷谱的基础上再次对其小操纵位移频次进行了计算,去掉了这一级别以下对全机主操纵系统疲劳试验无影响的小操纵位移频次,从而完善了主操纵系统疲劳试验载荷谱。另外,对小操纵位移频次问题研究结果在其全机主操纵系统疲劳试验中的实施效果进行了阐述。     

Modelling of Ejecta as a Space Debris Source

When a micro-debris or a micrometeoroid impacts a spacecraft surface, a large number of secondary particles, called ejecta, are produced. These particles can contribute to a modification of the debris environment: either locally by the occurrence of secondary impacts on the components of complex and large space structures, or at great distance by the formation of a population of small orbital debris. This paper describes firstly, the ejecta overall production, and secondly, the lifetime and the orbital evolution of the particles. Finally the repartition of ejecta in LEO is computed. Some results describing the population as a function of size and altitude are presented.     

利用遥测数据预报导弹落点的方法

给出利用遥测数据对导弹进行落点预报的方法。根据遥测数据传输多遍的特点，对解码后的ＰＣＭ 数据进行处理，得到误码率很小的数据。然后对头体分离时刻前导弹飞行的状况和遥测数据进行分析，从而对发动机后效误差进行修正，得到较精确的导弹运动参数，最后利用弹道方程预报导弹落点     

论网络传媒对传统图书馆的挑战与应对

网络技术的发展,加快了图书馆现代化建设的步伐。从网络传媒对传统图书馆的影响、对图书馆定义的再思考、网络时代高校图书馆发展的模式三个方面,分析研究网络传媒对传统图书馆的挑战与应对。     

低频声波对水雾消散作用的实验研究

作者考查了低频声波(<50Hz)对于水雾消散的作用。通过建立声波消雾实验装置,测定了在水雾消散过程中,雾室内的声场分布、温度、消雾时间、雾滴谱的变化过程。实验结果表明声波作用对于水雾的消散具有明显的作用。并且,消雾的效果随着作用声波的频率和声压级(SPL)呈规律性的变化趋势。较低频率和较高声强的声波作用更有利于水雾的消散,在消雾的过程中温度起伏不大。而声致凝聚是声波消雾的主要因素之一。