一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

数控电火花精微加工间隙特性和伺服特性的研究

本文对数控电火花精微加工间隙特性和伺服特性进行了初步研究,介绍了一种测量间隙和振动的方法,讨论了机床主轴头振动对精微加工的影响。     

复合斜面的数学模型和磨削加工

描述了复合斜面的数学模型和加工方法，指出该加工方法可操作性好，提高了零件的加工精度。     

贮液舱舱体蒙皮数控卷圆新工艺

叙述了采用数控卷板机实现贮液舱舱体蒙皮预弯、卷圆一次完成的成型新工艺。该工艺减少了加工工作量，缩短了加工周期。     

XS 211模块化卧式加工中心

曾在CIMT2007展出的MAG公司XS 211机床是基于"简单而紧凑"的模块化概念设计的,可提供高柔性和高精度加工,而投入成本低廉.     

石墨加工工艺

通过对石墨材料理化及加工特性的认真分析，找到了在加工石墨零件时容易出现崩角、掉渣等质量问题的原因，提出了解决问题的措施与方法。     

某型号雷达俯仰框架工及工艺分析

本文从工艺的角度对俯仰框架作了详细的分析，指出了加工中需要注意的事项。     

利用空间微重力资源研究金属材料

本文介绍了利用空间微重力资源研究金属材料的重要意义和近20多年来在这一领域已经取得的主要成果(包括难混合金、金属基复合材料和功能材料等方面),并对今后的研究方向和未来的展望作了简要讨论。