您的位置： 专家智库 > >

袁晓刚

作品数：2 被引量：3H指数：1
供职机构：大连理工大学电子科学与技术学院计算机科学与工程系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇定理
  • 2篇定理机器证明
  • 2篇空间复杂度
  • 2篇机器证明
  • 2篇复杂度
  • 1篇循环不变式
  • 1篇人工智能
  • 1篇程序正确性证...

机构

  • 2篇大连理工大学

作者

  • 2篇袁晓刚
  • 1篇王树义

传媒

  • 1篇现代计算机

年份

  • 1篇2001
  • 1篇2000
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
降低广义归结原理空间复杂度方法的研究被引量：3
2001年
本文针对广义归结原理实现时空间复杂度非常大的问题,通过实际分析广义归结方法实现时造成多余归结的实例,提出了几种优化方法,使系统的归结能力显著提高。
王树义袁晓刚
关键词：空间复杂度定理机器证明人工智能
程序验证方法的改进及其应用
该论文首先将程序验证和定理机器证明通过谓词逻辑而联系在一起,这样就提高了程序验证的自动化程度.其次通过分析程序验证中的经典方法-归纳断言方法的不足之处,提出了一种改进的归纳断言方法.新的归纳断言方法是建立在该文提出的广义...
袁晓刚
关键词：定理机器证明循环不变式空间复杂度程序正确性证明
文献传递
全选 清除 导出
共1页<1>
聚类工具0