一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

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

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

热压载荷作用下气体检测光学窗口对激光传输影响

采用有限元方法研究了不同热压载荷作用下多组分气体原位激光检测系统的光学窗口变形分布情况,并根据热光效应计算得到光学窗口折射率分布。采用光线追迹法对比分析了氮气吹扫前后光学窗口折射率变化及变形对到达接收面的通光量和辐照度分布影响规律。此外,基于高温光学窗口激光透射测试平台开展了高温光学窗口对检测信号影响研究。结果表明:高温高压环境会使光学窗口折射率变化幅度增大及变形加剧,导致激光光路偏折引起透射光强损耗和探测信号条纹干涉;氮气吹扫可以有效改善激光传输条件,增加到达接收面的通光量,优化辐照分布,提高激光传输质量。     

面向代码演化的集成软件缺陷预测模型

不同版本的软件缺陷之间存在一定的关联性,在面向演化项目的缺陷预测方面通常通过构建预测模型,以历史版本缺陷数据为输入,对后续版本的缺陷进行预测,但普遍存在缺陷预测性能较差的问题。针对该问题,提出了一种面向代码演化的集成软件缺陷预测模型,通过选择与缺陷相关联的代码度量元以及版本间的演化度量元,由决策树（J48）、逻辑回归（LR）、神经网络（NN）、朴素贝叶斯（NB）各自迭代产生分类器,结合Adaboost集成学习方法,使其在训练分类器时更关注每一轮的错分元组,得到不同的预测集成模型。在PROMISE软件数据集上实验表明,针对代码演化问题,集成后的模型比单一的机器学习模型在精确度、召回率、F1和AUC上分别都提高了20.3%、44.9%、43.4%、45.3%,其中基于J48分类器的集成模型预测性能最好,比基于LR、NN、NB分类器的集成模型在AUC指标上平均提高7.7%、4.6%、8.0%,与近年来面向演化项目的缺陷预测技术对比,结果表明本文中集成方法更有效。     

浮顶罐中央排水管泄漏油气扩散激光检测研究

浮顶罐中央排水管油气泄漏研究对及时制定合理的应急措施、预防重大事故发生有重要意义.介绍了一种判断中央排水管泄漏的方法.通过数值模拟分析了不同泄漏位置对中央排水管泄漏后报警时间的影响,模拟发现3个泄漏位置的报警时间最大相差1308 s,说明泄漏位置对报警时间的影响较大.采用浓度为10％的甲烷代替油气进行了中央排水管油气泄...     

可信网络连接中一种基于可信度的细粒度授权模型

针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有定义等问题,提出了根据请求者的行为及其平台计算环境特征评估其信任级别的方法,研究了具有反馈功能的动态访问授权模型,并在构建可信网络连接原型系统的基础上,实现了从连接到授权的接入控制和动态调整.     

Study on polarization spectrum and annealing properties of 45°-tilted fiber gratings

We have investigated the whole polarization-extinction-ratio(PER) spectrum and annealing properties of45°-tilted fiber gratings(45°-TFGs). Experimental results show the PER spectrum of 45°-TFGs is a Gaussianlike profile and covers a 540 nm bandwidth from 1260 to 1800 nm, in which the bandwidth with PER greater than 10 dB is over 250 nm. The output polarization distribution of 45°-TFGs was analyzed by employing a bulk linear polarizer, and the results show a perfect figure "8", which indicates that the 45°-TFG is a type of linear polarizer. Moreover, the annealing property of 45°-TFGs was measured up to 700°C, in which the PER of the grating started to decrease at 300°C and reached the minimum at 700°C. Based on these results, the 45°-TFGs can be used as an ultra-wide bandwidth in-fiber polarizing device.