您的位置： 专家智库 > >

马素霞

作品数：4 被引量：0H指数：0
供职机构：清华大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 3篇定理证明
  • 3篇定理证明器
  • 3篇BOYER-...
  • 1篇动态特性
  • 1篇循环流化床
  • 1篇循环流化床锅...
  • 1篇燃烧
  • 1篇燃烧系统
  • 1篇流化
  • 1篇流化床
  • 1篇流化床锅炉
  • 1篇锅炉
  • 1篇锅炉燃烧
  • 1篇锅炉燃烧系统
  • 1篇传递函数
  • 1篇传递函数阵

机构

  • 4篇清华大学

作者

  • 4篇马素霞
  • 1篇郑人杰

传媒

  • 1篇软件学报

年份

  • 1篇2005
  • 1篇1990
  • 2篇1989
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
循环流化床锅炉燃烧系统的动态特性和控制策略研究
马素霞
关键词：循环流化床锅炉燃烧系统动态特性传递函数阵
模拟Boyer-Moore定理证明器
马素霞
模拟Boyer-Moore定理证明器
1990年
SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。
马素霞郑人杰
模疑Boyer-Moore定理证明器
马素霞
全选 清除 导出
共1页<1>
聚类工具0