检索结果-内蒙古大学图书馆

小型微型计算机系统 2019年第3期40卷 676-682页

作者：孙卫真邱皓月向勇张禹首都师范大学信息工程学院计算机科学与技术系北京100048 清华大学计算机科学与技术系网络所北京100084 北京理工大学计算机学院北京100081

路口和立交桥作为城市路网的重要组成部分,对于路况计算具有重大的意义.本文为了解决复杂城市道路场景下,低采样率的车辆轨迹数据计算出的路况精度较差的问题,提出一种改进的路况计算精度优化算法.首先针对路况计算精度较差的立交桥区域... 详细信息

路口和立交桥作为城市路网的重要组成部分,对于路况计算具有重大的意义.本文为了解决复杂城市道路场景下,低采样率的车辆轨迹数据计算出的路况精度较差的问题,提出一种改进的路况计算精度优化算法.首先针对路况计算精度较差的立交桥区域,将复杂的立交桥抽象成一个路口,通过改进的聚类算法对立交桥进行了自动化定位.然后利用凸包算法划分了立交桥的路口范围,将复杂路口路况简化为转向时间.利用同一辆车经过路口(普通路口和立交桥路口)前后的轨迹点信息来精确推导相关道路和路口路况.实际数据分析表明,该方法可有效提高路况计算精度.

关键词：低采样率数据立交桥转向时间路况计算

来源：评论

学校读者我要写书评

暂无评论

面向大图的可达性查询处理算法

引用

计算机学报 2019年第3期42卷 582-595页

作者：陈子阳陈伟李娜周军锋上海立信会计金融学院信息管理学院上海201620 燕山大学信息科学与工程学院河北秦皇岛066004 河北环境工程学院信息工程系河北秦皇岛066102 东华大学计算机科学与技术学院上海201620

图的可达性查询处理是生物信息领域的热点问题之一,用于测定蛋白质交互网络中任意两个蛋白质分子间是否存在交互作用.针对已有在可达查询比例增大时在线搜索算法效率下降明显及性能不稳定的问题,提出优化的OPT-R算法.首先,提出最优生成... 详细信息

图的可达性查询处理是生物信息领域的热点问题之一,用于测定蛋白质交互网络中任意两个蛋白质分子间是否存在交互作用.针对已有在可达查询比例增大时在线搜索算法效率下降明显及性能不稳定的问题,提出优化的OPT-R算法.首先,提出最优生成树的概念,使得采用最优生成树的OPT-R算法可以在常量时间回答更多的可达查询;同时提出基于栈的互逆拓扑顺序,使得OPT-R可以在常量时间回答更多的不可达查询.作者还提出相应的最优生成树及互逆拓扑顺序生成算法,并通过实验对基于20个不同规模的真实数据集从不同角度对算法的高效性进行了验证.

关键词：大图有向无环图可达性查询处理最优生成树

来源：评论

学校读者我要写书评

暂无评论

基于安全硬件的云端数据机密性验证方案

引用

信息网络安全 2020年第12期20卷 1-8页

作者：尤玮婧刘丽敏马悦韩东中国科学院大学计算机科学与技术学院北京100043 中国科学院信息工程研究所信息安全国家重点实验室北京100089 国家电网西安供电公司西安710032 北京赛迪软件测评工程技术中心有限公司北京100048

随着物联网、社交网络、移动边缘计算和雾计算等新兴技术的出现和发展,互联网承载的数据量逐年攀升,云存储技术为大规模的数据存储管理提供了集约、规范与高效的解决方案。云存储技术在提供便利的同时,也对云用户信息资产安全和隐私保... 详细信息

随着物联网、社交网络、移动边缘计算和雾计算等新兴技术的出现和发展,互联网承载的数据量逐年攀升,云存储技术为大规模的数据存储管理提供了集约、规范与高效的解决方案。云存储技术在提供便利的同时,也对云用户信息资产安全和隐私保护带来了巨大的挑战。目前,云端数据机密性验证已成为云存储领域亟待突破的重要安全问题。文章总结和分析现有云存储数据机密性验证方案,提出一种基于安全硬件的云端数据机密性验证方案,安全分析及与现有方案的效率对比表明,该方案在达到安全目标的前提下有效提升了运行效率。

关键词：云存储可信执行环境英特尔软件安全扩展加密数据机密性验证

来源：评论

学校读者我要写书评

暂无评论

基于最大决策邻域粗糙集的不确定性度量方法

引用

小型微型计算机系统 2020年第6期41卷 1121-1125页

作者：徐洋徐怡史国川鲁磊纪赵小帆安徽大学计算机科学与技术学院合肥230601 安徽大学计算机智能与信号处理教育部重点实验室合肥230039 中国人民解放军陆军炮兵防空兵学院信息工程系合肥230031

邻域粗糙集模型是经典粗糙集模型的变型,对处理数值型数据具有较好的优势性.本文引入最大决策邻域粗糙集模型,该模型密切关注边界样本,通过增加与决策类有最大交集的邻域样本来扩大正域,并在该模型上定义了最大决策粗糙度的概念.为了能... 详细信息

邻域粗糙集模型是经典粗糙集模型的变型,对处理数值型数据具有较好的优势性.本文引入最大决策邻域粗糙集模型,该模型密切关注边界样本,通过增加与决策类有最大交集的邻域样本来扩大正域,并在该模型上定义了最大决策粗糙度的概念.为了能够反映正域、负域的同时变化,提出一种基于边界域的不确定性度量方法.为了能够更全面的度量,在最大决策邻域粗糙集模型中定义了最大决策邻域粒结构,并基于该粒结构提出了最大决策邻域粒度概念,该粒度是对信息系统的分类能力的度量.文章最后提出一种基于最大决策邻域粗糙集的混合不确定性度量方法,将两种度量方法进行结合.实验结果表明,所提出的度量方法在邻域信息系统中具有较好的分类效果.

关键词：最大决策邻域粗糙集粗糙度边界域粒度度量

来源：评论

学校读者我要写书评

暂无评论

基于工作流的监控系统灵活性增强方法

引用

计算机工程与设计 2019年第9期40卷 2704-2711页

作者：孙卫真王訸向勇首都师范大学信息工程学院北京100048 清华大学计算机科学与技术系北京100084

针对互联网环境下监控系统面临的故障分析及定位的多样性和复杂性,提出将工作流系统用于监控系统中。利用监控系统与工作流系统的交互接口,将管理员定位问题的响应预案描述为工作流;在工作流的控制下,自动分析监控事件和定位故障,在必... 详细信息

针对互联网环境下监控系统面临的故障分析及定位的多样性和复杂性,提出将工作流系统用于监控系统中。利用监控系统与工作流系统的交互接口,将管理员定位问题的响应预案描述为工作流;在工作流的控制下,自动分析监控事件和定位故障,在必要时引入人工参与或第三方服务,利用工作流的灵活流程定义能力提高监控系统对问题判断的准确性和灵活性。dirtycow漏洞信息追溯示例表明,引入工作流的监控系统可实现复杂监控逻辑,增强监控的灵活性。

关键词：监控系统工作流第三方服务自动分析故障定位

来源：评论

学校读者我要写书评

暂无评论

基于符号执行与模糊测试的混合测试方法

引用

软件学报 2019年第10期30卷 3071-3089页

作者：谢肖飞李晓红陈翔孟国柱刘杨天津市先进网络重点实验室(天津大学) 天津300050 南通大学计算机科学与技术学院江苏南通226019 信息安全国家重点研究室(中国科学院信息工程研究所) 北京100093 School of Computer Science and Engineering Nanyang Technological University 639798 Singapore

软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界中,这两种技术都具有一定的优缺点:模糊测试随机变异生成测试... 详细信息

软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界中,这两种技术都具有一定的优缺点:模糊测试随机变异生成测试用例并动态执行程序,可以执行并覆盖到较深的分支,但其很难通过变异的方法生成覆盖到复杂条件分支的测试用例.而符号执行依赖约束求解器,可以生成覆盖复杂条件分支的测试用例,但在符号化执行过程中往往会出现状态爆炸问题,因此很难覆盖到较深的分支.有工作已经证明,将符号执行与模糊测试相结合可以获得比单独使用模糊测试或者符号执行更好的效果.分析符号执行与模糊测试的优缺点,提出了一种基于分支覆盖将两种方法结合的混合测试方法 Afleer,结合双方优点从而可以生成具有更高分支覆盖率的测试用例.具体来说,模糊测试(例如 AFL)为程序快速生成大量可以覆盖较深分支的测试用例,符号执行(例如 KLEE)基于模糊测试的覆盖信息进行搜索,仅为未覆盖到的分支生成测试用例.为了验证 Afleer 的有效性,选取标准程序集LAVA-M 以及实际项目 oSIP 作为评测对象,以漏洞检测能力以及覆盖能力作为评测指标.实验结果表明:(1)在漏洞检测能力上,Afleer 总共可以发现 755 个漏洞,而 AFL 仅发现 1 个;(2)在覆盖能力上,Afleer 在标准程序集上以及实际项目中都有不同程度的提升.其中,在 oSIP 中,Afleer 比 AFL 在分支覆盖率上提高 2.4 倍,在路径覆盖率上提升 6.1倍.除此之外,Afleer 在 oSIP 中还检测出一个新的漏洞.

关键词：软件质量保障模糊测试符号执行测试用例生成

来源：评论

学校读者我要写书评

暂无评论

基于安全压缩感知的大数据隐私保护

引用

大数据 2020年第1期6卷 12-22页

作者：王平张玉书何兴仲盛西南大学电子信息工程学院重庆400715 南京航空航天大学计算机科学与技术学院江苏南京211106 南京大学计算机科学与技术系江苏南京210023

当前的数据"大爆炸"主要受万物互联的驱动,服务于人类衣食住行的各类物联网感知设备时刻在捕获个人隐私数据,然而,这些隐私数据已成为网络攻击的重点目标。分析了资源受限的物联网应用中的数据安全问题,介绍了基于压缩感知理... 详细信息

当前的数据"大爆炸"主要受万物互联的驱动,服务于人类衣食住行的各类物联网感知设备时刻在捕获个人隐私数据,然而,这些隐私数据已成为网络攻击的重点目标。分析了资源受限的物联网应用中的数据安全问题,介绍了基于压缩感知理论的隐私保护技术——安全压缩感知,提出了相应的大数据采集方案,并且通过安全性理论和实验分析给出了结论性的呼吁:将安全压缩感知作为一种感知层内置的轻量级加密机制,以近乎零的成本为数据提供第一层安全防护。

关键词：安全压缩感知大数据物联网隐私保护

来源：评论

学校读者我要写书评

暂无评论

一种最大化内存共享与最小化运行时环境的超轻量级容器

引用

计算机研究与发展 2019年第7期56卷 1545-1555页

作者：张礼庆郭栋吴绍岭崔海波王伟同济大学计算机科学与技术系上海200092 嵌入式系统与服务计算教育部重点实验室(同济大学) 上海200092 湖北大学计算机与信息工程学院武汉430062 湖北省教育信息化工程技术研究中心(湖北大学) 武汉430062

容器技术的兴起带来了数据中心的深刻变化,大量软件转为微服务方式部署与交付.如何优化海量用户环境下大规模容器的启动、运行与维护问题具有广泛的现实意义.目前以Docker为代表的主流容器技术已经取得较大成功,但在镜像体积、资源共享... 详细信息

容器技术的兴起带来了数据中心的深刻变化,大量软件转为微服务方式部署与交付.如何优化海量用户环境下大规模容器的启动、运行与维护问题具有广泛的现实意义.目前以Docker为代表的主流容器技术已经取得较大成功,但在镜像体积、资源共享等方面仍有较大改进空间.梳理了虚拟化技术的发展过程,阐明轻量级的虚拟化技术是未来的研究方向,对数据敏感型应用至关重要.通过建立库文件共享模型,探究了库文件的共享程度对容器最大启动数量的影响.给出了一种超轻量级的容器设计方案,通过细化可操作资源的粒度,使得支撑应用程序运行的容器运行时环境最小化;将依赖库文件与可执行二进制文件单独抽取成层,实现了容器对主机内存资源的最大化共享.根据上述方案实现了一种超轻量级容器管理引擎:REG(runtime environment generation),并定义了一套基于REG的工作流.在镜像体积、启动速度、内存占用、容器启动风暴等方面进行对比实验,验证了所提方法在大规模容器环境下的有效性.

关键词：容器云件轻量级运行时环境资源共享

来源：评论

学校读者我要写书评

暂无评论

一种基于3阶段实现的高性能云存储计算

引用

火力与指挥控制 2019年第10期44卷 107-112页

作者：张皓李敬伟海本斋河南工学院计算机科学与技术系河南新乡453000 河南师范大学计算机与信息工程学院河南新乡453007

提出了一种基于动态数据复制策略和放置算法的3阶段云存储计算。在第1阶段,计算出一个文件的PD,然后根据得到的PD,从中找到最需要访问的文件和需要复制的文件;在第2阶段,计算出需要复制文件的RF,以确定文件是否应当复制或创建副本;在第... 详细信息

提出了一种基于动态数据复制策略和放置算法的3阶段云存储计算。在第1阶段,计算出一个文件的PD,然后根据得到的PD,从中找到最需要访问的文件和需要复制的文件;在第2阶段,计算出需要复制文件的RF,以确定文件是否应当复制或创建副本;在第3阶段,计算出这些节点的AF,以找到创建副本的数量并把副本放置在适当位置的特定节点,从而向用户提供相同服务的不同副本来增加数据可用性;实验结果表明,提出的云存储计算策略不仅能够有效找到需要复制的文件及创建和放置副本,而且在SBER和执行时间性能方面都优于目前比较先进的技术。

关键词：云计算复制因子副本创建系统可用性执行时间

来源：评论

学校读者我要写书评

暂无评论

假数据注入攻击下信息物理融合系统的稳定性研究

引用

自动化学报 2019年第1期45卷 196-205页

作者：彭大天董建敏蔡忠闽张长青彭勤科西安交通大学智能网络与网络安全教育部重点实验室西安710049 西安交通大学电子与信息工程学院系统工程研究所西安710049 西安交通大学电子与信息工程学院计算机科学与技术系西安710049

假数据注入(False data injection, FDI)攻击由于其隐蔽性特点,严重威胁着信息物理融合系统(Cyber-physical systems, CPS)的安全.从攻击者角度,本文主要研究了FDI攻击对CPS稳定性的影响.首先,给出了FDI攻击模型,从前向通道和反馈通道... 详细信息

假数据注入(False data injection, FDI)攻击由于其隐蔽性特点,严重威胁着信息物理融合系统(Cyber-physical systems, CPS)的安全.从攻击者角度,本文主要研究了FDI攻击对CPS稳定性的影响.首先,给出了FDI攻击模型,从前向通道和反馈通道分别注入控制假数据和测量假数据.接着,提出了FDI攻击效力模型来量化FDI攻击对CPS状态估计值和测量残差的影响.在此基础上,设计了一个攻击向量协同策略,并从理论上分析出操纵CPS稳定性的攻击条件:攻击矩阵H和系统矩阵A的稳定性及时间参数ka的选取时机.数值仿真结果表明FDI攻击协同策略能够有效操纵两类(含有稳定和不稳定受控对象)系统的稳定性.该研究进一步揭示了FDI攻击的协同性,对保护CPS安全和防御网络攻击提供了重要参考.

关键词：信息物理融合系统网络空间安全假数据注入攻击卡尔曼滤波

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：