摘要：近年来,神经网络模型凭借着较强的特征提取能力在各行各业的应用越来越广泛,并取得了不错的效果。然而,随着数据量的不断增大以及人们对高准确率的不断追求,神经网络模型的参数规模急剧增大,网络复杂度不断提高,导致计算、存储等资源开销不断扩大,使其在资源受限场景下的部署面临极大挑战。因此,如何在不影响模型性能的前提下实现模型轻量化,进而降低模型训练和部署的成本成为当前的研究热点之一。为此,文中从复杂模型压缩以及轻量化模型设计两方面入手,对当前典型的模型轻量化方法进行总结和分析,以期厘清模型压缩技术的发展脉络。其中,复杂模型压缩技术从模型剪枝、模型量化、低秩分解、知识蒸馏及混合方式5方面进行归纳,而轻量化模型设计则从空间卷积设计、移位卷积设计和NAS架构搜索3方面进行梳理。

摘要：身份识别作为普适计算和人机交互领域的重要研究内容,受到研究者的广泛关注。基于WiFi信号的传统身份识别方法虽然取得了较大的进展,但仍然面临分类能力弱、模型存储代价高、训练时间长等问题。对此,提出了基于多层神经网络的轻量级步态识别模型(Light Weight Identification,LWID)。该方法首先通过将原始时序数据进行图片化重构,最大限度地保留了不同载波间的特征信息;然后通过设计一种仿生的Balloon机制,实现了对网络层中神经元数量的裁剪,并通过联合使用不同尺寸的卷积核,实现了对数据中特征的提取与特征图中通道信息的整合,从而在提高模型分类能力的前提下实现了模型规模的轻量化。实验结果表明,所提模型在50人的数据集中取得了98.8%的识别率。与传统的基于WiFi信号的身份识别模型相比,所提模型具有更强的分类能力与鲁棒性,同时该模型可以压缩至现有同等精度图片识别模型大小的6.14%。

摘要：激发教育能有效提高学生的学习热情,激发其潜能,将被动学习变为主动学习,对提高人才培养质量具有非常重要的意义。本文以激发教育为宗旨,针对高校软件工程专业实践教学的本质特点,结合软件行业社会需求,提出要增强"教育为业界服务"的意识,树立工程性、模块化的教学理念,采取工程性与艺术性相结合的教学方法,实施面向行业问题、校企结合的工程实践项目设计,建立综合性的考核机制以及完善的人才素质评价体系。

摘要：近年来,由"毒驾"所引发的重大交通事故数量不断增长,现有的毒品检测技术由于时效性、便捷性等原因,难以适用于常规道路毒驾稽查,不利于道路现场检测.对此,本文针对毒驾唾检试纸图像的特点,设计并实现了一种高效的毒品检测方法——DrugChecking.该方法首先对唾液检测试纸进行边缘检测,以提取试纸检测区域;其次,针对毒驾唾检试纸的弱边缘问题,DrugChecking在多颜色空间中采用Hough变换提取试纸条区域;然后,使用主成分分析对试纸条区域进行降维处理;最后,采用支持向量机对降维后的数据进行分类.本文方法已在现场采集的毒驾唾检试纸图像上进行了验证,实验结果表明:DrugChecking的识别准确率达到98.04%,能够有效识别毒驾唾检试纸中毒品类别.

摘要：针对Web程序设计课程重实践的特点,以"雨课堂"为平台,分析线上教学的可行性,结合疫情期间的在线教学经验,通过任务驱动的课程内容分解,提出一种以能力形成为导向的新型线上教学模式,并从课程内容、教学方法、考核机制、教学过程方面介绍基于项目导向和任务驱动的课程改革实践,最后说明教学效果。

摘要：针对深度神经网络模型易遭受完整性破坏问题,提出一种基于可逆水印和模型压缩剪枝理论的快速神经网络模型完整性验证算法Fast-MIV(model integrity verification)。基于模型压缩剪枝理论探究模型的冗余性,筛选对模型原始任务影响较小、且可被替代的权重参数进行预处理构建待嵌入参数序列;采用差值扩展可逆水印算法,在神经网络卷积层上嵌入对模型篡改敏感的神经网络水印,达到完整性验证的目的。基于ImageNet数据集,对VGG19、DenseNet-121、ResNet-50和Inception-v3等模型的实验验证结果表明,Fast-MIV在不影响模型原始分类任务精度的前提下,能够快速验证模型的完整性并报告模型的受损程度,可以应对数据中毒攻击和结构性破坏。

摘要：随着互联网技术的普及和发展,用户数据和隐私的保护已经成为一个热门的研究领域。网络空间安全防御从被动防御发展到主动防御,防御性能和成功率获得了显著的提升。然而,传统的被动防御和主动防御本质上都是功能和安全松耦合的外壳式防御,对未知攻击的防御性能较差。网络空间拟态防御(cyberspace mimic defense,CMD)是在传统网络安全防御方式上发展出来的网络内生安全实现形式,核心架构为动态异构冗余架构,架构实现主体主要由异构执行体集合、分发器、拟态变换器和表决器4部分组成,同时以CMD三定理及网络安全不完全交集定理为理论基础。其中,通过异构执行体增加系统的异构性,并由表决算法决定异构执行体中上下线的个体,最终由调度算法完成系统中执行体的上下线过程。本文主要从网络空间安全发展的历史沿革出发,对比传统防御方式与拟态防御的差异,着重介绍拟态架构中异构策略、调度策略以及表决策略的具体实现形式,并罗列在实践过程中融合拟态防御思想的应用实例。拟态防御已经在各个领域有了较为广泛的应用基础,在此基础上的研究可以将现有网络安全体系推进到新的阶段。

摘要：目前我国新工科专业正在全面推进深化建设,针对物联网工程专业深化建设过程中如何实现“产学研用”联动的问题,本文提出了产学研用体系化设计的观点,以郑州大学软件学院物联网工程专业校企共建的物联网研究院及工程中心为研究对象,探索研究如何在产学研合作背景下通过多方组织协同构建机制的改革建设校企合作命运共同体,深化产教融合,搭建产学研协同育人平台,助力一流新工科专业深化建设。

摘要：针对云系统规模庞大、构成复杂、动态性突出、层次关联性强而难于建模评估的问题,提出一种基于排队Petri网的云系统评估模型QPNC;QPNC结合了排队论和Petri网理论特点,模型具备较强的定量评价和行为描述能力,能够很好地对复杂云系统进行有效建模和模拟;基于上述模型,进一步提出并完善云系统的定量分析、评估体系,仿真并模拟了大规模并行环境下云系统的动态服务效果;实验结果表明,QPNC能够有效反映出各种云系统架构在性能和服务等方面特征,对云系统的各种动态服务行为具有很高的仿真度,为设计构建更加高效、更具针对性的云系统提供了定量分析支持和理论依据。