一种针对C程序缓冲区溢出的检测方法*

为了增强对程序缓冲区溢出漏洞的检测,提出一种利用CCured和BLAST对C程序进行分析的检测方法。首先利用CCured对C语言源程序进行运行时检测的代码插桩;然后用BLAST提供的自定义安全属性语言对这些插桩代码进行相关约束描述;最后让BLAST根据约束描述文件对代码插桩后的程序进行模型检测,就可以尽可能地找出C语言程序中潜在的缓冲区溢出漏洞。     

谐振式光纤陀螺全数字闭环方案

谐振式光纤陀螺是一种新型的惯性传感仪器,与传统机械陀螺和其他光学陀螺相比具有很多理论上的优势.数字信号处理电路的谐振式光纤陀螺全数字闭环是采用双频率数字锯齿波相位调制技术对光路进行了相应的调制和解调.对光信号中夹杂的大量白噪声以及数字信号处理中由于有限位数的A/D引入的量化噪声进行综合考虑,提出了用比信号带宽高很多的采样率对含有噪声的信号进行过采样,加上后续的数字信号处理,低位数A/D和高位数A/D的检测效果几乎一样.数字调制的精度影响了系统的精度,使用平均法用低位的D/A可以实现很大的调制动态范围.经过基于文中设计的数字系统的实验,得到了和理论仿真类似的解调曲线,证明了文中提出的数字闭环方案的可行性.     

Functional and comparative study of lingual papillae in four species of bear (Ursidae) by scanning electron microscopy

The eight current species of bear (Ursidae) are widely distributed throughout Europe, Asia, and America. They are mainly encountered in the northern hemisphere, except for the spectacled bear and the sun bear, which are also found in the south of the equator. Adaptations of the masticatory apparatus (teeth, tongue, and musculature) to diet are one of the factors that imply the greatest structural changes in the cranium. This diet may be carnivorous, herbivorous, melliferous, or insectivorous, with one type of food predominating according to the time of year. The way in which food is eaten determines the morphology of the lingual surface; generally speaking, all bears put their mouth to the food, which, initially, they lick or they let the food stick to their tongue, as occurs when insects are eaten. As in all mammals, a distinction can be made between mechanical and gustatory papillae and the development and distribution of which depend on the species and their eating habits. In this study of the complete tongues of four species of adult bears, we describe the morphology of the lingual surfaces, the different types of papillae, their characteristics, and topographic distribution. It was seen that there were five main types of lingual papillae: filiform, conical, fungiform, foliate, and vallate. Morphology of the microgrooves and pores was similar to that observed in other mammals. In general, there were no great differences among the four species of bears studied, perhaps due to the similarity in the kind of food they consume in captivity.     

Structural studies of pulsed-laser deposited nanocomposite metal-oxide films

Pulsed laser deposition in vacuum has been used to develop metal-oxide nanocomposite films with well controlled structural quality. Results for the copper–aluminium oxide (Cu:Al₂O₃) system are used to illustrate the main morphological and structural features of these films. High resolution transmission electron microscopy (TEM) analysis shows that the films consist of Cu nanocrystals with average dimensions that can be controlled between 2 nm and 10 nm embedded in an amorphous Al₂O₃ matrix. It is observed that the in-plane shape of the nanocrystals evolves from circular to elongated, and the number of nanocrystals per unit area decreases as their size increases. This evolution is explained in terms of nucleation at the substrate surface and coalescence during the later stages of growth. The thermal stability of the films has been studied by in situ TEM annealing and no transformation could be observed up to about 800 °C when partial crystallization of the Al₂O₃ starts.     

金属真空弧离子源引出强流离子束的数值模拟

为了引出更高强度、更高亮度的铀离子束,以满足重离子研究中心(Gesellschaft für SchwerionenforschungmbH,GSI)重离子同步加速器的需求,本文用三维的计算机程序KOBRA3-INP对金属真空弧离子源(Metalvapor vacuum arcion source,MEVVA)引出强流铀离子束在引出系统和后加速系统中的动力学特性进行了研究,讨论了离子源发射束流密度对引出束性能的影响.结果表明,束流损失主要发生在引出系统和后加速系统之间的漂移区;在假设漂移区束流被空间电荷中和的情况下,模拟结果和实验结果符合;在发射束流密度为180-230 mA/cm2范围内,经后加速的束流强度变化不大.     

基于运动区域检测的运动目标跟踪算法*

针对传统基于模板匹配的运动目标跟踪算法存在着计算量大、模板漂移导致跟踪失败的问题,提出了一种基于运动区域检测的运动目标跟踪算法。该算法通过采用光流法对目标运动区域进行估计,计算出光流场区域的形心,确定待匹配图相匹配范围,再用模板框在已确定区域进行模板匹配跟踪。根据某开放实验室行人录像跟踪实验表明,本算法能够有效解决模板漂移问题,提高了跟踪实时性, 实现了视频对象目标的跟踪。     

Remediation of phenol-contaminated soil by a bacterial consortium and Acinetobacter calcoaceticus isolated from an industrial wastewater treatment plant

Time-course performance of a phenol-degrading indigenous bacterial consortium, and of Acinetobacter calcoaceticus var. anitratus, isolated from an industrial coal wastewater treatment plant was evaluated. This bacterial consortium was able to survive in the presence of phenol concentrations as high as 1200mgL(-1) and the consortium was more fast in degrading phenol than a pure culture of the A. calcoaceticus strain. In a batch system, 86% of phenol biodegradation occurred in around 30h at pH 6.0, while at pH 3.0, 95.2% of phenol biodegradation occurred in 8h. A high phenol biodegradation (above 95%) by the mixed culture in a bioreactor was obtained in both continuous and batch systems, but when test was carried out in coke gasification wastewater, no biodegradation was observed after 10 days at pH 9-11 for both pure strain or the isolated consortium. An activated sludge with the same bacterial consortium characterized above was mixed with a textile sludge-contaminated soil with a phenol concentration of 19.48mgkg(-1). After 20 days of bioaugmentation, the remanescent phenol concentration of the sludge-soil matrix was 1.13mgkg(-1).     

Fractional wavelet transform

The wavelet transform, which has had a growing importance in signal and image processing, has been generalized by association with both the wavelet transform and the fractional Fourier transform. Possible implementations of the new transformation are in image compression, image transmission, transient signal processing, etc. Computer simulations demonstrate the abilities of the novel transform. Optical implementation of this transform is briefly discussed.     

面向应用层的流媒体性能测量指标

介绍了一种从流媒体接收者的角度对流媒体性能进行测量的方法,提出了相应的应用层评价指标。利用已有的商业化流媒体服务软件,通过改变网络环境在不同的条件下对指标进行测量,最后通过实验数据来验证这些指标的有效性。