基于程序特征谱整数溢出错误定位技术研究

随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错误定位模型INTRank.实验结果表明:基于INTRank模型的语句可疑度估计方法可以较为准确地计算语句可疑度,使得程序员能够按照基于语句可疑度的优先级顺序检查源代码,找出导致整数溢出错误的原因,同时本文方法具有较低的漏报率.

回归测试中基于值谱比较的偏离根定位法

在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。

一个将MCNP模拟结果转换为GammaVision能谱的程序

研制了一个把MCNP计算的γ光子能量沉积的幅度分布转换为GammaVision格式的γ能谱的程序,从而可以利用GammaVision对模拟γ能谱进行分析和处理,为HPGeγ能谱的理论模拟提供了一个便利的工具。

基于PowderX软件的拉曼光谱数据处理

将处理 X射线衍射谱的 Powder X软件用于处理拉曼光谱数据 ,可方便地获得谱线中各个拉曼峰的位置、强度和半高宽等信息。经过平滑、去背景后 ,拉曼谱图的变化趋势与原始谱图吻合 ,谱线的信噪比及分辨率也有所提高 ,表明 Powder

基于线性分类算法的软件错误定位模型

基于谱的错误定位(SBFL)方法能帮助程序员减小软件调试的困难。作为一种轻量方法,SBFL只需收集测试用例的覆盖信息和测试结果,计算程序每条语句的运行特征。众多SBFL方法,将四个运行特征组合成不同的可疑度计算公式。然而,这些公式受固定参数的影响,无法适应不同的程序集。因此,提出一种机器学习方法,能自动确定特定程序集的可疑度计算公式。首先,收集已标注错误语句的程序旧版本;再将错误语句与正确语句的运行特征两两相减,构造为训练集的一个样本;最后基于Weka的分类算法,学习到线性函数,作为该程序的错误定位模型。在Siemens程序包、space和gzip三个基准数据集上,使用Logistic、SGD、SMO和Lib Linear学习到的模型,性能都要优于SBFL方法。

AlF_3催化剂的酸性表征

用干法制备高比表面ＡｌＦ３（Ｓ≥４５ｍ２／ｇ），对其表面酸性及酸中心类型进行了表征，并与其相结构进行了关联．对于由γ相及非晶相（二者总含量大于９５％）组成的ＡｌＦ３体系，ＮＨ３－ＴＰＤ曲线出现两个脱附峰，随着γ相含量的增加，弱酸强度变弱，强酸强度变强．脱附尾气滴定结果表明：随着γ相含量的升高，弱酸量和总酸量增加，强酸量则无显著变化，因而认为弱酸中心可能存在于ＡｌＦ３的γ相表面，强酸中心存在于其非晶相表面．吡啶吸附的红外光声光谱表明：ＡｌＦ３中既存在Ｌ酸中心，也存在Ｂ酸中心．氨气吸附的红外光谱结果表明：随着γ相含量的增加，Ｂ酸中心数量趋于减少．

考虑SSI效应的核电站泵房结构楼层反应谱分析

采用SuperSAP和CLASSI程序对某在建核电站泵房结构进行了极限安全地震震动和运行安全地震震动情况下的土壤-结构相互作用(SSI)的地震分析,揭示了结构在时域内的特性;通过傅立叶变换(FFT)分析了结构在频域内的特性,求得建筑结构中各楼层反应谱,结合核电厂设计规范分别给出了在较硬地基岩土条件下,结构考虑和不考虑SSI时各楼层反应谱,并对其进行了比较分析。结果表明,SSI效应对结构楼层反应谱的谱形、谱值以及零周期平台高度有一定的影响。

基于程序行为特征比较的谓词切换排序

谓词切换(Predicate Switching)通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化,分析可能与错误相关的关键谓词判断语句,从而实现辅助错误定位.谓词判断语句排序算法决定了谓词切换定位关键谓词判断语句的效率.已有的排序算法如LEFS算法定位效率较低;PRIOR算法虽然提高了定位效率,但必须首先做程序动态切片找寻与错误相关的谓词判断语句集合,而后建立程序依赖图以定义谓词判断语句的优先级,这个过程需要花费大量的时间,且算法复杂度较高.在这两种算法基础上提出一种新的改进排序算法,首先通过对比成功和失败的测试用例在运行中所展现出来不同程序行为特征,以此定义谓词判断语句的优先级,然后对不同优先级别的谓词根据执行先后顺序进行反向排序.基于基准测试集Siemens Suite的程序进行了实验,结果表明本文的排序算法与LEFS算法相比定位效率更高,与PRIOR算法相比减少定义谓词优先级的耗费,且算法更易于实现.

丙烷氧化脱氢不同硅基载体负载钒氧化物催化剂的TPSR表征

研究了钒负载不同氧化硅载体(Silica-gel,SBA-15,MCM-41,fumed-SiO2,Nano-SiO2)的丙烷氧化脱氢(ODH)催化剂的结构特征和催化性能,结合催化剂的程序升温表面反应(TPSR)的差热热重质谱(TG-DSC-MS)和原位紫外漫反射光谱(UV-vis DRS)等技术,研究钒在载体上的分散度和晶格氧的反应性。结果表明:负载型钒氧化物催化剂的活性取决于钒在不同硅基载体上的分散度,高度分散的隔离的四配位V5+是丙烷氧化脱氢的活性位。C3H6选择性主要与催化剂的平均孔径相关联,平均孔径越小,产物C3H6越易发生深度氧化。另外,不同氧化硅载体晶格氧与钒的结合强度对C3H6的选择性也产生影响,结合力较弱的V-O-Si中的晶格氧是丙烷氧化脱氢的燃烧位,且燃烧温度随晶格氧与钒、硅结合强度的减小而降低。而与钒结合力较强的V=O和V-O-V中的晶格氧是丙烷氧化脱氢的选择氧化位。硅基载体形貌和结构的不同导致负载型钒氧化物催化剂丙烷氧化脱氢活性和选择性发生差异。

SPEX1403激光Raman光谱仪的计算机功能开发——Ⅲ.DM1型与IBM PC/XT数据通讯

作者将DM1型与IBM PC/XT计算机用RS232异步通讯标准串行口相联,把DMIB收集到的拉曼谱图传输给IBM PC/XT.通讯软件用Microsoft Quick Basic 4.0编制.传输的谱图数据以ASCⅡ码或二进制方式存入软盘(或硬盘),可在IBM PC/XT以及兼容机上进行谱图的读写显示,剪辑、平滑、微积分等谱图数据处理.

用于甲烷燃烧的MnO_x/La-Al_2O_3催化剂的研究

摘要:用La(NO3)3溶液等体积浸渍Al2O3颗粒制得了La-Al2O3,进行了比表面积测试、x-射线衍射(XRD)和红外光谱(FTIR)表征,考察了加入La对Al2O3结构和热稳定性的影响。以Al2O3、La-Al2O3为载体,Mn(CH3COO)2为前驱体,制备了MnOx/Al2O3、MnOx/La-Al2O3系列催化剂,进行了H2-程序升温还原(TPR)表征,测试了它们对甲烷燃烧的催化活性。结果表明:加入La提高了Al2O3的热稳定性,MnOx/La-Al2O3对甲烷燃烧的催化活性高于MnOx/Al2O3,La在La-Al2O3中的最佳加入量为5%(La原子占Al2O3的质量百分数)。

原位红外光谱研究Cu/Zn/Al催化剂的还原过程

采用原位红外技术 ,研究了用Na2 CO3 沉淀法制备的Cu/Zn/Al催化剂的程序升温还原过程。结果表明 ,在催化剂的程序升温还原过程中 ,CuO和ZnO表面吸附的CO2 可进行加氢反应和逆水汽变换反应。在催化剂中 ,ZnO与CuO、Al2 O3 均发生相互作用。Al2 O3 对CuO和ZnO具有分散作用。提出了Cu/Zn/Al催化剂在还原过程中的反应机理。

SPEX 1403激光Raman光谱仪的计算机功能开发——拉曼光谱重迭谱峰的分峰程序

本文使用图形辅助输入谱峰参数的方法,并采用把谱峰参数转换到[0,100]闭区间和阻尼非线性最小二乘法进行谱线拟合,从而将重迭的 Raman 谱峰分开.程序中阻尼因子的选择,避免了迭代中的发散和可行域之外的假收敛.本程序在 IBM PC/XT 机上,用 TurboPascal 语言编制.

γ能谱的数据获取系统

本文介绍了γ能谱测量实验室的数据获取系统,并介绍了为建立该系统而开发的一个通用IBM能信程序软件包COMLAN。该通信程序将建立在微型机上的数据获取系统与大型机(如PDP-11,VAX-11等)相连,一次最多可传送999个获取的谱数据到大型机上做离线处理,使微型机在大型机的后援下,用途更广途泛、使用更灵活。

由分类算法学习软件错误定位的关联测度

基于谱的错误定位(SBFL)技术能找出导致程序出错的可执行代码.测试用例数目和覆盖语句次数可构造SBFL的二分型矩阵.利用该矩阵,人们提出许多的SBFL关联测度计算公式.然而,这些关联测度往往只适应部分程序集.因此,提出基于分类算法的技术,能学习到程序集特有的关联测度.训练集样本建立在成对的错误语句和正确语句上,其特征由语句对的条件概率相减而成.为证实技术的有效性,在Siemens套件、space和gzip三个基准数据集上完成实验.使用Weka的Logistic、SGD、SMO和LibLinear训练出的关联测度,性能都明显优于固定形式的SBFL测度.

考虑类特性的面向对象错误定位

基于频谱的错误定位方法很少考虑语言特性对其错误定位效率的影响.文中针对基于频谱的面向对象程序错误定位,分析讨论了类特性对基于频谱的错误定位方法的有效影响,提出了结合类可疑度信息的错误定位算法,并通过3个Java开源软件作为实验对象对其进行了验证.实验结果表明,文中提出的方法能够有效提高基于频谱的面向对象错误定位方法的效率.

Ce-Zr-O固溶体的制备和表征

采用硝酸盐直接分解法、共沉淀法、苹果酸溶胶 凝胶法和柠檬酸溶胶 凝胶法制备了Ce Zr O复合氧化物并进行了表征。溶胶 凝胶法制得的Ce Zr O为立方的Ce0 .5Zr0 .5O2 复合氧化物 (其中少量具有立方性质的t″相 ) ,而直接分解和共沉淀法制得的是由立方Ce0 .8Zr0 .2 O2 和四方Ce0 .2 Zr0 .8O2 固溶体组成的复合氧化物。不同制备方法制得的样品由于物相组成不同 ,还原性能也有较大差别。差热分析和X射线衍射分析结果表明 ,凝胶在燃烧的同时生成了Ce0 .5Zr0 .5O2 固溶体。

Fortran与Delphi混合编程及其在造波控制系统中的应用

在介绍实验室造波原理的基础上,提出了使用混合编程进行造波系统控制的思路,并且给出了一个应用Fortran和Delphi混合编程方法实现波浪水槽中不规则波生成的实验实例,结果表明,利用多语言集成方法实现海洋测量设备的自动控制具有较大优势。

类氖氩离子光谱参数的计算

为弥补光谱数据在实验方面的空白,满足相关领域研究的需求,利用扭曲波波恩近似方法及AUTOSTRUCTURE(AS)程序,计算了类氖氩(Ar8+)离子2s22p53n、2s2 p63n(n=s、p、d)组态的光谱参数,预言了部分实验中尚未观测到的能级值.理论计算值与已有的实验值进行对比,吻合较好.从已有的实验值与理论计算值对比结果的高度准确性看,这些预测值是可信的.结果表明,采用扭曲波波恩近似并结合AUTOSTRUCTURE(AS)程序的研究方法,可以成为研究原子或离子碰撞激发光谱的途径.

紫外光谱重叠的多组分混合物体系的同时定量测定

提出一种可将紫外吸收光谱严重重叠的混合物体系准确定量分析的方法。该方法利用系统聚类结合加和性检验而得的优化波长集合有效地降低了混合物光谱的相关性。通过选取优化波长集合内的波长点的信息,把吸光系数和待测浓度同时作为自变量,建立非线性优化模型,对于组分间浓度差较小的混合物体系经一次优化分析计算可得待测浓度;混合物中组分浓度差较大的体系经四次左右优化迭代,逐步降低误差的分析结果,相对误差可控制在3.63%之内。分析结果表明该法稳定、准确、简便快速,可对多组分混合物体系进行定量测定。