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

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

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

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

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

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

美国防科学委员会建议加速无人机和无人战斗机采购和部署

国防科学委员会最近的研究建议美国防部加速无人机和无人战斗机的采办，使其成为“军力结构的整体部分”，而不是辅助资产。该研究报告称，“无人机的技术成熟性和作战效能不再存在任何问题”。从事该项研究的特别工作组认为，     

海湾上空“杀人蜂”

F／A-18E／F“超级大黄蜂”是美国海军最新型战斗机，其中F／A-18E为单座型，F／A-18F为双座型。这种飞机可以执行侦察、对地攻击、空战等多种任务。2002年才开始部署在航母上，今年年初又随美军航母进驻海湾地区，为可能爆发的战争做准备。在美伊战争中，“超级大黄蜂”不仅首次执行了攻击任务，还在后来每天的战斗中，成为美军对伊拉克进行空中打击的必然选择。     

达索鲜为人知的战机之一“幻影”的前奏

在著名的“幻影”战斗机问世之前，达索也有几个喷气作战飞机的得意之作．其中有许多是我们所熟悉的．比如”超神秘”、“军旗”系列．下面给大家介绍几种不太为大家所知的达索作战飞机。     

决胜于千里之外——未来战斗系统之科技发展现况

运用计算机支持的指挥与管制，通信，情报和监侦体系（C^4ISR）已重塑现代战斗的形式，虽然局限于诸如频宽不足，通信受阻，架构过于松散和发展新应用时间过长等缺陷，但是美国三军全方位联合立体战斗已在最近的阿富汗和伊拉克战事成型，可以说美国军队的转型（Transformation）已见成效，最具体的展     

湿度换算软件包

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

美国未来远程作战飞机分析

2006年2月3日，美国防部公布了其《四年一度防务评审》（QDR）报告，这份报告为美军未来20年的战略目标、作战模式、资源调配和部队建设进行评估和规划，将成为今后20年美军兵力构成和国防政策的指导性文件。在这份报告中，美国明确地提出了研制新的远程攻击系统的计划，只是在未来远程攻击系统的性能要求和经费需求方面还存在一些不确定性；