您的位置: 专家智库 > >

国家自然科学基金(60604033)

作品数:3 被引量:6H指数:1
相关作者:吴澄王跃宣殷杰许可胡美枝更多>>
相关机构:清华大学更多>>
发文基金:国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 3篇网格
  • 2篇调度
  • 1篇调度中心
  • 1篇形式化
  • 1篇形式化方法
  • 1篇设备网
  • 1篇设备网格
  • 1篇网络
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络

机构

  • 3篇清华大学

作者

  • 3篇王跃宣
  • 3篇吴澄
  • 2篇殷杰
  • 1篇许可
  • 1篇胡美枝

传媒

  • 1篇清华大学学报...
  • 1篇计算机应用研...
  • 1篇中国科学(E...

年份

  • 1篇2008
  • 2篇2007
3 条 记 录,以下是 1-3
排序方式:
设备网格溯源服务的应用被引量:1
2008年
为解决设备网格中资源动态变化造成的实验重现的困难,引入溯源服务。溯源服务以Web服务形式存在,记录设备网格内实验过程中诸如服务调用时间、服务请求者、服务提供者及用户评价等重要信息,形成溯源信息。为提高用户的满意程度,使用模糊变量来描述用户对其实验结果的评价,将溯源信息用于设备池的设备选择算法,增加令用户满意的服务质量好的仪器设备的使用率。实验结果表明:相对于随机调度算法,基于溯源信息的设备选择算法使得用户满意程度达80%。
殷杰王跃宣胡美枝吴澄
关键词:计算机网络设备网格调度
网格服务链模型的验证分析技术及应用被引量:4
2007年
确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作.文中从形式化方法的角度出发,提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具.其中,状态Pi演算针对Web服务资源框架(WSRF)的思想,协调了系统状态与行为间的关系,扩展了Pi演算对系统状态的全生命周期管理能力.在此基础上,进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析.通过材料形变与断裂过程动态分析的网格应用案例,展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性.
许可王跃宣吴澄
关键词:网格形式化方法
两种网格服务模型的对比研究被引量:1
2007年
结合网格系统中虚拟组织内部的集中调度机制,介绍了一种现有的多队列服务模型,该模型将提交到虚拟组织上的作业请求分配到该虚拟组织内部资源的服务队列上;考虑到网格环境中服务的动态性,将服务队列集中在调度中心的单队列服务模型应用于网格环境,通过对提供服务的资源发生故障的情况进行仿真实验,对这两种服务模型进行了对比研究,并进一步提出了自适应队列模型的构想。
殷杰王跃宣吴澄
关键词:网格调度中心
共1页<1>
聚类工具0