摘要：形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比,该方法不仅能够用于认证协议、密钥协商(交换)协议的分析,也能用于电子商务协议的不可否认性和公平性的分析,因此具有更好的通用性和更强的协议分析能力。

摘要：分析差分能量分析原理的基础上,设计了针对DES加密算法的差分能量分析系统并得出了分析的正确率。通过对实验数据的深入观察和分析,发现了可能严重影响DES的DPA分析正确率因素——DES的第四个S盒冲突现象,值得进一步深入研究。

摘要：本文介绍基于ARM7控制芯片S3C44B0X、DSP芯片TMS320VC5409和USB芯片PDIUS-BD12的高速数据采集系统的设计,给出数据采集系统的硬件设计构架,并且阐述各个部分的功能。文中着重讲述系统中USB接口部分的硬件设计、软件开发流程和USB的枚举过程。文中给出USB软件设计分层图,以及USB设备初始化的软件流程图,实现了基于USB接口的高速数据采集系统。

摘要：利用基于嵌入式处理器Celeron-M的GENE-8310嵌入式开发板为硬件平台,集成RFID卡识别、二代身份证识别、说话人识别、人脸识别和指纹识别5种识别技术,实现了一个基于嵌入式系统的高安全性能的身份识别智能终端。该终端根据应用场合的安全要求选择不同的身份识别模式,可用于大型活动、会议和体育赛事的安检和公司的考勤中,具有重要的实际应用价值。

摘要：回波是广泛存在于各种通信信道中的噪声干扰。传统的回波抵消器只能滤除缓变的、线性的回波干扰,对一些非线性且较复杂的信道产生的回波,滤波效果并不理想。本文通过比较融合两种经典的自适应算法,LMS算法和RLS算法各自的优点,提出了一种改进的自适应回波抵消器的结构,该回波抵消器已通过MATLAB仿真实现。从仿真的结果来看,该回波抵消器在对信道的兼容性,以及鲁棒性均优于传统回波抵消器。

摘要：阐述实验室电子测量仪表优化设计的思想 ,重点介绍智能化综合电子实验仪基本组成原理与主要性能特点。该实验仪作为高等院校电子类实验仪器、仪表升级换代的理想产品 ,能大大提高实验室的使用效率 ,为建立开放式电子实验室创造必要的条件。

摘要：Winograd傅里叶变换算法(WFTA)利用旋转因子W的特性对其进行分解,能够把FFT运算中乘法次数降到最低,是一种高效且资源占用相对较少的FFT实现方法。以256点分解为两维16×16点的小数组WFTA进行运算为例介绍了大数组WFTA算法的FPGA设计与实现方案。仿真测试表明,所设计的256点FFT处理器,乘法器资源消耗仅为基-2FFT的1/2、基-4FFT的2/3,且在100 MHz主时钟频率下完成运算仅需5.8μs,满足FFT处理器的高速实时性要求。

摘要：该文介绍了高效循环谱估计算法SSCA(Strip Spectral Correlation Algorithm)中FFT模块的重要作用,给出了一种FFT模块的设计和实现方案。该方案采用定常构形算法,可以很好地满足SSCA算法对FFT核心模块的并行化以及高速运算要求,同时数据处理采用流水线工作方式,大大提高了FFT模块的连续处理数据能力。仿真测试表明,该方案能够满足SSCA算法对FFT模块的运算要求。

摘要：以组态软件MCGS5.1为开发平台,利用PLC来设计一个交通控制系统。该系统通过上位机和下位机之间的数据传输,以良好的人机交互界面实现对十字路口交通信号的实时监控。

摘要：随着研究的深入 ,语音信号的非线性特征逐渐被人们发现。传统的基于分段线性的语音信号处理方法存在局限性 ,因此用非线性方法对语音信号进行处理对于提高处理质量相当重要。文章介绍了非线性理论在语音信号处理中的一些应用。首先采用延时相图法重构语音的混沌吸引子 ,然后用分形维数、Lyapunov指数等非线性动力学参数反映语音信号的非线性特征 ,设计计盒维数算法并运用于语音分割 ,最后根据语音信号时域波形的分形结构设计了分形内插语音编解码算法。