期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
一种约束制导的机器学习框架漏洞检测方法 被引量:2
1
作者 刘昭 邹权臣 +4 位作者 于恬 王旋 张德岳 孟国柱 陈恺 《计算机学报》 EI CAS CSCD 北大核心 2024年第5期1120-1137,共18页
随着机器学习在社会各领域中自主决策场景的广泛应用,人们对机器学习框架中潜在漏洞的担忧也在日益增加.然而,由于其复杂的实现,针对框架的系统化、自动化测试成为一项艰巨的任务.现有对机器学习框架测试的研究在生成有效测试数据方面... 随着机器学习在社会各领域中自主决策场景的广泛应用,人们对机器学习框架中潜在漏洞的担忧也在日益增加.然而,由于其复杂的实现,针对框架的系统化、自动化测试成为一项艰巨的任务.现有对机器学习框架测试的研究在生成有效测试数据方面尚不成熟,导致测试数据无法通过合法性校验并因此无法检测到目标漏洞.本文提出了ConFL,一种基于约束的机器学习框架模糊测试工具.ConFL能够自动从框架源代码中提取约束而无需任何先验知识.在约束的指导下,ConFL可以生成能够通过校验的有效输入,并执行到框架更深层次的代码逻辑.此外,本文设计了一种算子分组调度技术来提高模糊测试的效率.为了证明ConFL的有效性,本文主要在Tensor-Flow框架上评估了其性能.测试发现,与现有的SOTA工具相比,ConFL能够覆盖更多的代码行,并生成更多有效的测试数据;在相同版本的TensorFlow框架上,ConFL能检测出更多的已知漏洞.此外,ConFL在不同版本的TensorFlow中发现了84个未知漏洞,这些漏洞全部被官方修复并被分配了CVE编号,其中包括3个严重漏洞,13个高危漏洞.最后,本文还在PyTorch和PaddlePaddle中进行了通用性测试,迄今为止发现了7个漏洞. 展开更多
关键词 机器学习框架 约束提取 算子测试 模糊测试 漏洞检测
在线阅读 下载PDF
基于二分法迭代的频谱感知节能优化策略 被引量:2
2
作者 陈长兴 林兴 +3 位作者 任晓岳 王晓东 杨牧 曾志 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2017年第5期61-66,共6页
针对认知无线电(CR)系统中频谱感知技术能量效率低的问题,提出了一种基于二分法迭代寻优的联合优化算法。该算法通过联合传输功率与感知时隙进行优化,最大化地提高了CR系统的能量效率,并且在针对优化参数ξ的寻优过程中,使用了二分法与... 针对认知无线电(CR)系统中频谱感知技术能量效率低的问题,提出了一种基于二分法迭代寻优的联合优化算法。该算法通过联合传输功率与感知时隙进行优化,最大化地提高了CR系统的能量效率,并且在针对优化参数ξ的寻优过程中,使用了二分法与迭代算法结合的寻优方法。通过理论分析,与其他类似算法相比,该算法的寻优速度更快,算法复杂度更低,函数收敛速度更快,实际应用的可扩展性更强。数值仿真分析结果表明,在保证检测性能的前提下,提出的算法能够很好地解决能效的最优化问题,在恒定检测概率Pd=0.9和Pd=0.7条件下,所提出算法的能耗开销均低于其他算法,在系统吞吐量中所提出算法均优于其他算法,为CR系统的发展提供了理论支撑,更加符合未来CR系统的节能发展方向。 展开更多
关键词 认知无线电 频谱感知 能量效率 二分法 迭代
在线阅读 下载PDF
《开发区土地集约利用评价数据库标准》编制要点分析
3
作者 郑新奇 左玉强 +4 位作者 邓红蒂 宁敢 艾刚 苏航 江文亚 《中国土地科学》 CSSCI 北大核心 2012年第5期16-22,共7页
研究目的:围绕编制《开发区土地集约利用评价数据库标准》的总体目标,分析《标准》研制的技术路线和技术方法,针对《标准》的服务定位、数据库内容与要素划分、数据库结构定义等主要技术问题提出观点。研究方法:文献资料法、比较分析法... 研究目的:围绕编制《开发区土地集约利用评价数据库标准》的总体目标,分析《标准》研制的技术路线和技术方法,针对《标准》的服务定位、数据库内容与要素划分、数据库结构定义等主要技术问题提出观点。研究方法:文献资料法、比较分析法。研究结果:《标准》中的规定是在上两轮开发区土地集约利用评价的基础上深入研究和广泛探讨确定的,满足标准化工作的要求和目的,具有技术上的科学性、可行性和实用性。研究结论:通过本《标准》的试行和推广,规范了开发区土地集约利用评价数据库的内容、数据库结构、数据交换格式,保障了开发区土地集约利用评价工作的顺利实施,促进了开发区土地集约利用评价数据的管理和共享。本文通过总结分析《标准》编制过程,可为同类研究提供参考和借鉴。 展开更多
关键词 土地集约利用 开发区 数据库 标准化
在线阅读 下载PDF
中学生信息技术应用与信息素养水平的关系探究:基于潜在剖面分析 被引量:9
4
作者 蒋龙艳 吴砥 +1 位作者 朱莎 黎欢 《中国电化教育》 CSSCI 北大核心 2019年第12期95-101,共7页
为探究中学生信息技术应用类别,以及不同信息技术应用类别的中学生在信息素养水平上的差异,本研究对我国X市2526名中学生进行了调查。通过潜在剖面分析,研究结果显示:(1)中学生信息技术应用可分为“ICT应用适中组”“ICT应用不足组”“... 为探究中学生信息技术应用类别,以及不同信息技术应用类别的中学生在信息素养水平上的差异,本研究对我国X市2526名中学生进行了调查。通过潜在剖面分析,研究结果显示:(1)中学生信息技术应用可分为“ICT应用适中组”“ICT应用不足组”“ICT应用休闲组”“ICT应用普遍组”四种,比例分别为36.6%、12.2%、41.7%和9.5%;(2)从信息素养总分来看,当学生信息技术应用处于“ICT应用休闲组”类别时,其信息素养得分最高,“ICT应用普遍组”“ICT应用适中组”其次,“ICT应用不足组”得分最低;(3)从四个一级指标得分来看,“ICT应用普遍组”在信息意识与认知指标上得分最高,其他一级指标得分上均为“ICT应用休闲组”得分最高,“ICT应用不足组”在所有一级指标得分上均为最低。学校、教师及家长应根据不同信息技术应用类别中学生的特点,多途径、针对性地采取措施,促进中学生信息素养的培育和提升。 展开更多
关键词 中学生 信息技术应用 信息素养 潜在剖面分析
在线阅读 下载PDF
函数级数据依赖图及其在静态脆弱性分析中的应用 被引量:3
5
作者 陈千 程凯 +2 位作者 郑尧文 朱红松 孙利民 《软件学报》 EI CSCD 北大核心 2020年第11期3421-3435,共15页
数据流分析是二进制程序分析的重要手段,但传统数据依赖图(DDG)构建的时间与空间复杂度较高,限制了可分析代码的规模.提出了函数级数据依赖图(FDDG)的概念,并设计了函数级数据依赖图的构建方法.在考虑函数参数及参数间相互依赖关系的基... 数据流分析是二进制程序分析的重要手段,但传统数据依赖图(DDG)构建的时间与空间复杂度较高,限制了可分析代码的规模.提出了函数级数据依赖图(FDDG)的概念,并设计了函数级数据依赖图的构建方法.在考虑函数参数及参数间相互依赖关系的基础上,将函数作为整体分析,忽略函数内部的具体实现,显著缩小了数据依赖图规模,降低了数据依赖图生成的时空复杂度.实验结果表明,与开源工具angr中的DDG生成方法相比,FDDG的生成时间性能普遍提升了3个数量级.同时,将FDDG应用于嵌入式二进制固件脆弱性分析,实现了嵌入式固件脆弱性分析原型系统FFVA,在对D-Link、NETGEAR、EasyN、uniview等品牌的设备固件分析中,发现了24个漏洞,其中14个属于未知漏洞,进一步验证了FDDG在静态脆弱性分析中的有效性. 展开更多
关键词 数据流分析 函数级数据依赖图 脆弱性分析 固件
在线阅读 下载PDF
硬盘故障预测模型在大型数据中心环境下的验证 被引量:7
6
作者 贾宇晗 李静 +4 位作者 贾润莹 李忠伟 王刚 刘晓光 肖康 《计算机研究与发展》 EI CSCD 北大核心 2015年第S2期54-61,共8页
随着互联网的发展、存储规模的骤增,大型数据中心硬盘频繁损坏导致的数据丢失给企业带来的损失已成为不可忽视的重大问题.以往基于硬盘SMART(self-monitoring,analysis and reporting technology)属性建立的包括应用统计学和机器学习等... 随着互联网的发展、存储规模的骤增,大型数据中心硬盘频繁损坏导致的数据丢失给企业带来的损失已成为不可忽视的重大问题.以往基于硬盘SMART(self-monitoring,analysis and reporting technology)属性建立的包括应用统计学和机器学习等方法在内的各种硬盘故障预测模型,虽然取得了较好的效果,但其数据采集及处理等方面均存在不足之处.基于某真实的互联网大型数据中心环境,提取SMART属性数据,并提出了一种基于神经网络权值矩阵的方法,结合Rank Sum秩和检验、RAT反向安排测试、Z-Score评分3种无参统计学方法,对属性进行选择,应用CART决策树及BP神经网络2种机器学习方法,建立硬盘故障预测模型.实验表明描述的2种硬盘故障预测模型均具有很好的性能,这是机器学习算法在实际应用场景下很好的实践.此外,通过实验以及对实验的分析和解释,得出一些有益的结论,这为下一步的研究工作奠定了基础. 展开更多
关键词 硬盘故障预测 决策树 BP神经网络 SMART 大型数据中心
在线阅读 下载PDF
旋翼飞行机械臂研究综述 被引量:4
7
作者 刘超 张广玉 熊安斌 《高技术通讯》 EI CAS 北大核心 2020年第7期735-747,共13页
旋翼飞行机械臂是由旋翼无人机(多旋翼无人机或无人直升机)和多连杆机械臂组成的新型飞行机器人系统。该机器人系统结合了旋翼无人机的机动飞行、定点悬停和机械臂灵活作业的特性,能够完成飞行作业任务。旋翼无人机具有对外部干扰敏感... 旋翼飞行机械臂是由旋翼无人机(多旋翼无人机或无人直升机)和多连杆机械臂组成的新型飞行机器人系统。该机器人系统结合了旋翼无人机的机动飞行、定点悬停和机械臂灵活作业的特性,能够完成飞行作业任务。旋翼无人机具有对外部干扰敏感的特性。旋翼飞行机械臂在飞行作业过程中会受到来自环境复杂的干扰,再加上系统间严重的耦合作用,使得旋翼飞行机械臂的研究存在诸多难点。本文全面分析与总结了近几年国内外发表的文献,对旋翼飞行机械臂系统设计、系统建模与控制、应用场景和作业方法等方面的主要研究成果进行了综述。 展开更多
关键词 旋翼飞行机械臂 飞行作业 飞行控制 系统建模
在线阅读 下载PDF
基于日志的僵尸网络攻击数据分析 被引量:2
8
作者 朱涛 夏玲玲 +1 位作者 李鹏辉 徐忠毅 《信息网络安全》 CSCD 北大核心 2022年第10期82-90,共9页
僵尸网络是近年来有组织进行黑客攻击的一种重要手段,其独特的攻击方式使数据具有不同于其他网络攻击手段的特点。文章基于采集的网络攻击报文,对僵尸网络攻击数据进行提取分析。首先,运用蜜罐域名服务代理技术构建网络攻击日志分析系统... 僵尸网络是近年来有组织进行黑客攻击的一种重要手段,其独特的攻击方式使数据具有不同于其他网络攻击手段的特点。文章基于采集的网络攻击报文,对僵尸网络攻击数据进行提取分析。首先,运用蜜罐域名服务代理技术构建网络攻击日志分析系统,并设计攻击日志文件的存储格式;然后,通过多种密文鉴别方法实现网络攻击明文的清洗提取,并根据僵尸网络攻击行为不同于网络扫描和黑客攻击的特点,提取僵尸网络的攻击数据,同时运用正则匹配方式发现僵尸网络攻击数据中包含5种类型的特定关键词,通过构建字符串库方式提高对僵尸网络的识别效率;最后,基于僵尸网络攻击数据选取特定聚类特征,运用两阶段聚类算法进行分析。实验结果表明,僵尸网络攻击具有端口偏向性特点,病毒下载是僵尸网络攻击展开的重要手段之一,特定端口攻击的属性数据分布明显不同于其他端口,选取的属性中除了与发送包大小相关的4个属性外,大多具有较强的聚类区分能力,可以作为进一步智能分析的重要特征。 展开更多
关键词 僵尸网络 日志 两阶段聚类 聚类特征
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部