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

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

污水处理装置在冶金行业中的应用

对污水处理装置的技术参数、技术要求及设计方案的选择、工作原理做了进一步的阐述。对工业循环冷却水的处理有实际指导意义。     

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

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

新建他激反激变换器方程及其解析解

引用文 [1 ]的思路 ,寻找他激反激变换器的运行状态特征参量 (磁通密度增量、剩余磁通密度和占空比 )与构成这一变换器的基本物理参量之间的函数关系。首先阐明由于频率给定 ,他激反激变换器稳态运行时会出现无剩磁工况和有剩磁工况两种。而后确定这两种工况下 ,磁路等效储能空间单位体积每个周期的传输能量 (命名为“磁能传输密度”)。在这基础上 ,分别建立和解出他激反激变换器在不同工况下稳定运行时应满足的方程。最后根据所得的解析解阐明这种变换器的特性。本文和文 [1 ],以磁路分析为基础建立了一种新的反激变换器理论。     

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

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

Investigation of the differential rotation of the large-scale magnetic elements for the solar activity cycles 20 and 21

The differential rotation of the patterns of the large-scale solar magnetic field during solar activity cycles 20 and 21 is investigated. Compact magnetic elements with the polarity of the general solar magnetic field have larger speed of rotation than the elements with the opposite polarity. The surface of the Sun was divided by 10°-zones. In all of them the average rotation rate of the magnetic elements with negative polarity is little higher than that of the magnetic elements with positive polarity, except for 50°-zone of the south hemisphere and at the 10° latitude of the north hemisphere.

The rates of differential rotation for large-scale magnetic elements with negative and positive polarities have similar behavior for both cycles of the solar activity.

The rotation rate varies at polarity reversal of the circumpolar magnetic fields. For the cycle No 20 in 1969–1970 the threefold reversal took place in the northern hemisphere and variations of rotation rate can be noticed for magnetic elements both with positive and negative polarity for each 10°-zone in the same hemisphere.     

Reconstructed 3-d magnetic field structure and hard X-ray two ribbons for 2000 Bastille-day event

The Bastille-day event in 2000 produced energetic 3B/X5.6 flare with a halo CME, which had great geo-effects consequently. This event has been studied extensively and it is considered that it follows the two-ribbon flare model. The flare/CME event was triggered by an erupting filament and TRACE observations showed formation of giant arcade structures during the flare process. Hard X-ray (HXR) two ribbons revealed for the first time in this flare event (Masuda et al., 2001). The reconstruction of 3-D coronal magnetic fields revealed a magnetic flux rope structure, for the first time, from extrapolation of observed photospheric vector magnetogram data and the flux rope structure was co-spatial with portion of the filament and a UV bright lane (Yan et al., 2001a, 2001b). Here we review some recent work related to the flux rope structure and the HXR two ribbons by comparing their locations and the flux temporal profiles during the flare process so as to understand the energy release and particle accelerations. It is proposed that the rope instability may have triggered the flare event, and reconnection may occur during this process. The drifting pulsation structure in the decimetric frequency range is considered to manifest the rope ejection, or the initial phase of the coronal mass ejection. The HXR two ribbons were distributed along the flux rope and the rope foot points coincide with HXR sources. The energy dissipation from IPS observations occurred within about 100 R _⋅ is consistent with the estimate for the flux rope system. This revised version was published online in August 2006 with corrections to the Cover Date.     

一个简单有效的磁记录纠错系统

介绍一种简单有效的纠错编码方法 ,用于资源卫星高密度数字磁记录器 ,使误码率由 10 -6降低到 10 -11,同时介绍它的基本工作原理、实现方案及试验结果。     

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

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

伪码调相与PAM复合测距系统研究

介绍了PAM伪随机码的构成原理,推导了PAM伪随机码的自相关函数和功率谱密度。结合图形分析了它们的性质特点。设计了伪码调相与PAM复合测距系统,并分析了在加性高斯白噪声信道中的各个阶段的信号形式。研究了复合测距系统的性能,详细推导了复合测距系统的信噪比增益。结果表明,与单纯的伪码测距系统相比,复合测距系统有更强的抗干扰性能和测距能力。