您的位置: 专家智库 > >

国家自然科学基金(60173031)

作品数:11 被引量:55H指数:2
相关作者:陆鑫达翁楚良许庆国缪淮扣张建更多>>
相关机构:上海交通大学上海大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 1篇理学

主题

  • 3篇调度
  • 2篇代理
  • 2篇移动代理
  • 2篇时序逻辑
  • 2篇负载平衡
  • 2篇PVS
  • 1篇定理
  • 1篇定理证明
  • 1篇动力分析
  • 1篇动态调度
  • 1篇多用户
  • 1篇形式规格说明
  • 1篇遗传算法
  • 1篇异构
  • 1篇异构计算
  • 1篇用户
  • 1篇语义
  • 1篇语义模型
  • 1篇元计算
  • 1篇元计算环境

机构

  • 6篇上海交通大学
  • 2篇上海大学

作者

  • 6篇陆鑫达
  • 2篇缪淮扣
  • 2篇翁楚良
  • 2篇许庆国
  • 2篇张建
  • 1篇支小莉
  • 1篇刘雄文

传媒

  • 2篇计算机工程
  • 2篇计算机工程与...
  • 2篇Journa...
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇上海交通大学...
  • 1篇应用科学学报
  • 1篇计算机科学

年份

  • 2篇2006
  • 1篇2005
  • 3篇2004
  • 2篇2003
  • 3篇2002
11 条 记 录,以下是 1-10
排序方式:
一种基于市场机制的网格资源调价算法被引量:46
2004年
针对基于市场机制的网格资源调度中的资源调价问题 ,结合集中式同步调价算法速度快 ,以及分布式WAL RAS算法可扩展性优点 ,提出一种分布分组调价算法 首先 ,描述了实现资源调价的系统框架 :资源域Agent,资源组调价器 ;其次 ,阐述了分布分组调价算法 :根据资源价格的相关性将资源分成若干资源组 ,当资源供需发生变化后 ,各资源组调价器分别根据供需均衡调整价格到均衡价格 ;最后 ,通过实验比较了分布式WALRAS算法和提出的分布分组调价算法的性能 。
翁楚良陆鑫达
关键词:网格计算
元计算环境中任务调度的深入分析被引量:2
2002年
文章主要对元计算环境中任务调度进行了深入分析与研究。先概述了元计算系统对于科学领域的贡献,分析了元计算环境的特点;然后对元计算环境中的调度算法进行了分类说明,并对几种典型的调度算法行了具体的分析,评价了其特点与不足之处;最后分析了新兴的元计算环境—校园级元计算环境面临的挑战,借鉴各种调度算法,提出了与之相适应的任务调度策略,对其可行性进行了分析,并简要概括了其创新性。
刘雄文陆鑫达
关键词:元计算环境任务调度自适应调度计算机
基于移动代理的负载平衡策略被引量:1
2005年
在异构计算环境中负载平衡是一个重要问题。移动代理是一种新的分布计算模式,具有许多优势,比如移动代理能够从一台机器移动到另一台机器执行任务。该文提出了一个基于移动代理的并行计算框架,利用一个二段负载平衡策略使程序能够适应不断变化的异构计算环境。实验结果显示移动代理不仅能够用于并行计算,而且能够有效地改善负载平衡。
张建陆鑫达
关键词:移动代理异构计算负载平衡集群
基于PVS的时序逻辑语义模型及其实现被引量:2
2006年
时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.
许庆国缪淮扣
关键词:时序逻辑语义定理证明
校园级计算系统中资源管理的设计与实现
2003年
概述了元计算的定义与特征,分析了元计算系统中资源管理的特性;设计了资源管理的体系结构,阐述了各个组成部分的功能以及相互之间的通信联系;并具体对资源收集、远程监视和资源描述进行了设计与实现;最后对将来的工作进行了展望.
刘雄文
关键词:元计算资源管理远程监视资源描述
CLUSTER OF WORKSTATIONS BASED ON DYNAMIC LOAD BALANCING FOR PARALLEL TREE COMPUTATION DEPTH-FIRST-SEARCH被引量:1
2002年
The real problem in cluster of workstations is the changes in workstation power or number of workstations or dynmaic changes in the run time behavior of the application hamper the efficient use of resources. Dynamic load balancing is a technique for the parallel implementation of problems, which generate unpredictable workloads by migration work units from heavily loaded processor to lightly loaded processors at run time. This paper proposed an efficient load balancing method in which parallel tree computations depth first search (DFS) generates unpredictable, highly imbalance workloads and moves through different phases detectable at run time, where dynamic load balancing strategy is applicable in each phase running under the MPI(message passing interface) and Unix operating system on cluster of workstations parallel platform computing.
加力
关键词:WORKSTATIONSPARALLELTREECOMPUTATIONDFSTERMINATION
用Monte Carlo模拟方法评估Web Services系统的可靠性被引量:2
2002年
现有文献很少考虑到Web Services系统(WSS)这类具有随机并行度的多用户系统的可靠性问题.本文在为WSS建立一个基于体系结构的随机服务系统模型的基础上,提出一种模拟的解决方法及其实现系统Simurel.通过引入运行概图和失效概图,Simurel取得了良好的可应用性,可以用于一般性的基于体系结构的可靠性评估,不论是多用户或单用户系统.实验结果表明,Simurel的运行性能良好.
支小莉陆鑫达
关键词:MONTE可靠性多用户
A Dynamic Job Scheduling Algorithm for Parallel System
2003年
One of the fundamental problems in parallel and distributed systems is deciding how to allocate jobs to processors. The goals of job scheduling in a parallel environment are to minimize the parallel execution time of a job and try to balance the user’s desire with the system’s desire. The users always want their jobs be completed as quickly as possible, while the system wants to service as many jobs as possible. In this paper, a dynamic job scheduling algorithm was introduced. This algorithm tries to utilize the information of a practical system to allocate the jobs more evenly. The communication time between the processor and scheduler is overlapped with the computation time of the processor. So the communication overhead can be little. The principle of scheduling the job is based on the desirability of each processor. The scheduler would not allocate a new job to a processor that is already fully utilized. The execution efficiency of the system will be increased. This algorithm also can be reused in other complex algorithms.
张建陆鑫达加力
关键词:排队论作业调度动态调度
基于遗传算法的移动代理调度
2004年
移动代理能够从一台机器移动到网络上的另一台机器,这对平衡系统中的负载很有作用。然而在移动代理系统中缺乏调度机制,以指导代理的移动。论文基于遗传算法设计一个移动代理系统的调度框架,使代理能够移动到负载轻的机器,达到平衡负载的目的。方法的有效性通过实验得到了验证。
张建陆鑫达
关键词:移动代理调度负载平衡遗传算法
实时系统形式规格说明在PVS中的建立被引量:2
2006年
本文首先简介了时间自动机和时间B櫣chi自动机形式模型,结合时间化时序逻辑(TimedTemporalLogic)的语法和语义,利用定理证明器PVS(PrototypeVerificationSystem)实现了定义在时间自动机状态(或运行)上的时间化分支(或线性)时序逻辑规格说明的形式体系。在此基础上,结合一个经典的实时系统实例,用该体系对其实时特性进行了形式描述和形式验证,并得到了良好的结果。
许庆国缪淮扣
关键词:实时系统PVS
共2页<12>
聚类工具0