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

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

新一代战斗机非定常流动数值研究综述

新一代战斗机强调超机动能力和强隐身性，其中大攻角下的静态失速、动态失速及内埋弹仓绕流是与高机动和强隐身密切相关的、极具挑战的几类典型的非定常流动，它们对数值方法提出了极高的要求。为了高精度地仿真流场、清楚地揭示流动机理，有效地控制非定常流动，非常有必要发展高精度且高效率的RANS-LES混合方法体系，包含RANS-LES混合方法本身、与RANS-LES混合方法匹配的高精度自适应耗散格式、基准湍流模式、高质量计算网格、高精度时间推进方法、非定常量的统计方法等，具有极强的紧迫性。提出、发展、验证并应用该类方法数值仿真新一代战斗机（包括单独部件、组合体、甚至全机）的非定常流动，数值预测结果与风洞实验数据吻合良好；此类方法可为新型战斗机设计提供理论依据和分析手段。     

战斗机嵌入式训练系统中的智能虚拟陪练

智能化"实虚"对抗是现代先进战斗机嵌入式训练系统的重要功能需求。自主空战决策控制技术在未来空战装备发展中扮演关键角色。将当前的功能需求和发展中的技术结合起来,得到了空战智能虚拟陪练的概念。先进控制决策技术的引入使得智能虚拟陪练能够帮助飞行员完成复杂的战术训练,而训练中真实的对抗场景为技术的验证提供了理想的环境,大量的训练数据为技术的持续迭代优化提供了保障。作为可学习和进化的空战战术专家,智能陪练在人机对抗和自我对抗中不断优化,当其具备与人相当甚至超越人的战术能力时,可应用于未来的无人空战系统。智能虚拟陪练需要具备4项基本能力：智能决策能力、知识学习能力、对抗自优化能力和参数化表示能力。对其包含的关键技术进行了分析,提出并实现了一个基于模糊推理、神经网络和强化学习的解决方案,展示了其各项基本能力及目前达到的空战水平。未来更多的模型和算法可在智能虚拟陪练的框架中进行验证和优化。     

文化反哺：大学生过度社会化与辅导员嵌入性行为研究

社会文化变迁将会更新社会文化的内容体系,影响社会文化的传承方式。当今社会中80后、90后大学生已经出现了社会化程度过高或社会化速度加快的趋势,过度社会化导致在大学生群体中出现与其年龄阶段不符的思想与行为,影响了大学生社会化的顺利开展,不利于高校思想政治教育的顺利开展。本文以文化反哺现象为视角,探讨在大学生过度社会化进程中辅导员的嵌入性行为模式,以期为新时期高校思想政治教育改革与发展提供新思路。     

基于Linux军用TCP/IP协议栈设计与实现

提出一种在嵌入式Linux操作系统上运行TCP/IP协议的解决方案。介绍了Linux内核,在此基础上结合嵌入式系统特点,对TCP/IP协议栈进行简化,提出总协议栈的体设计。根据军用通讯要求着重讨论了网络协议的安全问题,参考现在通用的网络安全模式PGP,对TCP/IP协议栈进行修改,主要是在应用层中加入了加密、认证以及密钥分配过程。加密过程采用DES和RSA组合算法,保证其安全性、可行性以及时效性。     

小展弦比飞翼布局新型嵌入面航向控制特性研究

在小展弦比飞翼布局机翼外侧上/下表面分别设计了一组中等后掠角嵌入面,并对其跨声速时的航向控制效果及其流动机理进行了风洞试验和数值模拟研究。计算和试验结果表明,上嵌入面可在小迎角范围通过轴向力和侧向力的共同作用提供稳定的偏航力矩,实现航向控制;当α6°时,由于嵌入面逐渐处于前缘涡的影响范围内,在前缘涡的吸力作用下,嵌入面航向控制效果迅速下降,直至失效,且进行航向控制时存在不利的滚转耦合;下嵌入面可在全迎角范围内提供稳定的偏航力矩,实现航向控制;通过在小迎角范围内使用上嵌入面,α6°时使用下嵌入面,不仅可在全迎角实现航向控制,且不影响飞机的隐身性能。     

机载嵌入式可重构信号处理系统设计

为使机载嵌入式信号处理系统性能更加均衡,更好地适应机载嵌入式环境,在比较三种传统的机栽信号处理系统架构的基础上,提出了一种系统可伸缩、功能可重构的信号处理系统架构,并分析了其系统特性和关键技术。从可编程能力、处理性能、通用性以及可扩展性等方面比较了三种信号处理系统架构,结果表明:可重构信号处理系统架构具有较强的综合性能,能更好地满足机载嵌入式应用的需求。     

基于嵌入式FPGA加速ORB算法的遥感影像配准方法

卫星上计算资源有限，星载嵌入式处理器处理遥感影像的配准时通常需要很长的时间。可编程逻辑门阵列（FPGA）利用其内部可编程器件可用于加速图像处理。提出了一种基于Xilinx公司的ZYNQ芯片加速ORB算法的遥感影像配准方法，可用于3000×3000像素尺寸的卫星图像配准，缩短了计算耗时，提升了ORB算法的计算能效比。利用FPGA能够实现真正的并行计算电路，实现ORB算法多支路单层流水线的并行计算结构。采用软硬件结合的方法实现架构，能够处理不同分辨率的图像，可灵活配置特征点的数量。基于设计的加速ORB配准方法，获得了较高准确率。与软件实现相比,OVS-1A遥感影像偏移精度损失低于0.05个像元;GF.4遥感影像偏移精度损失小于0.9个像元。将ORB配准算法流程应用在ZYNQ7020上，耗时减少了57.50%。     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

某型教练机嵌入式训练系统顶层设计技术研究

本文通过对该型教练机现有航空电子系统构型、驾驶员操作程序、接口控制文件深入研究,结合未来功能扩展需求,给出了合理的系统构型分析、功能分配、数据流规划、原相关系统软件改动分析,在此基础上还设计出了嵌入式训练系统技术方案.依据方案研制的嵌入式训练系统原理样机通过系统动态试验、航电系统地面综合试验和飞机地面通电试验,证明系统...