航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

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

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

高超声速伸缩式变形飞行器再入制导方法

针对高超声速变形飞行器再入制导问题，提出了一种采用伸缩式机翼的高超声速变形飞行器外形方案，建立了含有展长变形量的气动模型和动力学模型。将该变形飞行器的展长变形量扩展为控制变量，分析了倾侧角、展长变形量和终端航程、高度之间的关系。在此基础上，利用倾侧角和展长变形量在线预测剩余航程和终端高度，通过数值方法校正2个控制量以满足航程约束和高度约束，通过航向角走廊确定倾侧角符号。仿真结果表明:该变形飞行器再入制导方法制导精度高，相比于传统固定外形飞行器终端约束能力更强、轨迹更加平滑，且在扰动条件下具有一定鲁棒性。      

弱引力下小行星动量驱动机器人的可控跳跃行为

以小行星表面着陆探测为背景,提出一种动量驱动机器人(MoRo)以满足弱引力复杂环境下的探测需求。该机器人利用弱引力环境下的摩擦和碰撞特性,通过主动辨识环境参数,规划和控制动量轮以产生期望的驱动力矩,完成可控性跳跃及腾空后的稳定拍照等任务。首先,基于MoRo的动量轮刹车机构特性,分析了MoRo在弱引力环境下的跳跃机理并对其跳跃方式进行了规划;接着考虑动量轮驱动机构三闭环伺服系统的非线性特性,基于Herze碰撞模型和Karnopp摩擦模型建立了MoRo在小行星表面的跳跃行为动力学模型;其次,使用机器学习算法建立环境参数和MoRo运动的函数关系,并基于环境参数规划动量轮转速实现跳跃距离和腾空高度的可控。最后,通过数值仿真校验了MoRo跳跃规划方法和控制方法的可行性。     

基于内话系统的空管语音通信架构设计与实现

本文通过分析、研究传统在用空管语音通信架构存在的问题,利用VOIP、RADIO-COUPLER等新技术、新设备,尝试搭建了一种新的语音通信架构。在新的架构下,空管通信系统之间无损共享语音信号,空管通信系统的可靠性、灵活性得到了有效的提升。     

航空体育器械能力与飞行初始技能形成的相关性研究

航空体育课程是飞行技术专业学生的必修课程,航空体育器械的学习又是航空体育课程的重点内容。对提高飞行技术专业学生的身体综合素质、操控各种航空器械、形成初始基本驾驶术、培养良好的飞行品质都将起到至关重要的作用。本文采用文献资料法、田野调查法和数理统计法,对中国民航飞行学院2005-2015年间在飞行初始训练阶段被终止飞行训练的学生进行研究,主要分析其在校期间的航空体育课程中各项器械能力考试成绩与其初始技能形成之间的相关性。分析结果为:1.样本在理论阶段航空体育成绩普遍偏低;2.样本在理论阶段航空体育课程中器械能力相对较弱,特别是活滚的掌握能力;3.样本的各项成绩与飞行初始驾驶技能的形成进度存在一定的相关性。研究结果表明航空体育器械能力与飞行初始技能形成成正相关性。本文根据问题,提出几点相关建议,1.改善航空体育课程教学安排;2.端正学生航空体育学习动机;3.创新航空体育教师教学资源。     

依靠先进文化的力量 促进民航生产力发展

在全党开展以实践“三个代表”重要思想为主要内容的保持共产党员先进性教育活动,是党中央为全面加强党的执政能力建设做出的重大决策。今年以来,特别是民航系统第二批先进性教育活动全面启动以来,笔者比较系统地学习了中央编印的《读本》和民航总局党委、管理局党委的有关文件精神,联系个人的思想、工作实际进行思考,感到很有收获。下面,笔者以“三个代表”重要思想为指导,重点围绕依靠先进文化的力量、促进民航生产力发展这个主题,谈几点心得体会。一、代表中国先进生产力的发展要求在“三个代表”重要思想中占有首要地位江泽民同志《在庆…     

海湾上空“杀人蜂”

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

关于JJ7P飞机燃油系统输油能力的静态测量研究

本文就ＪＪ７Ｐ飞机燃油系统输油能力的静态测量，对燃油系统输油能力，影响输油能力的因素，输油能力好坏对于飞机和发动机的影响，输油能力的测量原理、测量方法、测量参数、测试点、输油时机、信号指示、结果分析等一系列问题，进行了较深入细致的讨论和研究。对该型飞机燃油系统实际输油能力，给出了切实的评价。     

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

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