面向资源泄漏的浏览器沙箱测试方法

资源泄漏是导致浏览器沙箱逃逸的重要缺陷之一,已有浏览器沙箱测试方法不完全适用于发现资源泄漏缺陷.基于大多数导致沙箱逃逸的资源具有相同或相似属性取值的分析,本文提出了一种面向资源泄漏的浏览器沙箱测试方法.该方法首先分析并约简敏感资源的属性来生成资源筛选规则;其次,定义资源与资源筛选规则前件的最大加权语义相似度为逃逸指数,并使用逃逸指数阈值来筛选测试资源;再次,设计并实现了原型系统BSTS（Browser Sandbox Testing System）,并在BSTS内分析了方法的性能.进一步,选择多个主流浏览器沙箱来测试本文方法的资源泄漏发现能力,实验结果显示本文方法具有良好的资源泄漏发现能力.     

基于动态数据流的密码函数加解密过程分析

在密码函数识别的基础上,采用九元组的形式定义了加解密过程依赖图,提出了基于动态数据流分析的函数依赖图构建框架,并设计了构建算法;采用垃圾调用删除、循环归约的方式对依赖图进行化简;基于标准密码算法依赖图知识库,设计了相似性判别算法对依赖图集合进行判别,测试结果验证了方法的可靠性与高效性。     

基于反编译的循环脆弱点检测

循环拷贝出错是缓冲区溢出漏洞产生的主要原因之一。为了提高此类漏洞的检测效率, 提出一种基于反编译的循环脆弱点检测方法。该方法首先对目标文件进行反编译, 在反编译的基础上构建函数的AST(抽象语法树), 设计算法提取函数内部的循环信息; 然后根据循环脆弱点存在的特性, 构建有限状态自动机, 对循环脆弱点进行检测。该方法在无源码漏洞检测方面有明显优势, 能有效发掘软件中存在的循环脆弱点, 提高漏洞挖掘的效率和自动化程度。     

数控机床螺距误差补偿与分析

文章通过实例介绍数控机床滚珠丝杆传动机构的螺距误差的测量、补偿依据、补偿方法与操作要点,以及补偿效果的验证与分析.通过利用英国RENISHAW公司的ML10激光干涉仪对FANUC 0i系统数控铣床X轴的螺距误差进行测量、补偿及验证,结果说明,对滚珠丝杆传动机构的反向偏差与螺距误差进行补偿是提高机床精度的一种重要手段.     

透明塑料制品内应力检测仪设计与应用

针对就塑料产品中存在的内应力提出了检测透明塑料产品内应力分布的思路,并简单介绍了光弹效应的基本原理,根据该原理说明了设计内应力检测仪的具体方法,设计出了结构较简单、可行的透明塑料内应力检测仪,给出了检测仪的结构图,列出了该检测仪所观测到的塑料产品中的各种内应力分布图,最后提出了该检测仪的其它用途.     

提高加工中心换刀效率的方法研究

通过对自动换刀装置(ATC)控制方式及其控制流程的分析,加工中心换刀效率取决于ATC系统的结构及其控制方式。小型盘式刀座固定编码的无换刀机械手换刀控制方式设计简单、ATC装置成本低,但换刀效率低。带换刀机械手的ATC系统,可采取随机存取换刀控制方式,实现边选刀边加工,显著提高了换刀效率,从而提高了加工效率,但ATC系统结构复杂、成本高,控制设计复杂,适合大容量的ATC系统。在同一刀库中,实现大小刀径刀具交换是提高生产效率的一种有效途径,且其控制功能可在各种ATC系统中实现,其设计关键是依据刀径大小对刀具进行分区管理,从而实现大小刀径在同一刀库中交换的功能。文中所给出的各种控制方式的实现方法与控制流程基于工程实践与应用,对提高加工中心换刀效率的设计与研究具有指导价值。     

电子产品生产中的临时性防护

分析了各种自然环境条件下的失效机理,较详细解释了电子设备临时性防护的主要途径,提出了注重质量意识、注重细节的质量观点。     

岗位群及其应用

国家教委教职(94)11号文件确立了十所五年制高职试点学位，我校是冶金系统唯一的一所试点学校。按照国家教委的指示精神：五年制高职教育应坚持以能力培养为中心，教学必须针对一定的岗位，培养适应生产一线需要的高级技术人才和管理人才。对于这种新的教育模式，参照国外一些先进经验，结合本行业及本省的人才需求特点，我们在初中起点的五年制高职教育试点中引入了岗位群的概念。     

盘式刀库加工中心自动换刀系统控制

针对刀套编码的盘式刀库加工中心,阐述了其换刀动作过程.提出了一种结合加工程序、宏程序、PMC程序和参数设置来实现自动换刀控制的思路.同时结合三菱M60S系统给出了宏程序代码和关键PMC程序.该控制方法在本校三菱加工中心上调试成功,该思路适用于其他类型加工中心.