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

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

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

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

台湾的“中华一号”卫星

台湾的“中华一号”卫星朱毅麟“中华一号”是台湾“国家空间计划局”委托美国ＴＲＷ公司正在研制的一颗科学试验卫星。该卫星的任务是进行Ｋａ频段通信、日地物理和海洋水色研究三项科学实验。卫星上的有效载荷由实验通信有效载荷、海洋水色成像仪和电离层等离子体与电动...     

中国的卫星气象事业及其对世界的贡献（上）

中国的卫星气象事业及其对世界的贡献（上）郭陆军Ａｂｓｔｒａｃｔ：Ｃｈｉｎａ＇ｓｍｅｔｅｏｒｏｌｏｇｉｃａｌｓａｔｅｌｌｉｔｅｐｒｏｇｒａｍｈａｓｍａｄｅａｇｒｅａｔｐｒｏｇｒｅｓｓａｆｔｅｒ２８ｙｅａｒｓｏｆｄｅｖｅｌｏｐｍｅｎｔ．Ｔｈｅｃｏｕｎｔｒ...     

荒唐的"月球大使"

常言说“青出于蓝而胜于蓝”,在格尼芬卖火星的土地之后,美国又出现了一个更疯狂的家伙——丹尼斯·霍普。1997年这个年届“知天命”的老人,再次狂妄地称他是整个太阳系的主人,并一本正经地分别给联合国秘书长、美国与俄罗斯总统写了信,信中说,除了地球之外,太阳系中其他的8颗行星与所有的卫星都归他所有。并表示,他以后将把月球和行星上的那些土地分成小块单独出售,“如果你们对此有任何疑问的话,请务必告诉我,我随时在恭候你们的回音。”据说,他这样干的根据是:没有任何人告诉他不能这样做!既然所有国家都已自动放弃了对外太空的所有权,它…     

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

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

卫星工程的产品开发环境初探

从方法论的角度探讨了在并行工程的思想指导下，我国卫星工程的产品开发环境的构造问题提出ＣＡＤ技术在卫星工程中的应用，不仅仅是一个软硬件构成与投资问题，人们对卫星产品开发过程的认识，产品开发的组织形式起着更加关键作用。同时讨论了卫星工程ＣＡＤ集成框架系统的构成思路。     

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

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

美国商业遥感政策演进对发展我国卫星遥感的启示

随着近年来商业遥感卫星分辨率的不断提高及其在历次局部战争中的杰出表现，使美国政府对其依赖程度不断增强。美国政府为促进遥感业所进行的机制和政策调整、新技术研发等方面的一系列变革；通过对其演进过程的分析提出我国遥感未来的发展建议。