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

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

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

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

钛合金PRO/E辅助数控加工

通过喷注器面板的加工实例,对钛合金材料在数控加工中的实际操作流程作一简单介绍。并同时对PRO/E在加工此类零件和零件材料钛合金中的辅助加工,作了分析。对DMC63V的后处理在实际引用中所碰到的问题和解决也作了阐述。     

保证数控铣加工的尺寸精度

本文介绍了数控编程和数控加工中保证零件的尺寸和公差要求的方法.一种方法是用公差的中间值作为终点坐标的尺寸编程;另一种方法是用公称尺寸编程,用公差的中间值作与公称尺寸的差值作为刀补值,通过刀具补偿保证尺寸要求.     

数控加工程序的验证技术

数控加工技术已广泛应用于我国的航空工业及其它制造业。本文简要介绍了数控加工中一些常见的错误，并详细阐述了数控加工程序的验证方法及其特点。     

镗铣加工中心CAPP／CAM集成系统

本文介绍镗铣加工中心的ＣＡＰＰ／ＣＡＭ集成系统的基本结构、主要功能及工作原理，阐述了系统开发中所采用的基于特征与信息框架面的箱体类零件信息描述的方法。     

确定航空燃油喷嘴最佳几何参数的一种计算程序

介绍了确定航空燃油嘴最佳几何参数的一种计算程序，本程序经实践证明是简便实用的，可用于测绘件的反设计，对新研制件也可提供参考。