我国于2020年提出“双碳”目标，要求全社会优化工业和产业结构，改变传统化石能源消费比重，加快构建人与自然生命共同体。而山西省作为我国煤炭重省，近年来更是大力实施煤炭去产能政策，推动一批资源枯竭及落后产能矿井和露天矿坑的关闭，形成了大量的废弃矿井，但其中部分落后产能矿井仍赋存大量的能源资源。本书围绕山西省废弃矿井综合开

本书围绕“从城市绿地到人类健康”这一主线，以公园绿地这一典型绿地类型为例，面向规划设计实践需求，系统梳理了城市绿地健康效益相关研究进展，提出了多尺度下城市绿地健康效益级联框架，并构建了公园绿地对居民健康促进路径的概念模型。在此基础上，以北京市中心城区为研究区，基于多源数据、空间定量分析与统计学方法，验证和量化了公园绿地

本书系统介绍了基于状态空间模型的状态反馈及卡尔曼滤波方法，共8章，由三部分组成，第一部分（第1、2章），连续时间状态反馈控制；第二部分（第3～6章），离散时间状态反馈控制；第三部分（第7、8章），卡尔曼滤波。本书介绍了连续系统及离散系统的状态空间模型建模、状态反馈控制器、观测器、干扰抑制及参考信号跟踪的设计方法，并结合

本书是新一代信息技术网络空间安全高等教育系列教材之一，系统介绍了现代密码学设计、分析及实现的基本理论与技术，主要内容包括对称密码、公钥密码与密码协议三部分。对称密码部分涉及对称加密、杂凑函数、消息认证码等，公钥密码部分涉及公钥加密、数字签名等，作为对称密码与公钥密码的综合应用，密码协议部分介绍密钥建立、零知识证明、电子

随着以机器学习为代表的人工智能技术的普及，无线通信与人工智能的结合愈发紧密。智能通信系统将在6G网络中扮演至关重要的角色，为全覆盖、高速率、低延时的通信需求提供解决方案。本书聚焦智能通信研究领域，对无线通信网络空口资源配置和信号处理的泛在智能设计技术进行介绍。全书共7章，内容包括现代无线通信系统与人工智能方法介绍、未来

本书以压缩空气泡沫灭火技术为出发点，总述了压缩空气泡沫灭火技术的发展历程、技术现状与发展趋势，并以压缩空气泡沫灭火技术的各项性能为主线，重点介绍了泡沫灭火剂分类与特性、灭火系统组成与设计、灭火原理与有效性、工程应用技术等方面的内容。

利用纳米技术使丰富多彩的生物质资源实现功能化应用是当今科研领域的研究热点。本书集中反映作者及课题组成员多年来在菌丝基纳米功能材料制备及应用方面研究的数据和成果，主要涉及菌丝的生物及物理化学特性，菌丝基纳米功能材料生长组装策略、形貌结构，以及其在吸附、催化、能量转换与存储方面的应用基础研究。

本书主要介绍使用UG软件、Proteus软件、AltiumDesigner软件进行智能小车机器人设计的方法。本书内容涉及UG软件的模型绘制、模型装配和运动仿真，Proteus软件的电路设计和电路仿真，AltiumDesigner软件的元件库绘制、原理图绘制和PCB绘制。本书从机械结构、电路设计、PCB设计三部分对智能小

本书重在引导读者体验真实的项目开发，围绕SpringCloudAlibaba技术栈全面展开，兼顾相关技术的知识拓展，由浅入深，步步为营，对一个单体API项目进行拆解和微服务化，并从零到一落地一个功能完整、流程完善的微服务项目。本书的目标是让读者拥有完整且高质量的学习体验，远离“HelloWorld”项目，为技术深度的挖

《系统集成项目管理工程师默写本》由曾多次参与软考命题工作的薛大龙教授担任主编。薛老师非常熟悉命题形式、命题难度、命题深度和命题重点，了解学生学习过程中的痛点。本书是专为参加系统集成项目管理工程师的考生编写的，因为在备考过程中，很多考生反映不知道考试的重点有哪些，同时反映因离开学校多年，记不住这些知识点。有句话“好记性不