本书主要讲解计算机系统中核心的技术知识，涵盖缓存、内存屏障、无锁编程、网络基础、TCP/UDP、端口复用、网络收发包流程、物理内存、虚拟内存等内容。本书还分享了实际工作中可能出现的技术难题及解决方案供读者借鉴。为了使读者轻松、快速地理解书中晦涩难懂的技术知识，本书作者精心绘制了大量的流程图、结构图。为了使读者更好地理解Linux内核源码，本书还提供了大量经过注释的Linux内核源码供读者下载。通过阅读本书，读者可以轻松、快速地掌握这些技术知识，并通过源码和书中配图加强对相关知识的理解。

本书为“软体机器人前沿丛书”其中之一，在众多机器技术中，软机器被誉为超越传统刚性机械极限的“仿生智能体”，能够像生物体一样灵活运动、适应复杂环境和做出特殊响应。本书系统介绍了软机器的分类、基本特性和应用前景，不仅涵盖了软机器构筑的核心方法，还深入探讨了失稳、界面粘接、疲劳破坏等关键力学问题，为未来软机器的高效设计、优化制造及工程应用提供了重要的理论支撑和实践指导。本书共分为7个章节，第1章系统概述了软机器的基本概念及其关键力学问题；第2-4章详细介绍软机器的多种构筑技术，包括模具制造法、直接墨水3D打印和数字光处理3D打印等，并探讨这些技术在软压力传感器、软触摸板、软气动执行器、仿生血管组织等功能软器件制造中的应用；第5章重点讲述软机器中的界面行为，包括粘接和界面稳定性；第6章讨论软机器的结构失稳，分析其对整体性能的影响；第7章研究软材料应用中的穿刺破坏力学行为，探讨软机器在实际应用中的抗失效设计策略。本书从软材料特性，覆盖先进制造工艺，并延伸至软机器人、柔性电子、仿生医疗设备等典型应用场景，书中特别剖析了软机器研发中的关键力学难题，展现这些因素如何塑造软机器的性能与功能，分析这些问题对稳定性和实用性的影响，并提供科学解决方案，展现了技术与创新的完美结合。

继MIPS版和ARM版之后，本书与时俱进地推出了RISC-V版，将其作为核心处理器来介绍计算机体系结构的基本概念，涵盖数字逻辑设计的主要内容，并通过RISC-V处理器的设计强化数字逻辑的概念。书中采用一种独特的现代数字设计方法，先介绍数字逻辑门，接着讲述组合电路和时序电路的设计，并以这些基本的数字逻辑设计概念为基础，重点介绍如何设计实际的处理器。本书不仅反映了当前数字电路设计的主流方法，而且突出了计算机体系结构的工程特点。此外，大量示例及习题也可以加强读者对概念和技术的理解。本书适合高等院校计算机相关专业的学生阅读，也适合从事处理器设计的技术人员参考。

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

本书的目标是让读者深入了解凸优化算法。重点是从基本原理推导出凸优化的关键算法，并根据输入长度建立精准的运行时间界限。鉴于这些方法的广泛适用性，一本书不可能展示这些方法对所有方法的应用。本书展示了对各种离散优化和计数问题的快速算法的应用。本书中选择的应用程序旨在说明连续优化和离散优化之间相当令人惊讶的桥梁。

本书的主要内容是基于作者在密码函数研究领域所发表的学术论文撰写而成的，主要介绍了在单输出密码函数、多输出密码函数以及密码函数的应用等三个方面的原创性研究成果。本书的第1章介绍了与密码函数相关的基础知识；第2章和第3章侧重介绍具有优良密码学性质的单输出和多输出布尔函数的构造，提出一系列新型密码函数构造方法；第4章探索了多输出密码函数在正交序列集设计及真随机数生成器的校正器设计等方面的应用。各章后的评注部分是对每章内容的扩展。各章后配有习题，供读者进一步思考和研究。

本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到2022年主流零知识证明算法的分类。从最基础的加密学原理讲起，本书阐述了不同计算复杂性模型下的简洁交互式论证构建，并详细描述了通用程序和可满足性电路之间的转换，通过多项式承诺方案实现简洁论证以及多项式承诺方案的多种实现。第1章到第3章介绍基础概念以及阐述交互式证明依赖强大的随机性。 第4章、第8章、第9章、第10章、第17章，从计算复杂性模型角度（IP/MIP/PCP/IOP），阐述了 交互式论证系统构建的不同方法和性能。MIP=PCP，并且多项式IOP统一了IP、MIP以及IOP。第5章介绍了Fiat-Shamir算法，将任意公开掷币交互式论证转化为非交互式论证。第6章介绍如 何将通用的图灵程序转化为电路，并解释了算术电路实例转化为可满足性电路实例的原因。第7章 引入多项式承诺方案以及低次测试，实现简洁交互式论证的雏形。第11章、第13章介绍零知识的定义以及零知识实现的两种方式：承诺-证明以及掩码多项式。第12章、第14章、第15章、第16章介绍承诺方案，并总结了多项式承诺方案的三种方式：基 于IOP（第10章），基于离散对数难问题以及基于配对。第18章介绍了SNARK的组合和递归。第19章是对本书中讲述的所有零知识证明算法的分类总结。

本书依托华为软件开发云，从软件全栈工程师的视角引入了DevOps实践所需要的技术，重点讲解系统规划、需求分析、敏捷管理、配置管理、代码检查、编译构建、自动测试、部署发布、流水线等内容，全面且系统地阐述了信息系统建设的基本理论和方法。 全书采用“基础知识→核心应用→综合案例→企业实践”的结构和“由浅入深，由深到精”的模式进行讲解，使学习者能够达到中级软件架构师的水准。通过书中实践，学习者能够体验到真实的企业生产环境，掌握产品经理与项目经理应具备的技能知识点，以及具备云服务开发的基本能力。本书配有Mooc资源，可供教学和自学使用。 本书可作为高等学校软件工程等专业相关课程的教材，也可供软件开发人员作为学习参考。

本书主要讲解计算机视觉的几何基础（核心数学基础），包括图像处理与模式识别的几何视角、三维射影几何学、摄像机模型、摄像机标定、立体视觉、三维视觉重构等。本书提供了具体且有趣的案例，并配有方便读者实践、颇具实用性的原创展示代码，让读者从实际问题与实践中学习计算机视觉几何基础。本书可作为理工科学生的计算机视觉、深度学习等相关课程教学用书，也可作为科研用书供从事视觉智能感知相关工作的科技人员、工程师阅读参考。

性能退化是产品使用维护面临的重要挑战之一，既会影响产品使用体验，又会带来维修保障需求。通过对退化数据进行建模分析，量化产品退化过程，掌握产品退化规律，可以更为准确地评价产品可靠性水平。本书围绕退化过程的建模分析，突出个体异质性、动态环境作用、测量误差影响等退化数据实际特点，采用维纳过程进行退化建模与分析，提出了一系列维纳过程退化模型，系统探讨了模型性质、参数估计、可靠性计算，并通过案例分析展示了模型方法的优良效果