面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

金融市场、科技创新项目融资与经济增长方式转变

经济增长方式转变是我国经济持续快速增长的关键,而将经济增长从主要依靠要素投入转变到依靠要素效率上来,其重要动力源于科技创新.然而一个科技创新项目能否顺利成长,是否能够得到很好的融资是其成功的关键,而一国金融体系中的金融市场在为科技创新项目的融资上具有比较优势.因此,我国要实现经济增长方式的转变,就必须在提高银行体系融资效率的同时,大力发展股票市场和债券市场.     

航空学报编辑部2011年大事记

1)2011年1月,《航空学报》获得中国科协精品科技期刊示范项目资助,全国仅有40个期刊获得此项资助。2)2011年1月,《CJA》获得中国科协精品科技期刊国际推广项目资助,全国仅有7个英文期刊获得此项资助。     

李家祥调研华北局安监平台山西试点项目

10月30日,民航局局长李家祥在山西太原出席华北局安全监管技术平台项目建设情况报告会,并对山西试点项目提出要求。李家祥听取工作汇报后指出,科技是信息社会发展的基础,也是民航安全运行的重要保障手段,民航历来都把科技应用作为安全管理的重要内容。近年来,民航安全管理水平不断提高,其中,科技手段在安全管理工作中的不断应用、为民航     

软件工程在软件外包中的应用

软件外包是一种新兴的软件开发方式,在这种开发方式中,最终用户、发包方、承包方都要参与软件的开发工作.本文在分析软件外包项目特点的基础上,阐述了一些符合软件外包项目特点的软件工程技术和方法.     

一种新的射频仿真目标位置控制方法与软件研究

针对射频目标仿真系统中目标位置的控制，本文通过对国内外目标位置控制的常用方法进行研究，提出一种新的通用目标位置控制方法，该方法适用于任何天线分布的面阵。利用这种新的方法编写了基于三元阵天线阵面的射频仿真目标位置控制软件，实现对多目标在天线阵面上多种轨迹运动下的高速准确的定位，并能实时监视目标的运动状态和运动轨迹。     

基于R统计分析软件的航空数据作图方法研究

为了快速高效分析航空数据信息,采用R语言分析软件制作了条形图、饼图、直方图、核密度图、箱线图和小提琴图,图片精美实用,便于人们使用.实践证明,该软件便于操作,实用性强,可以成为大数据时代科研人员的研究利器.     

航空武器装备使用维护阶段的软件测试考虑

新一代航空武器列装部队,使用维护阶段软件保障的问题日益突出。本文从软件测试的角度出发,详细阐述了在航空武器装备使用维护阶段的软件验证的工程考虑,对双V测试完整性、风险评估、回归测试、新增功能测试、第三方软件变化导致的测试以及测试自动化等多个使用维护阶段可能发生的工程活动进行概要描述,并指出其中工程考虑的关键要素。     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。     

μC/OS-Ⅱ操作系统在飞机座椅电源模块软件设计中的应用

基于座椅电源模块的实时性需求,在产品软件设计中引入μC/OS-Ⅱ操作系统,并对基于μC/OS-Ⅱ操作系统的软件设计进行了详细论述,包括软件总体设计、μC/OS-Ⅱ操作系统移植及任务优先级的划分,并对软件设计进行了验证,验证结果表明,该产品软件具有很好的实时性和稳定性。