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

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

飞行管理系统定位误差分析

飞行中,通过确定飞机位置,即可判定飞机是否在预定航线上及偏航距离多大。目视飞行中,飞杨位置通常按它附近的地标相关位置确定。对于装备有飞行管理系统(FMS)的飞机,在仪表飞行情况下,通过近程或远程导航传感器传     

快速傅里叶变换(FFT)在导弹测试系统中的应用

快速傅里叶谱分析在系统动态测试中的应用,提出了以阶跃信号为激励源,以快速傅里叶变换和阶跃型信号快速傅里叶变换的高精度算法为核心的动态测试系统,取得了预期的结果。这种与以往完全不同的测试系统,将为火箭系统分析,系统设计和动态测试提供一种精度高、适应性强、实时性好的新方法。     

专科英语、本科英语及成人专科英语的定位和相互关系

专科英语在理论上被界定为专门用途英语(ESP)分支下,介于学术英语(EAP)与职业英语(EOP)之间的业务用途英语(EPP)。而本科(大学)英语在理论体系上属于普通英语(GE)。本文从ESP理论的角度探讨了专科英语,本科英语及成人专科英语的定位和相互关系。     

天津机场定位研究

从区域特征分析入手，通过与纽约、华盛顿机场的对比分析，研究了天津机场的定位问题，并指出它的定位应当是东北五的货运枢纽机场。     

移动机器人在部分未知环境中作业的定位算法

通过对移动机器人在部分未知环境中的运动分析,结合多传感器信息,提出一种新的移动机器人在未知环境中的定位算法.该算法可根据移动机器人的运动过程,不断更新其位置状态,并能对下一步位置状态进行预估计,然后根据实测传感器信息对预估值进行修正,获得实际位置状态.     

利用热源温度场迭加法诊断持续点热源的强度及位置

可重复使用运载器的防热瓦故障会使航天器的局部结构产牛热源，并在结构中形成温度场。应用热源温度场迭加法的解函数，解得结构温度历程，然后据此温度的变化率趋势判断出热源位置，在此基础上依据多点测最值构造出辨识参数用于热强度识别，通过对一薄壁结构模型算例的计算仿真，证明了本文所提方法的有效性。论文工作为进一步开展热源诊断技术研究，提供了可资工程实践应用的数值算法体系以及有益的数值计算结论。     

2001年我国卫星应用进展

从遥感，气象，防灾减灾，导航定位，通信各领域概要回顾了2001年中国卫星应用取得的进展。     

SCO UNIX系统故障分析及文件系统效率维护

一、引言 SCOU NIX系统在我国银行、证券、税务、铁路、商业、民航等企事业单位广泛地使用。就西南空管局来说，气象中心很早就开始使用UNIX；航管站ADS系统及即将使用的EUROCAT雷达系统等都在使用UNIX。在维护UNIX系统时应规范操作，以确保系统的正常运行，如果系统受损，如误删某个系统文件，致使系统无法启动，这时如果采取重新安装系统的方法，势必造成用户数据丢失，而且，重新安装UNIX操作系统和应用软件及调试运行往往要花费几个小时的时间。笔者通过长期实践，找到了既能快速修复损坏系统又能保证数据完好无损的方法，即事先制作应急引导软盘（包括BOOT盘和ROOT文件系统盘），当系统损坏时，用该软盘进行修复。现将该方法及在文件系统使用过程中，由于各种原因而使之效率降低的维护方法一并介绍如下。     

民航信息技术人才流失原因与对策

随着民航的持续快速发展,无论行业主管部门,还是航空公司、机场等,对信息化的要求越来越高,而整个行业发展对信息化的依赖程度也越来越高,从而带动整个行业对信息技术人员的素质要求越来越高,对信息技术人才的需求成倍增长。然而,在民航企业大量培养和招聘信息技术人员的同时,又出现了企业留不住人才的问题。对这一现象,笔者认为:应从两方面分析。一是要看到这是市场经济条件下,由人才市场供求关系引发的必然现象;另一个方面,民航企业如何在竞争中凭自己的实力、凭自己的创造对人才的吸引力来留住人才,这才是最重要的。据此,本文在对民航企…