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

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

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

现代小卫星发展概述

为了区别早期发射的小型卫星，目前的小型卫星统称为现代小卫星。这种卫星在“沙漠惊雷”，“沙漠之狐”和北约空袭南联盟的战争中起到了异乎寻常的作用。简要分析了现代小卫星的概念、发展前提，发展趋势和模式等，并对发展小卫星提出了自己的见解。     

局部模型跟踪控制理论的应用研究

将文献［１］中的局部模型跟踪变结构理论用于导弹控制系统设计，探索了一条设计控制系统的新路。某型号导弹控制系统设计中采用了本文提出的参数选择法，获得了良好的仿真结果。     

发展航天产业与国民经济增长的关系

从发展信息处理技术、勘察国土资源、监测国土环境和减轻自然灾害等七个方面，论述了航天产业在国民经济建设中的地位和作用。应用大量实例，分析了航天产业所产生的直接和间接经济效益，认为航天产业是一支高经济效益的产业。最后分析了发展中国家发展航天产业的经济效益，认为发展中国有利用航天技术发展国民经济是一条捷径。     

统计技术在复合材料制造过程中的应用

统计技术是质量管理中进行质量分析、质量控制和质量改进的重要工具。文章阐述了统计技术在复合材料过程控制中的应用，探讨了其应用范围、作用、办法及相关说明等内容。     

FY—1C极轨气象卫星的进展

在概述美国和俄罗斯等国外极轨气象卫星发展概况的基础上，介绍了中国极轨与静止轨道两种气象卫星的业务应用卫星体系，重点介绍了“风云一号”（02星）即FY－1C极轨气象卫星的任务、总体设计、技术特点、关键技术以及所取得的进展。最后简述了新一代有轨气象卫星FY－3的发展设想。     

数控技术在卫星型号零件加工中的应用

文中讲述了数控加工技术在北京空间机电研究所承担的型号产品零件制造中的应用。主要涉及异形零件的编程和加工,使用参数编程的一些技巧和经验,以及使用自动编程软件在数控编程所取得的一些经验。     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

聚合物/纳米复合材料的制备、性能及其应用展望

介绍了纳米粒子的表面效应、小尺寸效应、量子尺寸效应等特性，聚合物/纳米复合材料的概念和结构性能；综述了聚合物/纳米复合材料的几种常用制备方法；总结了由于纳米粒子的存在聚合物/纳米复合材料在力学、光、电、磁等方面呈现出常规材料不具备的特性，并结合其特性展望了聚合物/纳米复合材料的应用前景。