SM4密码算法的唯密文故障分析

SM4算法是我国公布的首个商用密码算法,用于保护WAPI无线局域网标准中的数据传输,2012年成为国家密码行业标准,2021年作为ISO/IEC国际标准正式发布．在唯密文攻击中,攻击者除了所截获的密文,没有其它可利用的信息,因而获取的信息最少、攻击难度较大．目前,国内外未有公开发表的SM4算法抵抗唯密文攻击的结果．本文采用巴氏系数 汉明重量、詹森香农散度 汉明重量和詹森香农散度 汉明重量 极大似然估计等新型区分器对SM4算法实施唯密文故障分析．仿真实验表明,该方法最少仅需要136个随机故障,可以破译SM4算法的128比特主密钥,且在准确度、成功率、耗时和复杂度等方面攻击效果佳．该结果为无线局域网中密码算法的安全性分析和实现提供了重要参考．     

极小布尔不可满足子式的提取算法

研究了极小布尔不可满足子式的提取算法,它分为近似算法和精确算法两种．文中就精确算法提出了局部预先赋值的优化方案,并且在理论上证明了该算法的正确性;通过实验显示了此算法可以获得更高的效率．通过模拟实验观察到,利用完法计算法进行近似提取的一个有趣现象,即随着公式密度的增加,算法的提取误差会趋于下降．     

面向RTOS的嵌入式软件模拟器构造与实现方法

提出一种快速嵌入式软件验证工具——RTOS软件模拟器。在RTOS软件模拟器验证方法中,利用RTOS模块化、层次化设计特点,快速实现嵌入式软件在不同目标机器间的代码移植,通过扩展RTOS API功能,建立硬件模拟驱动,实现软件模拟器和硬件模拟器通信连接和协同模拟同步控制。RTOS软件模拟器克服ISS速度低的缺点,从更高层次验证嵌入式软件功能。     

多模型融合验证的视觉跟踪算法

为提升孪生网络和学习判别模型跟踪算法的精度和鲁棒性,提出了一种多模型融合验证的视觉跟踪方法.首先用置信反馈调节评估目标搜索区域特征与分类器之间的相似性响应图,反映目标定位的可靠度,然后结合孪生网络生成一系列候选对象并估计其相似性得分,最后验证网络评估候选框,并输出最佳候选框.在VOT2018、VOT2019、OTB10...     

Spectre X RF在大规模RFIC设计中的应用

随着工艺尺寸的不断缩小,电路规模的不断复杂化以及版图中寄生规模的不断增大,在一些大规模的后仿验证过程中,Cadence公司提供的模拟全精度仿真器Spectre/APS/APS RF已不能满足需求.针对这一问题,Cadence于2019年推出APS的下一代模拟全精度仿真器Spectre X,在实际使用过程中发现其对普通模...     

基于ARM的智能轮椅安全监控系统的设计

针对目前各种电动轮椅仅具备制动功能,缺少对乘坐者的安全保障这一问题,因此,设计了一种针对电动轮椅安全的监控系统.该系统以意法半导体的STM32为主控芯片,以轮椅位置、座椅压感、电机运行状态及乘坐者体温等一系列指标作为监测对象,对这些信息进行采集并分析做出相应的响应信息,将响应信息通过无线传输模块,采取MQTT协议上传至...     

多媒体教学集中监控系统的远程通信接口设计

针对当前多媒体教学集中监控系统中的数据传输距离短、连接节点少以及无法联网等问题,提出了一种多媒体教学集中监控系统的网络通讯接口单元硬、软件设计方案和实现方法。并以单片机和以太网接口控制芯片RTL8019AS及其辅助电路为硬件平台,通过精简的TCP/IP协议栈体系结构实现了多媒体教学集控系统中教室控制机的远距离通信。通过某学校实际应用,表明本设计方案运行稳定可靠,能有效地实现多媒体教学的集中监视和远程控制等功能。     

组织开展能力验证,提高实验室技术能力

1 目的和意义 能力验证是为确定实验室进行某些特定检测或测量的能力,以及监控实验室的持续能力而进行的实验室间比对。通常,认可机构可以通过两种技术手段来评价实验室的能力：一是派出评审组按照标准要求对实验室进行现场能力评估;二是通过能力验证来评价实验室的能力。二者结合,互相补充,以确保实验室工作的可信度和有效性。     

交互式媒体技术在下一代网络中的应用

两类重要的技术领域已经出现,它们正在改变着人们与信息的关系。其一是面向对象的多媒体编码格式;另一个则是由标记交换和IP交换发展而成的下一代运营商网络的核心技术－MPLS,它在业务质量保证、流量工程、虚拟专用网络等方面有着非常有效的应用。显然,这两类技术在颇大程度上是相辅相成的,所以,如何将此二者融合在一起,充分利用它们的优势并在现实中使用基于它们的系统是非常有现实意义的。因此,本文将探讨一个能够使两者汇合的应用系统。     

基于船舶机舱监控网络的实时数据管理

介绍了基于船舶机舱监控网络的实时数据管理系统架构,论述了实时数据采集方法、存储策略设计思想、数据压缩要素和软件基本结构及主要模块的功能。