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

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

产大于销运输问题研究

本文指出了已知文献中产大于销运输问题模型的不足之处,建立了既考虑运输费用又考虑剩余物资存贮费用的产大于销运输问题模型若干个。这若干个新模型可用表上作业法来求解。     

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

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

优质直饮水系统供水问题浅谈

优质直饮水系统源于美国、丹麦、荷兰等发达国家。近年来，随着人民生活水平的不断提高，对生活饮用水的水质要求愈来愈高，优质直饮水系统在一些公共建筑和居住小区中正逐步推行。现结合自己的工作，谈谈直饮水系统供水的有关问题。     

情感激励在管制员队伍建设中的应用

管制员的激励问题始终是空管人力资源管理的一个重点工作。由于物质激励容易实施、便于量化，为各单位所重点使用。但面对管制运行环境和情况的不断变化，单纯的物质激励在一定程度上已不能使管制员感到满足和幸福，其效用也会随着收入的提高而不断降低。而在物质激励受各种因素制约不能在短时间内有较大幅度增长的基础上，大力开展情感激励，不失为增强管制员工作幸福感和自豪感的有效手段。     

全球战略服务至上——本刊主编刘柱与德马吉公司中国区总裁汉诺先生对话

自1992年德马吉进入中国以来,"德马吉中国"已经成为中国机床市场上出现率和关注度极高的企业品牌之一,2007年德马吉中国的机床生产能力达到600台(套),预计2008年将突破900台(套).德马吉的飞速发展不仅仅因为他们生产了一流的产品,更因为他们可以为客户提供完善的售后服务.近日,本刊主编刘柱先生专程采访了德马吉中国区总裁汉诺先生,并就公司发展、售后服务以及公司与航空企业合作等问题进行了深入探讨.     

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

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

对中国航空客运市场特性的分析

随着三大航空集团的重组和政府对民航经济管理政策的逐步放宽，航空公司将获得越来越自由的自主经营权，民航的市场化程度将进一步提高，航空公司之间的竞争会越来越激烈，因此深入了解民航运输市场的特点，包括市场组成、规模和成长性、产业生命周期、行业集中度和市场竞争等，从市场的角度来看待自身的经营问题，是当前航空公司应该予以特别关注的。一、中国民航运输市场的特性1.中国民航运输业正处于成长期产业生命周期一般分为导入期、成长期、成熟期和衰退期。中国民航运输业正处于快速发展的成长期(见图1)，处于此阶段市场份额的增长…     

捷联惯性测量组合二次电源自激引起的系统不匹配

电路在特定的环境条件下发生自激是线路的一种常见现象，电路的匹配问题又是一个比较复杂的问题。本文介绍一个实际应用中电路自激的实例和对实例的理论分析，并给出了校正的措施。     

天津机场定位研究

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