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

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

流动阻力及能量损失对注射成型制件的影响

本文分析了在塑料熔体充满型腔的过程中，流动阻力及能量损失产生的形式和物理原因，进而讨论了对塑料制件成型及凝固过程中的影响。并提出降低影响的措施。     

燃烧火焰温度分布重建结果误差分析

分析了采用辐射型CT算法的燃烧火焰温度发布重建结果误差产生的原因，给出了解决方法。     

某型制导雷达部分元器件失效模式的分析

对某型号制导雷达部分元器件进行了失效分析，找出了导致元器件失效的原因，指出设计是提高可靠性的关键，并根据有关元器件情况对生产方与使用方提出了建议。着重讨论了设计师应注意的问题和应该遵循的设计原则。针对失效情况，提出了一些具体的设计构想。     

含有任意多个椭圆孔弹性板的应力场计算

本文应用弹性力学的复变函数理论,用多保角变换的方法,导出了含有任意多个椭圆孔的无限大弹性板多复变量应力函数的表达式。每个孔的大小、位置和孔边作用的载荷均为任意指定。板的无限远处作用有和坐标轴方向一致的均匀拉压载荷P_x,P_y和均匀剪切载荷P_(xy)。并在孔边进行复Fourier级数展开,用待定系数法确定应力函数的未知系数,从而计算弹性板的应力场。编制了相应的FORTRAN77标准化程序,进行了考题和算例分析,给出了级数的收敛状况和孔边周向应力的分布图。     

表贴式永磁电机的两种充磁方式

研究了表贴式永磁电机的两种充磁方式。首先利用已有文献电机参数验证了有限元模型的正确性,对比分析了两种充磁方式下电机磁密和磁钢磁势的分布特点,研究表明内转子结构平行充磁方式具有提供更大的气隙磁通潜力,而外转子结构则相反。接着研究了两种充磁方式,不同气隙下气隙总磁通随极对数和磁钢厚度的变化规律。同时明确了两种充磁方式各自使用场合,给出了最佳磁钢厚度的取值范围。本文工作有助于正确选择表贴式永磁电机的充磁方式和磁钢厚度,以发挥磁钢潜力,改善电机性能。     

Phase coherence of foreshock MHD waves: wavelet analysis

The earth's foreshock is a region where particularly large amplitude MHD waves are commonly observed. They exhibit various waveforms, suggesting that nonlinear interaction between the waves is in progress. In a previous paper (Hada et al., 2003) we have introduced a method to quantitatively evaluate the strength of phase coherence among the waves from a given time series data. Here we further develop our method by applying wavelet filtering technique. From the analysis it was found that, although the turbulence is consisted of waves with a wide range of plasma rest frame frequencies, only those frequencies lower than the ion gyrofrequency are responsible for generating the phase coherence. This revised version was published online in August 2006 with corrections to the Cover Date.     

弧焊电源动态特性测试方法的研究

本文对弧焊特性、特别是它的动特性进行了讨论，与过去传统的时域法不同，文中提出了用频域法分析弧焊的电源特性的设想，文内中方法的理论、实验方法及实测结果进行了讨论。     

Water Cherenkov detectors:MILAGRO

This paper discusses the properties of using the water Cherenkov technique to detect air showers in the few hundred GeV to 100 TeV energy range. The responses of a 6 m² 2 m deep water Cherenkov counter and that of a 6 m² 10cm thick scintillator-lead sandwich counter to air shower electrons and photons is described. The advantages of water Cherenkov detector is outlined. Its application to do VHE gamma ray astronomy is discussed with particular reference to the MILAGRO telescope currently under construction. Milagro, a water-Cherenkov detector to do gamma ray astronomy above 100 Gev, uses an existing pool 60m × 80m by 8m, located in the Jemez mountains near Los Alamos, NM. The threshold of the MILAGRO detector is comparable to atmospheric Cherenkov detectors, however it has several advantages over these optical detectors. MILAGRO can operate 24 hours a day in all weather conditions and it has an open aperture which allows it to view the entire northern sky every day. These capabilities allow for a systematic all-sky survey to be done for the first time at these energies. MILAGRO will measure the Crab spectrum with high significance over a wide energy range, it will detect and measure the spectra from AGN's such as MRK 421 and it will search for short duration bursts from GRBs and possibly evaporating PBHs.     

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

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