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

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

数迭机床机电综合性故障分析与排除

根据对引进的娄控机床的维修实践，总结出对这类高精密设备机，电的综合性故障的分析方法及排故措施。     

我国完成光电雷达综合跟踪试验台校准技术研究

据航空报报道，2005年年底，填补国内机载光电配套设备行业空白的两项重要科研攻关项目——“某型光电雷达综合试验台校准技术研究”、“某型光电雷达跟踪试验台校准技术研究”在中国一航航空产品部主持下顺利通过了科技成果鉴定。这两项科研攻关项目是由一航计测和一航光电所共同研制生产的。     

滑油量对恒速传动装置的影响

本文介绍了中外航空公司飞机发动机恒速传动装置几个故障典例及造成的危害,分析了填加滑油量不当对发动机恒速传动装置的影响,提出了预防措施。     

论风险投资在中国本土化中的嬗变

风险投资对我国而言是舶来品，也存在一个本土化问题，并且在本土化过程中出现了嬗变。本文在分析风险投资业在我国嬗变表现基础上，从多方面探讨了原因，最后提出了解决方案，认为我国风险投资业的发展完善是一个法律、经济和社会心理综合作用的过程。     

关于综合模态屈曲理论的研究

本文讨论了综合模态屈曲理论。该理论同时考虑多个模态及其相互作用对结构屈曲的影响,能解释以往的屈曲理论所不能解释的屈曲现象,对实践有重要的指导意义。     

简讯

杨元元获航空安全终身成就奖;首次中国-东盟区域航空运输安捧会谈举行;民航运输综合改革试点在武汉启动;中国航空运输协会通用航空委员会成立；欧盟签署《欧美航空安全协定》；Ameco获得国内首份A320起落架大修订单……