基于静态和动态混合分析的内存拷贝类函数识别

缓冲区溢出等内存错误漏洞的产生往往来自对内存拷贝类函数的不当使用. 对二进制程序中的内存拷贝类函数进行识别有利于发现内存错误漏洞. 目前针对二进制程序中内存拷贝类函数的识别方法主要借助静态分析来提取函数的特征、控制流、数据流等信息进行识别, 具有较高的误报率和漏报率. 为了提高对内存拷贝类函数识别的效果, 提出一种基于静态和动态混合分析的技术CPSeeker. 所提方法结合静态分析和动态分析各自的优势, 分阶段对函数的全局静态信息和局部执行信息进行搜集, 对提取到的信息进行融合分析, 进而识别二进制程序中的内存拷贝类函数. 实验结果表明, 尽管CPSeeker在运行时间上有所增加, 但在内存拷贝类函数识别的效果上, 其F1值达到了0.96, 远优于最新的工作BootStomp、SaTC、CPYFinder以及Gemini, 并且不受编译环境(编译器版本、编译器种类、编译器优化等级)的影响. 此外, CPSeeker在真实的固件测试中也有更好的表现.     

Mn、Co掺杂SiC薄膜结构与光致发光性能研究

采用射频磁控溅射技术和复合靶材方法制备了掺Mn,掺Co和Co、Mn共掺的SiC薄膜,经高温退火后进行了光致发光(PL)谱的测量,还用X射线衍射(XRD),傅立叶变换红外光谱(FTIR),扫描电镜(SEM)等表征手段分析了薄膜的相结构和表面形貌,并与光致发光的结果进行了对比研究.结果表明,掺Mn、Co使SiC晶格发生畸变,X射线衍射峰强度下降,Si-C吸收谱变宽,Si-C键振动减弱,Si-O基团的振动增强.样品在室温条件下均呈现出强的紫光发射特性,发光峰均位于414nm(3.0eV),认为414nm处的光致发光峰对应于光激发产生的电子从导带底到Si空位浅受主能级之间的辐射跃迁,其强度取决于Si空位的浓度.     

在蓝宝石光纤端面上生长ZnO薄膜的方法及光学性能分析

介绍了利用电子束蒸发技术在蓝宝石光纤端面上生长具有良好的表面形貌和晶体结构的ZnO晶体薄膜的方法,并构建了一套具有较低插入损耗的光纤检测系统用于光学性能分析.透射光谱测试结果显示,蒸镀在蓝宝石光纤端面上的ZnO薄膜具有陡峭的光学吸收边,且经历400 ℃高温退火后,除可见光波段(400～450 am)透射率有一定的减小外,其在紫外波段(300～380 nm)的光学吸收边仍基本重合,表明在光纤端面上的ZnO晶体薄膜具有较好的温度稳定性,这为今后进一步利用ZnO薄膜光学吸收边随温度变化而移动的特性,研制以ZnO镀膜为敏感材料的新型光纤温度传感器打下良好的基础.     

Group Contribution based Flammability Limit Estimation of Hydrocarbon-Inert Gas Mixture

As group contribution method is easy to apply and has a wide application range,current study has developed this model to predict flammability limit of hydrocarb...     

改进Kriging插值的地面沉降监控模型的研究

随着城市化进程的加快,地下水超采、高层建筑的兴建、建筑容积率和建筑密度的增加以及特殊的地质环境所引起的城市地面沉降日趋严峻。因此,建立一种通用性更强、效率更高的沉降监控模型是十分必要的。Kriging插值以其独特的建模机制,在区域空间插值中已得到广泛应用,而在时域插值中却鲜有研究,借鉴Kriging空间插值模型,研究其在时间域插值的应用具有重要意义。为保证时域模型数据的时间相关性,减少扰动信息累积,需删除早期数据;而为了保证变异函数能真实反映数据的时间分布特征,模型又需要足够的样本数据。为此,探讨了一种基于灰色理论的等维动态Kriging时域插值模型,采用等维动态预测,保证数据时间相关性,减少信息扰动;采用对建模数据量要求较少的灰理论模型来拟合变异函数曲线,解决样本不足的问题,并结合工程实例,验证了该算法的实用性、可靠性和有效性。更多还原     

HH902钢铁常温发黑剂配套工艺研究

本文着重介绍了HH902钢铁常温发黑剂的特点及配套工艺,介绍了清洁生产、节能的、具有可操作性、适用性的几种工艺流程及应用效果.     

Ⅰ-deas三维设计软件的应用技巧

介绍了Ⅰ-deas软件的工作环境及设计中常见的问题的解决方法和技巧.     

UG二次开发实现药柱燃面退移自动化

文中提出了一种三维药柱燃面退移计算近似算法,并用UG软件的二次开发功能执行此算法,达到了快速准确的获得药柱肉厚-燃面曲线的目的。UG二次开发通过MFC和UGAPI函数交叉使用实现,MFC制作对话框界面,UGAPI函数执行燃面退移算法。最后以某型号发动机装药为例,运用此方法和传统方法对比,验证了该方法的正确性和高效性。     

传爆序列飞片起爆理论研究及应用

在考虑受主炸药盖片对撞击入射冲击波衰减作用的基础上，得到了改进的飞片起爆计算模型，经与实验结果对比表明这一改进模型更符合实际系统。     

CAD在爆炸网络设计中的应用

从爆炸网络的设计方法和设计手段出发,采用计算机辅助设计（CAD）实现爆炸网络的设计,提出了研究内容和实施方案。