当前煤炭行业供给侧结构性改革持续推进，同时部分矿山资源枯竭且已到关闭阶段，综合导致我国废弃矿井数量日益增多。为应对全球气候与生态环境变化，服务碳达峰碳中和目标达成，煤炭工业也承担着加强废弃矿井资源综合开发利用、服务经济社会全面绿色转型的重要使命。开发利用好废弃矿井资源是构建清洁低碳、安全高效的能源体系的重要战略部署，同时是践行“双碳”目标的重要举措。本书系统介绍了国内外煤矿安全及废弃矿井资源智能开发、生态文明发展及多能互补利用情况；凝练了煤矿安全及废弃矿井资源开发利用过程中的重大工程科技难题；提

《图解算法：使用C++（视频教学版）》是一本综合讲述数据结构及其算法的入门书，力求简洁、清晰、严谨、且易于学习和掌握。
《图解算法：使用C++（视频教学版）》从介绍计算思维与程序设计两者之间的关系展开，首先讲述如何培养计算思维的4个部分：分解、模式识别、模式概括与抽象、算法。接着介绍经典算法的分类：分治法、递归法、贪心法、动态规划法、迭代法、枚举法及回溯法。还介绍常用数据结构：树结构、图论及哈希表。介绍了这些基础知识之后，在接下来的各章中分别介绍排序算法、查找算法、数组与链表相关算法、信息

本书主要涵盖视频大数据机会传输的**研究进展和应用成果，从实用性的角度出发，对视频机会传输的关键技术进行介绍和分析，以推动视频大数据机会传输的发展和产业化进程。全书共 9章，全面系统地介绍移动机会网络及视频传输相关的技术及算法。第 1章主要讲述移动机会网络的研究背景、演化过程。第 2章讲述移动机会网络中数据传输的模式及方法。第 3章从应用角度讲述视频机会传输的需求及研究现状。第 4～8章分别介绍视频机会传输的包调度策略、路由算法、激励机制和副本控制机制。第 9章是对视频机会传输与边缘计算融合的展

本书主要介绍作者近年来在深度学习与图像处理等方面的研究成果，包括图像去模糊、视频信息缺失补全、图像分类识别、图像领域自适应、多源跨域图像迁移学习相关理论和方法，用到的模型主要包括多尺度编解码深度卷积神经网络、多尺度特征金字塔网络、双判别器生成对抗网络、渐进增长生成对抗网络、贝叶斯正则化深度卷积神经网络、深度对抗域自适应网络、深度加权子域自适应网络等。

学科的范式 (科学观与方法论 )是指导学科研究的**引领力量。然而作者发现：作为信息学科高级篇章的人工智能却遵循着物质学科的范式，使人工智能的研究严重受限。因此，本书实施了人工智能的范式革命：总结了信息学科的范式，以此取代物质学科范式对人工智能研究的统领地位；在信息学科范式的引领下，构筑人工智能的全局模型，揭示普适性智能生成机制，开辟机制主义的人工智能研究路径，重构人工智能的基本概念；发掘信息转换与智能创生定律，创建机制主义通用人工智能理论。后者不但可以融通现行人工智能三大学派，而且可以与人类智

本书是基于华为eNSP 模拟仿真环境编写的防火墙项目化教程。本书共12 个项目，包括防火墙基础知识、防火墙登录方式、防火墙安全策略、防火墙源NAT 策略、防火墙NAT server 策略、双向NAT 、双机热备——主备模式、双机热备——负载分担模式、GRE-VPN、L2TP-VPN、IPSec-VPN 和GRE over IPSec VPN。
本书通俗易懂，可操作性较强，可作为信息安全专业、计算机及相关专业的教材，也可以作为华为HCIA-Security 或HCIP-Security 的培

本书以淮北煤田临涣矿区许疃矿井新近系松散层底部含水层（简称“底含”）为研究对象，采用理论分析、数理统计、室内试验、数值模拟、相似材料模拟、现场实测等方法，系统研究了“底含”沉积特征，划分了“底含”沉积（微）相及其沉积演化阶段，建立了沉积控水模式，并对“底含”富水性进行了精细分区与评价；开展了松散含水层下含断层覆岩采动破坏特征研究，分析了不同落差断层及不同顶板覆岩厚度条件下，含断层工作面开采断层的采动活化及其对“底含”基底的破坏机理，建立了“底含”涌水通道模式，揭示了弱富水区-含断层覆岩条件下“底

C++是一种集过程化程序设计、面向对象程序设计于一体的编程语言，是对C语言的继承。全书共4章，以通俗易懂的语言和丰富的实例分别介绍了C++的开发环境、语言特性、新的变化和项目实战。开发环境主要介绍了编译环境的构建和集成开发环境；语言特性则从C++中的四大特性说起，分析了虚指针、虚函数、字节序与对齐和操作符重载等；新的变化部分以丰富的代码样例对C++11标准的演进作了详细阐述；项目实践则结合高铁/动车模拟抢票系统，讲述实际开发的整体流程。书中所有知识点均给出了代码实例和详细注释，读者可以轻松领会C

内容简介： 《你好，Python》首先介绍各种计算机编程语言的特点、编程思维和程序开发的理念，分析Python语言的发展和选择Python语言的价值和意义；然后着重介绍Python开发工具的下载和安装，Python编程语言的语法、变量、运算、条件判断、循环、函数、输入输出、模块和标准库等知识；最后讲解编程开发方面的经典程序问题、经典算法，并通过Python编程实例，来讲解如何解决网络编程、数据库、电子邮件、数学计算、图形界面等真实问题。

本书通过可持续设计前沿理论家的理论为当前设计专业学生、教授及设计从业者提供了关于未来设计、观念创新、设计策略等问题的新方向、新观念和新方法。