离散数学数理逻辑教学中值得关注的几个问题

本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。     

SAF-CNN：面向嵌入式FPGA的卷积神经网络稀疏化加速框架

传统的卷积神经网络加速器及推理框架在资源约束的FPGA上部署模型时,往往面临设备种类繁多且资源极端受限、数据带宽利用不充分、算子操作类型复杂难以适配且调度不合理等诸多挑战.提出一种面向嵌入式FPGA的卷积神经网络稀疏化加速框架（sparse acceleration framework of convolutional neural network, SAF-CNN）,通过软硬件协同设计的方法,从硬件加速器与软件推理框架2个角度进行联合优化.首先, SAF-CNN构建并行计算阵列,并且设计并行编解码方案,实现单周期多数据的传输,有效减少通信代价.其次,设计细粒度结构化块划分剪枝算法,于输入通道维度进行块内裁剪来获得稀疏且规则的权重矩阵,借此显著降低计算规模和DSP乘法器等资源占用.然后,提出一种兼容深度可分离卷积的输入通道维度动态拓展及运行时调度策略,实现输入通道参数灵活适配与逐通道卷积和逐点卷积的资源复用.最后,提出一种计算图重构及硬件算子融合优化方法,提升硬件执行效率.实验采用2种资源受限的低端FPGA异构平台Intel CycloneV与Xilinx ZU3EG,结果表明SAF-...     

一种基于双阈值函数的成员推理攻击方法北大核心CSCD

海量数据和强大算力的出现,促进了深度学习的发展,深度学习在智慧交通和医疗诊断等领域得到广泛应用,这给人们的日常生活带来许多便利。然而,机器学习中的隐私泄露问题也不容忽视。成员推理攻击通过推断数据样本是否用于训练机器学习模型,从而暴露用户训练数据的隐私。文章介绍了基于单阈值的成员推理攻击及特点,对不同攻击方法的成员和非成员的数据分布进行可视化,然后对成员推理攻击成功的内在机理进行分析,提出了基于双阈值函数的攻击模型,并通过实验对单阈值和双阈值的成员推理攻击进行系统性的分析对比,分析基于阈值成员推理攻击对不同模型和不同数据集的攻击表现。通过对多组控制变量的对比实验表明,基于双阈值函数的成员推理攻击在某些数据集和模型上,整体表现更加优异和稳定。     

推理之力，叩开真相之门－－侦探罪案游戏巡礼

不少喜欢读推理小说的玩家都知道,侦探是一个满富挑战性的职业,他们接受雇佣者金钱及其他财物,为雇主进行隐蔽地调查及拍照取证等服务。过去欧美的侦探不仅受雇于私人,而且还会帮助警方调查、提供证据并协助破案。19世纪末英国侦探小说家柯南道尔笔下才华横溢的鬼才侦探夏洛克·福尔摩斯已经成为世界级名侦探的代言词。     

数字通信系统中的Monte Carlo仿真

介绍数字通信系统的广泛应用和Monte Carlo算法的基本思想,重点分析数字通信系统中的差错概率和应用Monte Carlo仿真对存在噪声和干扰的数字通信系统的性能进行评估。     

基于网络的智能辅导模式研究与系统设计

针对目前辅导行业的现状,为解决课后辅导的自动化、实时化的问题,分析了学生课后学习掌握知识的过程,提出了一个基于学生课后学习规律的辅导模型,建立了面向问题的多层面知识辅导新模式,构建了基于此模式的网络智能家教系统的框架结构。该系统采用基于知识的自动推理技术使得推理过程得以完整保存来分析后续的多层面辅导信息,采用资源模型分解知识粒度保证抽象度,采用网络服务模式满足用户的实时使用。以学生提出的几何问题为实例,展示了多层面辅导过程,实验结果表明了该模式和系统设计的可行性。     

基于数据挖掘的数据库安全技术研究

随着数据库技术的快速发展,数据挖掘成为从海量数据中发现有价值信息的一种有效方法。数据挖掘为人们使用数据库带来了方便的同时,也带来了许多安全问题,其会导致数据库系统产生推理和聚集攻击。本文详细的介绍了数据挖掘对数据库系统安全带来的影响,同时针对系统受到的推力和聚集攻击提出了一种基于归纳和演绎的混合推理策略,防止数据库发生信息泄露等安全问题。     

杂波预处理联合概率数据关联算法

在目标跟踪过程中,数据关联过程一直是信息处理的一个瓶颈.本文主要在JPDA算法的基础上,通过预处理方法简化关联矩阵,减小低概率杂波的影响,提出一种更有效的数据关联算法-PJPDA算法.最后通过仿真试验证明了它在关联精度上的可靠性以及关联速度上的高效性.     

迈一步,豁然开朗

<正>关于创业的文章,杂志自改版以来做过很多次,像本期这样在"焦点"栏目做还是第一次。在编辑部策划本期内容时,编辑们曾出现过两种意见:一种是不应该鼓励大学生创业,尽管现在创业环境较好,但他们自身的整体素质还未达到创业水平,鼓励他们创业无疑是把他们向"火坑"里     

数据库推理通道的动态控制

数据库推理问题是数据库安全研究的重要组成部分,主要研究推理通道的检测方法和控制策略。该文提出一种动态控制推理通道的方法。该方法为每个推理通道建立一个标识集合,利用集合中元素和推理通道中对象的关联来控制查询的处理,使用户能灵活地访问数据但又得不到足够的信息来推理。与以前提出的方案不同,该方案保证了数据的最大可用性,同时有效地阻止推理并保持了快速的查询处理能力。