关键循环到粗粒度可重构体系结构的存储感知映射

针对已有工作面向粗粒度可重构结构(CGRA)研究循环映射的不足,提出一种新颖的存储感知的关键循环映射方法 MALP。该方法定义RCP_CGRA体系结构模型并阐述关键循环到CGRA的映射问题,通过引入结合数组分簇的多面体数据域划分方法进行循环存储分析,根据分析结果,结合体系结构资源约束实现了循环的有效映射。实验结果表明,与已有的方法相比,MALP方法能够快速分析存储需求并有效降低循环映射的资源占用率,提高数据吞吐量,进一步提升了CGRA上循环映射的性能。     

基于模糊商空间理论的产品粒化过程分析

模块形成与划分是展开模块化设计及大规模定制生产的关键环节。为了进一步扩展产品模块化的定量分析手段,提出了一种基于模糊商空间理论的产品粒化方法。通过引入粒度计算,将基于相关性分析的产品模块化过程转化为基于粒度计算的产品粒化过程,并应用模糊商空间理论对其进行了分析,给出了基于归一化距离和综合模糊相似关系的产品粒度空间构建方法,建立了基于两阶段优化算法的最佳产品粒层确定流程,进而得到了最优模块划分方案,最后以某堆垛机货叉机构为例对该方法进行了有效性验证。此方法为产品模块聚类与优化提供了一种新的数值分析和评价手段,应用结果表明该方法具有一定的可行性和合理性,能够有效指导产品模块化过程的实施。     

考虑CCD噪声条件下的编码曝光最优码字搜索方法

编码曝光技术将病态的运动模糊图像复原问题转化为良态问题,寻找最优码字是编码曝光技术的关键。面向实用化目的,提出了一种考虑CCD传感器噪声的编码曝光相机最优码字搜索方法。基于仿射噪声模型对图像成像过程中的噪声成分进行了系统分析,首次从理论上分析了Raskar码字选取依据并基于复原图像信噪比增益提出了光子噪声对最优码字构造影响的解析表达式。在对实际编码曝光相机进行噪声标定的基础上,提出了最优码字搜索的准则并构造出适应度函数,采用遗传算法进行优化搜索得到最优码字。仿真图像和真实图像的复原结果证实了该方法的有效性,复原图像信噪比得到有效的提高。     

基于小波变换的外测设备动态精度评估方法

为了解决传统的变量差分法或最小二乘拟合残差方法评估外测设备动态精度引入模型误差问题,提出了基于小波变换的外测设备动态精度评估方法.对残差序列的小波基函数选择及系统误差和随机误差分离技术进行了理论分析,并应用某设备的残差序列数据实验验证,取得了基于小波变换和变量差分方法的残差信号系统误差与随机误差以及设备精度指标.结果表明:基于小波变换评估外测设备动态精度无模型误差,计算的设备精度指标符合设备测量特性,基于变量差分的评估方法将模型误差引入到设备综合误差上,导致设备误差变大,影响精度评定的准确性.通过对比分析,更加证明了基于小波变换的外测设备动态精度评估方法的科学、准确.     

舰艇导弹武控系统分析

水面舰艇海上作战的主要威胁来自于敌方反舰导弹的攻击,水面舰艇的防空作战能力成为其作战效能的重要指标之一,而武控系统又是舰载防空导弹武器系统的核心。通过分析舰载武控系统的设计原则、种类、内涵等内容,结合武控系统软件的特点,对开放式体系结构在大型复杂军用实时系统中的应用进行了论述,通过分析得出了几个有益的结论。     

高超声速气动热化学非平衡效应数值分析研究

通过数值分析研究了化学非平衡效应对气动加热问题的影响.分别以量热完全气体、单组分热完全气体和5组分化学非平衡气体为气体模型,计算了圆柱钝头的绕流流场和壁面热流密度分布,比较并分析了高温化学非平衡效应对流场特性,尤其是气动加热特性的影响.结果分析表明,高温化学非平衡效应可使激波层变薄,激波层内温度大幅下降,从而会严重影响气动热环境特性,是影响高超声速飞行器热防护设计的重要因素.     

空战截击引导航线自动生成算法研究

以等角航线作为截击引导航线计算的基础,研究了满足战术要求的截击引导航线自动生成方法,提出了基于前置点滑动搜索的截击引导航线优化生成算法（LPMSOA,lead-point moving search optimal algorithm)。LPMSOA算法采用二分搜索思想,以到达时间差为优化准则,通过对预定敌机前置点的滑动搜索来寻找最优前置点,通过飞行航迹长度最小化获得最短截击时间,在此基础上对最优截击引导航线进行解算。仿真实验表明,LPMSOA能有效解决空战截击引导航线自动生成问题,算法实时性强,计算精度高。     

基于TAU和SA的体系结构验证方法研究

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。     

基于体系结构的指挥信息系统需求论证方法

需求论证是指挥信息系统建设的重要环节。本文在DODAF2.0体系结构框架研究基础上,设计了指挥信息系统军事需求论证框架。主要探讨了能力需求、作战需求、服务需求、系统需求、采办需求和技术标准需求的论证过程。最后结合实例论述了指挥信息系统军事需求的分析方法及步骤,为指挥信息系统军事需求论证提供了指导。该研究在指挥信息系统需求工程领域具有一定的理论和现实指导意义。     

基于类比法的子母弹射击效能评估模型

类比法是一种较为常见的逻辑推理方法,在各研究领域均有应用。论文根据子母弹与其它弹种在射击效能上的相似度,通过类比法建立数学模型,并利用雷达图直观反映子母弹对几种典型目标的毁伤效能,最后通过分析比较,实现对子母弹射击效能的综合评价。