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

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

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

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

国际通信卫星Ⅶ计划

本文介绍国际通信卫星组织董事会于1988年9月批准建造的新一代国际通信卫星——国际通信卫星Ⅶ的背景及卫星的特点。     

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

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

日本可重复使用空间自由飞行器在轨应用成果斐然

概述日本可重复使用的实验观测两用空间自由飞行器的主要设计特点，分析了在轨应用取得的成果，介绍了第二次飞行计划。     

一种可伸缩空间机械臂及其应用分析

介绍一种能够完成多关节型空间机械臂所能承担的大部分空间任务 ,而且应用更简便的可伸缩空间机械臂 ,对其空间应用做出了一些设想 ,简单讨论了其应用的一些相关问题 ,肯定了其可行性和实用性。     

日本研制月球极轨道探测器

月球作为人类扩展空间活动范围的基地有很大潜力。为建立永久性月球基地,日本正在研制月球极轨道探测器(LPO)。LPO计划于1997财年用H-2火箭发射。本文介绍了LPO的任务、构成,并详细叙述了其各种探测仪器的性能。