DO-178B可验证的机载操作系统配置生成技术

针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。     

Eclipse插件开发技术浅探

Eclipse平台是一个开放源码的、可扩展的、基于Java的集成开发环境(IDE).Eclipse本身不提供强大的用户功能,其全部功能都是利用其插件(Plug-in)机制来实现的.本文基于Eclipse平台的体系结构,重点分析了在Eclipse平台下进行插件开发的原理,并实现一个简单插件来展示eclipse插件开发的全过程.     

一种基于DEA方法的反潜巡逻机综合效能评估研究

介绍了武器系统效能分析的相关方法和DEA方法的基本原理,将DEA方法引入固定翼反潜巡逻机效能评价中,针对四种型号的固定翼反潜巡逻机进行了分析评估。还讨论了有效性的含义、效能因素的选择以及评价结果的意义。     

基于虚拟基线变换和RBFNN的宽频段DOA估计

提出利用虚拟基线变换的方法解决了频率高端的相位模糊,克服由于相位模糊性造成的方向特征的多值模糊问题,从而简化了从方向特征到波达方向的映射关系。提取无模糊的方向特征,训练RBF神经,进行宽频段波达方向估计。理论分析和试验表明,该解模糊方法计算量小,能有效消除圆阵列的相位模糊,适用阵元数大于等于5的任意均匀圆阵列天线（6元除外）;利用解模糊后的特征建立的DOA估计模型结构简单,性能大大优于直接建模和相关干涉仪法,具有优越的性能和工程实用性。     

基于功率估计的方位数据关联算法

将功率信息与电波传播相关理论引入到测向交叉定位的数据关联问题中,提出一种基于功率估计的方位数据关联算法。推导了阵列协方差矩阵中信号功率与阵列流型之间的关系,利用空间协方差逆矩阵高阶幂逼近噪声子空间的方法,在已知阵列流型的基础上准确获取各目标的功率参数,避免了幅值特征类关联算法易受噪声与信号波形影响的问题;根据功率和传播路径的衰减关系,构造方位组合与功率信息的关联置信度函数,挑选出正确的关联组合。仿真结果表明了算法的有效性和优越性。     

用于航空电子系统升级的二进制翻译系统

针对目前航电系统硬件平台的升级而导致的原有的经过验证的软件资源不可用的问题,提出了一个用于航空电子系统升级的二进制翻译系统(BTASUP).该系统将解释和动态二进制翻译结合起来,在PPC上实现了对1750A二进制可执行代码的透明执行.采用了快速模拟、直接替换段等技术提高了系统的运行效率及适应性.开发的验证工具VERBT验证了系统的功能及效率.验证结果表明系统能对原有的环境进行正确的仿真(/模拟),代码的运行速率满足原系统的要求.     

基于协方差矩阵高阶幂的二维DOA估计新算法

 针对稀疏分解方法进行均匀圆阵(UCA)的二维波达方向(DOA)估计运算复杂度大的问题,提出了一种基于协方差矩阵高阶幂稀疏分解的二维DOA估计新算法。该算法首先利用协方差矩阵高阶幂无需进行特征值分解和信源数估计的特性,构建了协方差矩阵高阶幂的稀疏分解向量;然后运用粒度分层思想,构造了粗区域估计和细方位估计的分层多粒度的快速分解模型,分层字典的长度大大减少,在保持估计精度的前提下,算法运算时间远小于现有的恒定冗余字典的稀疏分解方法,从而解决了基于稀疏分解的圆阵二维DOA估计问题。论文提出的算法与二维MUSIC算法相比,估计精度高,且能满足对相干信号的估计。仿真结果验证了算法的有效性和可行性。