您的位置： 专家智库 > >

贺松云

作品数：1 被引量：3H指数：1
供职机构：国防科工委指挥技术学院更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇生成矩阵
  • 1篇子句
  • 1篇逻辑
  • 1篇逻辑推理
  • 1篇矩阵
  • 1篇PETRI网

机构

  • 1篇国防科工委指...

作者

  • 1篇林琪
  • 1篇贺松云

传媒

  • 1篇计算机应用研...

年份

  • 1篇1998
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
逻辑推理中的Petri网应用被引量：3
1998年
本文讨论利用Ｐｅｔｒｉ网实现逻辑问题的推理，首先介绍了逻辑问题的Ｐｅｔｒｉ网模型描述方法，并举例说明了利用矩阵演算实现推理的算法。Ｐｅｔｒｉ网的研究与利用对开发逻辑程序并行性，提高推理效率很有意义。
林琪贺松云
关键词：PETRI网子句生成矩阵逻辑推理
全选 清除 导出
共1页<1>
聚类工具0