您的位置： 专家智库 > >

程应娥

作品数：2 被引量：7H指数：1
供职机构：兰州大学更多>>
发文基金：国家自然科学基金国家科技基础条件平台建设计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 1篇定理
  • 1篇定理机器证明
  • 1篇人工智能
  • 1篇作业管理
  • 1篇机器证明
  • 1篇高性能集群
  • 1篇TORQUE
  • 1篇ISABEL...
  • 1篇高性能
  • 1篇PBS

机构

  • 2篇兰州大学

作者

  • 2篇程应娥
  • 1篇张洋
  • 1篇燕昊
  • 1篇李廉
  • 1篇陈文波
  • 1篇李兵

传媒

  • 1篇计算机工程与...

年份

  • 2篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
高性能集群作业管理系统TORQUE分析与应用实现被引量：7
2007年
本文介绍了高性能集群的发展和特点,以及目前流行的高性能集群的作业管理系统;分析了TORQUE作业管理系统组成及作业提交过程,并通过一个具体实现纳米材料分析的MPI并行程序在高性能集群上运行。
张洋陈文波李廉李兵程应娥燕昊
关键词：高性能集群作业管理PBSTORQUE
Isabelle中自动化证明策略的设计与实现
定理机器证明是人工智能的一个重要研究领域，被应用在数学定理证明、协议验证、软件和硬件的形式化验证等方面。提高定理机器证明的效率仍然受到人工智能界的重视。人们开发了各种定理证明系统，主要有自动化和交互式两种类型。 ...
程应娥
关键词：定理机器证明ISABELLE人工智能
文献传递
全选 清除 导出
共1页<1>
聚类工具0