在社会安全领域，人群异常行为成为各类严重群体性安全事故的根本致因。研究和开发人群异常行为识别技术，成为破解人群踩踏难题的重要技术途径。为此，《人群行为识别理论与视觉AI技术研究》从计算机视觉角度，阐述了行人异常行为姿态、人群异常行为、恐慌行为、人群稳定性和计算机视觉技术等方面的发展与研究现状，系统地介绍了国际上人群异常行为视频数据资源；循序渐进地阐述了人体姿态特征识别模型、行人运动学质心模型和动力学质心模型、恐慌行为识别模型、广义异常行为识别方法、异常行为扰动与人群稳定性分析等核心理论；深入浅出地论述了计算机视觉检测技术相关的开发资源、异常行为检测程序设计、人群行为分析工具与软件、其他辅助检测技术和应用案例。文末附各章核心模型和算法的Java、MATLAB、Python等代码。《人群行为识别理论与视觉AI技术研究》为广大读者提供人群异常行为分析和识别理论基础，并为相关计算机视觉开发提供技术借鉴。

《冗余流量测量及特性分析》针对冗余流量导致的网络服务质量低效问题，提出冗余流量测量及特性分析方法，试图通过对真实网络冗余流量的识别、测量和分析来深入了解冗余流量生成和演化过程，从而优化网络资源、提高网络共享效率。《冗余流量测量及特性分析》共7章，系统地介绍冗余流量从流量测量、跟踪识别、特性分析到冗余流量消除各个环节的相关技术和方法。第1章介绍冗余流量的发现和研究现状。第2和3章介绍冗余流量的测量方法和动态跟踪识别方法。第4和5章分别从自相似性和时间序列角度出发，介绍冗余流量的特性。第6章介绍冗余流量演化模型及演化机制。第7章介绍冗余流量消除系统模型和相关方法。

《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》几乎涵盖使用SystemVerilog在RTL层面对ASIC和FPGA进行建模的所有方面，旨在为数字IC设计工程师提供全面的学习与参考资料。《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》基于SystemVerilog-2017标准，*先阐述SystemVerilog与传统Verilog的区别，以及其在仿真和综合中的作用，并对RTL和门级建模等抽象级别进行定义；接着深入探讨多种数据类型，包括线网和变量类型、用户自定义类型等，详细说明其使用方法和注意事项；对于运算符和编程语句，《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》也进行了全面讲解，强调如何正确使用它们编写可综合的RTL模型。此外，《使用System Verilog进行RTL建模——基于System Verilog的ASIC与FPGA设计》各章节包含丰富示例和代码片段，聚焦特定SystemVerilog构造，展示了如何在实际设计中运用相关知识。同时，针对ASIC和FPGA的建模特点，讨论了不同技术对RTL建模风格的影响，并提供了相应的编码建议。附录部分还汇总了*佳实践指南，列出了关键字集，并提供了额外资源，方便读者查阅和进一步学习。

本书从原理、技术和应用层面解密区块链技术，涵盖基础概念、架构、区块链与信息系统、在各行业的应用潜力等读者关心的问题。全书分为四部分，共9章。第一部分为基础理论（第1～2章），着重介绍区块链入门知识，阐述了区块链基本概念、发展历程、产业发展状况、应用落地思考等，为后面介绍区块链技术做铺垫。第二部分为技术架构（第3～5章），详细讲解区块链中出现的核心技术，包括区块链架构、密码学安全技术、共识算法、智能合约以及信息系统的区块链体系。第三部分为应用部分（第6～8章），详细论述了区块链在指挥控制、军事、金融科技和工业制造领域的应用。第四部分为总结与展望（第9章），总结区块链发展的制约因素，提出了区块链未来发展的建议和展望。

暂缺简介...

请让你的代码库随时保持可发布状态。持续交付流水线可以实现自动化版本控制、自动测试和自动部署，将开发人员的干预降至最低。掌握持续交付的工具和实践，你将能够快速且一致地添加功能和推送更新。《持续交付图解》是建立和使用持续交付流水线的友好指南。每一章都介绍了在设置CD系统时将面临的不同场景，包括自动扩展和测试遗留应用程序等现实问题的示例。作者Christie Wilson采用与具体工具无关的方法，通过插图、清晰的解释和实践练习来指导你的每一步学习。主要内容•为新项目和遗留项目设计有效的CD流水线•确保你的流水线在适当的时候发出正确的信号•将版本控制作为真相的来源•安全地自动化部署

本书分为基础篇、航空篇、航天篇，共9 章。本书本书侧重于讲述多种导航信源的相互融合，取长补短，实现多源融合下的航空航天飞行器稳定、高精度导航。书中着重介绍了不同导航信源的发展及现状、基本原理、工作特性与优缺点等；不同的多源融合导航算法及其基本原理；基于数学方法的无人机集群协同导航算法；地磁导航技术及其与传统惯性导航系统的融合算法，并通过实例及仿真验证，对比各种算法、模型及系统的优劣，具有较强的实用性。

本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容，应用部分主要介绍编译器和解析、LL解析以及LR解析。本书可帮助读者熟悉计算机科学的基础和原理，加强严格的形式化数学证明的能力，适合高等院校计算机科学及相关专业的学生学习，也适合理论计算机科学方向的研究人员参考。

本书以经典理论与现代应用相结合的方式介绍了初等数论的基本概念和方法，内容包括整除、同余、二次剩余、原根以及整数的阶的讨论和计算。此外，书中附有60多位对数论有贡献的数学家小传记。本书内容丰富，趣味性强，条理清晰，既可以作为高等院校计算机及相关专业的数论教材，也可以作为对数论和密码学感兴趣的读者的初级读物。

本书是以作者多年的概率与统计讲义为蓝本扩充而成，目前也是威斯康星大学的经济学教材。本书采用微积分的方式而非测度论的的方式讲述，涵盖概率论基本知识、随机变量、分布、抽样、大数定律、中心极限定律、逼近理论、zui大似然估计、矩方法、假设检验、置信区间等经济学专业所需数理统计知识的方方面面，难度适中，适于作为经济专业高年级本科生和研究生的教材。