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

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

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

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

利用TDRSS星上导航系统为地球观测卫星精密导航

地球观测系统卫星ＥＯＳ－ＡＭ１的基本导航系统是ＴＤＲＳＳ星上导航系统，为成角仪器标校和例行操作提供精密位置和速度信息。本文给出实时导航性能评价结果，看一下基于ＴＯＮＳ的轨道和频率测定精度能否满足这一要求。     

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

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

今年5月5日的月全食

月全食,是不需要借助任何仪器,只需用肉眼就可以观察的壮观天象。而阔别了3年之后,国人终于又有机会见到月全食景象了。今年5月5日凌晨北京时间2:48～6:12(格林尼治标准时间5月4日18:48～22:12),发生今年第一次月全食:初亏2:48,食既3:52,食甚4:30,生光5:8,复圆6:12;最大食分1.3     

跨世纪的全场观测技术

分析了传统观测技术面临的困境,介绍了全场观测技术的主要功能、特点及其发展前景。