一种快速的字串交叉模式匹配算法

介绍了一种基于高频字串提取的快速字串交叉模式匹配算法 ,同已有的 KMP、BM等单模式匹配算法和有限自动机等多模式匹配算法相比 ,在字符集Σ较大且字串个数远大于字串最大长度的情况下 ,该算法具有较低的时间复杂度和空间复杂度 ,并适用于字符集较大 。

铁路系统的模型检查和参数分析

研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。

基于概念粘合度(CC)的多主题分析

针对多主题分割的需要 ,本文讨论了以知网的义原为基本单位 ,综合知识间的关系和语料统计的优点 。