可兼容四种March系列算法的PMBIST电路设计

存储器是系统级芯片(System on chip,SoC)中最重要的组成部分之一,也是最容易出现故障的部件。存储器故障可能会导致整个SoC失效,对存储器进行充分的测试和验证是至关重要的。目前,主流的存储器测试方法是采用存储器内建自测试(Memory build-in-self test,MBIST)技术,传统的可测性技术采用单一的测试算法进行测试,为了满足不同类型存储器的测试需求以及不同工艺制造阶段的测试强度,需要使用不同类型的测试算法进行测试。结合存储器常见的故障模型以及多种测试算法,设计了具有较高灵活性和可扩展性的可编程存储器内建自测试(Programmable memory built-in-self test,PMBIST)电路,可兼容四种不同的March系列算法进行存储器内建自测试,采用寄存器传输语言(Reigster transfer language,RTL)级代码的编写方式,针对静态随机存储器(Static random-access memory,SRAM)采用不同March系列测试算法进行仿真,并以常用的March C+算法为例进行说明。仿真结果表明,所设计的PMBIST电路可对四种不同的March算法进行测试,满足不同类型存储器的内建自测试需求。

SPECK系列算法不可能差分特征的分析

SPECK系列算法是美国国家安全局于2013年提出的一族轻量分组密码算法.徐洪等人通过分析模加法运算的差分扩散性质,找到了SPECK 32/64和SPECK 48/96算法的一些新的6轮不可能差分特征,并给出了SPECK 32/64和SPECK 48/96算法的10轮不可能差分分析,这是目前最好的不可能差分攻击结果.本文进一步分析了SPECK系列算法在模整数加法差分扩散性质下的最长不可能差分特征.首先利用徐洪等人给出的模整数加法的差分扩散性质,分析SPECK 32算法加密方向与解密方向的差分扩散规律,从而证明了在该模整数加法的差分扩散性质下SPECK 32算法的不可能差分特征至多6轮,并给出了所有6轮不可能差分特征.其次,将该结果推广至SPECK 2n (2n=48, 64, 96, 128)算法,利用类似的方法,可证明在该模整数加法的差分扩散性质下SPECK 2n算法的不可能差分特征至多6轮,最后给出了其全部6轮不可能差分特征.

AUSM系列算法对比研究及背景太阳风初步应用

磁流体力学数值模拟是研究日地物理学现象的一个重要手段.对比三种AUSM算法,即AUSM,AUSM+和AUSMPW+,结合HDC磁场散度消去方法计算多维MHD问题的性能.通过分析三种算法计算Rotor算例和Orszag-Tang vortex算例的结果发现,AUSM+算法的性能最好.进一步使用AUSM+算法基于6片网格构造模拟了日冕结构,计算结果表明这种算法能够正确计算出日冕的大尺度结构.对于日冕结构模拟块,HDC方法能够较好地控制磁场散度误差.

基于启发式的约束满足问题AC系列算法改进研究

约束满足问题是人工智能领域中一个重要的研究方向,其研究结果在符号推理、系统诊断、真值维护系统、资源分配和产品配置等问题中有广泛的应用。局部相容性定义了约束满足问题在约束传播过程中必须满足的性质,是约束传播发展的主要方向。而对于较为复杂的相容性问题中的AC系列算法的改进可谓难上之难。本文围绕着以弧相容、Singleton弧相容为代表的相容性技术和求解算法展开,主要针对AC-2001算法、SAC算法等进行优化改进,重点基于启发式进行改进,使之获得了更快的筛选速度。尤其对于SAC算法,大大减少了约束检查次数,获得了较为成功的基于启发式的改进结果。

Boosting家族Boost-by-majority系列代表算法

1 引言 Boosting由Freund和Schapire于1990年提出,是提高预测学习系统预测能力的有效工具,也是组合学习中最具代表性的方法,其代表算法可分为Boost-by-majority和AdaBoost两个系列。Boosting操纵训练例子以产生多个假设。从而建立通过投票结合的预测器集合。Boosting在训练例子上维护一套概率分布。

多目标优化NSGA系列算法与地理决策:原理、现状与展望

地理学正在经历“剧变”时代,愈发强调决策支持。地理决策过程中往往涉及众多因素,需要通盘考量不同因素、权衡利弊,并提出最优方案,是典型的多目标优化过程。数学领域的多目标优化算法因而在地理决策中具有广阔的应用潜力和重要意义,其最新进展是地理学中新方法、新工具的重要来源。本文综述了多目标优化领域最前沿、最流行的算法代表“非支配排序遗传系列算法”(Nondominated Sorting Genetic Algorithms,NSGAs),对其三代不同算法的原理、适用性进行对比,并综述了这些算法在地理决策领域的应用现状、改进方法、问题与局限。研究发现:在三代算法中,NSGA-Ⅱ因其在计算复杂性和使用场景方面的优势在地理决策中最为流行;NSGA-Ⅲ对建模要求较高,尚未得到广泛关注。在地理决策的各领域中,水资源管理领域是NSGA算法应用最多、最成熟的领域,该领域的问题建模和在NSGA算法中融入局部搜索的经验值得其它领域借鉴和推广;土地利用规划领域提出了较多的NSGA改进算法,为更好地融合NSGA算法进行地理决策树立了典范。未来研究中,可通过凝练行业共性问题、构建通用优化模型降低NSGA算法的应用门槛。建议通过深入结合局部搜索的方式提升NSGA算法的收敛速度,同时建议在地理过程模拟中深入融合NSGA等多目标优化算法。

围棋人工智能AlphaGo系列算法的原理与方法

围棋人工智能AlphaGo系列算法是人工智能发展历史中的重要里程碑事件。它们不仅成功地求解了以围棋为代表的完全信息博弈问题,而且具有更加广泛的适用性。依算法的发展历程,从基本原理与技术特征方面对AlphaGo Fan到MuZero的一系列算法进行了梳理,说明了AlphaGo系列算法的落子原理,阐释与对比了其中采用的关键技术:蒙特卡洛树搜索和深度神经网络的建模及训练。AlphaGo系列算法对解决实践中的其他重要问题,从算法设计、神经网络建模到模型利用等方面都具有重要的参考意义,本文的总结有助于快速地掌握这些算法的基本原理,从而为相关算法的研究与拓展提供有益参考。

面向拥挤行人检测的改进YOLOv7算法

针对拥挤行人检测场景下检测算法容易产生漏检与误检的问题,提出一种改进的YOLOv7拥挤行人检测算法。在骨干网络中引入BiFormer视觉变换器和改进的高效层聚合网络(RC-ELAN)模块,通过自注意力机制与注意力模块使骨干网络更多聚焦于被遮挡行人的重要特征,有效缓解了目标特征缺失对检测造成的负面影响。采用基于双向特征金字塔网络思想的改进颈部网络,通过转置卷积和改进的Rep-ELAN-W模块使模型可以高效利用中低维特征图中的小目标特征信息,有效提升了模型的小目标行人检测性能。引入高效的完全交并比损失函数,使模型可以进一步收敛至更高精度。在含有大量小目标遮挡行人的WiderPerson数据集上的实验结果表明,与YOLOv7、YOLOv5、YOLOX算法相比,改进的YOLOv7算法的交并比阈值分别取0.5和0.5~0.95时的平均精准度提升了2.5和2.8、9.9和7.1、12.3和10.7个百分点,可较好地应用于拥挤行人检测场景。

SAFER系列密码算法的设计与分析

SAFER系列密码算法的总体结构采用SP 网络,它的设计具有其独到的几个特色。分析SAFER系列密码算法的设计思想,沿着设计者对它们不断改进的思路,分别描述其混淆层、扩散层、密钥扩展算法的性质和对它们的攻击。

密网格下SIM PLE等四种算法的收敛性与健壮性的比较

实施了 SIMPLEX算法 ;该算法主要是通过求解方程组来确定速度修正系数 du、dv,用所求得的 du、dv来确定压力修正方程的系数和修正速度。通过对四个典型的流动换热问题在密网格中的计算 ,将 SIMPLEX与 SIMPLE、SIMPLEC、SIMPLER进行了比较 ;在相同的条件下比较了它们的计算精度、计算时间以及健壮性。结果表明 ,与现有文献中结论不相同 ,SIMPLEC算法的综合性能较好。

国产商用密码算法的国际标准化及其对应关系

对国产商用密码算法ZUC、SM4、SM2、SM9和SM3对应的密码行业标准、国家标准、国际标准以及对应的国际密码算法进行了梳理。

流动与传热压力修正算法的研究现状及进展

求解流动与传热问题的压力修正算法于1972年首次由著名学者Patankar和Spalding提出,并被命名为SIMPLE算法。近四十年来,各国学者提出了多种改进方案来克服或者减轻由于这两点假设而引起的缺陷,所有这些改进的算法通称为SIMPLE系列算法。本文对压力修正算法,即SIMPLE及SIMPLE系列算法的研究现状及进展进行了详细介绍。

IDEAL算法在非稳态两相流问题中的性能分析

引言对于非稳态两相流问题,数值求解方法主要有颗粒轨道模型、双流体模型和运动界面追踪技术,其中运动界面追踪技术最能准确、全面地反映两相间的信息。在运动界面追踪技术中VOF（volumeof fluid）方法[1]和Level Set方法[2]得到了最广泛的使用。

基于国密算法的主动配电网安全通信协议研究

安全、高效的信息通信技术对主动配电网(Active Distribution Network,ADN)的可靠运行具有重要作用,然而大量分布式能源的接入和无线公网通信技术的使用,使得ADN较传统配电网面临着更加严峻的信息安全威胁。文章将我国具有自主知识产权的SM系列国密算法推广到ADN中,设计了适用于ADN的安全通信协议,其中,基于对称密钥的广播协议开创性地通过差值密钥计算,解决了基层设备计算能力差、实时性要求高、广播认证难的问题;而基于非对称密钥的安全通信协议则通过预认证防止了拒绝服务(Denial of Service,DOS)攻击,并采用SM2椭圆曲线算法提高了其安全性。结合ADN实际通信流程编写了计算程序并做了简单测试,最后对协议的安全性能进行了分析。

AB-Micro系列PLC双精度浮点数转换为整形

PLC通过通讯读取流量计、智能电量变送器等智能仪表的采样值和累计值能确保数据一致性,比较模拟量采集没有转换误差,也没有脉冲累计的累计误差。流量仪表等统计类信息通常使用双精度浮点数存储,PLC只能处理单精度浮点,仪表数据不能直接使用。本文介绍AB-Micro系列PLC中一种简便而准确的转换算法,通过此转换方法类似AB-Micro系列小型PLC可实现双精度仪表数据的就地分析处理。

维护全局博弈图的蒙特卡洛图搜索

AlphaGo系列算法利用具备学习价值神经网络和策略神经网络主导蒙特卡洛树搜索的方法,成功地推动了棋类游戏人工智能的迅速发展。而最近,已有成果表明采用蒙特卡洛图搜索替代蒙特卡洛树搜索能够进一步提高程序的对弈水平。在此基础上,提出了一种新的基于蒙特卡洛图搜索的方法——维护全局博弈图的蒙特卡洛图搜索算法。该方法通过维护一个全局的博弈图,采用过期结点删除算法清除无价值的结点和边,并利用对手的时间进行推理计算等措施,提高了程序的博弈水平。以海克斯棋为实验对象,结果证明,在计算资源受限情况下相比其他搜索算法胜率有所提升。

文本压缩技术综述

概述了数据压缩的起源及分类 ,并且对其中的一个重要组成部分———文本压缩的各种压缩算法 :Huffman编码 ,算术编码 ,LZ系统算法等进行分析和讨论 。

基于SM2智能安全芯片的高档酒防伪系统设计

高档酒的假冒伪劣行为严重影响了生产厂商的利益和消费者的合法权益,而高档酒的防伪技术研究也一直是一个热点课题。提出了一种由内嵌SM2智能安全芯片的防伪瓶盖、配套验证器、防伪认证服务系统组成的防伪解决方案。在防伪认证时,使用配套验证器读取瓶盖上内嵌SM2智能安全芯片中的产品身份标识码和签名信息后间接发送到防伪认证服务系统进行签名验证,签名验证通过后,防伪认证服务系统产生新的产品身份标识码和对应的签名信息并通过配套验证器间接发送到瓶盖上的SM2智能安全芯片上进行签名验证。通过SM2智能安全芯片与防伪认证服务系统之间的双向数字签名认证,保证了产品的身份可信和认证服务器的身份可信并最终实现产品防伪的安全性、可靠性和易用性。

油气行业密码应用云平台探索与设计

油气行业通过多年的建设已形成较为完整的信息化支撑,围绕数据和应用的安全防护已经成为建设重点。借鉴中台的基础理念和架构,把SM(商用密码拼音缩写)系列算法的密码安全服务用中台思路进行建设,利用平台化手段发现、沉淀与复用SM系列算法的密码服务能力,通过搭建一个服务平台、建设一个基础设施、形成一套密码体系与机制,成为面向前台提供可复用密码能力的载体,打造共享共用、统一管理的密码应用云平台。

基于深度学习的行人检测与跟踪系统的设计与实现

针对复杂环境中行人静动态监测的需求,设计了一个基于深度学习的行人检测与跟踪系统。文章首先利用YOLO系列算法实现对行人目标的检测,然后,在此检测结果的基础上有效结合SORT跟踪方法来实现对行人的多目标跟踪,并实现了易于用户操作的图形化系统界面。针对于无法平衡行人检测速度与精确度的问题,文章设计的系统提供了可以根据监测场景的不同而选择具有不同优点的算法模型的模型选择功能。通过实验表明,该系统能够较好地完成复杂环境下的行人检测与跟踪,推动行人检测与跟踪系统领域的进一步发展。