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

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

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

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

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

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

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

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

关于《语言学概论》课程评价体系改革的探讨

《语言学概论》课程的评价体系改革势在必行,本文拟通过对《语言学概论》课程教学目标的理解、授课对象以及对教材、最新理论发现与教学内容之间关系把握等方面的研究,试图探讨出适合《语言学概论》课程的评价体系,即建立多元化的课程评价体系。从而在课程评价中实现在平时测评中的多样化操作,同时又能实现期末课程评价最大的合理化与公平化。     

基于相关性模型的舰船装备测试性分析与建模

为了提高舰船装备的综合诊断能力,在舰船设计、研制阶段就必须进行装备测试性设计工作。为此,根据舰船装备测试性要求,对装备进行了故障模式影响分析,确定了装备在设计和制造过程中所有可能的故障模式,以及每一故障模式的原因和影响,据此对装备功能和结构进行了划分。然后,利用相关性模型对舰船装备进行测试性分析与建模,建立了舰船装备组成单元的相关性图示模型、数学模型,并运用考虑可靠性和费用的优选方法,建立了舰船装备诊断树,得到舰船装备的测试方案。算例分析表明:该研究可有效提高舰船装备测试的效率,提升测试的经济性。     

基于二元决策图的多阶段任务系统可靠性分析

分析了多阶段任务系统(PMS)可靠性分析中传统二元决策图(BDD)建模方法的不足,提出了一种将多阶段任务失效事件分解为互不相容的阶段失效事件,然后分别建立可靠性BDD模型的新方法。通过该方法建立的PMS可靠性BDD模型不但可以计算总体任务失效概率,同时也能计算任务在各阶段发生失效的概率。最后,给出了一个算例,验证了该算法的有效性。     

基于灰色系统理论的设备状态监测系统设计

介绍了设备状态集中监测系统的构建和灰色系统理论在设备状态预测中的应用原理及方法．利用Matlab提供的基于最小二乘法的非线性曲线拟合函数能方便地求解一阶灰微分方程,从而得到原始数列的预测值表达式．应用实例表明,基于灰色系统理论的预测模型适用于小样本不确定问题的研究,预测精度高、实现容易．基于灰色系统理论的设备状态监测系统的研制对于科学制定维修计划,改进设备的管理维护手段,确保试验任务的质量和进度具有重要作用．     

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

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

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

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