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

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

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

单片机在300M钢内螺纹冷挤压过程监测中的应用

介绍了ＭＣＳ－５１系列的８０３１单片机在３００Ｍ钢大直径内螺纹冷挤压成形过程监测中的应用，给出了硬件框图和软件流程，讨论了监控系统中抗干扰措施。     

高精度齿轮箱盖制造工艺

论述氢氧涡轮泵高精度齿轮箱上、下盖在研制过程中的主要加工技术关键和采取的主要工艺措施。由于齿轮箱上、下盖工作环境恶劣，设计结构复杂，尺寸精度和形位公差要求高，在二级精度的常规设备上加工困难很大。经合理安排工艺过程，采用了冷锻和工序间时效工艺，选择可靠的装夹表面，充分利用了工艺基准与设计基准一致和一次定位装夹加工基本工艺原则，并克服了车削时的动态误差，达到了设计图样和技术条件的高精度要求。     

制件小批生产中的工艺工作

叙述了日常的工艺工作与型号产品的关系，提出了工艺人员应具备的业务素质，探讨了新时期的工艺工作以及制件小批生产组织管理方式。     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

任意波发生器静态特性的评价

介绍了任意波发生器的主要静态特性指标、校准方法及实现过程。通过一组实验．获得了实际校准结果，并对校准中需要注意的问题进行了讨论。所述方法涉及的静态特性内容比较全面。具有足够的测量准确度、分辨力和稳定性。可用于任意波发生器的静态指标评价和计量。     

空间卫星目标动态电磁散射特性仿真与分析

给出了空间轨道飞行目标动态宽带散射特性建模方法,重点对某卫星动态宽带电磁散射特性进行了仿真,并通过轨道飞行过程中卫星一维距离像的积累获取了散射中心历程图,提出了由飞行过程中形成的散射中心历程图来判断卫星的结构特点的思路.     

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。