摘要：随着机器学习在社会各领域中自主决策场景的广泛应用,人们对机器学习框架中潜在漏洞的担忧也在日益增加.然而,由于其复杂的实现,针对框架的系统化、自动化测试成为一项艰巨的任务.现有对机器学习框架测试的研究在生成有效测试数据方面尚不成熟,导致测试数据无法通过合法性校验并因此无法检测到目标漏洞.本文提出了ConFL,一种基于约束的机器学习框架模糊测试工具.ConFL能够自动从框架源代码中提取约束而无需任何先验知识.在约束的指导下,ConFL可以生成能够通过校验的有效输入,并执行到框架更深层次的代码逻辑.此外,本文设计了一种算子分组调度技术来提高模糊测试的效率.为了证明ConFL的有效性,本文主要在Tensor-Flow框架上评估了其性能.测试发现,与现有的SOTA工具相比,ConFL能够覆盖更多的代码行,并生成更多有效的测试数据;在相同版本的TensorFlow框架上,ConFL能检测出更多的已知漏洞.此外,ConFL在不同版本的TensorFlow中发现了84个未知漏洞,这些漏洞全部被官方修复并被分配了CVE编号,其中包括3个严重漏洞,13个高危漏洞.最后,本文还在PyTorch和PaddlePaddle中进行了通用性测试,迄今为止发现了7个漏洞.

摘要：僵尸网络是近年来有组织进行黑客攻击的一种重要手段,其独特的攻击方式使数据具有不同于其他网络攻击手段的特点。文章基于采集的网络攻击报文,对僵尸网络攻击数据进行提取分析。首先,运用蜜罐域名服务代理技术构建网络攻击日志分析系统,并设计攻击日志文件的存储格式;然后,通过多种密文鉴别方法实现网络攻击明文的清洗提取,并根据僵尸网络攻击行为不同于网络扫描和黑客攻击的特点,提取僵尸网络的攻击数据,同时运用正则匹配方式发现僵尸网络攻击数据中包含5种类型的特定关键词,通过构建字符串库方式提高对僵尸网络的识别效率;最后,基于僵尸网络攻击数据选取特定聚类特征,运用两阶段聚类算法进行分析。实验结果表明,僵尸网络攻击具有端口偏向性特点,病毒下载是僵尸网络攻击展开的重要手段之一,特定端口攻击的属性数据分布明显不同于其他端口,选取的属性中除了与发送包大小相关的4个属性外,大多具有较强的聚类区分能力,可以作为进一步智能分析的重要特征。

摘要：为克服传统单一传感数据控制系统可靠性差、稳定性弱,满足国民对智能家居控制的更高要求,设计并开发基于多源数据的智能家居控制系统。以智能网关作为控制中心,采用D-S证据理论对获取的多源数据进行决策融合,提出了智能家居控制系统多源数据融合规则。结果表明,该融合规则将各种家居设备融合在一起,能够有效对家居环境进行监控、报警、处置。设计开发的多源数据智能家居控制系统可靠性高、稳定性好,对提升国民生活品质具有一定的实用价值。

摘要：近年来．我国移动互联网用户无论是从数量、应用水平、终端普及还是市场规模几个方面均呈迅猛增长态势。在智能手机用户中，大部分是安卓手机用户。

摘要：光立方作为一种新型的裸眼3D显示技术,用户无需配戴任何观看辅助工具就能达到裸眼3D显示的效果,给人们带来了全新的视觉体验。文中设计了一种基于语音控制的3D动态显示系统,采用LD3320非特定人声语音识别芯片以及STM32F407作为光立方核心控制器实现全彩高阶语音控制光立方设计,解决了现有光立方显示色彩单一、分辨率低、人机交互性能差、设计复杂、成本较高等问题。语音识别模块与STM32之间采用UART串口通信,将语音识别结果作为控制指令发送给STM32,控制光立方显示动画及其工作模式,并用模块自带的喇叭播放背景音乐。SM16126串转并级联驱动输出电路的设计,降低了系统功耗,为高阶光立方的设计提供了一种可行的实现方案。测试表明,光立方显示系统对语音指令识别具有响应速度快、识别精度高、工作稳定等优点,使用体验良好,使人们的生活更加智能化和人性化。

摘要：核心策略:利用打造的"木乃伊"形象,介入网络社区的各种事件营销.引发用户对赛事关注创新点:精准、互动。

摘要：云计算给人们提供了更便捷的服务,人们的计算和数据存储从本地的移动终端转移到云服务端(云端),但云计算在带给人们方便的同时也给予了人们更多的不安全感。本文从移动终端、管道、云端三个方面,对云计算引入移动互联网后的安全风险进行研究,基于这些风险及其特点,设计出其安全体系架构。

摘要：便携文件格式PDF(Portable Document Format)是由Adobe公司所开发的独特的跨平台文件格式。由于其广泛使用,并且开放编码方式,因此PDF已经成为当前Web标准所支持的文件格式之一。详细介绍了基本***以及***开源项目的 PDF在线阅读器平台系统的设计与实现。介绍了在服务器端存储PDF文件,当用户请求文件资源时,通过集成并改进***插件来实现在线PDF的分页、页面导航、缩放及浏览功能。PDF在线阅读器无需用户安装任何客户端插件,即可享受与客户端PDF Reader一样的阅读体验。

摘要：数据流分析是二进制程序分析的重要手段,但传统数据依赖图(DDG)构建的时间与空间复杂度较高,限制了可分析代码的规模.提出了函数级数据依赖图(FDDG)的概念,并设计了函数级数据依赖图的构建方法.在考虑函数参数及参数间相互依赖关系的基础上,将函数作为整体分析,忽略函数内部的具体实现,显著缩小了数据依赖图规模,降低了数据依赖图生成的时空复杂度.实验结果表明,与开源工具angr中的DDG生成方法相比,FDDG的生成时间性能普遍提升了3个数量级.同时,将FDDG应用于嵌入式二进制固件脆弱性分析,实现了嵌入式固件脆弱性分析原型系统FFVA,在对D-Link、NETGEAR、EasyN、uniview等品牌的设备固件分析中,发现了24个漏洞,其中14个属于未知漏洞,进一步验证了FDDG在静态脆弱性分析中的有效性.

摘要：旋翼飞行机械臂是由旋翼无人机(多旋翼无人机或无人直升机)和多连杆机械臂组成的新型飞行机器人系统。该机器人系统结合了旋翼无人机的机动飞行、定点悬停和机械臂灵活作业的特性,能够完成飞行作业任务。旋翼无人机具有对外部干扰敏感的特性。旋翼飞行机械臂在飞行作业过程中会受到来自环境复杂的干扰,再加上系统间严重的耦合作用,使得旋翼飞行机械臂的研究存在诸多难点。本文全面分析与总结了近几年国内外发表的文献,对旋翼飞行机械臂系统设计、系统建模与控制、应用场景和作业方法等方面的主要研究成果进行了综述。