一种针对可执行代码的内存泄漏静态分析方案

针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.     

铁道车辆几何滤波现象及弹性车体共振分析

运用简化铁道车辆模型,对几何滤波现象进行了分析.建立了刚柔耦合弹性车体模型,分析了几何滤波现象对车体响应功率谱的影响,以及几何滤波与弹性车体共振频率的关系.研究表明,几何滤波分为轴距滤波和定距滤波.在某些特定轨道不平顺波长下,车体的点头和浮沉响应均为零,该现象称为轴距滤波;定距滤波是指在某些波长下,车体的浮沉或者点头响应为零.在车体空点头响应频率附近,轨道对车体浮沉振动的加速度传递率达到局部最大,当车体的垂向1阶弯曲频率与这些峰值频率吻合时,将产生车体弹性共振现象.     

云南省公共体育投入与GDP关系的数学建模研究

对云南省公共体育投入的资金数量与云南省的GDP年度值进行函数拟合,分析得到的函数及曲线,得出云南省公共体育投入与经济发展的关系,预测未来几年云南省公共体育投入的问题.     

γ′-Fe4N纳米晶薄膜的结构及低温磁性

采用直流磁控溅射方法, 在Si(100)单晶衬底上制备γ′-Fe₄N纳米晶薄膜样品, 并利用X射线衍射(XRD)和振动样品磁强计(VSM)对样品的结构和磁性进行测试分析, 给出了比饱和磁化强度及矫顽力与温度的关系. 结果表明, 样品沿(111)晶面择优生长, 具有单一的易磁化方向, 且易磁化方向平行于（111）晶面. 随着测量温度的降低, γ′-Fe₄N纳米晶薄膜样品的比饱和磁化强度σ_s增加, 矫顽力H_c增大, 剩磁比σ_r/σ_s减小. 通过理论拟合确定了比饱和磁化强度与矫顽力随温度的变化关系, 矫顽力随温度的变化满足T^1/2规律, 比饱和磁化强度σ_s与温度不满足Bloch的T^3/2规律, 表明在80~350 K温度范围内自旋波之间存在较强的相互作用.      

变分不等式和非扩张映射的迭代收敛性

介绍了一类包含非扩张映射的变分不等式和Wiener-Hopf方程,基于投影技巧推导出两者之间的等价关系,利用该等价关系提出了一个同步求解非扩张映射不动点和变分不等式的迭代算法,并在适当条件下证明了该迭代算法的强收敛性;所得结论推广了该领域内的一些最新结果.     

企业物流绩效综合评价的AHP-TOPSIS方法及应用

企业物流绩效综合评价的关键是怎样选择或建立评价模型,以及怎样根据评价模型建立评价指标体系.以企业物流绩效为研究对象,建立了一种较全面的二层次指标体系,综合考虑了客户、成本、服务水平、信息以及创新学习等各方面的绩效指标;利用AHP法确定一级指标和每个二级指标的权重,并对指标进行标准化处理.建立了AHP-TOPSIS评价模型;最后给出一个算例.     

石墨炉原子吸收法测定草酸-盐酸羟胺土壤浸出液中的铝

研究了石墨炉原子吸收光谱法测定草酸－盐酸羟胺土壤浸出液中的铝,对灰化温度,原子化温度以及土培浸出液中盐酸羟胺,草酸,铁,钠,钾,钙对测定铝的影响进行了试验,结果表明,当灰化温度和原子化温度分别为1500℃和3000℃时,用硝酸镁作为基体改进剂,能有效的抑制背景吸收,在测量体系中,上述共存成分均不影响铝的测定,对四个土样和三个合成样中的铝进行了测定,RSD％≤8．2,回收率在90％－104％,检出限为0.013mg/L.     

21世纪最有前途的材料Ⅱ——纳米材料的制备与应用

主要介绍了二维纳米薄膜、三维纳米晶体材料和纳米复合材料的制备方法。探讨了各种方法的特点与适用性,并展望了纳米材料在催化、光学、电学、磁学,传感器、陶瓷及生物医学等领域的应用前景。     

基于BP神经网络的河道水位推算模型研究

在分析影响河道水位因素的基础上,采用基于梯度下降算法的BP神经网络模型推算河道水位,同时采用传统的上下游水位线性相关方法进行水位推算。结果表明,在具有较长期实测资料的情况下,BP神经网络模型具有很高的精度,若要考虑更多相互独立影响因素的非线性作用,应相应增加输入样本数。文章最后提出了进一步提高模型精度的几点设想。     

猪生长激素cDNA基因的改建

为了将猪生称激素cDNA基因在表达后能一步纯化获得表达产物,对于来自质粒的猪生长激素cDNS基因通过PCR技术进步了改建,进一步的序列分析表明,与GenBank登录的序列不同,改建后的基因不带有突变。