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

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

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

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

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

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

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

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

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

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

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

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

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

基于职业需求的航空安全员体能现状评价

综合运用文献资料、专家咨询、数理统计等科研方法,将航空安全员体能考核成绩进行统计处理分析。研究显示:各年龄段体能整体处于较高水平,年龄段间成绩无明显差异性;卧推、立定跳远的考核成绩最为优异,其余项目各年龄段合格率亦基本达到90%左右,平均得分集中于70-80分之间。结论认为:民航局相关职能部门对航空安全员训练的考勤、教学、考核、监督检查等一系列改革措施,从制度上保障了各训练机构的训练质量;专业性和实务性相结合的体能训练师资,促使教学组织训练凸显出科学性和系统性。建议航空安全员体能训练大纲的制定,应当结合航空安全保卫任务的性质和特点,切实提高航空安全员适应飞行的基本身体素质。在此基础上,侧重空中反恐处突实战能力的专项体能素质提升,树立教学服务实战的明确导向,运用合理的教学训练模式。     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

军用装备保障资源试验与评价研究

保障资源试验与评价是一项重要的技术和管理活动。文中简要阐述了保障资源试验与评价涵义，重点讨论了保障资源试验与评价程序、计划和主要内容。