您的位置： 专家智库 > >

闫丽慧

作品数：2 被引量：8H指数：1
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇网格
  • 1篇调度
  • 1篇调度算法
  • 1篇定理证明
  • 1篇贪婪算法
  • 1篇人工智能
  • 1篇自动定理证明
  • 1篇网格计算
  • 1篇网格资源
  • 1篇经济模型
  • 1篇GRIDSI...
  • 1篇并行计算

机构

  • 2篇华东师范大学
  • 1篇曲阜师范大学

作者

  • 2篇闫丽慧
  • 1篇郑骏
  • 1篇薛利
  • 1篇任娇娜

传媒

  • 1篇华东师范大学...

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于网格计算的定理自动证明研究
自动定理证明(又叫机器定理证明、机械化定理证明等)是人工智能研究的一个重要分枝，是数学、计算机科学的交叉学科，我国科学家在这一领域的研究走在了世界的前列。不仅提出了多种有效的方法，还成功的开发了一些智能的定理证明系统，其...
闫丽慧
关键词：自动定理证明网格计算人工智能并行计算
文献传递
一种基于经济模型的网格资源调度算法被引量：8
2006年
将贪婪算法推广,针对计算网格提出了一种基于经济模型的资源调度算法.将网格计算环境下一组相互独立的计算任务(Meta-Task)的资源调度问题看作是具有限定条件的最优化问题,根据网格用户提供的“deadline”和“budget”,每次选择使得执行最短的任务进行调度.通过在Gridsim环境下的分析与比较,该算法在满足用户要求的QoS需求同时,能够以尽可能少的时间完成任务.
郑骏闫丽慧任娇娜薛利
关键词：经济模型GRIDSIM贪婪算法
全选 清除 导出
共1页<1>
聚类工具0