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

2012全国高性能计算学术年会

作者： Cao Jie 曹洁 Zeng Guosun 曾国荪许金超 Department of Computer Science and Technology Tongji UniversityShanghai 200092China 同济大学计算机科学与技术系上海200092 Tongji Branch National Engineering&Technology Center of High Performance ComputerShanghai 200092Ch 国家高性能计算机工程技术中心同济分中心上海200092

云计算是一种新兴的计算模式，倡导一切皆服务.云计算由于能够共享分布在世界各地的计算资源，在大规模计算和数据存储中越来越受到重视.云计算是当前IT工业界、学术界研究的热点领域，云环境中的资源可用性已成为云计算不可忽视的问题... 详细信息

云计算是一种新兴的计算模式，倡导一切皆服务.云计算由于能够共享分布在世界各地的计算资源，在大规模计算和数据存储中越来越受到重视.云计算是当前IT工业界、学术界研究的热点领域，云环境中的资源可用性已成为云计算不可忽视的问题.对于云计算，当处理器的处理速度不同，不是一直可用于计算时，可用性成为设计和发展云计算系统的关键需求.根据并行任务图的结构特点，讨论了影响并行任务可用性需求的关键因素，给出一种可用性的量化计算公式.并且，通过感知任务“可用性需求”和计算资源“可用性保障”，实现可用性匹配，提出了动态可用性感知的调度算Availability-DLS.模拟实验表明该算法能够改善云环境中资源可用性和可靠性，对提高任务调度的成功率具有实际意义.

关键词：云计算可用性需求任务调度并行计算

来源：评论

学校读者我要写书评

暂无评论

一种满足任务主/次需求的云计算资源划分方法

一种满足任务主/次需求的云计算资源划分方法

引用

2012全国高性能计算学术年会

作者： Qin Xiaoyun 秦小云 Zeng Guosun 曾国荪 Department of Computer Science and Technology Tongji UniversityShanghai 201804China 同济大学计算机科学与技术系上海201804 Tongji Branch National Engineering&Technology Center of High Performance ComputerShanghai 201804Ch 国家高性能计算机工程技术中心同济分中心上海201804

云计算平台中存在大量的异构资源，当用户将任务提交给云平台时，云调度系统搜索与这些任务需求相匹配的资源时，有可能没有任何资源节点能满足任务的需求，因此需要对这些异构资源进行聚类划分，满足任务的需求。根据实际情况，不妨假... 详细信息

云计算平台中存在大量的异构资源，当用户将任务提交给云平台时，云调度系统搜索与这些任务需求相匹配的资源时，有可能没有任何资源节点能满足任务的需求，因此需要对这些异构资源进行聚类划分，满足任务的需求。根据实际情况，不妨假设云任务对云资源有主/次需求。本文给出云资源分簇计算能力的定义以及资源均衡划分概念，设计两个资源划分算法，即随机近似云资源均衡划分算法和增强内聚性的云资源均衡划分算法。最后，通过模拟实验对算法的有效性进行分析。

关键词：云计算任务需求资源选择划分算法

来源：评论

学校读者我要写书评

暂无评论

异构计算中的时间和能耗优化执行方法

引用

计算机科学 2011年第10期38卷 285-290页

作者：俞莉花曾国荪同济大学计算机科学及技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

计算环境的异构性以及应用任务的复杂多样性导致异构计算的必要性。异构计算的目的是重视并行处理系统和计算任务的差异,寻求系统和任务的有效匹配,从而获得并行任务在系统上执行的最佳效果。当前,异构计算中的时间优化执行方法较成熟,... 详细信息

计算环境的异构性以及应用任务的复杂多样性导致异构计算的必要性。异构计算的目的是重视并行处理系统和计算任务的差异,寻求系统和任务的有效匹配,从而获得并行任务在系统上执行的最佳效果。当前,异构计算中的时间优化执行方法较成熟,但同时将时间和能耗联合起来作为异构计算优化执行目标方面的研究很少。以高性能计算和绿色计算为总目标,针对异构计算环境中并行任务分配调度执行问题,提出了异构任务模型、异构计算速率矩阵、异构计算功率矩阵,利用能耗时间归一思想,给出并行任务在异构处理机上时间与能耗启发式优化执行算法,并通过实例分析证实算法的可行性和有效性。

关键词：异构计算任务执行时间优化能耗优化

来源：评论

学校读者我要写书评

暂无评论

一种基于DAG图的异构可重构任务划分方法

引用

同济大学学报（自然科学版） 2011年第11期39卷 1693-1698页

作者：郝水侠曾国荪谭一鸣同济大学计算机科学及技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804 徐州师范大学数学科学学院江苏徐州221116

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,... 详细信息

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性.

关键词：有向无环图(DAG) 异构计算任务可重构体系结构任务划分

来源：评论

学校读者我要写书评

暂无评论

云计算中TSP问题求解服务的定价机制

引用

计算机科学 2011年第12期38卷 194-199页

作者：曾栩鸿曾国荪同济大学计算机科学与技术系上海200092 国家高性能计算机工程技术中心同济分中心上海201804

旅行商问题(TSP)是一个典型的路径优化问题,在城市交通规划、物流运输、通信网络设置等领域都存在类似的问题和应用。但是,TSP问题的求解是NP难的,当问题规模很大时,必须借助大规模并行计算环境,例如云计算平台,以较大的计算开销来获得... 详细信息

旅行商问题(TSP)是一个典型的路径优化问题,在城市交通规划、物流运输、通信网络设置等领域都存在类似的问题和应用。但是,TSP问题的求解是NP难的,当问题规模很大时,必须借助大规模并行计算环境,例如云计算平台,以较大的计算开销来获得可行解。以TSP问题为具体实例,研究云计算服务的定价机制。一般情况下,定价机制要满足公平、灵活、动态、自适应。从公平合理角度来看,影响计算服务定价的因素主要有两方面:一是求解问题的难度,包括计算时间复杂性、空间复杂性、输入输出数据规模等;二是求解服务质量,即服务契约,包括可以作为服务等级协定指标的求解精度、响应时间、资源要求等。由此,提出了一种新的云计算中的服务定价机制:CloudPricing。该机制给出了服务定价的一般和具体原则,并给出了相应的定价公式。针对TSP问题求解,进行了具体的定价实例分析,这对云计算中NP难问题求解服务的定价有参考意义。

关键词：云计算 TSP问题求解服务定价机制服务等级协定

来源：评论

学校读者我要写书评

暂无评论

基于随机Petri网的可重构核心单元分析

引用

计算机工程 2011年第17期37卷 1-6页

作者：王福焕曾国荪同济大学计算机科学与技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,... 详细信息

利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少。

关键词：可重构计算核心单元随机Petri网结构分析性能分析

来源：评论

学校读者我要写书评

暂无评论

基于信任模式验证的论述性Web文本可信性判定方法

引用

计算机科学 2011年第1期38卷 177-180,206页

作者：黄帅彪曾国荪王伟同济大学计算机科学与技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

互联网中,海量Web信息自由开放,真假有益危害信息混在一起,许多Web文本的内容不可信。如何正确判断Web文本内容的可信性,从而在海量的Web信息中选择有用可信的资源信息,是当前急需解决的问题。提出了一种基于信任模式验证的论述性Web文... 详细信息

互联网中,海量Web信息自由开放,真假有益危害信息混在一起,许多Web文本的内容不可信。如何正确判断Web文本内容的可信性,从而在海量的Web信息中选择有用可信的资源信息,是当前急需解决的问题。提出了一种基于信任模式验证的论述性Web文本可信性判定方法,首先定义论述性Web文本的信任模式并对信任模式进行形式化的描述,然后构建论述性Web文本阅读自动机,最后进行模型检测以判断论述性Web文本是否满足信任模式,并根据检测结果求解Web文本可信度。实验表明该方法具有良好的效果。

关键词：论述性Web文本信任模式模型检测文本可信度

来源：评论

学校读者我要写书评

暂无评论

无线移动视频监控原型研究

引用

计算机工程 2011年第6期37卷 266-268,271页

作者：赵华军方钰同济大学计算机科学与技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804

提出一种基于DirectShow的无线移动视频监控方案,移动节点利用摄像头实时采集视频信息,通过WI-FI、GPRS网络传输到监控中心,从而使监控中心能实时监控各移动节点,并使各节点间进行视频通信。该方案不同于传统的视频监控方案,实验验证该... 详细信息

提出一种基于DirectShow的无线移动视频监控方案,移动节点利用摄像头实时采集视频信息,通过WI-FI、GPRS网络传输到监控中心,从而使监控中心能实时监控各移动节点,并使各节点间进行视频通信。该方案不同于传统的视频监控方案,实验验证该方案合理有效,视频监控画面流畅,实时性好。

关键词：视频监控视频编码视频帧 DirectShow框架 H.263算法

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的数据流异常测试技术研究

引用

计算机工程与应用 2011年第25期47卷 1-4页

作者：陈涛许金超钮俊同济大学计算机科学与技术系上海201804 国家高性能计算机工程技术中心同济分中心上海201804 安徽财经大学计算机科学与技术系安徽蚌埠233030

程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检... 详细信息

程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。

关键词：变量使用软件测试数据流异常模型检测

来源：评论

学校读者我要写书评

暂无评论

异构计算中的时间和能耗优化执行方法

引用

计算机科学与探索 2011年第10期38卷 285-290页

作者：俞莉花曾国荪同济大学计算机科学及技术系上海 201804 国家高性能计算机工程技术中心同济分中心上海 201804

计算环境的异构性以及应用任务的复杂多样性导致异构计算的必要性.异构计算的目的是重视并行处理系统和计算任务的差异,寻求系统和任务的有效匹配,从而获得并行任务在系统上执行的最佳效果.当前,异构计算中的时间优化执行方法较成熟,但... 详细信息

计算环境的异构性以及应用任务的复杂多样性导致异构计算的必要性.异构计算的目的是重视并行处理系统和计算任务的差异,寻求系统和任务的有效匹配,从而获得并行任务在系统上执行的最佳效果.当前,异构计算中的时间优化执行方法较成熟,但同时将时间和能耗联合起来作为异构计算优化执行目标方面的研究很少.以高性能计算和绿色计算为总目标,针对异构计算环境中并行任务分配调度执行问题,提出了异构任务模型、异构计算速率矩阵、异构计算功率矩阵,利用能耗时间归一思想,给出并行任务在异构处理机上时间与能耗启发式优化执行算法,并通过实例分析证实算法的可行性和有效性.

关键词：异构计算任务执行时间优化能耗优化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：