脉冲神经网络权重量化方法与对抗鲁棒性分析

类脑芯片中的脉冲神经网络(SNNs)具有高稀疏性和低功耗的特点,在视觉分类任务中存在应用优势,但仍面临对抗攻击的威胁。现有研究缺乏对网络部署到硬件的量化过程中鲁棒性损失的度量方法。该文研究硬件映射阶段的SNN权重量化方法及其对抗鲁棒性。建立基于反向传播和替代梯度的监督训练算法,并在CIFAR-10数据集上生成快速梯度符号法(FGSM)对抗攻击样本。创新性地提出一种感知量化的权重量化方法,并建立与对抗攻击的训练与推理相融合的评估框架。实验结果表明,在VGG9网络下,直接编码对抗鲁棒性最差。在权重量化前后,4种编码和4种结构参数组合方式下,推理精度损失差与层间脉冲活动的平均变化幅度分别增大73.23%和51.5%。该文指出稀疏性因素对鲁棒性的影响相关度为：阈值增加大于权重量化bit降低大于稀疏编码,所提对抗鲁棒性分析框架与权重量化方法在PIcore类脑芯片中得到了硬件验证。     

一种基于IIR滤波器的时域单频干扰抑制算法及实现

窄带干扰去除是宽带通信系统中的关键技术之一。在基于OFDM调制技术的高性能同轴电缆接入系统(HINOC)系统中,窄带干扰对符号同步、载频同步以及信道估计等过程影响严重,使得系统传输效率急剧下降。针对同轴电缆接入系统中的单频干扰,提出并实现了一种基于IIR滤波器的时域陷波算法的设计方案。本算法具有实现简单、复杂度低、单频抑制较为彻底等优点。根据在HINOC系统中测试验证,该方案能够抑制比信号功率大30 dB的单频干扰,有效抑制了系统吞吐量的下降。     

一种软硬件协同设计工具原型及其设计描述方法

软硬件协同设计工具不但需具有软硬件功能划分的能力,而且应可实现系统级设计到软硬件基本结构的综合。提出一种利用进程代数为高层设计语义基础,可重用现有软硬件设计工具资源的软硬件协同设计工具的实现方案框架,重点讨论其中的设计描述问题。采用这种基于语言变换的软硬件协同设计工具方案有利于对系统的活性、安全性、接口一致性等性质进行高层仿真与形式验证,具有可用性、易扩展好等优点。     

一种数字中频上变频器的设计与实现

基于家庭网络核心SoC平台，文章设计并实现了一种专用的数字中频上变频器；在系统级．利用系统建模工具MATLAB，完成了数字上变频器的行为建模及其功能划分；在电路级，完成了数字上变频器中主要功能模块的VLSI实现及其功能仿真。最后，搭建了基于Xilinx VirtexⅡ XC2V1000-4FG256 FPGA的家庭网络无线通信系统验证平台，验证了数字中频上变频器的功能，实现了家庭网络的无线通信协议。     

Wright语言的实时扩展

Wright是一种适合于对具有并发特性的系统进行仿真建模的著名体系结构描述语言。文章针对Wright语言对实时性描述支持的不足，利用TCSP对其进行了行为语义的扩展，增强其对具有实时并发特性的系统进行建模的能力。利用扩展后的Wright语言。在系统开发的早期即可对系统的活性、安全性等时间相关的特性进行模型检验。