面向RISC-V内存一致性测试的自动化分析方法

开源架构RISC-V定义了其内存一致性模型RVWMO,作为多核RISC-V系统软硬件设计开发的重要规范。在多核芯片的验证阶段,需要对芯片的内存一致性进行严格全面的测试。测试通常针对某一访存顺序模式,选取典型的并行程序片段进行大规模测试（又称Litmus测试）,通过程序运行的最终状态推测芯片内存一致性模型。通常,更为宽松的内存一致性会导致更多的程序状态。分析Litmus测试结果对于验证芯片的RVWMO兼容性、探索多核系统的内存一致性优化的可能性具有重要意义。以RVWMO规范下允许的程序状态为基准,芯片实测得到更多的程序状态表明其存在兼容性问题,得到更少的程序状态表明其仍具有优化空间。面对规模庞大、行为复杂的Litmus测试,如何对其测试结果进行自动化分析是亟待解决的问题。本文对Litmus测试的原理和输出结果进行了深入分析,提出一种面向RISC-V内存一致性测试的自动化分析方法,采用形式化方法对Litmus测试进行基于RVWMO规范的模拟运行,并通过与芯片的实测结果进行对比分析给出测试结论。本方法基于Hifive Unmatched开发板开展测试。实验表明,本文提出的方法可快速、有效地对RISC-V内存一致性测试进行自动化分析。     

图表示学习短视频智能推荐研究综述

随着短视频数量的爆发式增长, 精准的个性化短视频推荐成为学术界和工业界的迫切需求。然而,现有的推荐方法没有考虑实际的短视频具有数据多源异构多模态、用户行为复杂多样、用户兴趣动态变化等特点。短视频模态间的语义鸿沟、社交网络用户多行为挖掘、用户动态兴趣捕捉依然是短视频推荐领域面临的三个重要问题。针对当前推荐系统存在的问题,并充分考虑短视频推荐系统的实际需求,本文介绍了短视频推荐中基于图表示学习的短视频推荐方法;研究了短视频异构多模态特征表示,充分挖掘视频内容特征并进行高效融合;研究了短视频社交网络用户多行为表示,通过社交网络用户多种行为挖掘更细粒度的用户偏好;研究了用户的动态偏好表示方法,通过利用时序信息建模用户的动态兴趣,保证推荐结果的准确度并增加其多样性与个性化。本研究可在理论和实践上推进基于图特征学习的短视频推荐研究,也可作为短视频推荐系统的关键技术。     

基于周期缺陷地结构的毫米波加脊半模波导滤波器

提出了一种基于周期缺陷地结构的可集成毫米波加脊半模波导滤波器。该滤波器利用了波导的高通特性以及周期缺陷接地结构的宽带抑制特性,从而构建了有效的通带滤波器。测试表明,该滤波器的3 dB通带范围为39.4～45.4 GHz,中心频点为42.4 GHz,3 dB相对带宽为14.1%,带内最低插入损耗为2.4 dB,位于44.2 GHz,高频带外抑制在58 GHz达40 dB。该滤波器的横截面相比矩形波导滤波器减小了约64 %,有利于电路小型化、集成化。随着5G通信向毫米波频段发展,这种小型化毫米波滤波器在5G通信中有着广阔的应用前景。     

雷达大擦地角海杂波特性与目标检测研究综述

海杂波作为影响海用雷达目标探测性能的主要制约因素之一,其在小擦地角下的物理机理和特性被广泛研究.由于产生机理上与小擦地角的差异,大擦地角下海杂波特性认知研究难以直接采用现有的多样化小擦地角海杂波模型与特性结论,大擦地角海杂波特性规律及目标检测技术研究依旧是一项极其复杂的系统工程.该文从雷达大擦地角对海探测试验数据集出发,围绕大擦地角海杂波建模、海杂波特性影响因素和海杂波中目标检测技术3个方面,回顾总结了大擦地角下海杂波特性认知与抑制的研究进展,梳理了大擦地角海杂波机理与特性研究的主要结论,并对技术发展方向进行了展望.     

高效节能的无人机多用户携能传输优化研究

无人机携能传输技术可用于提高物联网能效,为能量受限的物联网地面设备补充能量,以支持其完成不中断信息接收任务。面对无人机携能有限的现实条件和其能耗效率提升的需求,本文针对高效节能的无人机-地面通信优化问题进行了研究,综合考虑无人机飞行耗能和地面设备能源需求,对无人机发射功率和功率分割比进行联合优化,并对无人机轨迹和地面设备唤醒时间分配进行设计。研究的节能最大化问题是一个非凸的、分式和混合整数规划问题。针对此问题,本文提出一种基于连续凸逼近（Successive convex approximation, SCA）和经典Dinkelbach方法的交替迭代优化算法。最后仿真结果验证了该算法的有效性和优越性。     

无人机集群时变编队控制方法仿真北大核心

为解决多架无人机编队精准路径规划问题,提出基于势函数的无人机集群时变编队控制方法。在二维引力场中加入虚拟引力场,利用无人机引力与斥力势函数,分别构建引力场与斥力场,计算三维空间内势能总和;在大地与机体坐标系下,选用欧拉角构建无人机动力学模型,获取飞行特征,有利于编队过程中有效躲避障碍物;利用有向图描述机群间通信状况,得到通信拓扑系统方程,采用比例-积分控制算法分别计算无人机集群的飞行速度、航向、高度与期望值之间误差,通过设置不同控制器实现时变编队控制。仿真结果证明,上述方法能够精准切换期望队形,控制性能稳定,且具备良好的通信能力。     

基于Swin Transformer的遥感影像道路提取方法

在先进的交通系统中,道路提取是最重要的任务之一。高分辨率遥感影像道路区域的提取具有复杂的背景和道路网络的异质性、高类间差异和低类内差异等特点。近几年来,卷积神经网络(CNN)在道路提取方面取得了里程碑式的进展。虽然CNN已经取得了很好的发展,但是由于卷积运算的局域性,网络无法很好地学习全局和长程语义信息交互。本文提出了Swin Transformer Unet,它结合了带有跳跃连接的U型编解码器结构和带有移位窗口的Swin Transformer模块。为了获得更好的性能,本文采用了数据增广、数据预处理等技术。本文选取马萨诸塞州道路数据集作为数据集进行道路提取实验,结果表明,所提出的网络在遥感图像道路提取中的性能优于其他U形网络,可以实现遥感影像道路的精确提取。     

红外图像质量的提升技术综述

由于红外热成像仪成像原理的局限性和大气环境的干扰,一般红外图像质量较低,具体表现为:空间分辨率低、对比度低、边缘模糊、细节缺失和易受噪声干扰等。本文从增强细节和边缘、提升图像对比度和抑制背景干扰3个方面,综述了红外图像质量提升技术的研究现状,并阐述了分析和提取图像低层结构是其发展趋势,对其他图像处理领域具有一定的借鉴意义。     

难熔高熵合金性能调控与增材制造EI北大核心CSCD

难熔高熵合金(refractory high-entropy alloys, RHEAs)通过添加多种难熔元素形成等原子比或近等原子比的多主元合金,具有简单的相结构和优异的高温性能,在高温合金领域具有极为广阔的应用前景。本文以难熔高熵合金的性能特点与制备工艺为基础,从合金制备与成形面临的挑战出发,综述了难熔高熵合金的性能调控方法与研究进展,介绍了增材制造难熔高熵合金实现的突破与面临的困境,对难熔高熵合金的成分设计及优化、材料制备与加工、增材制造成形进行了展望,并对其未来重点研究方向提出了如下建议:通过调控相结构和相界面克服难熔高熵合金的强韧制约;结合传统强韧化理论与难熔高熵合金自身性能特点进行材料设计;借助增材制造技术的工艺特征促进难熔高熵合金的形性调控;探究难熔高熵合金在高温及多场耦合环境下的使役性能与失效机制。     

难熔高熵合金NbMoTaWTi/Zr的高温氧化行为

采用真空电弧熔炼法制备NbMoTaWTi和NbMoTaWZr难熔高熵合金,分析合金组织结构与元素分布,研究两种合金从室温到 1 500 ℃的动态氧化行为以及 1 200 ℃的恒温氧化行为.结果表明:NbMoTaWTi合金主要由单一 BCC固溶体相组成,而 NbMoTaWZr合金则由BCC固溶体和富Zr相两相组成.两种合金在 700 ℃以上温度均发生了剧烈的氧化反应.相比较而言,NbMoTaWTi合金在 1 300 ℃以下的抗氧化能力优于 NbMoTaWZr合金.两种合金在 1 200 ℃恒温氧化时都以氧向内扩散为主,氧化 3 h后均发生了严重氧化.Ti和 Zr的添加均未发生选择性氧化现象,虽然与其他难熔金属氧化物形成复合氧化物层,但其致密度不够,阻止氧化能力不足.