基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.     

Ni—Al底层对热喷涂层结合的作用

为了使热喷涂层有高的结合强度，一般要在基本上先喷一薄的底层，然后再喷工作层，Ｎｉ／Ａｌ是目前最广泛使用的底层材料，以Ａ３钢为基体，通过火焰粉末，火焰线材及等离子喷涂试验，考虑了Ｎｉ－Ａｌ底层的作用，发现在大多情况下强化效果是明显的，但对个别涂层作用也不大。     

巧换焊接极性,消除仰焊打底内凹缺陷

1 前言从事焊接管理和生产的人员都有这样一个体会,16MnR类低合金高强钢在锅炉压力容器板状仰焊手弧焊考试过程中,是使用碱性低氢E5015(J507)焊条反接法焊接的。在打底层的焊接中,由于熔化金属受重力作用,不易控制熔池形状和大小,极易掉落,使焊缝成形困难。常在焊缝背面形成低于母材表面的内凹缺陷,致使焊缝外观验收不合格而不能通过此项目的考     

Induced effects of Cu underlayer on（111） orientation of Fe50 Mn50 thin films

Effects of Cu underlayer on the structure of Fe50 Mn50 films were studied. Samples with a structure of Fe50 Mn50 (200 nm)/Cu(tcu) were prepared by rnagnetron sputtering on thermally oxidized silicon substrates at room temperature. The thickness of Cu underlayer varied from 0 to 60 nm in the intervals of 10 nm. High-vacuum annealing treatments, at different temperatures of 200, 300 and 400℃ for 1 h, respectively, on the Fe50Mn50 (200 nm)/Cu(20 nm) thin films were performed. The surface morphologies and textures of the samples were measured by field emission scan electronic microscope (FE-SEM) and X-ray diffraction(XRD). Energy dispersive X-ray spectroscopy (EDX) and Auger electron spectroscopy(AES) were used to analyze the compositional distribution. It is found that Cu underlayer has an obvious induce effect on (111) orientation of Fe50 Mn50 thin films. The induce effects of Cu on (111) orientation of Fe50 Mn50 changed with the increase of Cu layer thickness and the best effect was obtained at the Cu layer thickness of 20 nm. High-vacuum annealing treatments cause the migration of Mn atoms towards surface of the film and interface between Cu layer and substrate. With the increasing annealing temperature, migration of Mn atoms is more obvious, which leads to a Fe-riched Fe-Mn alloy film.     

智能车转向系统的研究及设计

设计了一套适合无人驾驶智能车BJUT-Ⅳ的转向系统;该系统转向电机采用奇瑞A3电子式助力转向系统(EPS)的转向电机;增量式光电编码器对转向电机的位置以及转速进行检测;汽车转向柱上安装SX4300转角传感器,对方向盘的旋转角度进行检测;该系统采用RS-232实现控制器与上位机之间的相互通信;实验证明,BJUT-Ⅳ智能车可以在阻力最大条件下快速准确地实现转向动作;该转向系统设计合理、稳定性高、实时性强;同时,转向系统的成功应用为今后智能车底层控制奠定基础.     

开源技术盘活云计算

开源技术目前已经运用到云计算的每一个地方,在Hypervisor层面,KVM、Xen都是很优秀的虚拟化底层引擎,在管理接口方面,Libvirt是一个被广泛使用的组件,而Eucalyptus、OpenCloud、Convirt、Nebula等都是很不错的云计算框架和管理软     

C＋＋中虚函数底层实现机制的探讨

分析了C＋＋中虚函数的使用方法,运用反汇编手段对虚函数底层实现机制进行了探讨,并研究了构造函数和析构函数中的虚函数调用。     

基于数据集成的轮胎企业制造执行系统（MES）研究

本文结合轮胎企业的生产特点,研究轮胎企业制造执行系统（MES）中的数据集成。设计了由底层数据接口、MES数据库、数据访问平台和机制、人机交互接口及数据校正系统等组成的数据集成平台,有效地实现了数据的实时通信和共享。     

改进的基于底层虚拟机混淆器的指令混淆框架

针对底层虚拟机混淆器（OLLVM）在指令混淆层面只支持指令替换一种算法,且仅支持5种运算符和13种替换方案的问题,设计了一种改进版的指令混淆框架InsObf,以加强OLLVM指令层面的混淆效果。InsObf包含指令加花和指令替换,其中指令加花首先对基本块的指令进行依赖分析,然后插入叠加跳转和虚假循环两种花指令;指令替换在OLLVM的基础上,拓展至13种运算符,共计52种指令替换方案。在底层虚拟机（LLVM）上实现了框架原型后,通过实验表明,与OLLVM相比,InsObf在时间开销增长约10个百分点,空间开销增长约20个百分点的情况下,圈复杂度和抗逆向能力均可提高近4倍;与同样基于OLLVM改进的Armariris和Hikari相比,InsObf在同一量级的时空开销下,可以提供更高的代码复杂度。因此,InsObf可提供指令层级的有效保护。     

改进的基于彼此相反型编码ECC标量乘算法

针对标量乘算法占用存储空间较大的问题,提出一种改进的基于彼此相反型编码ECC标量乘算法。所给方案首先对标量乘算法的标量用彼此相反型编码方式重新编码,可以大幅降低运算量,从而减少所需存储空间;然后根据约束条件放置标量乘算法底层域模块中的操作数,可以最大程度地利用SRAM空间,从而有效降低IP的面积;最后根据性能分析可知：与经典标量乘算法相比,所给方案可以有效节省10%左右的面积,而且不会影响标量乘算法的IP性能,较适宜应用在SoC安全芯片等资源受限的系统中。