欢迎来到喀斯玛汇智科技服务平台

服务热线: 010-82648522

首页 > 专利推荐 > 专利详情

确定自动机的空间压缩方法

  • 申请号:CN200910090556.3
  • 专利类型:发明专利
  • 申请(专利权)人:中国科学院计算技术研究所
  • 公开(公开)号:CN101630323
  • 公开(公开)日:2010.01.20
  • 法律状态:实质审查的生效
  • 出售价格: 面议
  • 立即咨询

专利详情

专利名称 确定自动机的空间压缩方法
申请号 CN200910090556.3 专利类型 发明专利
公开(公告)号 CN101630323 公开(授权)日 2010.01.20
申请(专利权)人 中国科学院计算技术研究所 发明(设计)人 杨毅夫;刘燕兵;刘萍;郭莉
主分类号 G06F17/30(2006.01)I IPC主分类号 G06F17/30(2006.01)I
专利有效期 确定自动机的空间压缩方法 至确定自动机的空间压缩方法 法律状态 实质审查的生效
说明书摘要 本发明提供一种确定自动机的空间压缩方法,包括:对确定自动机中 的各个状态做分簇操作,得到多个用于表示状态集合的簇;将确定自动机 中各个状态的转移边按簇分类,得到多个簇矩阵、与所述簇矩阵对应的位 图以及一个剩余矩阵;其中,所述簇矩阵包括指向同一簇的转移边,所述 位图用于描述所对应簇矩阵中相关元素的有效性;所述剩余矩阵包括确定 自动机中未被包含到所述簇矩阵中的剩余转移边;为所述簇矩阵中的各行 提取基值,然后将所述簇矩阵转换成一个偏移量矩阵,再将偏移量矩阵中 的各行合并,增加用于标记可合并状态的索引数组,得到所述簇矩阵的压 缩矩阵。本发明不仅在压缩效果上有所提高,而且在实现正则表达式匹配 时在匹配速度上有很大的提高。

交易流程

  • 01 选取所需
    专利
  • 02 确认专利
    可交易
  • 03 签订合同
  • 04 上报材料
  • 05 确认变更
    成功
  • 06 支付尾款
  • 07 交付证书

平台保障

1、源头对接,价格透明

2、平台验证,实名审核

3、合同监控,代办手续

4、专员跟进,交易保障

  • 用户留言
暂时还没有用户留言

求购专利

专利交易流程

  • 01 选取所需专利
  • 02 确认专利可交易
  • 03 签订合同
  • 04 上报材料
  • 05 确认变更成功
  • 06 支付尾款
  • 07 交付证书
官方客服(周一至周五:8:30-17:30) 010-82648522