您的位置： 专家智库 > >

张谨

作品数：1 被引量：0H指数：0
供职机构：东北林业大学信息与计算机工程学院更多>>
发文基金：国家大学生创新性实验计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇知识库
  • 1篇知识库模型
  • 1篇时序逻辑
  • 1篇状态迁移图

机构

  • 1篇东北林业大学

作者

  • 1篇纪明宇
  • 1篇张谨
  • 1篇王慧
  • 1篇吴迪

传媒

  • 1篇智能计算机与...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
林业信息系统模型检测应用方法研究
2014年
模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所需满足的性质规范的形式化验证问题。首先将规则体描述为状态迁移图,通过引入转换函数对状态迁移图的变迁过程及状态性质进行了有效说明,然后将性质规范描述为相应的时序逻辑表达式,最后通过实例对模型检测过程进行了详细说明,本文的研究成果有效地说明了将模型检测应用于森林防火专家系统等林业信息系统的可行性与正确性。
吴迪纪明宇谭克山王慧张谨
关键词：知识库模型状态迁移图时序逻辑
全选 清除 导出
共1页<1>
聚类工具0