Efficient dynamic authentication for mobile satellite communication systems without verification table

The mobile satellite system is an important wireless communication system widely used nowadays. The issue of protecting the transmission security in low‐earth‐orbit satellite networks thus becomes more and more critical. It is known that several authentication schemes for satellite communication systems have been proposed to deal with the issue. However, previous protocols either employ complicated public key computation or have to maintain a verification table. In this paper, the author will introduce a new dynamic authentication protocol for mobile satellite communication systems without using a verification table. The comparison results will also show that the proposed scheme has lower computational costs. Copyright © 2014 John Wiley & Sons, Ltd.     

对SoC芯片全面验证的仿真结构的研究

研究构成仿真环境的策略及软硬件协同验证环境的接口实现,介绍了用于功能和性能验证的软件伪随机测试生成方法.该方法对SoC和复杂的板机系统进行可测性设计的优化验证,大大降低测试成本,缩短了系统开发周期.     

构造特定应用领域芯片验证环境的方法讨论

由于IC设计复杂度日益增加，用于IC设计功能验证的时间占到整个设计周期的60％—70％。我们认为针对某个领域的产品，开发可配置的验证环境是验证领域的一个方向，本文重点讨论开发特定应用领域芯片的验证环境方法，并介绍了根据该方法，我们开发的一个面向SDH领域系列芯片的验证环境。     

总线监视器的设计

随着集成电路设计规模的不断增加，传统的验证方法学由于无法提供足够的能力来检查系统所有可能功能的正确性，已经不能满足SoC验证的需求。验证重用方法学是解决这一问题的有效途径。在SoC的验证过程中．利用总线监视器对片上总线上发生的事务进行实时监视，并将监视结果以机器可读的格式显示出来，从而可以帮助验证工程师有效地判断数据传输的正确性，达到验证单个模块和系统功能的目的。本文提出了一种SoC功能。验证平台中总线监视器的设计方法，并给出了具体的实现过程。     

基于小波变换和不变矩的脱机签名鉴别

在以前研究的基础上，本文针对脱机中文签名的特点，提出利用小波变换及特征不变矩相结合的方案进行鉴别。与通常的小波变换提取细节信息不同，本文提取的是近似信息，反映了签名灰度图像灰度分布的走势。另外再结合利用伪Zemike不变矩计算的静态特征与在高密区域(HDR)基础上计算的其他动态特征。组成17维特征向量，构建脱机签名鉴别系统，并利用290个签名进行实验，实验结果表明FAR(错误接受率)和FRR(错误拒绝率)可分别达到7．83％、6．88％。     

多传感器图像的二次匹配算法

针对光学图像的多光谱、多传感器图像的自动配准,提出了一种基于边缘重心的多传感器图像二次匹配算法.首先,通过边缘检测和相应的后期链接处理,提取出较为完整的图像边缘;然后,根据图像边缘的链码相关以及区域不变矩策略,寻找匹配边缘,并对已匹配边缘的重心进行一致性检验获得控制点对;最后,采用最小二乘法估计图像粗匹配变换参数.在粗匹配的基础上,根据匹配后图像共有区域内边缘的主要方向和重心,再次对图像进行细匹配,修正匹配参数以提高匹配精度.多种遥感图像数据的配准实验和对比试验证实了该自动算法具有较高的可靠性和配准精度.     

ASIC综合后的静态验证方法的研究

介绍了基于深亚微米CMOS工艺ASIC电路设计流程中的静态验证方法。将这种验证方法与以往的劝态验证方法进行了比较，结果表明，前者比后者更加高效和准确。由此可以说明，静态验证完全可以取代劝态验证，并且静态验证比动态验证更加适合超大规模集成电路的发展趋势。     

基于碰撞预检测的分组动态帧时隙ALOHA防碰撞算法

本文在分析传统 ALOHA 算法的基础上,提出了一种基于碰撞预检测的分组动态帧时隙 ALOHA 防碰撞算法。该算法通过分组限制响应的标签数量,并且在组内预先发送一个短暂的碰撞检测帧去检测帧内的情况,达到在阅读器与标签之间建立一个完全无碰撞信道的目的。仿真结果表明,当标签数量较大时,该算法能有效减少总数据传输量,提高识别效率。     

网上考试系统中指纹验证模块的研究与算法实现

网上考试中运用指纹认证方法,可以有效地杜绝代考现象的发生.文中探讨了网上指纹验证过程中的算法实现,综合运用图像处理和模式识别技术,研究了指纹识别的理论和技术,建立了一对一的指纹识别系统.整个系统框架采用浏览器/服务器(B/S)结构,用户在客户端提交指纹图像,而服务器端则完成指纹图像的预处理、匹配算法等,再将识别信息反馈给客户端.     

基于总线功能模型的SoC仿真加速技术

SoC是IC设计的发展趋势,而随着SoC的日趋复杂,对系统仿真带来了越来越艰巨的挑战,基于EDA厂商提供的传统仿真环境已经不能充分满足SoC的开发需求,针对此问题提出了基于总线功能模型的仿真加速策略,测试结果表明,提出的技术策略可获得45%的仿真性能提升。