TRIE

作品数：112被引量：228H指数：9
导出分析报告
相关作者：贾连印丁家满游进国李晓武李孟娟更多>>
相关机构：昆明理工大学清华大学武汉大学兰州交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划甘肃省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Trie+结构函数式建模、机械化验证及其应用被引量：1
《软件学报》2024年第9期4242-4264,共23页左正康 柯雨含 黄箐 王玥坤 曾志城 王昌晶 
国家自然科学基金(62262031);江西省自然科学基金(20232BAB202010);江西省教育厅科技重点项目(GJJ210307,GJJ2200302);江西省主要学科学术与技术带头人培养项目(20232BCJ22013)。
Trie结构是一种使用搜索关键字来组织信息的搜索树,可用于高效地存储和搜索字符串集合.Nipkow等人给出了实现Trie的Isabelle建模与验证,然而其Trie在存储和操作时存在大量的冗余,导致空间利用率不高,且仅考虑英文单模式下查找.为此,基...
关键词：Trie+ 函数式建模 机械化验证 多模式匹配算法 
基于数字签名与Trie的保序子矩阵约束查询被引量：1
《软件学报》2017年第8期2175-2195,共21页姜涛 李战怀 尚学群 陈伯林 李卫榜 殷知磊 
国家重点基础研究发展计划(973)(2012CB316203);国家自然科学基金(61033007;61272121;61332014;61572367;61472321;61502390);国家高技术研究发展计划(863)(2015AA015307);中央高校基本科研业务费专项资金(3102015JSJ0011);西北工业大学研究生创业种子基金(Z2012128)~~
目前,基因芯片技术飞速发展,促使生物学家积累了大量的不同实验条件下的基因表达数据.事实证明,基因芯片数据分析在理解基因功能、基因调控和分子生命过程中发挥着重要作用.保序子矩阵(order-preserving submatrix,简称OPSM)是基因芯片...
关键词：基因表达数据 OPSM(order-preserving submatrix) 约束查询 数字签名 TRIE 枚举序列 
面向中英文混合环境的多模式匹配算法被引量：17
《软件学报》2008年第3期674-686,共13页孙钦东 黄新波 王倩 
Supported by the Key Science-Technology Project of Xi'an of China under Grant No.06JK225 (西安市科技攻关项目);the Research Program of the Education Department of Shannxi Province of China under Grant No.06JK225 (陕西省教育厅专项科研计划)
分析了中英文混合环境下多模式匹配的特点,以及已有多模式匹配算法应用于中英文混合环境时的不足,给出并证明了中英文混合环境下多模式匹配算法的性能定理,提出了一种适合于中英文混合环境的基于线索完全哈希Trie结构的多模式匹配算法....
关键词：多模式匹配 中英文混合 哈希 TRIE 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部