基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

多核数字信号处理器并行矩阵转置算法优化

矩阵转置是矩阵运算的基本操作,广泛应用于信号处理、科学计算以及深度学习等各种领域。随着国防科技大学自主研制的飞腾异构多核数字信号处理器(digital signal processor, DSP)在各种领域中的推广应用,对高性能矩阵转置实现提出了强烈需求。针对飞腾异构多核DSP的体系结构特征与矩阵转置操作的特点,提出了一种适配不同数据位宽(8 B、4 B以及2 B)矩阵的并行矩阵转置算法ftmMT。该算法基于DSP中向量处理单元的Load/Store部件实现了向量化,同时基于矩阵分块实现了多个DSP核的并行处理,通过隐式乒乓设计实现了片上向量化转置与片外访存的重叠以及访存性能的大幅提升。实验结果表明,ftmMT能够显著加快矩阵转置操作,与CPU上的开源转置库HPTT相比,可获得高达8.99倍的性能加速。     

舰艇编队反潜战海洋环境影响指标体系构建与实验建模

为了评估海洋环境对大型水面舰艇编队反潜作战效能的影响,在分析大型水面舰艇编队反潜作战样式和武器装备构成的基础上,采用层次分析法构建海洋环境对大型水面舰艇编队反潜作战效能影响评估指标体系和函数关系模型。以直接警戒区反潜作战效能评估为例,引入B样条函数,建立海洋环境要素与海洋环境影响指数之间的映射函数模型,得到影响评估的量化结果。该结果基本反映了海洋环境对大型水面舰艇编队反潜作战的影响程度。     

混合动力装甲车辆能量管理策略实时仿真

为解决混合动力装甲车辆多动力源输出优化匹配难题,针对一种具有3个动力源的混合动力系统中各动力源的输出特性和驱动电机功率需求特点,制定了具有双层结构的能量管理策略:顶层的系统功率分配策略完成负载功率估计及其在各动力源间的分配;底层的部件级控制策略实现发动机-发电机组和动力电池的优化控制。通过构建一种分布式硬件在环仿真平台对能量管理策略进行仿真验证。结果表明:混合动力系统能够很好地满足负载功率需求,实现了对多个目标的优化控制。     

CERep：一种可信度增强的信誉机制

增强信誉机制对信誉信息的有效聚合能力是信誉系统成功的基础。已有的基于局部信誉信息的信誉系统难以有效处理节点的复杂策略不诚实推荐行为,并且可能把提供诚实推荐的节点错误划分为不诚实节点。对此,提出了一种可信度增强的信誉机制CERep。该机制中,节点基于自身的经验产生的直接信任评价,包含直接信任评价值和关于此评价值的信心因子两个部分。在此基础上,提出了新的基于信誉的信任评价算法和推荐可信度计算模型,并给出了信誉机制的分布式实现策略。分析和模拟实验表明,CERep信誉机制能够有效应对复杂策略的不诚实推荐行为,提高信任评价的准确性,实现对节点推荐可信度更公平的评价。     

天线阵载波相位双差的欺骗干扰检测技术

针对采用单一发射天线的导航信号欺骗干扰,研究了基于天线阵载波相位双差的欺骗干扰检测技术,采用代数方法证明了三元非线阵是进行导航信号到达角无模糊解算的最少阵元数和阵型要求,并以相应阵型为基础,提出了基于天线阵载波相位双差的欺骗干扰检测量构造方法,给出了检测性能的分析方法,定义了用于限制检测性能下降的最小检测门限。采用蒙特卡洛方法对所提检测方法的检测性能进行了仿真,结果验证了理论分析的正确性。     

TERRORISM: FACTS FROM FIGURES 1

If international terrorism is on a rising trend, an important source of confirmation or refutation of this is time‐series data on terrorist activity. Using chiefly data collected by the RAND/MIPT consortium we show using basic statistical analysis that in the period 1968–2005 the yearly number of all international terrorist incidents shows no trend over time, but fluctuates year on year in a random manner. On the other hand some indicators do show a definite trend over time, principally the steady rise in the number of incidents that are death‐dealing in nature. A further conclusion is drawn, showing that the proportion of these incidents leading to deaths above a given level is virtually fixed.     

测高雷达与二维雷达数据融合问题研究

针对现代防空侦察预警的现状,运用组网的方法探索不同雷达数据融合的问题,提出了一种利用测高雷达的高度信息来修正侦察雷达误差的方法,构建了相应修正误差的数学模型。通过仿真分析,认为此方法可以明显提高预警雷达的数据精度,从而提高数据融合的效果。     

基于多目标决策理论武器装备效能综合评估方法

探讨一种适用范围较大的武器装备效能评估方法。基于多目标决策理论的方法,将武器系统效能评估的量化标尺评价法、模糊评价法、矩阵相乘法(ADC法)和专家评价法等方法结合起来,利用解析的形式,对武器装备的效能评估进行研究,给出了一个综合评价值,能够有效地评估武器装备的效能。这种研究是对量化标尺度量法的扩充。