您的位置： 专家智库 > >

陈武

作品数：1 被引量：2H指数：1
供职机构：重庆邮电大学计算机科学与技术学院计算机取证与调查研究所更多>>
发文基金：重庆市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇有限状态自动...
  • 1篇状态自动机
  • 1篇自动机
  • 1篇计算机
  • 1篇计算机取证

机构

  • 1篇重庆邮电大学

作者

  • 1篇陈龙
  • 1篇陈武

传媒

  • 1篇重庆邮电大学...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于时间有限状态自动机的事件重建推理算法被引量：2
2009年
应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化。针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率。在8个时间Mealy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高。
陈龙陈武
关键词：计算机取证有限状态自动机
全选 清除 导出
共1页<1>
聚类工具0