一种改进的指针安全分析算法

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.     

基于条纹投影的显微镜自动对焦研究

自动对焦技术是薄膜晶体管液晶面板(TFT-LCD)检测中非常重要的一环。针对TFT-LCD液晶面板的检测中需要快速准确地对焦到液晶面板被测面的问题,提出一种可自动对焦的显微镜系统。将数字光栅投影到物面上,先通过分光棱镜将光分成两路,一路被面阵CCD接收,另一路通过分光棱镜和反射镜将光栅的像分成两路,分别成像在线阵CCD的靶面上。通过线阵CCD上两个光栅图清晰度的对比实现离焦方向和离焦量的判断,使用微位移平台移动物镜,实现显微镜的自动对焦。本研究对自动对焦数字光栅的影响因素进行分析,并采用变周期数字光栅进行对焦。     

Klein-Gordon oscillators in noncommutative phase space

We study the Klein-Gordon oscillators in non-commutative (NC) phase space. We find that the Klein-Gordon oscillators in NC space and NC phase-space have a similar behaviour to the dynamics of a particle in commutative space moving in a uniform magnetic field. By solving the Klein-Gordon equation in NC phase space, we obtain the energy levels of the Klein-Gordon oscillators, where the additional terms related to the space-space and momentum-momentum non-commutativity are given explicitly.     

A New Conserved Quantity Corresponding to Mei Symmetry of Tzenoff Equations for Nonholonomic Systems

A new conserved quantity is investigated by utilizing the definition and discriminant equation of Mei symmetry of Tzénoff equations for nonholonomic systems. In addition, the expression of this conserved quantity, and the determining condition induced new conserved quantity are also presented.     

应力释放率对超大断面小净距浅埋隧道的开挖影响研究

依托某高速公路隧道工程,基于空间反向荷载法和CRD施工工法,分析了不同应力释放率下浅埋隧道围岩变形及地表沉降规律。得出以下结论:(1)随着应力释放率的增大,浅埋隧道洞周竖向位移及地表沉降明显增大,围岩塑性区范围也明显增大;(2)在小净距浅埋隧道变形计算中,应力释放率越小,左、右幅隧道开挖引起地表相对干扰越大。当应力释放率取50%时,左洞隧道开挖引起的右洞地表隆起值大于其自身开挖引起的位移值,右洞上部地表隆起,最终导致隧道上方公路可能出现拉裂现象。     

水煮不影响花生过敏原数量和一级结构

花生是重要的食物过敏原之一,它应用广泛且会引起严重的过敏反应,近年来得到广泛关注。本研究对新鲜带壳和晒干后带壳花生进行水煮处理,探究热加工对花生过敏原蛋白的数量和一级结构的影响。采用凯氏定氮法测定水煮前后花生中的总蛋白含量发现,未加工鲜花生含蛋白11.16g/100g鲜花生,直接水煮和晒干水煮后,蛋白质含量分别为11.67g/100g鲜花生和11.14g/100g鲜花生,加工后花生总蛋白含量没有显著变化。利用iTRAQ(isobaric tags for relative and absolute quantitation)技术分析,结果显示鲜花生水煮及晒干水煮后Ara h 1等8种过敏原蛋白的数量比值均在0.85～1.67之间,聚丙烯酰胺凝胶电泳和iTRAQ肽段分析表明,水煮加工对花生过敏原蛋白质的一级结构也没有显著影响。因此水煮加工对过敏原蛋白的数量和一级结构的影响不显著。     

Radiation characteristics and implosion dynamics of tungsten wire array Z-pinches on the YANG accelerator

We investigated the radiation characteristics and implosion dynamics of low-wire-number cylindrical tungsten wire array Z-pinches on the YANG accelerator with a peak current 0.8-1.1 MA and a rising time ～ 90 ns.The arrays are made up of(8-32)×5 μm wires 6/10 mm in diameter and 15 mm in height.The highest X-ray power obtained in the experiments was about 0.37 TW with the total radiation energy ～ 13 kJ and the energy conversion efficiency ～ 9%(24×5 μm wires,6 mm in diameter).Most of the X-ray emissions from tungsten Z-pinch plasmas were distributed in the spectral band of 100-600 eV,peaked at 250 and 375 eV.The dominant wavelengths of the wire ablation and the magneto-Rayleigh-Taylor instability were found and analyzed through measuring the time-gated self-emission and laser interferometric images.Through analyzing the implosion trajectories obtained by an optical streak camera,the run-in velocities of the Z-pinch plasmas at the end of the implosion phase were determined to be about(1.3-2.1)×10 7 cm/s.     

关于混合模式色谱固定相对蛋白保留特征的研究

为使混合机理色谱(MMC)得到广泛地应用, 合成、表征和评价MMC固定相就成了首先要解决的问题. 依据离子交换色谱柱也具有疏水色谱(HIC)保留机理的特征, 选了4种弱阳离子交换(WCX)柱和一根二维[2D(WCX,HIC)]色谱柱, 研究了标准蛋白在这两类色谱柱上的保留行为. 这四种WCX色谱柱中的两种能在WCX和HIC两种分离模式下分离蛋白, 虽不如2D色谱柱效果好, 但有可能当成“准2D柱”来使用. 发现蛋白在这四种WCX柱上所显示的HIC分离特征各不相同, 且保留值随盐浓度变化呈现出的“U型”曲线也有大的差异. 实验结果显示, “U型”曲线的宽度和临界点分别与色谱动力学和热力学因素相关. 还对这两类色谱固定相的峰容量表征方法和命名提出了建议和说明.     

维汉/汉维机器翻译译后编辑器的设计与实现

译后编辑器是提高翻译系统译文质量的重要方法之一,它的效率影响整个翻译系统的质量和实用水平.目前,还未发现对维汉/汉维机器翻译译后编辑问题的专门研究.本文对维汉/汉维统计机器翻译系统的翻译结果进行分析,设计并实现了支持维汉/汉维编辑界面的译后编辑器,并详细介绍了编辑器的核心功能及其实现方法.该译后编辑器对维汉/汉维机器翻译系统生成的译文进行编辑,使用词干提取、拼写校对、lucence.net等技术提高了编辑效率.经编辑纠正后的译文校正稿以句子为单位保存在记忆库,人工纠正后的未登录词保存在词典数据库,进而提高机器翻译系统生成译文的质量.实验表明,此译后编辑器对基于实例和基于统计引擎的维汉/汉维翻译结果的后编辑提出了较好的解决方案.     

HIRFL-CSRm内靶实验终端CsI(Tl)电磁量能器性能模拟

基于GEANT4模拟了HIRFL CSRm内靶实验终端的CsI(Tl)电磁量能器系统,给出了CsI电磁量能器的最佳设计参数及可能达到的性能.结果表明,设计的CsI(Tl)电磁量能器系统能够满足所研究的物理要求. Based on the GEANT4, the performance of the electromagnetic calorimeter (EMC) of the internal-target detector at HIRFL-CSRm is simulated. The simulation results show that 1.5%—3% of the energy resolution σ_E/E and 2° of the polar angular resolution σ_θ can be obtained. The invariant mass of the π~0 decay can be reconstructed well. The performance can meet the requirement of studying the proposed physics at HIRFL-CSRm.