《深入浅出Hyperscan：高性能正则表达式算法原理与设计》系统、循序渐进地介绍Hyperscan技术。全书共8章，主要介绍正则表达式、匹配算法和正则表达式匹配所依赖的自动机原理、正则表达式匹配库等，并重点介绍Hyperscan的功能特性、设计原理和性能调优技巧，以及匹配引擎的核心算法和SIMD加速技术的运用，还展示

形式语言与自动机理论是计算机科学与技术专业的一门重要课程。《有限自动机理论（第四版）》简述形式语言基本内容，包括文法的分类、构造方法和语言间运算的封闭性。系统地论述三类有限自动机——有限状态自动机、下推自动机和图灵机的基础理论。从文法产生语言和自动机识别语言的角度对语言进行讨论，介绍了文法与等价的自动机之间的转换方法以

信息化、智能化技术的快速发展引发了数据爆发式增长，大数据时代的到来也伴随着\"信息过载\"问题的出现。推荐系统是解决信息过载问题的有效方法，作为现阶段推荐算法当中应用为广泛的个性化推荐算法之一，协同过滤推荐算法有着该领域内其他推荐算法无法比拟的诸多优点。但是在实际应用场景中，协同过滤推荐算法仍然有较多问题亟须解决。针对

为了便于读者进行系统学习、分类整理知识点及遇到问题时能够快速找到求解的方法，本书按照算法策略进行划分，每一章都引入了若干个经典问题。通过问题的分析、计算模型的建立、算法的设计与描述、算法的分析来深入解读每一种算法策略所能解决的问题范畴及方法。全书共分9章，内容包括：算法设计基础、算法效率分析基础、迭代法、蛮力法、分治策

本书为“十二五”普通高等教育本科***规划教材。全书内容共7章：第1章开关理论基础，第2章组合逻辑，第3章时序逻辑，第4章存储逻辑，第5章可编程逻辑，第6章数字系统，第7章A/D转换、D/A转换。教学内容具有基础性和时代性，从理论和实践两方面解决了与后续课程的衔接。本书是作者对“数字逻辑”课程体系、教学内容、教学方法和

计算机代数是研究符号计算的算法设计、理论分析和计算机实现的学科。本书介绍计算机代数的基本知识、算法及其理论依据。主要内容包括数据的表示与基本运算、结式与子结式、整系数多项式的模算法、特征列方法、Grobner基方法、实系数多项式的根、实闭域上的量词消去以及形式积分等。本书侧重陈述经典方法,并采用通俗的语言解说算法的数学

本书系统介绍目前广泛采用的一些在线目标跟踪方法，对在线目标跟踪方法的基本思想、动机和设计进行比较全面的总结。本书具体综述基于视频目标检测的方法、基于视频目标分割的跟踪方法；并将这些方法分为不同的类型，探讨研究趋势。内容包括：两种基于视频目标检测的结构化学习的目标跟踪方法；基于视频目标检测的颜色紧凑二值特征的终身学习视频

本书研究面向强噪声场景的低秩稀疏学习视觉目标跟踪方法。基于变分法和分数阶微积分理论改善强噪声场景下的视觉信息质量问题；基于低秩表示和稀疏表示理论解决目标外观多样性情况下的表观建模问题；基于融合LASSO、变分法和分数阶微积分理论解决复杂环境遮挡带来的目标特征丢失问题和目标快速运动带来的跟踪漂移问题；基于反向稀疏表示描述

本书讲述了计算机技术和互联网技术的迅速发展，使得网络上的网站、网页等各种信息以爆炸性的趋势增长，随之而来的还有大量的冗余信息和垃圾信息，并由此带来了信息泛滥、信息迷航以及信息疾病等一系列问题。这些冗余信息、垃圾信息不但影响着用户对Internet的使用效率和质量，同样影响着网络的健康发展。因此，基于此而产生的网络信息过

本本书介绍了网络空间安全所涉及的数论、代数、信息论、复杂度理论的基础理论，具体包括：整数的运算、同余；群、环、域及有限域的概念及性质，椭圆曲线；格；信息论基础；复杂度理论基础等，在介绍这些数学理论的同时，举例介绍了部分计算算法的设计。通过阅读本书可系统的学习信息安全研究所涉及的数学理论。