本书提出功耗感知验证的概念和基本原理，结合验证项目介绍多种功耗验证技术、工具及方法，旨在帮助VLSI低功耗设计和验证人员在低功耗领域从零开始积累经验。《BR》本书主要内容包括UPF建模、功耗感知标准库、基于UPF的动态功耗仿真、基于UPF的静态功耗验证等。本书风格简洁实用，面向VLSI低功耗设计和验证领域从初学者到专家

本书旨在讨论片上系统（SoC）测试的相关问题，包括建模以及片上系统测试解决方案的设计和优化。需要测试的系统越来越复杂，测试数据量不断增加，如何组织测试，即测试调度变得越来越重要。本书主要站在系统级的角度阐明模块化SoC测试领域的诸多问题。《BR》本书由三部分组成，在概述经典测试方法的基础上，介绍测试大型、模块化和异构S

中红外激光以位于大气传输窗口、包含大量分子吸收峰等特点引起了广泛关注，在光谱学、生物医疗、遥感、国防等领域都有着重要的应用。本书以前沿科研成果为题材，系统介绍了中红外光纤气体激光器的研究现状及产生技术。内容包括中红外激光概述、空芯光纤发展现状、中红外光纤气体激光理论、基于粒子数反转的中红外光纤气体激光（乙炔、二氧化碳、

本书采用氮稳定同位素示踪与分子生物学技术围绕河口、海湾、邻近海域、泥质潮滩、盐沼湿地、红树林、养殖塘、海洋牧场等生态系统开展沉积物关键氮循环过程研究。旨在准确地定量和估算河口近岸沉积物中氮素转化速率并探讨其影响机制；更好地认识该生态系统活性氮的归趋、转化情况，以期为控制河口近岸氮素平衡提供重要的理论支撑。

AdiShamir在1984年首次提出标识密码的概念.21世纪初,伴随着一系列重要突破,标识密码学进入快速发展时期.在过去20年间,标识密码学形成众多理论研究结果,一些标识密码算法已在业界得到广泛应用.本书比较系统地介绍标识密码学领域的一些理论、模型、算法等,并结合应用实践较详细地描述与工程应用相关的一些方法、实现和标

建设全国国土空间规划实施监测网络，是建立国土空间规划体系并监督实施的迫切需求，是推进国土空间数字化转型的重要举措，是实现国土空间治理信息共享、业务协同和科学决策的基础保障。欧洲空间规划观测网（EuropeanSpatialPlanningObservatoryNetwork，ESPON）通过开展应用研究和目标分析、提供

时尚，作为人类追求美的一种外在表达，承载着人类历史数千年演进的过程。随着时尚大数据的不断累积，在机器学习和人工智能技术快速发展的今天，时尚智能作为新兴的学科方向之一，在众多学者的努力下积累了众多技术成果。本书主要从计算机科学与技术视角出发，力求全面阐述目前人工智能技术和机器学习在时尚领域的理论基础、技术体系和创新应用。

城市空间结构是城市空间发展方式的集中体现，是城市发展形式和质量的重要决定因素，对城市的可持续发展和竞争力提升具有重要意义。本书立足于城市经济学的分析方法，并融合对城市规划和城市治理的思考，讨论了城市空间结构的理论、方法与国际经验，中国城市增长与空间扩张，中国城市多中心空间发展，中国城市空间结构的类型与绩效，中国城市空间

本书内容涵盖了轮腿复合与腿臂融合多模式移动操作机器人的机构设计、运动规划与控制方法等相关技术；介绍了四足变拓扑构型机器人和径向对称圆周分布六足机器人，展示了多种轮腿复合、腿臂融合机构与模块化仿生足的设计；阐释了多模式移动操作机器人的步态规划、操作规划、模式切换与轮腿协同路径规划方法；演绎了基于质心运动学的移动操作控制方

本书内容全面，重点突出，分析透彻，理论联系实际，可帮助学生厘清思路、掌握重点、突破难点，从而提高分析和解决实际工程控制问题的能力。

本书基于典型的通信系统模型,描述了系统的设计？分析和仿真方法,提供了多层次(基础性？系统性？应用性)的设计和实验项目,并给出了大量具有参考价值的实验例程？全书共11章,包括绪论,模拟信号数字化,信源压缩编码,信道编码,数字基带传输,数字频带传输,同步技术,信道建模与仿真,信道均衡,涉及DVB-C？CCSDS？IEEE8

本书系统地介绍了计算机控制系统的基础知识、设计方法和典型应用。全书共13章：第1章主要介绍计算机控制系统的组成、分类及发展趋势；第2章介绍计算机输入/输出接口与过程通道；第3章介绍计算机控制系统的数学描述；第4～9章分别介绍计算机控制系统的特性分析、频率响应、鲁棒稳定性分析方法及各种经典设计方法，并结合具体实例进行应用

本书系统地介绍了人工智能的基本概念、主要方法及代表性模型算法。本书根据人工智能的知识体系，在兼顾传统的人工智能方法的基础上，重点突出前沿性内容，并对自动推理、遗传算法、神经网络、启发式优化、机器学习、异常检测、梯度下降、逻辑回归、反向传播、卷积网络、语言模型、词向量等常见技术进行详细阐述和讨论。本书结合应用安排了示例和

本书系统介绍与超导科学与技术相关的基础知识。主要内容包括超导现象发现的时间及时代背景，零电阻、完全抗磁性及约瑟夫森效应等超导体的基本物理性质；经典超导理论(如两流体模型、伦敦理论和金兹堡-朗道理论、BCS理论)的物理性质及其促进超导科学发展的意义；超导体的主要特征参数及其测量方法，以及超导磁体、超导电力、超导量子干涉器

本书全面阐述植被化河道泥沙运动的概念、理论及**研究成果。主要内容包括植被环境下的流速特性、能量分布、泥沙起动、悬移质分布及输沙率计算等，研究方法包含理论分析、解析模型及数值模型等。本书着重阐述植被环境水沙运动基础理论，并为植被水生态修复提供理论支撑，力求通过简单、易懂的语言和详细的公式推导使读者快速、高效地理解环境水

本书围绕城市内涝、湖泊水体污染和水生态功能退化等问题展开，以武汉市汤逊湖水系为研究对象，探索湖泊水量、水质和水生态的时空演变规律，提出一种基于生境需求确定湖泊适宜生态水位的新方法；构建基于MikeUrban的城市洪涝模型，提出湖泊汛期分期控制水位；基于入湖污染负荷总量和动态水环境容量模型，确定入湖污染负荷削减量和水质调

本书全面阐述植被与水流相互作用理论。采用数学模型推导、实验室实验及数值模拟相结合的方法，以水生植物与水流的相互作用为切入点，从水动力学角度对植被环境水流特点进行深入研究，探寻水流流动规律与不同形态植被的关系，并提出植被环境流速分布计算方法，系统量化植被的阻力效应。本书力求通过简单易懂的语言和详细的公式推导使读者快速高效

本书在分析鱼类洄游需求和大坝阻隔对生态连续性影响的基础上，提出过鱼设施建设的必要性，总结过鱼设施的历史、种类和特点，并系统梳理国内外对过鱼设施的研究进展。垂直竖缝式鱼道因其适应性强的特点，被广泛应用于恢复大坝上下游的连通。本书从理论和应用两方面对垂直竖缝式鱼道进行详释。理论部分涵盖垂直竖缝式鱼道的原理、设计及尺寸；应用

本书为“材料先进成型与加工技术丛书”之一。主要围绕先进材料激光制造原理、技术与应用展开论述。本书详述激光与不同材料的相互作用机理，尤其是以飞秒激光为代表的超快激光与材料作用的新机理和新效应，并由此发展多种先进激光制造技术，主要包括激光溅射沉积技术、激光退火技术、激光三维微纳打印光制造技术、飞秒激光非线性光刻技术、飞秒激

全书共9章，系统地论述了基于磁流体的光纤磁场传感技术。首先介绍磁流体的构成、制备及应用等；其次介绍磁流体微观结构的模拟及其特性分析；然后深刻阐述基于磁流体的磁控折射率、磁控双折射及磁控体形效应等特性的光纤磁场传感技术；最后探索基于磁流体的光纤磁场传感技术的矢量磁场传感特性，以及磁流体光子晶体结构的磁场传感技术。本书内容