【摘 要】
：
深度学习库为开发人员构建深度学习模型提供底层算力支撑,这使得模型的质量高度依赖深度学习库算子的质量。因此,深度学习库测试对于底层库开发者以及模型开发者具有重大意义。然而,深度学习算子测试存在诸多挑战:一方面,由于深度学习算子输入的维度可变性,现有测试工具无法应用于算子测试输入生成;另一方面,涉及大量浮点计算的不同算子的误差传播机理多样,导致算子精度误差难以评估。
论文部分内容阅读
深度学习库为开发人员构建深度学习模型提供底层算力支撑,这使得模型的质量高度依赖深度学习库算子的质量。因此,深度学习库测试对于底层库开发者以及模型开发者具有重大意义。然而,深度学习算子测试存在诸多挑战:一方面,由于深度学习算子输入的维度可变性,现有测试工具无法应用于算子测试输入生成;另一方面,涉及大量浮点计算的不同算子的误差传播机理多样,导致算子精度误差难以评估。
其他文献
现有的基于网络流量的二进制协议格式逆向方法通过比对多个相同类型的报文来推导协议格式,但报文集中的噪声报文会导致协议格式识别准确率较低,为此文章提出一种自动化去除噪声并推断协议格式的方法。该方法首先挖掘报文序列每个位置上的频繁项,识别出报文集中的特殊标识(FD);然后根据每个位置上FD的频率之和有效去除噪声报文;接着根据报文头部的FD进行递归式的去噪与报文分割;再在通过报文分割得到的报文集合中进行k
摘要：电子取证作为一门新兴的科研和教育学科已陆续在各大高校中开设。对于最早开设电子取证课程的公安院校来说，建设一个集高校学历教育和公安在职培训为一体的电子取证云平台可以达到双赢的效果。本平台依托云容器技术，建立融合教学、科研为一体的“新工科教育”云实践平台。通过引进模拟仿真教学的理念，云平台为电子取证教学虚拟各种实验操作环境，让学生体验真正的实际取证操作过程。同时，它的以课程管理为中心、以学习活动
针对智能仪表典型功能模块和安全需求,文章设计了策略重叠消除和冲突消解相分离的融合方法框架,实现了对安全策略的形式化建模和属性特征提取。文章综合权衡安全防护能力、风险缓解程度和仪表资源受限等多方面因素,并考虑网络通信安全策略和控制行为动作安全策略在融合过程中的属性模糊偏好差异,得出最优的安全防护策略部署方案,通过仿真实验验证了所提方案的可行性和有效性。文章通过模糊多目标决策和优先级选择的方式,实现了
2015年,教育部印发的《关于“十三五”期间全面深入推进教育信息化工作的指导意见(征求意见稿)》中首次提到了创客教育。2018年,教育部印发的《教育信息化2.0行动计划》明确要求培养创新驱动发展新引擎。如何在学校中开展优质的创客教育是当下的热点问题。笔者认为,做好课程建设,建设符合创客本质的课程是开展创客教育的重要落脚点。
摘要：为满足知识经济时代对STEM人才的需求，开展系统的STEM生涯教育刻不容缓。本文提出期望价值理论能有效解释学生心理因素与STEM兴趣及职业选择之间的关系，并根据学生期望信念和价值信念的变化特点提出：学前阶段应通过游戏激发幼儿STEM学习的情境兴趣，小学阶段应依托STEM项目活动强化学生STEM学习的个体兴趣，初中阶段增强学生对STEM学习的成功期望和能力信念，高中阶段拓展学生对STEM职业的
为了抵抗内部恶意用户的攻击、保护控制指令与工业数据的安全性,实现对用户与设备合法性的验证,文章设计了一种安全的适用于工业物联网的身份认证协议,在实现合法性验证的基础上,引入用户的权限分离机制和参与实体的在线注册机制提高协议的安全性和可用性。最后通过仿真工具AVISPA及非形式化安全性分析验证了协议的安全性。性能分析与对比分析表明,该协议能够较好地适用于工业物联网身份认证。
针对恶意挖矿网页检测技术存在的漏报率高、时效性低、预测不准、过于依赖规则等问题,文章设计了基于多特征识别的恶意挖矿网页检测模型和多层级证据保存的恶意挖矿网页取证方法。该检测模型通过对Coinhive、Jsecoin、Webmine、Cryptoloot四种挖矿网页的实现方式、代码特点分析,归纳总结其特征,构建出挖矿网页的多特征序列,实现对恶意挖矿网页的自动检测。研究表明,该检测模型能够对用户提交的
随着量子信息技术的发展,量子密钥分发网络逐步应用到现实生活中。为了提高量子密钥分发网络的安全性,文章对比分析了随机路由和多路径路由方案,并提出一种最少公共节点的多路径路由方案。该方案适用于链路分布较密的网络结构,通过找到多条互不相交的多路径,减少冗余路径,提高密钥路由的安全性,减少路由过程中量子密钥的消耗。最后文章通过实例对该路由方案进行了分析验证。
近日,中国科学院软件研究所陈海明团队在正则表达式拒绝服务攻击(ReDoS)漏洞检测与修复技术上取得重要进展,设计研发当前最先进ReDoS漏洞检测工具——ReDoSHunter,提出首个抗
6月17日,西北工业大学-北京超级云计算中心联合实验室在西北工业大学友谊校区研究生西馆举办了高性能计算前沿技术培训与交流会。来自西北工业大学航空、航海、材料、机电、自动化、计算机等10多个学院和西安交通大学的师生在现场参加了本次会议。会议由西北工业大学计算机学院高性能计算中心侯正雄老师主持。