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

软件学报 2017年第4期28卷 860-882页

作者：王蕾李丰李炼冯晓兵计算机系统结构国家重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学北京100190

信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技... 详细信息

信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技术,即,使用动态和静态的方法解决污点传播;随后,分析该技术在移动终端、互联网平台上的应用过程中遇到的问题和解决方案,包括解决Android应用隐私泄露与检测Web系统安全漏洞的污点分析技术;最后,展望该技术的研究前景和发展趋势.

关键词：污点分析信息流分析软件安全静态分析与动态分析 Android Web

来源：评论

学校读者我要写书评

暂无评论

计算机系统模拟器研究综述

引用

计算机研究与发展 2015年第1期52卷 3-15页

作者：刘雨辰王佳陈云霁焦帅计算机系统结构国家重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学北京100049

计算机系统模拟器已经成为计算机系统结构领域研究中不可或缺的工具,真实计算机系统的不断发展对模拟器的性能要求也越来越高,模拟器的性能提升也促进了真实计算机结构和性能上的进步.为了提升性能,模拟器的发展经历了从串行单线程模拟... 详细信息

计算机系统模拟器已经成为计算机系统结构领域研究中不可或缺的工具,真实计算机系统的不断发展对模拟器的性能要求也越来越高,模拟器的性能提升也促进了真实计算机结构和性能上的进步.为了提升性能,模拟器的发展经历了从串行单线程模拟到多处理单元并行模拟的发展趋势.串行模拟器和并行模拟器分别针对各自的模拟目标和模拟过程提出了各种优化方案,串行模拟器研究者提出了交织码、二进制翻译、FPGA加速、模拟分离等加速技术,而并行模拟器在串行模拟器基础上针对自己特有的支撑架构以及负载均衡、同步机制和通信机制等问题提出了各种解决方案.

关键词：模拟器串行并行并行离散事件模拟负载均衡

来源：评论

学校读者我要写书评

暂无评论

带权图的均衡k划分

引用

计算机研究与发展 2015年第3期52卷 769-776页

作者：郑丽丽武继刚陈勇朱梅霞天津工业大学计算机科学与软件学院天津300387 计算机系统结构国家重点实验室(中国科学院计算技术研究所) 北京100190

带权图的均衡k划分是把一个图的顶点集分成k个不相交的子集,使得任意2个子集中顶点的权值之和的差异达到极小,并且连接不同子集的边权之和也达到极小.这种图的k划分问题已被应用在软硬件协同设计、大规模集成电路设计和数据划分等领域,... 详细信息

带权图的均衡k划分是把一个图的顶点集分成k个不相交的子集,使得任意2个子集中顶点的权值之和的差异达到极小,并且连接不同子集的边权之和也达到极小.这种图的k划分问题已被应用在软硬件协同设计、大规模集成电路设计和数据划分等领域,它已被证明是NP完全问题.首先针对带权图的均衡k划分问题提出了能够生成优质近似解的启发式算法.该算法在保证子集均衡的条件下,采用最大化同一子集内部边权之和的策略来构造每一个顶点子集;构建子集S的思想是每次从候选集中选择与子集S相连的具有最大增益的顶点放入子集S中,直到子集S的顶点权值之和满足要求.此外,采用了定制的禁忌搜索算法对生成的初始近似解实施进一步优化.实验结果表明,当k分别取值为2,4,8时所提算法分别在86%,81%,68%的基准图上求得的平均解优于当前最新算法求得的平均解;解的最大改进幅度可达60%以上.

关键词：带权图 k划分启发式算法禁忌搜索算法设计

来源：评论

学校读者我要写书评

暂无评论

非默认规则线技术下基于多策略的时延驱动层分配算法

引用

计算机学报 2023年第4期46卷 743-760页

作者：刘耿耿鲍晨鹏王鑫郭文忠陈国龙福州大学计算机与大数据学院福州350116 计算机系统结构国家重点实验室北京100190 天津大学智能与计算学部天津300350 天津市认知计算与应用重点实验室天津300350

层分配作为超大规模集成电路物理设计中的关键环节,在决定布线方案的时延起到非常重要作用.为了优化集成电路的时延性能,现有的层分配工作通常注重优化互连时延和通孔数量,但要么未考虑到对线网中时序关键段的分配问题,要么对线网段的... 详细信息

层分配作为超大规模集成电路物理设计中的关键环节,在决定布线方案的时延起到非常重要作用.为了优化集成电路的时延性能,现有的层分配工作通常注重优化互连时延和通孔数量,但要么未考虑到对线网中时序关键段的分配问题,要么对线网段的时序关键性的表示不够合理,最终使得算法的时延优化不够理想.为此,本文提出一种非默认规则线技术下基于多策略的时延驱动层分配算法,主要包含4种关键策略:(1)提出轨道数感知的层选择策略,增强层分配器为线网段选择合适布线层的能力;(2)提出多指标驱动的初始线网排序策略,综合考虑线长、信号接收器数和可布线轨道资源等多个指标为线网确定层分配优先级,从而获得高质量的初始层分配结果;(3)提出线网段调整策略,通过重绕线网,将时序关键段调整至上层布线层,优化线网时延;(4)提出线网段时延优化策略,对存在溢出线网进行拆线重绕,从而可同时优化时延和溢出数.实验结果表明,本文提出的算法相比于现有的层分配算法能够在时延和通孔数两个指标上均取得最佳,并且保证不产生溢出.

关键词：超大规模集成电路层分配时延通孔时序关键段

来源：评论

学校读者我要写书评

暂无评论

曙光5000高性能计算机多播网络的设计

引用

电子学报 2011年第2期39卷 481-488页

作者：曹政王达伟刘新春孙凝晖中国科学院计算技术研究所国家智能计算机研究开发中心北京100190 中国科学院计算机系统结构重点实验室北京100190

本文介绍了曙光5000高性能计算机多播网络设计的关键技术.减少多播与单播/多播与多播间的网络竞争是降低多播延迟的主要途径之一,而无死锁则是保障多播操作正确完成的前提.为了解决死锁问题,本文提出了一种基于全局资源公告的死锁避免方... 详细信息

本文介绍了曙光5000高性能计算机多播网络设计的关键技术.减少多播与单播/多播与多播间的网络竞争是降低多播延迟的主要途径之一,而无死锁则是保障多播操作正确完成的前提.为了解决死锁问题,本文提出了一种基于全局资源公告的死锁避免方法;为了获得较低的多播延迟,本文充分利用胖树拓扑特点,提出了一种基于重载交换机去除的多播路径选择策略.测试结果表明,在网络重载情况下,相比于已有多播路径选择算法,本文的路径选择策略可以获得近三倍的性能提升.对于many-to-many多播通信,曙光5000多播网络可以获得90%以上的多播吞吐率.

关键词：高性能计算机多播死锁路由算法胖树

来源：评论

学校读者我要写书评

暂无评论

QoS敏感的服务组合动态配置研究

引用

西安交通大学学报 2010年第2期44卷 25-30页

作者：杨怀洲李增智西安交通大学计算机系统结构与网络研究所西安710049 北京邮电大学网络与交换技术国家重点实验室北京100876

针对静态配置的Web服务组合系统无法适应组件服务QoS的动态变化,以及对易错环境缺乏自适应性和不能反映系统不断演进特征的问题,提出了一种QoS敏感的服务组合系统动态配置方法.通过扩展Petri网对服务依赖关系进行建模,形成一个形式化的... 详细信息

针对静态配置的Web服务组合系统无法适应组件服务QoS的动态变化,以及对易错环境缺乏自适应性和不能反映系统不断演进特征的问题,提出了一种QoS敏感的服务组合系统动态配置方法.通过扩展Petri网对服务依赖关系进行建模,形成一个形式化的系统配置方案;利用无循环依赖关系验证算法和最终状态合法性验证算法验证了系统配置方案的正确性;提出了一种最优配置选择算法以选取具有最优QoS的服务配置.仿真实验对比了动态配置、静态配置和随机配置对用户服务请求满意度的影响,结果表明,所提建模方法和相应算法能大幅改善组合服务的QoS.

关键词： Web服务组合优化配置 Petri网自适应系统

来源：评论

学校读者我要写书评

暂无评论

粒子群算法求解Web服务组合中基于QoS的服务选择

引用

北京邮电大学学报 2009年第4期32卷 63-67页

作者：夏虹李增智西安交通大学计算机系统结构与网络研究所西安710049 北京邮电大学网络与交换技术国家重点实验室北京100876

针对现有web服务组合中服务选择技术的不足,提出了一种基于粒子群优化算法的多目标优化策略,用于解决web服务组合中基于服务质量(QoS)的服务选择全局最优化问题.将web服务选择全局最优化问题转化为一个带QoS约束的多目标服务组合优化问... 详细信息

针对现有web服务组合中服务选择技术的不足,提出了一种基于粒子群优化算法的多目标优化策略,用于解决web服务组合中基于服务质量(QoS)的服务选择全局最优化问题.将web服务选择全局最优化问题转化为一个带QoS约束的多目标服务组合优化问题,利用多目标粒子群算法的智能优化原理,通过同时优化多个QoS参数,最终产生一组满足约束条件的Pareto最优解.实验结果证明了该算法的可行性和有效性.

关键词： web服务服务组合服务质量粒子群算法

来源：评论

学校读者我要写书评

暂无评论

一种基于多模态数据自组织的城市移动增强现实方法

引用

系统仿真学报 2017年第11期29卷 2629-2636页

作者：官万先李万鹏葛林万华根浙江大学计算机系统结构研究所杭州310027 浙江大学CAD&CG国家重点实验室杭州310058

城市移动增强现实近年来受到研究界和应用界的高度关注。然而面对城市大场景,如何采集数据、合理管理和组织数据、以及高效利用数据成为了制约移动增强现实系统性能的重要问题。以城市街景增强为应用背景,提出一种基于多模态数据自组织... 详细信息

城市移动增强现实近年来受到研究界和应用界的高度关注。然而面对城市大场景,如何采集数据、合理管理和组织数据、以及高效利用数据成为了制约移动增强现实系统性能的重要问题。以城市街景增强为应用背景,提出一种基于多模态数据自组织的城市移动增强现实方法。通过以面向移动增强现实系统的多模态数据为中心,从数据采集、数据组织、数据使用三方面出发,研究如何有效获取和处理原始数据、合理组织数据、高效准确使用数据。实验结果验证了所提出方法的有效性和实用性。

关键词：移动增强现实多模态数据数据自组织信息检索

来源：评论

学校读者我要写书评

暂无评论

层次凝聚聚类算法的动态分析与准则函数设计

引用

高技术通讯 2012年第11期22卷 1169-1175页

作者：王洋涂登彪安明远孙凝晖王伟平中国科学院研究生院北京100190 中国科学院计算机系统结构重点实验室北京100190 国家计算机网络应急技术处理协调中心北京100029

为提高层次凝聚聚类（HAC）算法的执行效率和结果质量，对其进行了动态分析，研究了一次合并对后续合并的影响。分析表明，合并两个类会生成一个新类，并使被合并的类的共享邻居的邻居数减小1；当新生成的类或邻居数减小的类参与后续合... 详细信息

为提高层次凝聚聚类（HAC）算法的执行效率和结果质量，对其进行了动态分析，研究了一次合并对后续合并的影响。分析表明，合并两个类会生成一个新类，并使被合并的类的共享邻居的邻居数减小1；当新生成的类或邻居数减小的类参与后续合并时，会影响执行效率；一次合并会改变参与合并的类和它们的候选邻居之间的准则函数值，从而影响后续合并提高质量的程度。基于上述分析并结合模块性的定义，研究了现有准则函数对凝聚过程的影响以及它们的缺陷，并设计了两个新的准则函数。在大量数据集上的买验表明，新的准则函数提高了层次凝聚聚类算法的执行效率和结果质量。

关键词：层次凝聚聚类(HAC)算法准则函数模块性聚类分析

来源：评论

学校读者我要写书评

暂无评论

以语义规则刻画服务请求的Top-k Web服务发现方法

引用

西安交通大学学报 2010年第2期44卷 35-38页

作者：王海朱正东范琳李增智西安交通大学计算机系统结构与网络研究所西安710049 北京邮电大学网络与交换技术国家重点实验室北京100876 西安邮电学院计算机系西安710061

为了更好地提供满足客户需求的Web服务,在充分研究服务发布描述、服务请求描述等特点的基础上,提出了以语义规则刻画的服务请求描述,并以本体构建了服务发布描述.通过对语义规则添加影响因子,使得服务匹配精度可以通过匹配度来度量,并... 详细信息

为了更好地提供满足客户需求的Web服务,在充分研究服务发布描述、服务请求描述等特点的基础上,提出了以语义规则刻画的服务请求描述,并以本体构建了服务发布描述.通过对语义规则添加影响因子,使得服务匹配精度可以通过匹配度来度量,并按照给定的调节系数决定最终匹配是否成功.在OWL-S TC V2测试服务集合中进行了对比实验,结果表明,所提方法可以有效提高查全率和查准率,特别是在最大匹配数为20获得的k分别为2、5、8、10、15的情况下,Top-k查准率比基于描述逻辑包含检测的算法分别提高了15%、15%、9%、8%、2%,比关键字算法分别提高了5%、13%、30%、33%、30%,而查准率稳定在95%以上.

关键词： Web服务发现语义规则查准率

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：