本书以Xilinx公司Zynq-7000系列SoC和ADI公司AD9361射频收发器为核心定制的硬件平台SDR-AI-Z7为基础，以GNU Radio软件和MATLAB软件为设计平台，详细介绍了软件定义无线电（Software Defined Radio，SDR）的原理，以及基于不同软件平台实现SDR通信系统的方法。 本书在介绍SDR的原理和基于SDR技术实现通信系统时，为读者展现了不同实现方法对通信系统的性能、灵活性、成本和功耗方面的影响。本书共13章，主要内容包括软件定义无线电技术基础、软件

本书以资深总工多年技术笔记为载体,以丰富的实际案例为支撑,对重点技术疑难问题进行了深入而透彻的剖析。内容涉及面广,涵盖了岩土勘察报告研读、地基基础设计、上部结构设计,以及目前结构设计参考书普遍忽视而一线结构师实际工作需要的危大工程设计专篇编制指引等方面。
本书内容丰富,除了对结构设计中执行规范的疑难、热点问题的透彻剖析以外,更有对设计规范尚未明确规定、设计人员容易忽视的众多重要技术问题的深入研讨,如桩基正常使用与承载力检测边界条件差异多层工业厂房可变荷载地震组合值系数的取值如何考

本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到2022年主流零知识证明算法的分类。从最基础的加密学原理讲起，本书阐述了不同计算复杂性模型下的简洁交互式论证构建，并详细描述了通用程序和可满足性电路之间的转换，通过多项式承诺方案实现简洁论证以及多项式承诺方案的多种实现。第1章到第3章介绍基础概念以及阐述交互式证明依赖强大的随机性。 第4章、第8章、第9章、第10章、第17章，从计算复杂性模型角度(IP/MIP/PCP/IOP)，阐述了 交互式论证系统构建的不同方法和性能。MI

本书通过一系列硬件和软件的构建任务向读者介绍了计算机科学领域的基础知识。本书分为硬件和软件两个部分。硬件部分包括布尔逻辑、布尔运算、存储、机器语言、计算机体系结构、汇编器，软件部分包括虚拟机处理与控制、高级语言、编译器语法分析与代码生成、操作系统。通过学习本书，读者可以构造一台具备基本功能的计算机。在此过程中，读者可以深入理解计算机系统软硬件的协调工作机制和原理。

快速分析电路技术(简称FACTs)倡导的是一种简单的方法，如果一个电路太复杂，就把它分成几个更简单的子电路，分而治之。然后将所有中间结果组合起来，形成你想要的最终结果。如果结果与你预期的不一致，只需要找到有错误的子电路并修正它，而不需要从头开始。本书从简单到复杂，逐步推进讲解线性电路传递函数快速分析技术，通过对电路传递函数进行系统分析，作者对示例通过传统理论推导，以及SPICE仿真和Mathcad软件计算验证，这种严谨的交叉验证使读者能够从多个维度对电路进行学习。本书将时间常数、零点、

本书系统介绍内燃机技术，内容包括内燃机历史的回顾、往复活塞式内燃机的定义和分类、特征参数、特性场、热力学基础、传动机构、发动机零部件、发动机、摩擦学、换气过程、内燃机增压、混合气形成过程和混合气形成系统、着火、燃烧、燃烧过程、用于发动机和变速器控制的电子和机械、动力总成系统、传感器、执行器、内燃机冷却、废气排放、运行材料、运行材料的过滤、计算和模拟、燃烧诊断—燃烧发展过程中的示功图和可视化、燃料消耗、噪声污染、发动机测量技术、混合动力驱动、替代的车辆驱动和APU（辅助动力装置）、发动机和车辆中的

水是大自然与地球的驱动力，更是全球国际关系风云变化中隐秘而关键的因素。在逆全球化与极端气候加剧的大背景下，全球水治理面临更为激烈的冲击。水已超出自然与技术属性开始深刻作用于国家间关系。因此，当前不仅需要对新形势下全球水治理中的大国路径、地区模式和人文因素进行跨学科的阐释与分析，更需要对全球水危机热点地区的新动向与新特点进行系统梳理与剖析，从而有助于促进学界对水安全、全球水治理的学理研究，更加有助于维护国家水安全与水利益。

本书共分为4篇：认知篇，阐述大数据计算或存储引擎发展至今，最终都会选择以SQL作为统一查询语言的原因，以及这种选择的利弊；原理篇，透过现象看本质，以几个主流的引擎框架为例，通过深入源码的方式探索SQL执行背后的秘密；实践篇，详细描述引擎查询优化器的两大优化策略，以及各自的实现原理、示例和局限性，以Hive、Spark、Flink等主流引擎为蓝本，探索SQL优化的解决思路和方法论，以及配置参数、调整存储和查询语句改写等的方法，从不同的视角对SQL语句进行优化；案例篇，以实践篇的各种真实需

《现代智能控制实用技术丛书》共分为四本，其内容按照信号传输的链条，即由传感器、信号的调制与解调、信息的传输与通信技术和智能控制技术的应用组成。本书系统地对信号的调制与解调的基本概念、调制的目的，以及调制波模拟调制中的幅度调制(AM)、频率调制(FM)和相位调制(PM)，调制波数字线性调制中的幅移键控(ASK)调制、开关键控(OOK)调制，非线性调制中的数字频移键控(FSK)调制、高斯频移键控(GFSK)调制和相移键控(PSK)调制，以及载波的脉冲调制中的脉幅调制(PAM)、脉密调制(P

"高性能计算机的性能持续增长，然而由于负载不均、资源竞争等性能问题，大量并行程序无法高效地利用底层硬件系统，导致了极大的资源浪费。围绕上述挑战，本书在大规模并行程序性能分析与优化方面开展了深入研究，主要的特色为结合编译技术和图分析技术进行性能分析与优化指导。书中介绍了性能分析与优化的相关背景和当前面临的重要挑战，并针对这些挑战进行了四方面的研究工作：针对并行程序性能瓶颈定位难的挑战，提出了基于图分析技术的自动可扩展性瓶颈检测方法，并实现了轻量级的瓶颈检测系统；针对大规模并行程序性能分析系统开发复